About the Execution of smpt for Champagne-PT-H10T1U
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15689.460 | 3600000.00 | 2854080.00 | 51453.30 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2025-input.r255-tall-174931340600159.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2025-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-5832
Executing tool smpt
Input is Champagne-PT-H10T1U, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r255-tall-174931340600159
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 852K
-rw-r--r-- 1 mcc users 7.3K Jun 6 08:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Jun 6 08:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Jun 6 08:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Jun 6 08:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Jun 6 11:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Jun 6 11:45 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Jun 6 11:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Jun 6 11:46 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Jun 5 20:08 NewModel
-rw-r--r-- 1 mcc users 9.9K Jun 6 08:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 101K Jun 6 08:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Jun 6 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K Jun 6 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Jun 6 11:46 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Jun 6 11:46 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jun 5 20:08 equiv_col
-rw-r--r-- 1 mcc users 7 Jun 5 20:08 instance
-rw-r--r-- 1 mcc users 6 Jun 5 20:08 iscolored
-rw-r--r-- 1 mcc users 443K Jun 5 20:08 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
echo here is the order used to build the result vector(from xml file)
FORMULA_NAME Champagne-PT-H10T1U-ReachabilityFireability-2025-00
FORMULA_NAME Champagne-PT-H10T1U-ReachabilityFireability-2025-01
FORMULA_NAME Champagne-PT-H10T1U-ReachabilityFireability-2025-02
FORMULA_NAME Champagne-PT-H10T1U-ReachabilityFireability-2025-03
FORMULA_NAME Champagne-PT-H10T1U-ReachabilityFireability-2025-04
FORMULA_NAME Champagne-PT-H10T1U-ReachabilityFireability-2025-05
FORMULA_NAME Champagne-PT-H10T1U-ReachabilityFireability-2025-06
FORMULA_NAME Champagne-PT-H10T1U-ReachabilityFireability-2025-07
FORMULA_NAME Champagne-PT-H10T1U-ReachabilityFireability-2025-08
FORMULA_NAME Champagne-PT-H10T1U-ReachabilityFireability-2025-09
FORMULA_NAME Champagne-PT-H10T1U-ReachabilityFireability-2025-10
FORMULA_NAME Champagne-PT-H10T1U-ReachabilityFireability-2025-11
FORMULA_NAME Champagne-PT-H10T1U-ReachabilityFireability-2025-12
FORMULA_NAME Champagne-PT-H10T1U-ReachabilityFireability-2025-13
FORMULA_NAME Champagne-PT-H10T1U-ReachabilityFireability-2025-14
FORMULA_NAME Champagne-PT-H10T1U-ReachabilityFireability-2025-15
=== Now, execution of the tool begins
BK_START 1749336362261
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
# RESTARTING SMPT
# Hello
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Reachability True
Host mcc2025
Colored False
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in
smpt.main()
File "/home/mcc/BenchKit/bin/SMPT/smpt/smpt.py", line 406, in main
properties = Properties(ptnet, ptnet_tfg=ptnet_tfg, xml_filename=results.path_properties, fireability=results.fireability, simplify=results.mcc and not results.queries, answered=answered)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 178, in __init__
self.parse_xml(xml_filename, fireability=fireability, simplify=simplify, answered=answered)
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 257, in parse_xml
self.add_formula(Formula(self.ptnet, ptnet_skeleton=self.ptnet_skeleton, formula_xml=formula_xml, fireability=fireability, simplify=simplify), property_id, check_duplicates=simplify)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 651, in __init__
f = self.parse_smt(simplified_formula, lets={}, predicates={}) if self.ptnet else None
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1014, in parse_smt
return self.parse_smt(simplified_formula[1], lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1028, in parse_smt
parsed_expr = self.parse_smt(expr, lets, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 1004, in parse_smt
return self.smt_expand_fireability(element, predicates, skeleton)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/home/mcc/BenchKit/bin/SMPT/smpt/ptio/formula.py", line 890, in smt_expand_fireability
transitions = [self.ptnet.transitions[self.ptnet.pnml_transitions_mapping[tr]]]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^^^
KeyError: 't89'
Traceback (most recent call last):
File "
File "
File "/home/mcc/BenchKit/bin/SMPT/smpt/__main__.py", line 25, in