About the Execution of 2020-gold for BridgeAndVehicles-PT-V80P20N50
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4081.848 | 3600000.00 | 3981731.00 | 888.60 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2021-input.r037-tajo-162038176900146.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2020
Input is BridgeAndVehicles-PT-V80P20N50, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r037-tajo-162038176900146
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 30M
-rw-r--r-- 1 mcc users 179K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 789K May 10 09:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9M May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 11M May 10 09:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 7.7K Mar 28 15:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 36K Mar 28 15:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 473K Mar 28 15:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 1.4M Mar 28 15:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Mar 23 02:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 49K Mar 23 02:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 1.1M Mar 22 11:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 2.9M Mar 22 11:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 22 09:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 8.7K Mar 22 09:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 10 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 9.5M May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME BridgeAndVehicles-PT-V80P20N50-00
FORMULA_NAME BridgeAndVehicles-PT-V80P20N50-01
FORMULA_NAME BridgeAndVehicles-PT-V80P20N50-02
FORMULA_NAME BridgeAndVehicles-PT-V80P20N50-03
FORMULA_NAME BridgeAndVehicles-PT-V80P20N50-04
FORMULA_NAME BridgeAndVehicles-PT-V80P20N50-05
FORMULA_NAME BridgeAndVehicles-PT-V80P20N50-06
FORMULA_NAME BridgeAndVehicles-PT-V80P20N50-07
FORMULA_NAME BridgeAndVehicles-PT-V80P20N50-08
FORMULA_NAME BridgeAndVehicles-PT-V80P20N50-09
FORMULA_NAME BridgeAndVehicles-PT-V80P20N50-10
FORMULA_NAME BridgeAndVehicles-PT-V80P20N50-11
FORMULA_NAME BridgeAndVehicles-PT-V80P20N50-12
FORMULA_NAME BridgeAndVehicles-PT-V80P20N50-13
FORMULA_NAME BridgeAndVehicles-PT-V80P20N50-14
FORMULA_NAME BridgeAndVehicles-PT-V80P20N50-15
=== Now, execution of the tool begins
BK_START 1620934149597
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-13 19:29:11] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2021-05-13 19:29:11] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-13 19:29:11] [INFO ] Load time of PNML (sax parser for PT used): 344 ms
[2021-05-13 19:29:11] [INFO ] Transformed 228 places.
[2021-05-13 19:29:11] [INFO ] Transformed 8588 transitions.
[2021-05-13 19:29:11] [INFO ] Parsed PT model containing 228 places and 8588 transitions in 444 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 310 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 147 resets, run finished after 15417 ms. (steps per millisecond=6 ) properties seen :[1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1]
[2021-05-13 19:29:27] [INFO ] Flow matrix only has 530 transitions (discarded 8058 similar events)
// Phase 1: matrix 530 rows 228 cols
[2021-05-13 19:29:27] [INFO ] Computed 7 place invariants in 41 ms
[2021-05-13 19:29:27] [INFO ] [Real]Absence check using 7 positive place invariants in 21 ms returned sat
[2021-05-13 19:29:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:29:28] [INFO ] [Real]Absence check using state equation in 291 ms returned sat
[2021-05-13 19:29:28] [INFO ] State equation strengthened by 102 read => feed constraints.
[2021-05-13 19:29:28] [INFO ] [Real]Added 102 Read/Feed constraints in 85 ms returned sat
[2021-05-13 19:29:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:29:28] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 19:29:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:29:28] [INFO ] [Nat]Absence check using state equation in 310 ms returned sat
[2021-05-13 19:29:29] [INFO ] [Nat]Added 102 Read/Feed constraints in 125 ms returned sat
[2021-05-13 19:29:30] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 920 ms.
[2021-05-13 19:29:48] [INFO ] Added : 240 causal constraints over 48 iterations in 19320 ms. Result :unknown
[2021-05-13 19:29:48] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:29:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:29:48] [INFO ] [Real]Absence check using state equation in 300 ms returned sat
[2021-05-13 19:29:49] [INFO ] [Real]Added 102 Read/Feed constraints in 73 ms returned sat
[2021-05-13 19:29:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:29:49] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 19:29:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:29:49] [INFO ] [Nat]Absence check using state equation in 306 ms returned sat
[2021-05-13 19:29:50] [INFO ] [Nat]Added 102 Read/Feed constraints in 1074 ms returned sat
[2021-05-13 19:29:51] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 518 ms.
[2021-05-13 19:30:09] [INFO ] Added : 260 causal constraints over 52 iterations in 18415 ms. Result :unknown
[2021-05-13 19:30:09] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:30:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:30:09] [INFO ] [Real]Absence check using state equation in 345 ms returned sat
[2021-05-13 19:30:09] [INFO ] [Real]Added 102 Read/Feed constraints in 74 ms returned sat
[2021-05-13 19:30:09] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:30:09] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 19:30:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:30:10] [INFO ] [Nat]Absence check using state equation in 317 ms returned sat
[2021-05-13 19:30:10] [INFO ] [Nat]Added 102 Read/Feed constraints in 743 ms returned sat
[2021-05-13 19:30:11] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 376 ms.
[2021-05-13 19:30:29] [INFO ] Added : 240 causal constraints over 48 iterations in 18747 ms. Result :unknown
[2021-05-13 19:30:29] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:30:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:30:29] [INFO ] [Real]Absence check using state equation in 276 ms returned sat
[2021-05-13 19:30:30] [INFO ] [Real]Added 102 Read/Feed constraints in 71 ms returned sat
[2021-05-13 19:30:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:30:30] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 19:30:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:30:30] [INFO ] [Nat]Absence check using state equation in 346 ms returned sat
[2021-05-13 19:30:30] [INFO ] [Nat]Added 102 Read/Feed constraints in 122 ms returned sat
[2021-05-13 19:30:31] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 908 ms.
[2021-05-13 19:30:48] [INFO ] Added : 240 causal constraints over 48 iterations in 17927 ms. Result :sat
[2021-05-13 19:30:48] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 19:30:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:30:49] [INFO ] [Real]Absence check using state equation in 272 ms returned sat
[2021-05-13 19:30:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:30:49] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 19:30:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:30:49] [INFO ] [Nat]Absence check using state equation in 277 ms returned sat
[2021-05-13 19:30:50] [INFO ] [Nat]Added 102 Read/Feed constraints in 767 ms returned sat
[2021-05-13 19:30:51] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 563 ms.
[2021-05-13 19:31:08] [INFO ] Added : 240 causal constraints over 48 iterations in 17798 ms. Result :sat
[2021-05-13 19:31:08] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 19:31:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:31:08] [INFO ] [Real]Absence check using state equation in 264 ms returned sat
[2021-05-13 19:31:08] [INFO ] [Real]Added 102 Read/Feed constraints in 95 ms returned sat
[2021-05-13 19:31:08] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:31:08] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 19:31:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:31:09] [INFO ] [Nat]Absence check using state equation in 274 ms returned sat
[2021-05-13 19:31:10] [INFO ] [Nat]Added 102 Read/Feed constraints in 1300 ms returned sat
[2021-05-13 19:31:10] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 423 ms.
[2021-05-13 19:31:28] [INFO ] Added : 245 causal constraints over 49 iterations in 18289 ms. Result :unknown
[2021-05-13 19:31:28] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:31:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:31:29] [INFO ] [Real]Absence check using state equation in 240 ms returned sat
[2021-05-13 19:31:29] [INFO ] [Real]Added 102 Read/Feed constraints in 51 ms returned sat
[2021-05-13 19:31:29] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:31:29] [INFO ] [Nat]Absence check using 7 positive place invariants in 19 ms returned sat
[2021-05-13 19:31:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:31:29] [INFO ] [Nat]Absence check using state equation in 265 ms returned sat
[2021-05-13 19:31:30] [INFO ] [Nat]Added 102 Read/Feed constraints in 1092 ms returned sat
[2021-05-13 19:31:31] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 488 ms.
[2021-05-13 19:31:49] [INFO ] Added : 260 causal constraints over 52 iterations in 18457 ms. Result :unknown
[2021-05-13 19:31:49] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 19:31:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:31:49] [INFO ] [Real]Absence check using state equation in 371 ms returned sat
[2021-05-13 19:31:49] [INFO ] [Real]Added 102 Read/Feed constraints in 119 ms returned sat
[2021-05-13 19:31:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:31:49] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 19:31:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:31:50] [INFO ] [Nat]Absence check using state equation in 293 ms returned sat
[2021-05-13 19:31:51] [INFO ] [Nat]Added 102 Read/Feed constraints in 1151 ms returned sat
[2021-05-13 19:31:52] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 730 ms.
[2021-05-13 19:32:09] [INFO ] Added : 235 causal constraints over 47 iterations in 18386 ms. Result :unknown
[2021-05-13 19:32:09] [INFO ] [Real]Absence check using 7 positive place invariants in 54 ms returned sat
[2021-05-13 19:32:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:32:10] [INFO ] [Real]Absence check using state equation in 1051 ms returned sat
[2021-05-13 19:32:10] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:32:11] [INFO ] [Nat]Absence check using 7 positive place invariants in 52 ms returned sat
[2021-05-13 19:32:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:32:12] [INFO ] [Nat]Absence check using state equation in 1814 ms returned sat
[2021-05-13 19:32:13] [INFO ] [Nat]Added 102 Read/Feed constraints in 871 ms returned sat
[2021-05-13 19:32:14] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 534 ms.
[2021-05-13 19:32:31] [INFO ] Added : 215 causal constraints over 43 iterations in 17025 ms. Result :unknown
[2021-05-13 19:32:31] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:32:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:32:31] [INFO ] [Real]Absence check using state equation in 294 ms returned sat
[2021-05-13 19:32:31] [INFO ] [Real]Added 102 Read/Feed constraints in 115 ms returned sat
[2021-05-13 19:32:31] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:32:31] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 19:32:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:32:31] [INFO ] [Nat]Absence check using state equation in 380 ms returned sat
[2021-05-13 19:32:32] [INFO ] [Nat]Added 102 Read/Feed constraints in 657 ms returned sat
[2021-05-13 19:32:33] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 540 ms.
[2021-05-13 19:32:51] [INFO ] Added : 240 causal constraints over 48 iterations in 18764 ms. Result :unknown
[2021-05-13 19:32:51] [INFO ] [Real]Absence check using 7 positive place invariants in 52 ms returned sat
[2021-05-13 19:32:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:32:52] [INFO ] [Real]Absence check using state equation in 1015 ms returned sat
[2021-05-13 19:32:52] [INFO ] [Real]Added 102 Read/Feed constraints in 98 ms returned sat
[2021-05-13 19:32:52] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:32:52] [INFO ] [Nat]Absence check using 7 positive place invariants in 22 ms returned sat
[2021-05-13 19:32:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:32:54] [INFO ] [Nat]Absence check using state equation in 1973 ms returned sat
[2021-05-13 19:32:55] [INFO ] [Nat]Added 102 Read/Feed constraints in 709 ms returned sat
[2021-05-13 19:32:56] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 662 ms.
[2021-05-13 19:33:12] [INFO ] Added : 215 causal constraints over 43 iterations in 17160 ms. Result :unknown
[2021-05-13 19:33:12] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:33:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:33:13] [INFO ] [Real]Absence check using state equation in 202 ms returned sat
[2021-05-13 19:33:13] [INFO ] [Real]Added 102 Read/Feed constraints in 55 ms returned sat
[2021-05-13 19:33:13] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:33:13] [INFO ] [Nat]Absence check using 7 positive place invariants in 27 ms returned sat
[2021-05-13 19:33:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:33:13] [INFO ] [Nat]Absence check using state equation in 353 ms returned sat
[2021-05-13 19:33:14] [INFO ] [Nat]Added 102 Read/Feed constraints in 750 ms returned sat
[2021-05-13 19:33:15] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 580 ms.
[2021-05-13 19:33:33] [INFO ] Added : 240 causal constraints over 48 iterations in 18608 ms. Result :unknown
[2021-05-13 19:33:33] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 19:33:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:33:33] [INFO ] [Real]Absence check using state equation in 212 ms returned sat
[2021-05-13 19:33:33] [INFO ] [Real]Added 102 Read/Feed constraints in 66 ms returned sat
[2021-05-13 19:33:33] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:33:33] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:33:33] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:33:33] [INFO ] [Nat]Absence check using state equation in 173 ms returned sat
[2021-05-13 19:33:34] [INFO ] [Nat]Added 102 Read/Feed constraints in 443 ms returned sat
[2021-05-13 19:33:34] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 568 ms.
[2021-05-13 19:33:53] [INFO ] Added : 230 causal constraints over 46 iterations in 19305 ms. Result :unknown
[2021-05-13 19:33:53] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:33:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:33:53] [INFO ] [Real]Absence check using state equation in 293 ms returned sat
[2021-05-13 19:33:54] [INFO ] [Real]Added 102 Read/Feed constraints in 100 ms returned sat
[2021-05-13 19:33:54] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:33:54] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 19:33:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:33:54] [INFO ] [Nat]Absence check using state equation in 377 ms returned sat
[2021-05-13 19:33:55] [INFO ] [Nat]Added 102 Read/Feed constraints in 713 ms returned sat
[2021-05-13 19:33:56] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 537 ms.
[2021-05-13 19:34:14] [INFO ] Added : 235 causal constraints over 47 iterations in 18579 ms. Result :unknown
[2021-05-13 19:34:14] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 19:34:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:34:14] [INFO ] [Real]Absence check using state equation in 221 ms returned sat
[2021-05-13 19:34:14] [INFO ] [Real]Added 102 Read/Feed constraints in 96 ms returned sat
[2021-05-13 19:34:14] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:34:14] [INFO ] [Nat]Absence check using 7 positive place invariants in 26 ms returned sat
[2021-05-13 19:34:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:34:14] [INFO ] [Nat]Absence check using state equation in 292 ms returned sat
[2021-05-13 19:34:14] [INFO ] [Nat]Added 102 Read/Feed constraints in 123 ms returned sat
[2021-05-13 19:34:15] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 502 ms.
[2021-05-13 19:34:34] [INFO ] Added : 230 causal constraints over 46 iterations in 19390 ms. Result :unknown
[2021-05-13 19:34:34] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 19:34:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:34:34] [INFO ] [Real]Absence check using state equation in 222 ms returned sat
[2021-05-13 19:34:34] [INFO ] [Real]Added 102 Read/Feed constraints in 54 ms returned sat
[2021-05-13 19:34:34] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:34:34] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 19:34:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:34:35] [INFO ] [Nat]Absence check using state equation in 279 ms returned sat
[2021-05-13 19:34:36] [INFO ] [Nat]Added 102 Read/Feed constraints in 1078 ms returned sat
[2021-05-13 19:34:37] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 679 ms.
[2021-05-13 19:34:54] [INFO ] Added : 240 causal constraints over 48 iterations in 18461 ms. Result :unknown
[2021-05-13 19:34:54] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 19:34:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:34:55] [INFO ] [Real]Absence check using state equation in 217 ms returned sat
[2021-05-13 19:34:55] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:34:55] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 19:34:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:34:55] [INFO ] [Nat]Absence check using state equation in 335 ms returned sat
[2021-05-13 19:34:55] [INFO ] [Nat]Added 102 Read/Feed constraints in 109 ms returned sat
[2021-05-13 19:34:56] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 530 ms.
[2021-05-13 19:35:05] [INFO ] Added : 180 causal constraints over 36 iterations in 9440 ms. Result :sat
[2021-05-13 19:35:05] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:35:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:35:05] [INFO ] [Real]Absence check using state equation in 252 ms returned sat
[2021-05-13 19:35:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:35:05] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 19:35:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:35:06] [INFO ] [Nat]Absence check using state equation in 337 ms returned sat
[2021-05-13 19:35:06] [INFO ] [Nat]Added 102 Read/Feed constraints in 626 ms returned sat
[2021-05-13 19:35:07] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 527 ms.
[2021-05-13 19:35:25] [INFO ] Added : 290 causal constraints over 58 iterations in 18838 ms. Result :unknown
[2021-05-13 19:35:25] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 19:35:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:35:26] [INFO ] [Real]Absence check using state equation in 219 ms returned sat
[2021-05-13 19:35:26] [INFO ] [Real]Added 102 Read/Feed constraints in 94 ms returned sat
[2021-05-13 19:35:26] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:35:26] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 19:35:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:35:26] [INFO ] [Nat]Absence check using state equation in 511 ms returned sat
[2021-05-13 19:35:27] [INFO ] [Nat]Added 102 Read/Feed constraints in 576 ms returned sat
[2021-05-13 19:35:27] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 384 ms.
[2021-05-13 19:35:42] [INFO ] Added : 205 causal constraints over 41 iterations in 15294 ms. Result :sat
[2021-05-13 19:35:42] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:35:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:35:43] [INFO ] [Real]Absence check using state equation in 295 ms returned sat
[2021-05-13 19:35:43] [INFO ] [Real]Added 102 Read/Feed constraints in 68 ms returned sat
[2021-05-13 19:35:43] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:35:43] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:35:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:35:43] [INFO ] [Nat]Absence check using state equation in 314 ms returned sat
[2021-05-13 19:35:43] [INFO ] [Nat]Added 102 Read/Feed constraints in 117 ms returned sat
[2021-05-13 19:35:44] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 494 ms.
[2021-05-13 19:36:02] [INFO ] Added : 265 causal constraints over 53 iterations in 18709 ms. Result :sat
[2021-05-13 19:36:02] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:36:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:36:03] [INFO ] [Real]Absence check using state equation in 260 ms returned sat
[2021-05-13 19:36:03] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:36:03] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:36:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:36:03] [INFO ] [Nat]Absence check using state equation in 386 ms returned sat
[2021-05-13 19:36:04] [INFO ] [Nat]Added 102 Read/Feed constraints in 702 ms returned sat
[2021-05-13 19:36:04] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 645 ms.
[2021-05-13 19:36:23] [INFO ] Added : 225 causal constraints over 45 iterations in 18761 ms. Result :unknown
[2021-05-13 19:36:23] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 19:36:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:36:23] [INFO ] [Real]Absence check using state equation in 238 ms returned sat
[2021-05-13 19:36:23] [INFO ] [Real]Added 102 Read/Feed constraints in 114 ms returned sat
[2021-05-13 19:36:23] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:36:23] [INFO ] [Nat]Absence check using 7 positive place invariants in 37 ms returned sat
[2021-05-13 19:36:23] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:36:25] [INFO ] [Nat]Absence check using state equation in 1690 ms returned sat
[2021-05-13 19:36:25] [INFO ] [Nat]Added 102 Read/Feed constraints in 596 ms returned sat
[2021-05-13 19:36:26] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 717 ms.
[2021-05-13 19:36:43] [INFO ] Added : 230 causal constraints over 46 iterations in 17527 ms. Result :unknown
[2021-05-13 19:36:43] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 19:36:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:36:43] [INFO ] [Real]Absence check using state equation in 209 ms returned sat
[2021-05-13 19:36:43] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:36:43] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 19:36:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:36:44] [INFO ] [Nat]Absence check using state equation in 230 ms returned sat
[2021-05-13 19:36:44] [INFO ] [Nat]Added 102 Read/Feed constraints in 77 ms returned sat
[2021-05-13 19:36:44] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 396 ms.
[2021-05-13 19:37:03] [INFO ] Added : 245 causal constraints over 49 iterations in 19527 ms. Result :unknown
[2021-05-13 19:37:03] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 19:37:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:37:04] [INFO ] [Real]Absence check using state equation in 225 ms returned sat
[2021-05-13 19:37:04] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:37:04] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 19:37:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:37:04] [INFO ] [Nat]Absence check using state equation in 275 ms returned sat
[2021-05-13 19:37:05] [INFO ] [Nat]Added 102 Read/Feed constraints in 679 ms returned sat
[2021-05-13 19:37:05] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 726 ms.
[2021-05-13 19:37:24] [INFO ] Added : 240 causal constraints over 48 iterations in 18918 ms. Result :unknown
[2021-05-13 19:37:24] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 19:37:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:37:24] [INFO ] [Real]Absence check using state equation in 237 ms returned sat
[2021-05-13 19:37:24] [INFO ] [Real]Added 102 Read/Feed constraints in 52 ms returned sat
[2021-05-13 19:37:24] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:37:24] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 19:37:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:37:24] [INFO ] [Nat]Absence check using state equation in 239 ms returned sat
[2021-05-13 19:37:24] [INFO ] [Nat]Added 102 Read/Feed constraints in 93 ms returned sat
[2021-05-13 19:37:25] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 388 ms.
[2021-05-13 19:37:35] [INFO ] Added : 175 causal constraints over 35 iterations in 10440 ms. Result :sat
[2021-05-13 19:37:35] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 19:37:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:37:35] [INFO ] [Real]Absence check using state equation in 294 ms returned sat
[2021-05-13 19:37:35] [INFO ] [Real]Added 102 Read/Feed constraints in 66 ms returned sat
[2021-05-13 19:37:35] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:37:35] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 19:37:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:37:36] [INFO ] [Nat]Absence check using state equation in 320 ms returned sat
[2021-05-13 19:37:36] [INFO ] [Nat]Added 102 Read/Feed constraints in 656 ms returned sat
[2021-05-13 19:37:37] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 683 ms.
[2021-05-13 19:37:55] [INFO ] Added : 225 causal constraints over 45 iterations in 18856 ms. Result :unknown
[2021-05-13 19:37:55] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:37:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:37:56] [INFO ] [Real]Absence check using state equation in 285 ms returned sat
[2021-05-13 19:37:56] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:37:56] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 19:37:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:37:56] [INFO ] [Nat]Absence check using state equation in 264 ms returned sat
[2021-05-13 19:37:57] [INFO ] [Nat]Added 102 Read/Feed constraints in 766 ms returned sat
[2021-05-13 19:37:58] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 659 ms.
[2021-05-13 19:38:16] [INFO ] Added : 250 causal constraints over 50 iterations in 18868 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 19:38:16] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:38:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:38:16] [INFO ] [Real]Absence check using state equation in 285 ms returned sat
[2021-05-13 19:38:16] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:38:16] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 19:38:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:38:16] [INFO ] [Nat]Absence check using state equation in 270 ms returned sat
[2021-05-13 19:38:17] [INFO ] [Nat]Added 102 Read/Feed constraints in 546 ms returned sat
[2021-05-13 19:38:18] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 568 ms.
[2021-05-13 19:38:36] [INFO ] Added : 240 causal constraints over 48 iterations in 19040 ms. Result :(error "Failed to check-sat")
[2021-05-13 19:38:36] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 19:38:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:38:37] [INFO ] [Real]Absence check using state equation in 378 ms returned sat
[2021-05-13 19:38:37] [INFO ] [Real]Added 102 Read/Feed constraints in 76 ms returned sat
[2021-05-13 19:38:37] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:38:37] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 19:38:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:38:37] [INFO ] [Nat]Absence check using state equation in 291 ms returned sat
[2021-05-13 19:38:38] [INFO ] [Nat]Added 102 Read/Feed constraints in 785 ms returned sat
[2021-05-13 19:38:38] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 312 ms.
[2021-05-13 19:38:57] [INFO ] Added : 210 causal constraints over 42 iterations in 18738 ms. Result :unknown
[2021-05-13 19:38:57] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:38:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:38:57] [INFO ] [Real]Absence check using state equation in 290 ms returned sat
[2021-05-13 19:38:57] [INFO ] [Real]Added 102 Read/Feed constraints in 69 ms returned sat
[2021-05-13 19:38:57] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:38:57] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:38:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:38:58] [INFO ] [Nat]Absence check using state equation in 279 ms returned sat
[2021-05-13 19:38:58] [INFO ] [Nat]Added 102 Read/Feed constraints in 98 ms returned sat
[2021-05-13 19:38:58] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 387 ms.
[2021-05-13 19:39:17] [INFO ] Added : 215 causal constraints over 43 iterations in 19532 ms. Result :unknown
[2021-05-13 19:39:17] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 19:39:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:39:18] [INFO ] [Real]Absence check using state equation in 213 ms returned sat
[2021-05-13 19:39:18] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:39:18] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 19:39:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:39:18] [INFO ] [Nat]Absence check using state equation in 211 ms returned sat
[2021-05-13 19:39:18] [INFO ] [Nat]Added 102 Read/Feed constraints in 79 ms returned sat
[2021-05-13 19:39:18] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 508 ms.
[2021-05-13 19:39:33] [INFO ] Added : 215 causal constraints over 43 iterations in 14705 ms. Result :unknown
[2021-05-13 19:39:33] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 19:39:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:39:33] [INFO ] [Real]Absence check using state equation in 179 ms returned sat
[2021-05-13 19:39:33] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:39:33] [INFO ] [Nat]Absence check using 7 positive place invariants in 20 ms returned sat
[2021-05-13 19:39:33] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:39:33] [INFO ] [Nat]Absence check using state equation in 301 ms returned sat
[2021-05-13 19:39:33] [INFO ] [Nat]Added 102 Read/Feed constraints in 160 ms returned sat
[2021-05-13 19:39:34] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 535 ms.
[2021-05-13 19:39:53] [INFO ] Added : 220 causal constraints over 44 iterations in 19426 ms. Result :unknown
[2021-05-13 19:39:53] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:39:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:39:53] [INFO ] [Real]Absence check using state equation in 281 ms returned sat
[2021-05-13 19:39:53] [INFO ] [Real]Added 102 Read/Feed constraints in 66 ms returned sat
[2021-05-13 19:39:53] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:39:53] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 19:39:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:39:54] [INFO ] [Nat]Absence check using state equation in 264 ms returned sat
[2021-05-13 19:39:55] [INFO ] [Nat]Added 102 Read/Feed constraints in 1218 ms returned sat
[2021-05-13 19:39:55] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 440 ms.
[2021-05-13 19:40:13] [INFO ] Added : 250 causal constraints over 50 iterations in 18431 ms. Result :unknown
[2021-05-13 19:40:13] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 19:40:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:40:14] [INFO ] [Real]Absence check using state equation in 214 ms returned sat
[2021-05-13 19:40:14] [INFO ] [Real]Added 102 Read/Feed constraints in 58 ms returned sat
[2021-05-13 19:40:14] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:40:14] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:40:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:40:14] [INFO ] [Nat]Absence check using state equation in 262 ms returned sat
[2021-05-13 19:40:15] [INFO ] [Nat]Added 102 Read/Feed constraints in 1154 ms returned sat
[2021-05-13 19:40:16] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 481 ms.
[2021-05-13 19:40:34] [INFO ] Added : 285 causal constraints over 57 iterations in 18458 ms. Result :unknown
[2021-05-13 19:40:34] [INFO ] [Real]Absence check using 7 positive place invariants in 21 ms returned sat
[2021-05-13 19:40:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:40:34] [INFO ] [Real]Absence check using state equation in 251 ms returned sat
[2021-05-13 19:40:34] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:40:34] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 19:40:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:40:34] [INFO ] [Nat]Absence check using state equation in 335 ms returned sat
[2021-05-13 19:40:35] [INFO ] [Nat]Added 102 Read/Feed constraints in 112 ms returned sat
[2021-05-13 19:40:35] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 504 ms.
[2021-05-13 19:40:47] [INFO ] Added : 210 causal constraints over 42 iterations in 12551 ms. Result :unknown
[2021-05-13 19:40:47] [INFO ] [Real]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 19:40:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:40:48] [INFO ] [Real]Absence check using state equation in 262 ms returned sat
[2021-05-13 19:40:48] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:40:48] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:40:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:40:48] [INFO ] [Nat]Absence check using state equation in 235 ms returned sat
[2021-05-13 19:40:48] [INFO ] [Nat]Added 102 Read/Feed constraints in 520 ms returned sat
[2021-05-13 19:40:49] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 505 ms.
[2021-05-13 19:41:05] [INFO ] Added : 220 causal constraints over 44 iterations in 16308 ms. Result :sat
[2021-05-13 19:41:05] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 19:41:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:41:05] [INFO ] [Real]Absence check using state equation in 252 ms returned sat
[2021-05-13 19:41:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:41:05] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 19:41:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:41:06] [INFO ] [Nat]Absence check using state equation in 290 ms returned sat
[2021-05-13 19:41:06] [INFO ] [Nat]Added 102 Read/Feed constraints in 117 ms returned sat
[2021-05-13 19:41:06] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 503 ms.
[2021-05-13 19:41:25] [INFO ] Added : 220 causal constraints over 44 iterations in 19440 ms. Result :unknown
[2021-05-13 19:41:25] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 19:41:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:41:25] [INFO ] [Real]Absence check using state equation in 202 ms returned sat
[2021-05-13 19:41:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:41:26] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 19:41:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:41:26] [INFO ] [Nat]Absence check using state equation in 355 ms returned sat
[2021-05-13 19:41:27] [INFO ] [Nat]Added 102 Read/Feed constraints in 1133 ms returned sat
[2021-05-13 19:41:28] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 640 ms.
[2021-05-13 19:41:46] [INFO ] Added : 230 causal constraints over 46 iterations in 18344 ms. Result :unknown
[2021-05-13 19:41:46] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 19:41:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:41:46] [INFO ] [Real]Absence check using state equation in 238 ms returned sat
[2021-05-13 19:41:46] [INFO ] [Real]Added 102 Read/Feed constraints in 55 ms returned sat
[2021-05-13 19:41:46] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:41:46] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 19:41:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:41:46] [INFO ] [Nat]Absence check using state equation in 347 ms returned sat
[2021-05-13 19:41:46] [INFO ] [Nat]Added 102 Read/Feed constraints in 119 ms returned sat
[2021-05-13 19:41:47] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 485 ms.
[2021-05-13 19:42:06] [INFO ] Added : 230 causal constraints over 46 iterations in 19246 ms. Result :unknown
[2021-05-13 19:42:06] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:42:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:42:06] [INFO ] [Real]Absence check using state equation in 266 ms returned sat
[2021-05-13 19:42:06] [INFO ] [Real]Added 102 Read/Feed constraints in 66 ms returned sat
[2021-05-13 19:42:06] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:42:06] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 19:42:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:42:07] [INFO ] [Nat]Absence check using state equation in 301 ms returned sat
[2021-05-13 19:42:08] [INFO ] [Nat]Added 102 Read/Feed constraints in 1104 ms returned sat
[2021-05-13 19:42:08] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 559 ms.
[2021-05-13 19:42:26] [INFO ] Added : 225 causal constraints over 45 iterations in 18491 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 19:42:26] [INFO ] [Real]Absence check using 7 positive place invariants in 24 ms returned sat
[2021-05-13 19:42:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:42:27] [INFO ] [Real]Absence check using state equation in 439 ms returned sat
[2021-05-13 19:42:27] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:42:27] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:42:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:42:27] [INFO ] [Nat]Absence check using state equation in 291 ms returned sat
[2021-05-13 19:42:28] [INFO ] [Nat]Added 102 Read/Feed constraints in 582 ms returned sat
[2021-05-13 19:42:29] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 634 ms.
[2021-05-13 19:42:47] [INFO ] Added : 230 causal constraints over 46 iterations in 18996 ms. Result :unknown
[2021-05-13 19:42:47] [INFO ] [Real]Absence check using 7 positive place invariants in 53 ms returned sat
[2021-05-13 19:42:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:42:47] [INFO ] [Real]Absence check using state equation in 380 ms returned sat
[2021-05-13 19:42:47] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:42:47] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 19:42:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:42:48] [INFO ] [Nat]Absence check using state equation in 270 ms returned sat
[2021-05-13 19:42:48] [INFO ] [Nat]Added 102 Read/Feed constraints in 86 ms returned sat
[2021-05-13 19:42:48] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 482 ms.
[2021-05-13 19:43:07] [INFO ] Added : 270 causal constraints over 54 iterations in 19480 ms. Result :unknown
[2021-05-13 19:43:07] [INFO ] [Real]Absence check using 7 positive place invariants in 22 ms returned sat
[2021-05-13 19:43:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:43:08] [INFO ] [Real]Absence check using state equation in 252 ms returned sat
[2021-05-13 19:43:08] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:43:08] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 19:43:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:43:08] [INFO ] [Nat]Absence check using state equation in 231 ms returned sat
[2021-05-13 19:43:08] [INFO ] [Nat]Added 102 Read/Feed constraints in 82 ms returned sat
[2021-05-13 19:43:09] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 655 ms.
[2021-05-13 19:43:28] [INFO ] Added : 205 causal constraints over 41 iterations in 19579 ms. Result :unknown
[2021-05-13 19:43:28] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:43:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:43:28] [INFO ] [Real]Absence check using state equation in 291 ms returned sat
[2021-05-13 19:43:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:43:28] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 19:43:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:43:28] [INFO ] [Nat]Absence check using state equation in 315 ms returned sat
[2021-05-13 19:43:29] [INFO ] [Nat]Added 102 Read/Feed constraints in 736 ms returned sat
[2021-05-13 19:43:30] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 597 ms.
[2021-05-13 19:43:48] [INFO ] Added : 280 causal constraints over 56 iterations in 18843 ms. Result :unknown
[2021-05-13 19:43:48] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 19:43:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:43:48] [INFO ] [Real]Absence check using state equation in 196 ms returned sat
[2021-05-13 19:43:48] [INFO ] [Real]Added 102 Read/Feed constraints in 65 ms returned sat
[2021-05-13 19:43:48] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:43:48] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 19:43:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:43:49] [INFO ] [Nat]Absence check using state equation in 260 ms returned sat
[2021-05-13 19:43:49] [INFO ] [Nat]Added 102 Read/Feed constraints in 705 ms returned sat
[2021-05-13 19:43:50] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 596 ms.
[2021-05-13 19:44:05] [INFO ] Added : 220 causal constraints over 44 iterations in 15319 ms. Result :sat
[2021-05-13 19:44:05] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:44:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:44:05] [INFO ] [Real]Absence check using state equation in 260 ms returned sat
[2021-05-13 19:44:05] [INFO ] [Real]Added 102 Read/Feed constraints in 68 ms returned sat
[2021-05-13 19:44:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:44:06] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:44:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:44:06] [INFO ] [Nat]Absence check using state equation in 272 ms returned sat
[2021-05-13 19:44:07] [INFO ] [Nat]Added 102 Read/Feed constraints in 1519 ms returned sat
[2021-05-13 19:44:08] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 664 ms.
[2021-05-13 19:44:25] [INFO ] Added : 235 causal constraints over 47 iterations in 18039 ms. Result :unknown
[2021-05-13 19:44:26] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:44:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:44:26] [INFO ] [Real]Absence check using state equation in 270 ms returned sat
[2021-05-13 19:44:26] [INFO ] [Real]Added 102 Read/Feed constraints in 66 ms returned sat
[2021-05-13 19:44:26] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:44:26] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 19:44:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:44:26] [INFO ] [Nat]Absence check using state equation in 279 ms returned sat
[2021-05-13 19:44:27] [INFO ] [Nat]Added 102 Read/Feed constraints in 806 ms returned sat
[2021-05-13 19:44:28] [INFO ] Deduced a trap composed of 56 places in 970 ms
[2021-05-13 19:44:29] [INFO ] Deduced a trap composed of 56 places in 802 ms
[2021-05-13 19:44:29] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 2118 ms
[2021-05-13 19:44:30] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 452 ms.
[2021-05-13 19:44:46] [INFO ] Added : 215 causal constraints over 43 iterations in 16762 ms. Result :unknown
[2021-05-13 19:44:46] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:44:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:44:46] [INFO ] [Real]Absence check using state equation in 318 ms returned sat
[2021-05-13 19:44:46] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:44:46] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:44:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:44:47] [INFO ] [Nat]Absence check using state equation in 282 ms returned sat
[2021-05-13 19:44:48] [INFO ] [Nat]Added 102 Read/Feed constraints in 958 ms returned sat
[2021-05-13 19:44:49] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 826 ms.
[2021-05-13 19:45:06] [INFO ] Added : 220 causal constraints over 44 iterations in 18628 ms. Result :unknown
[2021-05-13 19:45:06] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:45:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:45:07] [INFO ] [Real]Absence check using state equation in 268 ms returned sat
[2021-05-13 19:45:07] [INFO ] [Real]Added 102 Read/Feed constraints in 72 ms returned sat
[2021-05-13 19:45:07] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:45:07] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:45:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:45:07] [INFO ] [Nat]Absence check using state equation in 257 ms returned sat
[2021-05-13 19:45:08] [INFO ] [Nat]Added 102 Read/Feed constraints in 1296 ms returned sat
[2021-05-13 19:45:09] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 571 ms.
[2021-05-13 19:45:17] [INFO ] Added : 170 causal constraints over 34 iterations in 8452 ms. Result :sat
[2021-05-13 19:45:17] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 19:45:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:45:17] [INFO ] [Real]Absence check using state equation in 275 ms returned sat
[2021-05-13 19:45:18] [INFO ] [Real]Added 102 Read/Feed constraints in 72 ms returned sat
[2021-05-13 19:45:18] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:45:18] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:45:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:45:18] [INFO ] [Nat]Absence check using state equation in 263 ms returned sat
[2021-05-13 19:45:19] [INFO ] [Nat]Added 102 Read/Feed constraints in 687 ms returned sat
[2021-05-13 19:45:19] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 609 ms.
[2021-05-13 19:45:38] [INFO ] Added : 225 causal constraints over 45 iterations in 18923 ms. Result :unknown
[2021-05-13 19:45:38] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 19:45:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:45:38] [INFO ] [Real]Absence check using state equation in 223 ms returned sat
[2021-05-13 19:45:38] [INFO ] [Real]Added 102 Read/Feed constraints in 52 ms returned sat
[2021-05-13 19:45:38] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:45:38] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 19:45:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:45:38] [INFO ] [Nat]Absence check using state equation in 214 ms returned sat
[2021-05-13 19:45:38] [INFO ] [Nat]Added 102 Read/Feed constraints in 79 ms returned sat
[2021-05-13 19:45:39] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 681 ms.
[2021-05-13 19:45:58] [INFO ] Added : 295 causal constraints over 59 iterations in 19558 ms. Result :unknown
[2021-05-13 19:45:58] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:45:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:45:58] [INFO ] [Real]Absence check using state equation in 282 ms returned sat
[2021-05-13 19:45:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:45:58] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 19:45:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:45:59] [INFO ] [Nat]Absence check using state equation in 367 ms returned sat
[2021-05-13 19:45:59] [INFO ] [Nat]Added 102 Read/Feed constraints in 731 ms returned sat
[2021-05-13 19:46:00] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 654 ms.
[2021-05-13 19:46:18] [INFO ] Added : 220 causal constraints over 44 iterations in 18755 ms. Result :unknown
[2021-05-13 19:46:18] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 19:46:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:46:19] [INFO ] [Real]Absence check using state equation in 289 ms returned sat
[2021-05-13 19:46:19] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:46:19] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 19:46:19] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:46:19] [INFO ] [Nat]Absence check using state equation in 315 ms returned sat
[2021-05-13 19:46:20] [INFO ] [Nat]Added 102 Read/Feed constraints in 802 ms returned sat
[2021-05-13 19:46:20] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 508 ms.
[2021-05-13 19:46:39] [INFO ] Added : 240 causal constraints over 48 iterations in 18686 ms. Result :unknown
[2021-05-13 19:46:39] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 19:46:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:46:39] [INFO ] [Real]Absence check using state equation in 319 ms returned sat
[2021-05-13 19:46:39] [INFO ] [Real]Added 102 Read/Feed constraints in 79 ms returned sat
[2021-05-13 19:46:39] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:46:39] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:46:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:46:39] [INFO ] [Nat]Absence check using state equation in 275 ms returned sat
[2021-05-13 19:46:40] [INFO ] [Nat]Added 102 Read/Feed constraints in 451 ms returned sat
[2021-05-13 19:46:41] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 590 ms.
[2021-05-13 19:46:59] [INFO ] Added : 230 causal constraints over 46 iterations in 19112 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 19:46:59] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:46:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:47:00] [INFO ] [Real]Absence check using state equation in 363 ms returned sat
[2021-05-13 19:47:00] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:47:00] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 19:47:00] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:47:00] [INFO ] [Nat]Absence check using state equation in 546 ms returned sat
[2021-05-13 19:47:01] [INFO ] [Nat]Added 102 Read/Feed constraints in 959 ms returned sat
[2021-05-13 19:47:02] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 547 ms.
[2021-05-13 19:47:20] [INFO ] Added : 210 causal constraints over 42 iterations in 18360 ms. Result :unknown
[2021-05-13 19:47:20] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:47:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:47:20] [INFO ] [Real]Absence check using state equation in 275 ms returned sat
[2021-05-13 19:47:20] [INFO ] [Real]Added 102 Read/Feed constraints in 68 ms returned sat
[2021-05-13 19:47:20] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:47:20] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:47:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:47:20] [INFO ] [Nat]Absence check using state equation in 292 ms returned sat
[2021-05-13 19:47:20] [INFO ] [Nat]Added 102 Read/Feed constraints in 117 ms returned sat
[2021-05-13 19:47:21] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 631 ms.
[2021-05-13 19:47:40] [INFO ] Added : 205 causal constraints over 41 iterations in 19475 ms. Result :unknown
[2021-05-13 19:47:40] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 19:47:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:47:40] [INFO ] [Real]Absence check using state equation in 224 ms returned sat
[2021-05-13 19:47:40] [INFO ] [Real]Added 102 Read/Feed constraints in 52 ms returned sat
[2021-05-13 19:47:40] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:47:40] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 19:47:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:47:41] [INFO ] [Nat]Absence check using state equation in 259 ms returned sat
[2021-05-13 19:47:41] [INFO ] [Nat]Added 102 Read/Feed constraints in 139 ms returned sat
[2021-05-13 19:47:41] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 550 ms.
[2021-05-13 19:47:56] [INFO ] Added : 230 causal constraints over 46 iterations in 15146 ms. Result :unknown
[2021-05-13 19:47:56] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 19:47:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:47:56] [INFO ] [Real]Absence check using state equation in 271 ms returned sat
[2021-05-13 19:47:56] [INFO ] [Real]Added 102 Read/Feed constraints in 70 ms returned sat
[2021-05-13 19:47:57] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:47:57] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 19:47:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:47:57] [INFO ] [Nat]Absence check using state equation in 257 ms returned sat
[2021-05-13 19:47:57] [INFO ] [Nat]Added 102 Read/Feed constraints in 626 ms returned sat
[2021-05-13 19:47:58] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 506 ms.
[2021-05-13 19:48:12] [INFO ] Added : 210 causal constraints over 42 iterations in 13978 ms. Result :sat
[2021-05-13 19:48:12] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 19:48:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:48:12] [INFO ] [Real]Absence check using state equation in 243 ms returned sat
[2021-05-13 19:48:12] [INFO ] [Real]Added 102 Read/Feed constraints in 66 ms returned sat
[2021-05-13 19:48:12] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:48:12] [INFO ] [Nat]Absence check using 7 positive place invariants in 25 ms returned sat
[2021-05-13 19:48:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:48:12] [INFO ] [Nat]Absence check using state equation in 253 ms returned sat
[2021-05-13 19:48:13] [INFO ] [Nat]Added 102 Read/Feed constraints in 866 ms returned sat
[2021-05-13 19:48:14] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 703 ms.
[2021-05-13 19:48:32] [INFO ] Added : 230 causal constraints over 46 iterations in 18725 ms. Result :unknown
[2021-05-13 19:48:32] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 19:48:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:48:32] [INFO ] [Real]Absence check using state equation in 303 ms returned sat
[2021-05-13 19:48:32] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:48:32] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 19:48:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:48:33] [INFO ] [Nat]Absence check using state equation in 208 ms returned sat
[2021-05-13 19:48:33] [INFO ] [Nat]Added 102 Read/Feed constraints in 675 ms returned sat
[2021-05-13 19:48:34] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 574 ms.
[2021-05-13 19:48:49] [INFO ] Added : 230 causal constraints over 46 iterations in 16028 ms. Result :sat
[2021-05-13 19:48:50] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 19:48:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:48:50] [INFO ] [Real]Absence check using state equation in 281 ms returned sat
[2021-05-13 19:48:50] [INFO ] [Real]Added 102 Read/Feed constraints in 66 ms returned sat
[2021-05-13 19:48:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:48:50] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 19:48:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:48:50] [INFO ] [Nat]Absence check using state equation in 218 ms returned sat
[2021-05-13 19:48:51] [INFO ] [Nat]Added 102 Read/Feed constraints in 639 ms returned sat
[2021-05-13 19:48:52] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 756 ms.
[2021-05-13 19:49:10] [INFO ] Added : 295 causal constraints over 59 iterations in 18952 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 19:49:10] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 19:49:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:49:10] [INFO ] [Real]Absence check using state equation in 272 ms returned sat
[2021-05-13 19:49:10] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:49:10] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 19:49:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:49:11] [INFO ] [Nat]Absence check using state equation in 247 ms returned sat
[2021-05-13 19:49:11] [INFO ] [Nat]Added 102 Read/Feed constraints in 74 ms returned sat
[2021-05-13 19:49:11] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 515 ms.
[2021-05-13 19:49:22] [INFO ] Added : 225 causal constraints over 45 iterations in 10882 ms. Result :sat
[2021-05-13 19:49:22] [INFO ] [Real]Absence check using 7 positive place invariants in 29 ms returned sat
[2021-05-13 19:49:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:49:22] [INFO ] [Real]Absence check using state equation in 353 ms returned sat
[2021-05-13 19:49:22] [INFO ] [Real]Added 102 Read/Feed constraints in 71 ms returned sat
[2021-05-13 19:49:22] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:49:22] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 19:49:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:49:23] [INFO ] [Nat]Absence check using state equation in 321 ms returned sat
[2021-05-13 19:49:24] [INFO ] [Nat]Added 102 Read/Feed constraints in 1282 ms returned sat
[2021-05-13 19:49:25] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 531 ms.
[2021-05-13 19:49:42] [INFO ] Added : 230 causal constraints over 46 iterations in 17605 ms. Result :sat
[2021-05-13 19:49:42] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:49:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:49:42] [INFO ] [Real]Absence check using state equation in 251 ms returned sat
[2021-05-13 19:49:42] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:49:42] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 19:49:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:49:42] [INFO ] [Nat]Absence check using state equation in 193 ms returned sat
[2021-05-13 19:49:43] [INFO ] [Nat]Added 102 Read/Feed constraints in 520 ms returned sat
[2021-05-13 19:49:43] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 466 ms.
[2021-05-13 19:50:02] [INFO ] Added : 240 causal constraints over 48 iterations in 19164 ms. Result :unknown
[2021-05-13 19:50:02] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 19:50:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:50:02] [INFO ] [Real]Absence check using state equation in 211 ms returned sat
[2021-05-13 19:50:02] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:50:02] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 19:50:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:50:03] [INFO ] [Nat]Absence check using state equation in 240 ms returned sat
[2021-05-13 19:50:03] [INFO ] [Nat]Added 102 Read/Feed constraints in 74 ms returned sat
[2021-05-13 19:50:04] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 555 ms.
[2021-05-13 19:50:20] [INFO ] Added : 285 causal constraints over 57 iterations in 16829 ms. Result :unknown
[2021-05-13 19:50:20] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:50:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:50:20] [INFO ] [Real]Absence check using state equation in 260 ms returned sat
[2021-05-13 19:50:20] [INFO ] [Real]Added 102 Read/Feed constraints in 97 ms returned sat
[2021-05-13 19:50:20] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:50:20] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 19:50:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:50:21] [INFO ] [Nat]Absence check using state equation in 280 ms returned sat
[2021-05-13 19:50:21] [INFO ] [Nat]Added 102 Read/Feed constraints in 680 ms returned sat
[2021-05-13 19:50:22] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 551 ms.
[2021-05-13 19:50:34] [INFO ] Added : 205 causal constraints over 41 iterations in 12906 ms. Result :unknown
[2021-05-13 19:50:34] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:50:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:50:35] [INFO ] [Real]Absence check using state equation in 300 ms returned sat
[2021-05-13 19:50:35] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:50:35] [INFO ] [Nat]Absence check using 7 positive place invariants in 42 ms returned sat
[2021-05-13 19:50:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:50:35] [INFO ] [Nat]Absence check using state equation in 342 ms returned sat
[2021-05-13 19:50:36] [INFO ] [Nat]Added 102 Read/Feed constraints in 822 ms returned sat
[2021-05-13 19:50:37] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 701 ms.
[2021-05-13 19:50:52] [INFO ] Added : 210 causal constraints over 42 iterations in 16104 ms. Result :sat
[2021-05-13 19:50:52] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:50:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:50:53] [INFO ] [Real]Absence check using state equation in 275 ms returned sat
[2021-05-13 19:50:53] [INFO ] [Real]Added 102 Read/Feed constraints in 66 ms returned sat
[2021-05-13 19:50:53] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:50:53] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 19:50:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:50:53] [INFO ] [Nat]Absence check using state equation in 253 ms returned sat
[2021-05-13 19:50:54] [INFO ] [Nat]Added 102 Read/Feed constraints in 598 ms returned sat
[2021-05-13 19:50:54] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 565 ms.
[2021-05-13 19:51:13] [INFO ] Added : 250 causal constraints over 50 iterations in 18836 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 19:51:13] [INFO ] [Real]Absence check using 7 positive place invariants in 34 ms returned sat
[2021-05-13 19:51:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:51:13] [INFO ] [Real]Absence check using state equation in 275 ms returned sat
[2021-05-13 19:51:13] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:51:13] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:51:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:51:13] [INFO ] [Nat]Absence check using state equation in 303 ms returned sat
[2021-05-13 19:51:14] [INFO ] [Nat]Added 102 Read/Feed constraints in 663 ms returned sat
[2021-05-13 19:51:15] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 569 ms.
[2021-05-13 19:51:29] [INFO ] Added : 220 causal constraints over 44 iterations in 15028 ms. Result :sat
[2021-05-13 19:51:29] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 19:51:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:51:30] [INFO ] [Real]Absence check using state equation in 267 ms returned sat
[2021-05-13 19:51:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:51:30] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 19:51:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:51:30] [INFO ] [Nat]Absence check using state equation in 215 ms returned sat
[2021-05-13 19:51:30] [INFO ] [Nat]Added 102 Read/Feed constraints in 84 ms returned sat
[2021-05-13 19:51:31] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 496 ms.
[2021-05-13 19:51:50] [INFO ] Added : 215 causal constraints over 43 iterations in 19602 ms. Result :unknown
[2021-05-13 19:51:50] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:51:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:51:50] [INFO ] [Real]Absence check using state equation in 293 ms returned sat
[2021-05-13 19:51:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:51:50] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:51:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:51:50] [INFO ] [Nat]Absence check using state equation in 270 ms returned sat
[2021-05-13 19:51:50] [INFO ] [Nat]Added 102 Read/Feed constraints in 93 ms returned sat
[2021-05-13 19:51:51] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 661 ms.
[2021-05-13 19:52:10] [INFO ] Added : 240 causal constraints over 48 iterations in 19510 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 19:52:10] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 19:52:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:52:10] [INFO ] [Real]Absence check using state equation in 251 ms returned sat
[2021-05-13 19:52:10] [INFO ] [Real]Added 102 Read/Feed constraints in 77 ms returned sat
[2021-05-13 19:52:10] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:52:10] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 19:52:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:52:11] [INFO ] [Nat]Absence check using state equation in 237 ms returned sat
[2021-05-13 19:52:12] [INFO ] [Nat]Added 102 Read/Feed constraints in 1225 ms returned sat
[2021-05-13 19:52:13] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 746 ms.
[2021-05-13 19:52:30] [INFO ] Added : 225 causal constraints over 45 iterations in 18410 ms. Result :unknown
[2021-05-13 19:52:31] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:52:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:52:31] [INFO ] [Real]Absence check using state equation in 300 ms returned sat
[2021-05-13 19:52:31] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:52:31] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:52:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:52:31] [INFO ] [Nat]Absence check using state equation in 231 ms returned sat
[2021-05-13 19:52:32] [INFO ] [Nat]Added 102 Read/Feed constraints in 628 ms returned sat
[2021-05-13 19:52:33] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 650 ms.
[2021-05-13 19:52:51] [INFO ] Added : 225 causal constraints over 45 iterations in 18952 ms. Result :unknown
[2021-05-13 19:52:51] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 19:52:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:52:51] [INFO ] [Real]Absence check using state equation in 220 ms returned sat
[2021-05-13 19:52:51] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:52:51] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 19:52:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:52:52] [INFO ] [Nat]Absence check using state equation in 352 ms returned sat
[2021-05-13 19:52:52] [INFO ] [Nat]Added 102 Read/Feed constraints in 113 ms returned sat
[2021-05-13 19:52:52] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 485 ms.
[2021-05-13 19:53:01] [INFO ] Added : 165 causal constraints over 33 iterations in 8961 ms. Result :sat
[2021-05-13 19:53:01] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:53:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:53:01] [INFO ] [Real]Absence check using state equation in 277 ms returned sat
[2021-05-13 19:53:01] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:53:01] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 19:53:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:53:02] [INFO ] [Nat]Absence check using state equation in 301 ms returned sat
[2021-05-13 19:53:02] [INFO ] [Nat]Added 102 Read/Feed constraints in 737 ms returned sat
[2021-05-13 19:53:03] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 457 ms.
[2021-05-13 19:53:18] [INFO ] Added : 225 causal constraints over 45 iterations in 15886 ms. Result :sat
[2021-05-13 19:53:19] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:53:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:53:19] [INFO ] [Real]Absence check using state equation in 245 ms returned sat
[2021-05-13 19:53:19] [INFO ] [Real]Added 102 Read/Feed constraints in 50 ms returned sat
[2021-05-13 19:53:19] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:53:19] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 19:53:19] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:53:19] [INFO ] [Nat]Absence check using state equation in 362 ms returned sat
[2021-05-13 19:53:19] [INFO ] [Nat]Added 102 Read/Feed constraints in 110 ms returned sat
[2021-05-13 19:53:20] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 813 ms.
[2021-05-13 19:53:39] [INFO ] Added : 215 causal constraints over 43 iterations in 19381 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 19:53:39] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 19:53:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:53:39] [INFO ] [Real]Absence check using state equation in 209 ms returned sat
[2021-05-13 19:53:39] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:53:39] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 19:53:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:53:39] [INFO ] [Nat]Absence check using state equation in 252 ms returned sat
[2021-05-13 19:53:40] [INFO ] [Nat]Added 102 Read/Feed constraints in 706 ms returned sat
[2021-05-13 19:53:41] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 486 ms.
[2021-05-13 19:53:59] [INFO ] Added : 240 causal constraints over 48 iterations in 18891 ms. Result :unknown
[2021-05-13 19:53:59] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 19:53:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:53:59] [INFO ] [Real]Absence check using state equation in 223 ms returned sat
[2021-05-13 19:53:59] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:54:00] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 19:54:00] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:54:00] [INFO ] [Nat]Absence check using state equation in 275 ms returned sat
[2021-05-13 19:54:00] [INFO ] [Nat]Added 102 Read/Feed constraints in 95 ms returned sat
[2021-05-13 19:54:01] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 749 ms.
[2021-05-13 19:54:20] [INFO ] Added : 210 causal constraints over 42 iterations in 19485 ms. Result :unknown
[2021-05-13 19:54:20] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 19:54:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:54:20] [INFO ] [Real]Absence check using state equation in 236 ms returned sat
[2021-05-13 19:54:20] [INFO ] [Real]Added 102 Read/Feed constraints in 54 ms returned sat
[2021-05-13 19:54:20] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:54:20] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 19:54:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:54:20] [INFO ] [Nat]Absence check using state equation in 296 ms returned sat
[2021-05-13 19:54:21] [INFO ] [Nat]Added 102 Read/Feed constraints in 659 ms returned sat
[2021-05-13 19:54:22] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 527 ms.
[2021-05-13 19:54:37] [INFO ] Added : 220 causal constraints over 44 iterations in 15997 ms. Result :sat
[2021-05-13 19:54:37] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:54:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:54:38] [INFO ] [Real]Absence check using state equation in 214 ms returned sat
[2021-05-13 19:54:38] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:54:38] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 19:54:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:54:38] [INFO ] [Nat]Absence check using state equation in 203 ms returned sat
[2021-05-13 19:54:38] [INFO ] [Nat]Added 102 Read/Feed constraints in 631 ms returned sat
[2021-05-13 19:54:39] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 546 ms.
[2021-05-13 19:54:58] [INFO ] Added : 240 causal constraints over 48 iterations in 19036 ms. Result :unknown
[2021-05-13 19:54:58] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 19:54:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:54:58] [INFO ] [Real]Absence check using state equation in 204 ms returned sat
[2021-05-13 19:54:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:54:58] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 19:54:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:54:58] [INFO ] [Nat]Absence check using state equation in 248 ms returned sat
[2021-05-13 19:54:59] [INFO ] [Nat]Added 102 Read/Feed constraints in 644 ms returned sat
[2021-05-13 19:54:59] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 533 ms.
[2021-05-13 19:55:18] [INFO ] Added : 275 causal constraints over 55 iterations in 18996 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 19:55:18] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:55:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:55:18] [INFO ] [Real]Absence check using state equation in 266 ms returned sat
[2021-05-13 19:55:18] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:55:18] [INFO ] [Nat]Absence check using 7 positive place invariants in 19 ms returned sat
[2021-05-13 19:55:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:55:19] [INFO ] [Nat]Absence check using state equation in 370 ms returned sat
[2021-05-13 19:55:19] [INFO ] [Nat]Added 102 Read/Feed constraints in 99 ms returned sat
[2021-05-13 19:55:19] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 486 ms.
[2021-05-13 19:55:37] [INFO ] Added : 295 causal constraints over 59 iterations in 18345 ms. Result :sat
[2021-05-13 19:55:37] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 19:55:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:55:38] [INFO ] [Real]Absence check using state equation in 232 ms returned sat
[2021-05-13 19:55:38] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:55:38] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 19:55:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:55:38] [INFO ] [Nat]Absence check using state equation in 249 ms returned sat
[2021-05-13 19:55:38] [INFO ] [Nat]Added 102 Read/Feed constraints in 94 ms returned sat
[2021-05-13 19:55:39] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 446 ms.
[2021-05-13 19:55:53] [INFO ] Added : 225 causal constraints over 45 iterations in 14518 ms. Result :sat
[2021-05-13 19:55:53] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 19:55:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:55:53] [INFO ] [Real]Absence check using state equation in 262 ms returned sat
[2021-05-13 19:55:53] [INFO ] [Real]Added 102 Read/Feed constraints in 79 ms returned sat
[2021-05-13 19:55:53] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:55:53] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 19:55:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:55:54] [INFO ] [Nat]Absence check using state equation in 258 ms returned sat
[2021-05-13 19:55:55] [INFO ] [Nat]Added 102 Read/Feed constraints in 1141 ms returned sat
[2021-05-13 19:55:55] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 509 ms.
[2021-05-13 19:56:13] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (=> (> t291 0) (and (or (and (> t82 0) (< o82 o291)) (and (> t83 0) (< o83 o291)) (and (> t84 0) (< o84 o291)) (and (> t85 0) (< o85 o291)) (and (> t86 0) (< o86 o291)) (and (> t87 0) (< o87 o291)) (and (> t88 0) (< o88 o291)) (and (> t89 0) (< o89 o291)) (and (> t90 0) (< o90 o291)) (and (> t91 0) (< o91 o291)) (and (> t92 0) (< o92 o291)) (and (> t93 0) (< o93 o291)) (and (> t94 0) (< o94 o291)) (and (> t95 0) (< o95 o291)) (and (> t96 0) (< o96 o291)) (and (> t97 0) (< o97 o291)) (and (> t98 0) (< o98 o291)) (and (> t99 0) (< o99 o291)) (and (> t100 0) (< o100 o291)) (and (> t101 0) (< o101 o291)) (and (> t102 0) (< o102 o291)) (and (> t103 0) (< o103 o291)) (and (> t104 0) (< o104 o291)) (and (> t105 0) (< o105 o291)) (and (> t106 0) (< o106 o291)) (and (> t107 0) (< o107 o291)) (and (> t108 0) (< o108 o291)) (and (> t109 0) (< o109 o291)) (and (> t110 0) (< o110 o291)) (and (> t111 0) (< o111 o291)) (and (> t112 0) (< o112 o291)) (and (> t113 0) (< o113 o291)) (and (> t114 0) (< o114 o291)) (and (> t115 0) (< o115 o291)) (and (> t116 0) (< o116 o291)) (and (> t117 0) (< o117 o291)) (and (> t118 0) (< o118 o291)) (and (> t119 0) (< o119 o291)) (and (> t120 0) (< o120 o291)) (and (> t121 0) (< o121 o291)) (and (> t122 0) (< o122 o291)) (and (> t123 0) (< o123 o291)) (and (> t124 0) (< o124 o291)) (and (> t125 0) (< o125 o291)) (and (> t126 0) (< o126 o291)) (and (> t127 0) (< o127 o291)) (and (> t128 0) (< o128 o291)) (and (> t129 0) (< o129 o291)) (and (> t130 0) (< o130 o291)) (and (> t131 0) (< o131 o291)) (and (> t132 0) (< o132 o291)) (and (> t133 0) (< o133 o291)) (and (> t134 0) (< o134 o291)) (and (> t135 0) (< o135 o291)) (and (> t136 0) (< o136 o291)) (and (> t137 0) (< o137 o291)) (and (> t138 0) (< o138 o291)) (and (> t139 0) (< o139 o291)) (and (> t140 0) (< o140 o291)) (and (> t141 0) (< o141 o291)) (and (> t142 0) (< o142 o291)) (and (> t143 0) (< o143 o291)) (and (> t144 0) (< o144 o291)) (and (> t145 0) (< o145 o291)) (and (> t146 0) (< o146 o291)) (and (> t147 0) (< o147 o291)) (and (> t148 0) (< o148 o291)) (and (> t149 0) (< o149 o291)) (and (> t150 0) (< o150 o291)) (and (> t151 0) (< o151 o291)) (and (> t152 0) (< o152 o291)) (and (> t153 0) (< o153 o291)) (and (> t154 0) (< o154 o291)) (and (> t155 0) (< o155 o291)) (and (> t156 0) (< o156 o291)) (and (> t157 0) (< o157 o291)) (and (> t158 0) (< o158 o291)) (and (> t159 0) (< o159 o291)) (and (> t160 0) (< o160 o291)) (and (> t161 0) (< o161 o291)) (and (> t163 0) (< o163 o291))) (or (and (> t288 0) (< o288 o291)) (and (> t289 0) (< o289 o291)))))") while checking expression at index 83
[2021-05-13 19:56:13] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:56:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:56:14] [INFO ] [Real]Absence check using state equation in 264 ms returned sat
[2021-05-13 19:56:14] [INFO ] [Real]Added 102 Read/Feed constraints in 68 ms returned sat
[2021-05-13 19:56:14] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:56:14] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:56:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:56:14] [INFO ] [Nat]Absence check using state equation in 284 ms returned sat
[2021-05-13 19:56:15] [INFO ] [Nat]Added 102 Read/Feed constraints in 1223 ms returned sat
[2021-05-13 19:56:16] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 610 ms.
[2021-05-13 19:56:31] [INFO ] Added : 210 causal constraints over 42 iterations in 15129 ms. Result :sat
[2021-05-13 19:56:31] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 19:56:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:56:31] [INFO ] [Real]Absence check using state equation in 226 ms returned sat
[2021-05-13 19:56:31] [INFO ] [Real]Added 102 Read/Feed constraints in 61 ms returned sat
[2021-05-13 19:56:31] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:56:31] [INFO ] [Nat]Absence check using 7 positive place invariants in 30 ms returned sat
[2021-05-13 19:56:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:56:31] [INFO ] [Nat]Absence check using state equation in 276 ms returned sat
[2021-05-13 19:56:32] [INFO ] [Nat]Added 102 Read/Feed constraints in 141 ms returned sat
[2021-05-13 19:56:32] [INFO ] Deduced a trap composed of 56 places in 900 ms
[2021-05-13 19:56:33] [INFO ] Deduced a trap composed of 56 places in 834 ms
[2021-05-13 19:56:34] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 2096 ms
[2021-05-13 19:56:34] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 758 ms.
[2021-05-13 19:56:51] [INFO ] Added : 230 causal constraints over 46 iterations in 17444 ms. Result :unknown
[2021-05-13 19:56:51] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:56:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:56:51] [INFO ] [Real]Absence check using state equation in 244 ms returned sat
[2021-05-13 19:56:51] [INFO ] [Real]Added 102 Read/Feed constraints in 57 ms returned sat
[2021-05-13 19:56:51] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:56:51] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 19:56:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:56:52] [INFO ] [Nat]Absence check using state equation in 288 ms returned sat
[2021-05-13 19:56:53] [INFO ] [Nat]Added 102 Read/Feed constraints in 1164 ms returned sat
[2021-05-13 19:56:54] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 641 ms.
[2021-05-13 19:57:11] [INFO ] Added : 230 causal constraints over 46 iterations in 18368 ms. Result :unknown
[2021-05-13 19:57:12] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 19:57:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:57:12] [INFO ] [Real]Absence check using state equation in 260 ms returned sat
[2021-05-13 19:57:12] [INFO ] [Real]Added 102 Read/Feed constraints in 68 ms returned sat
[2021-05-13 19:57:12] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:57:12] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 19:57:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:57:12] [INFO ] [Nat]Absence check using state equation in 287 ms returned sat
[2021-05-13 19:57:13] [INFO ] [Nat]Added 102 Read/Feed constraints in 999 ms returned sat
[2021-05-13 19:57:14] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 491 ms.
[2021-05-13 19:57:32] [INFO ] Added : 240 causal constraints over 48 iterations in 18589 ms. Result :unknown
[2021-05-13 19:57:32] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:57:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:57:32] [INFO ] [Real]Absence check using state equation in 267 ms returned sat
[2021-05-13 19:57:32] [INFO ] [Real]Added 102 Read/Feed constraints in 72 ms returned sat
[2021-05-13 19:57:32] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:57:32] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 19:57:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:57:33] [INFO ] [Nat]Absence check using state equation in 291 ms returned sat
[2021-05-13 19:57:33] [INFO ] [Nat]Added 102 Read/Feed constraints in 127 ms returned sat
[2021-05-13 19:57:34] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 697 ms.
[2021-05-13 19:57:52] [INFO ] Added : 210 causal constraints over 42 iterations in 19426 ms. Result :unknown
[2021-05-13 19:57:52] [INFO ] [Real]Absence check using 7 positive place invariants in 21 ms returned sat
[2021-05-13 19:57:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:57:53] [INFO ] [Real]Absence check using state equation in 268 ms returned sat
[2021-05-13 19:57:53] [INFO ] [Real]Added 102 Read/Feed constraints in 79 ms returned sat
[2021-05-13 19:57:53] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:57:53] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 19:57:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:57:53] [INFO ] [Nat]Absence check using state equation in 197 ms returned sat
[2021-05-13 19:57:54] [INFO ] [Nat]Added 102 Read/Feed constraints in 964 ms returned sat
[2021-05-13 19:57:55] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 705 ms.
[2021-05-13 19:58:08] [INFO ] Added : 230 causal constraints over 46 iterations in 13539 ms. Result :sat
[2021-05-13 19:58:08] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:58:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:58:08] [INFO ] [Real]Absence check using state equation in 276 ms returned sat
[2021-05-13 19:58:08] [INFO ] [Real]Added 102 Read/Feed constraints in 73 ms returned sat
[2021-05-13 19:58:08] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:58:08] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 19:58:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:58:08] [INFO ] [Nat]Absence check using state equation in 266 ms returned sat
[2021-05-13 19:58:10] [INFO ] [Nat]Added 102 Read/Feed constraints in 1166 ms returned sat
[2021-05-13 19:58:10] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 393 ms.
[2021-05-13 19:58:28] [INFO ] Added : 225 causal constraints over 45 iterations in 18389 ms. Result :unknown
[2021-05-13 19:58:28] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 19:58:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:58:29] [INFO ] [Real]Absence check using state equation in 635 ms returned sat
[2021-05-13 19:58:29] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:58:29] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 19:58:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:58:29] [INFO ] [Nat]Absence check using state equation in 280 ms returned sat
[2021-05-13 19:58:29] [INFO ] [Nat]Added 102 Read/Feed constraints in 104 ms returned sat
[2021-05-13 19:58:30] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 518 ms.
[2021-05-13 19:58:49] [INFO ] Added : 220 causal constraints over 44 iterations in 19475 ms. Result :unknown
[2021-05-13 19:58:49] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:58:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:58:49] [INFO ] [Real]Absence check using state equation in 302 ms returned sat
[2021-05-13 19:58:49] [INFO ] [Real]Added 102 Read/Feed constraints in 67 ms returned sat
[2021-05-13 19:58:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:58:49] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:58:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:58:50] [INFO ] [Nat]Absence check using state equation in 423 ms returned sat
[2021-05-13 19:58:50] [INFO ] [Nat]Added 102 Read/Feed constraints in 104 ms returned sat
[2021-05-13 19:58:51] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 558 ms.
[2021-05-13 19:59:09] [INFO ] Added : 220 causal constraints over 44 iterations in 19364 ms. Result :unknown
[2021-05-13 19:59:09] [INFO ] [Real]Absence check using 7 positive place invariants in 24 ms returned sat
[2021-05-13 19:59:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:59:10] [INFO ] [Real]Absence check using state equation in 381 ms returned sat
[2021-05-13 19:59:10] [INFO ] [Real]Added 102 Read/Feed constraints in 92 ms returned sat
[2021-05-13 19:59:10] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:59:10] [INFO ] [Nat]Absence check using 7 positive place invariants in 28 ms returned sat
[2021-05-13 19:59:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:59:10] [INFO ] [Nat]Absence check using state equation in 425 ms returned sat
[2021-05-13 19:59:11] [INFO ] [Nat]Added 102 Read/Feed constraints in 655 ms returned sat
[2021-05-13 19:59:12] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 510 ms.
[2021-05-13 19:59:30] [INFO ] Added : 265 causal constraints over 53 iterations in 18761 ms. Result :unknown
[2021-05-13 19:59:30] [INFO ] [Real]Absence check using 7 positive place invariants in 50 ms returned sat
[2021-05-13 19:59:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:59:31] [INFO ] [Real]Absence check using state equation in 449 ms returned sat
[2021-05-13 19:59:31] [INFO ] [Real]Added 102 Read/Feed constraints in 69 ms returned sat
[2021-05-13 19:59:31] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:59:31] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 19:59:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:59:31] [INFO ] [Nat]Absence check using state equation in 270 ms returned sat
[2021-05-13 19:59:32] [INFO ] [Nat]Added 102 Read/Feed constraints in 795 ms returned sat
[2021-05-13 19:59:32] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 570 ms.
[2021-05-13 19:59:51] [INFO ] Added : 245 causal constraints over 49 iterations in 18767 ms. Result :unknown
[2021-05-13 19:59:51] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 19:59:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:59:51] [INFO ] [Real]Absence check using state equation in 439 ms returned sat
[2021-05-13 19:59:51] [INFO ] [Real]Added 102 Read/Feed constraints in 68 ms returned sat
[2021-05-13 19:59:51] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:59:51] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 19:59:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:59:52] [INFO ] [Nat]Absence check using state equation in 278 ms returned sat
[2021-05-13 19:59:52] [INFO ] [Nat]Added 102 Read/Feed constraints in 122 ms returned sat
[2021-05-13 19:59:52] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 590 ms.
[2021-05-13 20:00:10] [INFO ] Added : 200 causal constraints over 40 iterations in 18331 ms. Result :sat
[2021-05-13 20:00:10] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 20:00:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:00:11] [INFO ] [Real]Absence check using state equation in 231 ms returned sat
[2021-05-13 20:00:11] [INFO ] [Real]Added 102 Read/Feed constraints in 57 ms returned sat
[2021-05-13 20:00:11] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:00:11] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 20:00:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:00:11] [INFO ] [Nat]Absence check using state equation in 480 ms returned sat
[2021-05-13 20:00:13] [INFO ] [Nat]Added 102 Read/Feed constraints in 1424 ms returned sat
[2021-05-13 20:00:14] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 828 ms.
[2021-05-13 20:00:31] [INFO ] Added : 235 causal constraints over 47 iterations in 17932 ms. Result :unknown
[2021-05-13 20:00:31] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:00:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:00:31] [INFO ] [Real]Absence check using state equation in 211 ms returned sat
[2021-05-13 20:00:31] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:00:31] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:00:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:00:31] [INFO ] [Nat]Absence check using state equation in 311 ms returned sat
[2021-05-13 20:00:32] [INFO ] [Nat]Added 102 Read/Feed constraints in 531 ms returned sat
[2021-05-13 20:00:32] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 487 ms.
[2021-05-13 20:00:51] [INFO ] Added : 255 causal constraints over 51 iterations in 18994 ms. Result :unknown
[2021-05-13 20:00:51] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 20:00:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:00:51] [INFO ] [Real]Absence check using state equation in 239 ms returned sat
[2021-05-13 20:00:51] [INFO ] [Real]Added 102 Read/Feed constraints in 59 ms returned sat
[2021-05-13 20:00:51] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:00:51] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 20:00:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:00:52] [INFO ] [Nat]Absence check using state equation in 308 ms returned sat
[2021-05-13 20:00:52] [INFO ] [Nat]Added 102 Read/Feed constraints in 108 ms returned sat
[2021-05-13 20:00:53] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 570 ms.
[2021-05-13 20:01:08] [INFO ] Added : 285 causal constraints over 57 iterations in 15802 ms. Result :sat
[2021-05-13 20:01:08] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 20:01:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:01:08] [INFO ] [Real]Absence check using state equation in 267 ms returned sat
[2021-05-13 20:01:08] [INFO ] [Real]Added 102 Read/Feed constraints in 76 ms returned sat
[2021-05-13 20:01:08] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:01:08] [INFO ] [Nat]Absence check using 7 positive place invariants in 31 ms returned sat
[2021-05-13 20:01:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:01:09] [INFO ] [Nat]Absence check using state equation in 303 ms returned sat
[2021-05-13 20:01:09] [INFO ] [Nat]Added 102 Read/Feed constraints in 709 ms returned sat
[2021-05-13 20:01:10] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 537 ms.
[2021-05-13 20:01:28] [INFO ] Added : 240 causal constraints over 48 iterations in 18828 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 20:01:28] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:01:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:01:29] [INFO ] [Real]Absence check using state equation in 287 ms returned sat
[2021-05-13 20:01:29] [INFO ] [Real]Added 102 Read/Feed constraints in 71 ms returned sat
[2021-05-13 20:01:29] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:01:29] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 20:01:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:01:29] [INFO ] [Nat]Absence check using state equation in 282 ms returned sat
[2021-05-13 20:01:30] [INFO ] [Nat]Added 102 Read/Feed constraints in 790 ms returned sat
[2021-05-13 20:01:31] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 508 ms.
[2021-05-13 20:01:35] [INFO ] Added : 85 causal constraints over 17 iterations in 4581 ms. Result :sat
[2021-05-13 20:01:35] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:01:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:01:35] [INFO ] [Real]Absence check using state equation in 260 ms returned sat
[2021-05-13 20:01:35] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:01:35] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:01:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:01:35] [INFO ] [Nat]Absence check using state equation in 322 ms returned sat
[2021-05-13 20:01:36] [INFO ] [Nat]Added 102 Read/Feed constraints in 100 ms returned sat
[2021-05-13 20:01:36] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 548 ms.
[2021-05-13 20:01:55] [INFO ] Added : 215 causal constraints over 43 iterations in 19442 ms. Result :unknown
[2021-05-13 20:01:55] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:01:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:01:55] [INFO ] [Real]Absence check using state equation in 273 ms returned sat
[2021-05-13 20:01:55] [INFO ] [Real]Added 102 Read/Feed constraints in 82 ms returned sat
[2021-05-13 20:01:56] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:01:56] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 20:01:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:01:56] [INFO ] [Nat]Absence check using state equation in 308 ms returned sat
[2021-05-13 20:01:58] [INFO ] [Nat]Added 102 Read/Feed constraints in 1635 ms returned sat
[2021-05-13 20:01:58] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 464 ms.
[2021-05-13 20:02:16] [INFO ] Added : 220 causal constraints over 44 iterations in 17908 ms. Result :unknown
[2021-05-13 20:02:16] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:02:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:02:16] [INFO ] [Real]Absence check using state equation in 281 ms returned sat
[2021-05-13 20:02:16] [INFO ] [Real]Added 102 Read/Feed constraints in 67 ms returned sat
[2021-05-13 20:02:16] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:02:16] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:02:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:02:16] [INFO ] [Nat]Absence check using state equation in 311 ms returned sat
[2021-05-13 20:02:17] [INFO ] [Nat]Added 102 Read/Feed constraints in 535 ms returned sat
[2021-05-13 20:02:18] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 578 ms.
[2021-05-13 20:02:36] [INFO ] Added : 230 causal constraints over 46 iterations in 18942 ms. Result :unknown
[2021-05-13 20:02:36] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:02:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:02:36] [INFO ] [Real]Absence check using state equation in 209 ms returned sat
[2021-05-13 20:02:36] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:02:36] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 20:02:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:02:37] [INFO ] [Nat]Absence check using state equation in 311 ms returned sat
[2021-05-13 20:02:37] [INFO ] [Nat]Added 102 Read/Feed constraints in 110 ms returned sat
[2021-05-13 20:02:37] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 371 ms.
[2021-05-13 20:02:56] [INFO ] Added : 215 causal constraints over 43 iterations in 19412 ms. Result :unknown
[2021-05-13 20:02:56] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:02:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:02:57] [INFO ] [Real]Absence check using state equation in 228 ms returned sat
[2021-05-13 20:02:57] [INFO ] [Real]Added 102 Read/Feed constraints in 64 ms returned sat
[2021-05-13 20:02:57] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:02:57] [INFO ] [Nat]Absence check using 7 positive place invariants in 23 ms returned sat
[2021-05-13 20:02:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:02:57] [INFO ] [Nat]Absence check using state equation in 243 ms returned sat
[2021-05-13 20:02:58] [INFO ] [Nat]Added 102 Read/Feed constraints in 682 ms returned sat
[2021-05-13 20:02:58] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 700 ms.
[2021-05-13 20:03:17] [INFO ] Added : 230 causal constraints over 46 iterations in 18947 ms. Result :unknown
[2021-05-13 20:03:17] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:03:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:03:17] [INFO ] [Real]Absence check using state equation in 211 ms returned sat
[2021-05-13 20:03:17] [INFO ] [Real]Added 102 Read/Feed constraints in 63 ms returned sat
[2021-05-13 20:03:17] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:03:17] [INFO ] [Nat]Absence check using 7 positive place invariants in 21 ms returned sat
[2021-05-13 20:03:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:03:17] [INFO ] [Nat]Absence check using state equation in 242 ms returned sat
[2021-05-13 20:03:19] [INFO ] [Nat]Added 102 Read/Feed constraints in 1230 ms returned sat
[2021-05-13 20:03:19] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 507 ms.
[2021-05-13 20:03:37] [INFO ] Added : 215 causal constraints over 43 iterations in 18258 ms. Result :unknown
[2021-05-13 20:03:37] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:03:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:03:37] [INFO ] [Real]Absence check using state equation in 260 ms returned sat
[2021-05-13 20:03:37] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:03:37] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:03:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:03:38] [INFO ] [Nat]Absence check using state equation in 239 ms returned sat
[2021-05-13 20:03:38] [INFO ] [Nat]Added 102 Read/Feed constraints in 679 ms returned sat
[2021-05-13 20:03:39] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 752 ms.
[2021-05-13 20:03:57] [INFO ] Added : 260 causal constraints over 52 iterations in 18922 ms. Result :unknown
[2021-05-13 20:03:57] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:03:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:03:58] [INFO ] [Real]Absence check using state equation in 197 ms returned sat
[2021-05-13 20:03:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:03:58] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:03:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:03:58] [INFO ] [Nat]Absence check using state equation in 269 ms returned sat
[2021-05-13 20:03:59] [INFO ] [Nat]Added 102 Read/Feed constraints in 691 ms returned sat
[2021-05-13 20:03:59] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 475 ms.
[2021-05-13 20:04:13] [INFO ] Added : 205 causal constraints over 41 iterations in 14434 ms. Result :sat
[2021-05-13 20:04:13] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 20:04:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:04:14] [INFO ] [Real]Absence check using state equation in 275 ms returned sat
[2021-05-13 20:04:14] [INFO ] [Real]Added 102 Read/Feed constraints in 75 ms returned sat
[2021-05-13 20:04:14] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:04:14] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 20:04:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:04:14] [INFO ] [Nat]Absence check using state equation in 276 ms returned sat
[2021-05-13 20:04:15] [INFO ] [Nat]Added 102 Read/Feed constraints in 1377 ms returned sat
[2021-05-13 20:04:16] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 466 ms.
[2021-05-13 20:04:34] [INFO ] Added : 230 causal constraints over 46 iterations in 18182 ms. Result :unknown
[2021-05-13 20:04:34] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:04:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:04:34] [INFO ] [Real]Absence check using state equation in 221 ms returned sat
[2021-05-13 20:04:34] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:04:34] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:04:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:04:34] [INFO ] [Nat]Absence check using state equation in 284 ms returned sat
[2021-05-13 20:04:35] [INFO ] [Nat]Added 102 Read/Feed constraints in 611 ms returned sat
[2021-05-13 20:04:36] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 554 ms.
[2021-05-13 20:04:54] [INFO ] Added : 255 causal constraints over 51 iterations in 18793 ms. Result :unknown
[2021-05-13 20:04:54] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:04:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:04:54] [INFO ] [Real]Absence check using state equation in 265 ms returned sat
[2021-05-13 20:04:54] [INFO ] [Real]Added 102 Read/Feed constraints in 64 ms returned sat
[2021-05-13 20:04:54] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:04:54] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:04:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:04:54] [INFO ] [Nat]Absence check using state equation in 226 ms returned sat
[2021-05-13 20:04:55] [INFO ] [Nat]Added 102 Read/Feed constraints in 69 ms returned sat
[2021-05-13 20:04:55] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 651 ms.
[2021-05-13 20:05:13] [INFO ] Added : 300 causal constraints over 60 iterations in 18789 ms. Result :unknown
[2021-05-13 20:05:14] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:05:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:05:14] [INFO ] [Real]Absence check using state equation in 261 ms returned sat
[2021-05-13 20:05:14] [INFO ] [Real]Added 102 Read/Feed constraints in 64 ms returned sat
[2021-05-13 20:05:14] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:05:14] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 20:05:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:05:14] [INFO ] [Nat]Absence check using state equation in 308 ms returned sat
[2021-05-13 20:05:14] [INFO ] [Nat]Added 102 Read/Feed constraints in 115 ms returned sat
[2021-05-13 20:05:15] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 654 ms.
[2021-05-13 20:05:34] [INFO ] Added : 260 causal constraints over 52 iterations in 19397 ms. Result :unknown
[2021-05-13 20:05:34] [INFO ] [Real]Absence check using 7 positive place invariants in 26 ms returned sat
[2021-05-13 20:05:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:05:35] [INFO ] [Real]Absence check using state equation in 1540 ms returned sat
[2021-05-13 20:05:35] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:05:36] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 20:05:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:05:36] [INFO ] [Nat]Absence check using state equation in 266 ms returned sat
[2021-05-13 20:05:36] [INFO ] [Nat]Added 102 Read/Feed constraints in 110 ms returned sat
[2021-05-13 20:05:37] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 755 ms.
[2021-05-13 20:05:56] [INFO ] Added : 205 causal constraints over 41 iterations in 19525 ms. Result :unknown
[2021-05-13 20:05:56] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 20:05:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:05:56] [INFO ] [Real]Absence check using state equation in 210 ms returned sat
[2021-05-13 20:05:56] [INFO ] [Real]Added 102 Read/Feed constraints in 50 ms returned sat
[2021-05-13 20:05:56] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:05:56] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 20:05:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:05:56] [INFO ] [Nat]Absence check using state equation in 178 ms returned sat
[2021-05-13 20:05:57] [INFO ] [Nat]Added 102 Read/Feed constraints in 1172 ms returned sat
[2021-05-13 20:05:58] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 671 ms.
[2021-05-13 20:06:16] [INFO ] Added : 310 causal constraints over 62 iterations in 18534 ms. Result :unknown
[2021-05-13 20:06:16] [INFO ] [Real]Absence check using 7 positive place invariants in 53 ms returned sat
[2021-05-13 20:06:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:06:17] [INFO ] [Real]Absence check using state equation in 754 ms returned sat
[2021-05-13 20:06:17] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:06:17] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 20:06:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:06:17] [INFO ] [Nat]Absence check using state equation in 290 ms returned sat
[2021-05-13 20:06:18] [INFO ] [Nat]Added 102 Read/Feed constraints in 481 ms returned sat
[2021-05-13 20:06:18] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 646 ms.
[2021-05-13 20:06:32] [INFO ] Added : 215 causal constraints over 43 iterations in 14556 ms. Result :unknown
[2021-05-13 20:06:32] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:06:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:06:33] [INFO ] [Real]Absence check using state equation in 210 ms returned sat
[2021-05-13 20:06:33] [INFO ] [Real]Added 102 Read/Feed constraints in 49 ms returned sat
[2021-05-13 20:06:33] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:06:33] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 20:06:33] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:06:33] [INFO ] [Nat]Absence check using state equation in 294 ms returned sat
[2021-05-13 20:06:33] [INFO ] [Nat]Added 102 Read/Feed constraints in 91 ms returned sat
[2021-05-13 20:06:34] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 463 ms.
[2021-05-13 20:06:40] [INFO ] Added : 165 causal constraints over 33 iterations in 7202 ms. Result :sat
[2021-05-13 20:06:41] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:06:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:06:41] [INFO ] [Real]Absence check using state equation in 236 ms returned sat
[2021-05-13 20:06:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:06:41] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 20:06:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:06:41] [INFO ] [Nat]Absence check using state equation in 277 ms returned sat
[2021-05-13 20:06:42] [INFO ] [Nat]Added 102 Read/Feed constraints in 503 ms returned sat
[2021-05-13 20:06:42] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 456 ms.
[2021-05-13 20:06:55] [INFO ] Added : 215 causal constraints over 43 iterations in 13634 ms. Result :sat
[2021-05-13 20:06:56] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:06:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:06:56] [INFO ] [Real]Absence check using state equation in 272 ms returned sat
[2021-05-13 20:06:56] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:06:56] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 20:06:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:06:56] [INFO ] [Nat]Absence check using state equation in 287 ms returned sat
[2021-05-13 20:06:57] [INFO ] [Nat]Added 102 Read/Feed constraints in 490 ms returned sat
[2021-05-13 20:06:57] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 563 ms.
[2021-05-13 20:07:09] [INFO ] Added : 205 causal constraints over 41 iterations in 12107 ms. Result :unknown
[2021-05-13 20:07:09] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:07:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:07:09] [INFO ] [Real]Absence check using state equation in 266 ms returned sat
[2021-05-13 20:07:09] [INFO ] [Real]Added 102 Read/Feed constraints in 82 ms returned sat
[2021-05-13 20:07:09] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:07:09] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 20:07:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:07:10] [INFO ] [Nat]Absence check using state equation in 370 ms returned sat
[2021-05-13 20:07:11] [INFO ] [Nat]Added 102 Read/Feed constraints in 782 ms returned sat
[2021-05-13 20:07:11] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 570 ms.
[2021-05-13 20:07:29] [INFO ] Added : 235 causal constraints over 47 iterations in 18658 ms. Result :unknown
[2021-05-13 20:07:29] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 20:07:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:07:30] [INFO ] [Real]Absence check using state equation in 201 ms returned sat
[2021-05-13 20:07:30] [INFO ] [Real]Added 102 Read/Feed constraints in 54 ms returned sat
[2021-05-13 20:07:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:07:30] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:07:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:07:30] [INFO ] [Nat]Absence check using state equation in 206 ms returned sat
[2021-05-13 20:07:31] [INFO ] [Nat]Added 102 Read/Feed constraints in 662 ms returned sat
[2021-05-13 20:07:31] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 680 ms.
[2021-05-13 20:07:49] [INFO ] Added : 190 causal constraints over 38 iterations in 18471 ms. Result :sat
[2021-05-13 20:07:49] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 20:07:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:07:50] [INFO ] [Real]Absence check using state equation in 247 ms returned sat
[2021-05-13 20:07:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:07:50] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 20:07:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:07:50] [INFO ] [Nat]Absence check using state equation in 279 ms returned sat
[2021-05-13 20:07:51] [INFO ] [Nat]Added 102 Read/Feed constraints in 745 ms returned sat
[2021-05-13 20:07:52] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 748 ms.
[2021-05-13 20:08:10] [INFO ] Added : 235 causal constraints over 47 iterations in 18834 ms. Result :unknown
[2021-05-13 20:08:10] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:08:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:08:10] [INFO ] [Real]Absence check using state equation in 203 ms returned sat
[2021-05-13 20:08:10] [INFO ] [Real]Added 102 Read/Feed constraints in 49 ms returned sat
[2021-05-13 20:08:10] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:08:10] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:08:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:08:10] [INFO ] [Nat]Absence check using state equation in 197 ms returned sat
[2021-05-13 20:08:11] [INFO ] [Nat]Added 102 Read/Feed constraints in 1059 ms returned sat
[2021-05-13 20:08:12] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 534 ms.
[2021-05-13 20:08:28] [INFO ] Added : 220 causal constraints over 44 iterations in 16265 ms. Result :sat
[2021-05-13 20:08:28] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:08:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:08:28] [INFO ] [Real]Absence check using state equation in 241 ms returned sat
[2021-05-13 20:08:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:08:28] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 20:08:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:08:28] [INFO ] [Nat]Absence check using state equation in 308 ms returned sat
[2021-05-13 20:08:29] [INFO ] [Nat]Added 102 Read/Feed constraints in 112 ms returned sat
[2021-05-13 20:08:29] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 472 ms.
[2021-05-13 20:08:48] [INFO ] Added : 210 causal constraints over 42 iterations in 19447 ms. Result :unknown
[2021-05-13 20:08:48] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:08:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:08:48] [INFO ] [Real]Absence check using state equation in 266 ms returned sat
[2021-05-13 20:08:49] [INFO ] [Real]Added 102 Read/Feed constraints in 84 ms returned sat
[2021-05-13 20:08:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:08:49] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:08:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:08:49] [INFO ] [Nat]Absence check using state equation in 196 ms returned sat
[2021-05-13 20:08:50] [INFO ] [Nat]Added 102 Read/Feed constraints in 1233 ms returned sat
[2021-05-13 20:08:51] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 529 ms.
[2021-05-13 20:08:57] [INFO ] Added : 85 causal constraints over 17 iterations in 7274 ms. Result :sat
[2021-05-13 20:08:58] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 20:08:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:08:58] [INFO ] [Real]Absence check using state equation in 280 ms returned sat
[2021-05-13 20:08:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:08:58] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 20:08:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:08:58] [INFO ] [Nat]Absence check using state equation in 297 ms returned sat
[2021-05-13 20:08:59] [INFO ] [Nat]Added 102 Read/Feed constraints in 780 ms returned sat
[2021-05-13 20:09:00] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 565 ms.
[2021-05-13 20:09:15] [INFO ] Added : 230 causal constraints over 46 iterations in 15483 ms. Result :sat
[2021-05-13 20:09:15] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:09:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:09:15] [INFO ] [Real]Absence check using state equation in 267 ms returned sat
[2021-05-13 20:09:15] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:09:15] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 20:09:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:09:16] [INFO ] [Nat]Absence check using state equation in 343 ms returned sat
[2021-05-13 20:09:17] [INFO ] [Nat]Added 102 Read/Feed constraints in 1153 ms returned sat
[2021-05-13 20:09:17] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 658 ms.
[2021-05-13 20:09:35] [INFO ] Added : 235 causal constraints over 47 iterations in 18329 ms. Result :unknown
[2021-05-13 20:09:35] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 20:09:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:09:35] [INFO ] [Real]Absence check using state equation in 227 ms returned sat
[2021-05-13 20:09:35] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:09:35] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 20:09:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:09:36] [INFO ] [Nat]Absence check using state equation in 337 ms returned sat
[2021-05-13 20:09:36] [INFO ] [Nat]Added 102 Read/Feed constraints in 114 ms returned sat
[2021-05-13 20:09:37] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 678 ms.
[2021-05-13 20:09:55] [INFO ] Added : 240 causal constraints over 48 iterations in 19359 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 20:09:55] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:09:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:09:56] [INFO ] [Real]Absence check using state equation in 258 ms returned sat
[2021-05-13 20:09:56] [INFO ] [Real]Added 102 Read/Feed constraints in 63 ms returned sat
[2021-05-13 20:09:56] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:09:56] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 20:09:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:09:56] [INFO ] [Nat]Absence check using state equation in 284 ms returned sat
[2021-05-13 20:09:57] [INFO ] [Nat]Added 102 Read/Feed constraints in 803 ms returned sat
[2021-05-13 20:09:58] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 684 ms.
[2021-05-13 20:10:16] [INFO ] Added : 235 causal constraints over 47 iterations in 18751 ms. Result :unknown
[2021-05-13 20:10:16] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:10:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:10:16] [INFO ] [Real]Absence check using state equation in 288 ms returned sat
[2021-05-13 20:10:16] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:10:16] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 20:10:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:10:17] [INFO ] [Nat]Absence check using state equation in 256 ms returned sat
[2021-05-13 20:10:17] [INFO ] [Nat]Added 102 Read/Feed constraints in 633 ms returned sat
[2021-05-13 20:10:18] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 687 ms.
[2021-05-13 20:10:36] [INFO ] Added : 200 causal constraints over 40 iterations in 18943 ms. Result :unknown
[2021-05-13 20:10:36] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:10:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:10:36] [INFO ] [Real]Absence check using state equation in 202 ms returned sat
[2021-05-13 20:10:37] [INFO ] [Real]Added 102 Read/Feed constraints in 64 ms returned sat
[2021-05-13 20:10:37] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:10:37] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 20:10:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:10:37] [INFO ] [Nat]Absence check using state equation in 286 ms returned sat
[2021-05-13 20:10:38] [INFO ] [Nat]Added 102 Read/Feed constraints in 1072 ms returned sat
[2021-05-13 20:10:39] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 479 ms.
[2021-05-13 20:10:57] [INFO ] Added : 220 causal constraints over 44 iterations in 18449 ms. Result :unknown
[2021-05-13 20:10:57] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:10:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:10:57] [INFO ] [Real]Absence check using state equation in 218 ms returned sat
[2021-05-13 20:10:57] [INFO ] [Real]Added 102 Read/Feed constraints in 52 ms returned sat
[2021-05-13 20:10:57] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:10:57] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 20:10:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:10:57] [INFO ] [Nat]Absence check using state equation in 284 ms returned sat
[2021-05-13 20:10:57] [INFO ] [Nat]Added 102 Read/Feed constraints in 113 ms returned sat
[2021-05-13 20:10:58] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 576 ms.
[2021-05-13 20:11:17] [INFO ] Added : 225 causal constraints over 45 iterations in 19460 ms. Result :(error "Failed to check-sat")
[2021-05-13 20:11:17] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:11:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:11:17] [INFO ] [Real]Absence check using state equation in 230 ms returned sat
[2021-05-13 20:11:17] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:11:17] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 20:11:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:11:18] [INFO ] [Nat]Absence check using state equation in 235 ms returned sat
[2021-05-13 20:11:18] [INFO ] [Nat]Added 102 Read/Feed constraints in 86 ms returned sat
[2021-05-13 20:11:19] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 750 ms.
[2021-05-13 20:11:37] [INFO ] Added : 205 causal constraints over 41 iterations in 19548 ms. Result :unknown
[2021-05-13 20:11:37] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 20:11:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:11:38] [INFO ] [Real]Absence check using state equation in 259 ms returned sat
[2021-05-13 20:11:38] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:11:38] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:11:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:11:38] [INFO ] [Nat]Absence check using state equation in 222 ms returned sat
[2021-05-13 20:11:39] [INFO ] [Nat]Added 102 Read/Feed constraints in 649 ms returned sat
[2021-05-13 20:11:39] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 631 ms.
[2021-05-13 20:11:58] [INFO ] Added : 240 causal constraints over 48 iterations in 19064 ms. Result :unknown
[2021-05-13 20:11:58] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:11:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:11:58] [INFO ] [Real]Absence check using state equation in 246 ms returned sat
[2021-05-13 20:11:58] [INFO ] [Real]Added 102 Read/Feed constraints in 80 ms returned sat
[2021-05-13 20:11:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:11:58] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:11:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:11:58] [INFO ] [Nat]Absence check using state equation in 259 ms returned sat
[2021-05-13 20:12:00] [INFO ] [Nat]Added 102 Read/Feed constraints in 1173 ms returned sat
[2021-05-13 20:12:00] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 692 ms.
[2021-05-13 20:12:18] [INFO ] Added : 230 causal constraints over 46 iterations in 18434 ms. Result :unknown
[2021-05-13 20:12:18] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:12:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:12:18] [INFO ] [Real]Absence check using state equation in 214 ms returned sat
[2021-05-13 20:12:18] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:12:18] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:12:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:12:19] [INFO ] [Nat]Absence check using state equation in 294 ms returned sat
[2021-05-13 20:12:19] [INFO ] [Nat]Added 102 Read/Feed constraints in 88 ms returned sat
[2021-05-13 20:12:20] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 605 ms.
[2021-05-13 20:12:27] [INFO ] Added : 165 causal constraints over 33 iterations in 7949 ms. Result :sat
[2021-05-13 20:12:27] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:12:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:12:27] [INFO ] [Real]Absence check using state equation in 202 ms returned sat
[2021-05-13 20:12:27] [INFO ] [Real]Added 102 Read/Feed constraints in 51 ms returned sat
[2021-05-13 20:12:27] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:12:27] [INFO ] [Nat]Absence check using 7 positive place invariants in 20 ms returned sat
[2021-05-13 20:12:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:12:28] [INFO ] [Nat]Absence check using state equation in 232 ms returned sat
[2021-05-13 20:12:29] [INFO ] [Nat]Added 102 Read/Feed constraints in 1191 ms returned sat
[2021-05-13 20:12:29] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 533 ms.
[2021-05-13 20:12:47] [INFO ] Added : 210 causal constraints over 42 iterations in 18448 ms. Result :unknown
[2021-05-13 20:12:47] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:12:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:12:48] [INFO ] [Real]Absence check using state equation in 290 ms returned sat
[2021-05-13 20:12:48] [INFO ] [Real]Added 102 Read/Feed constraints in 70 ms returned sat
[2021-05-13 20:12:48] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:12:48] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 20:12:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:12:48] [INFO ] [Nat]Absence check using state equation in 266 ms returned sat
[2021-05-13 20:12:49] [INFO ] [Nat]Added 102 Read/Feed constraints in 843 ms returned sat
[2021-05-13 20:12:50] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 690 ms.
[2021-05-13 20:13:08] [INFO ] Added : 260 causal constraints over 52 iterations in 18709 ms. Result :unknown
[2021-05-13 20:13:08] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:13:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:13:08] [INFO ] [Real]Absence check using state equation in 275 ms returned sat
[2021-05-13 20:13:08] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:13:08] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:13:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:13:09] [INFO ] [Nat]Absence check using state equation in 283 ms returned sat
[2021-05-13 20:13:09] [INFO ] [Nat]Added 102 Read/Feed constraints in 546 ms returned sat
[2021-05-13 20:13:10] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 792 ms.
[2021-05-13 20:13:27] [INFO ] Added : 235 causal constraints over 47 iterations in 17432 ms. Result :sat
[2021-05-13 20:13:27] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 20:13:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:13:27] [INFO ] [Real]Absence check using state equation in 276 ms returned sat
[2021-05-13 20:13:27] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:13:27] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 20:13:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:13:27] [INFO ] [Nat]Absence check using state equation in 243 ms returned sat
[2021-05-13 20:13:28] [INFO ] [Nat]Added 102 Read/Feed constraints in 519 ms returned sat
[2021-05-13 20:13:29] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 672 ms.
[2021-05-13 20:13:47] [INFO ] Added : 235 causal constraints over 47 iterations in 19084 ms. Result :unknown
[2021-05-13 20:13:47] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:13:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:13:47] [INFO ] [Real]Absence check using state equation in 283 ms returned sat
[2021-05-13 20:13:48] [INFO ] [Real]Added 102 Read/Feed constraints in 68 ms returned sat
[2021-05-13 20:13:48] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:13:48] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:13:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:13:48] [INFO ] [Nat]Absence check using state equation in 336 ms returned sat
[2021-05-13 20:13:48] [INFO ] [Nat]Added 102 Read/Feed constraints in 552 ms returned sat
[2021-05-13 20:13:49] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 678 ms.
[2021-05-13 20:14:08] [INFO ] Added : 260 causal constraints over 52 iterations in 18951 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 20:14:08] [INFO ] [Real]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 20:14:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:14:08] [INFO ] [Real]Absence check using state equation in 278 ms returned sat
[2021-05-13 20:14:08] [INFO ] [Real]Added 102 Read/Feed constraints in 77 ms returned sat
[2021-05-13 20:14:08] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:14:08] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 20:14:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:14:08] [INFO ] [Nat]Absence check using state equation in 267 ms returned sat
[2021-05-13 20:14:09] [INFO ] [Nat]Added 102 Read/Feed constraints in 843 ms returned sat
[2021-05-13 20:14:10] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 683 ms.
[2021-05-13 20:14:28] [INFO ] Added : 230 causal constraints over 46 iterations in 18756 ms. Result :unknown
[2021-05-13 20:14:28] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:14:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:14:28] [INFO ] [Real]Absence check using state equation in 290 ms returned sat
[2021-05-13 20:14:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:14:28] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 20:14:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:14:29] [INFO ] [Nat]Absence check using state equation in 290 ms returned sat
[2021-05-13 20:14:29] [INFO ] [Nat]Added 102 Read/Feed constraints in 117 ms returned sat
[2021-05-13 20:14:30] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 562 ms.
[2021-05-13 20:14:48] [INFO ] Added : 215 causal constraints over 43 iterations in 19429 ms. Result :unknown
[2021-05-13 20:14:48] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:14:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:14:49] [INFO ] [Real]Absence check using state equation in 255 ms returned sat
[2021-05-13 20:14:49] [INFO ] [Real]Added 102 Read/Feed constraints in 62 ms returned sat
[2021-05-13 20:14:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:14:49] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:14:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:14:49] [INFO ] [Nat]Absence check using state equation in 220 ms returned sat
[2021-05-13 20:14:50] [INFO ] [Nat]Added 102 Read/Feed constraints in 1196 ms returned sat
[2021-05-13 20:14:51] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 613 ms.
[2021-05-13 20:15:09] [INFO ] Added : 225 causal constraints over 45 iterations in 18435 ms. Result :unknown
[2021-05-13 20:15:09] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 20:15:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:15:09] [INFO ] [Real]Absence check using state equation in 259 ms returned sat
[2021-05-13 20:15:09] [INFO ] [Real]Added 102 Read/Feed constraints in 66 ms returned sat
[2021-05-13 20:15:09] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:15:09] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 20:15:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:15:10] [INFO ] [Nat]Absence check using state equation in 297 ms returned sat
[2021-05-13 20:15:10] [INFO ] [Nat]Added 102 Read/Feed constraints in 112 ms returned sat
[2021-05-13 20:15:10] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 570 ms.
[2021-05-13 20:15:29] [INFO ] Added : 210 causal constraints over 42 iterations in 19437 ms. Result :unknown
[2021-05-13 20:15:29] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 20:15:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:15:29] [INFO ] [Real]Absence check using state equation in 229 ms returned sat
[2021-05-13 20:15:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:15:30] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 20:15:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:15:30] [INFO ] [Nat]Absence check using state equation in 259 ms returned sat
[2021-05-13 20:15:30] [INFO ] [Nat]Added 102 Read/Feed constraints in 662 ms returned sat
[2021-05-13 20:15:31] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 494 ms.
[2021-05-13 20:15:50] [INFO ] Added : 245 causal constraints over 49 iterations in 18914 ms. Result :unknown
[2021-05-13 20:15:50] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned sat
[2021-05-13 20:15:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:15:50] [INFO ] [Real]Absence check using state equation in 275 ms returned sat
[2021-05-13 20:15:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:15:50] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 20:15:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:15:50] [INFO ] [Nat]Absence check using state equation in 312 ms returned sat
[2021-05-13 20:15:50] [INFO ] [Nat]Added 102 Read/Feed constraints in 96 ms returned sat
[2021-05-13 20:15:51] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 800 ms.
[2021-05-13 20:16:10] [INFO ] Added : 230 causal constraints over 46 iterations in 19417 ms. Result :unknown
[2021-05-13 20:16:10] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:16:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:16:10] [INFO ] [Real]Absence check using state equation in 266 ms returned sat
[2021-05-13 20:16:10] [INFO ] [Real]Added 102 Read/Feed constraints in 61 ms returned sat
[2021-05-13 20:16:10] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:16:10] [INFO ] [Nat]Absence check using 7 positive place invariants in 21 ms returned sat
[2021-05-13 20:16:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:16:11] [INFO ] [Nat]Absence check using state equation in 255 ms returned sat
[2021-05-13 20:16:11] [INFO ] [Nat]Added 102 Read/Feed constraints in 581 ms returned sat
[2021-05-13 20:16:12] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 643 ms.
[2021-05-13 20:16:30] [INFO ] Added : 230 causal constraints over 46 iterations in 19080 ms. Result :unknown
[2021-05-13 20:16:30] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:16:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:16:31] [INFO ] [Real]Absence check using state equation in 279 ms returned sat
[2021-05-13 20:16:31] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:16:31] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:16:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:16:31] [INFO ] [Nat]Absence check using state equation in 275 ms returned sat
[2021-05-13 20:16:31] [INFO ] [Nat]Added 102 Read/Feed constraints in 91 ms returned sat
[2021-05-13 20:16:32] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 800 ms.
[2021-05-13 20:16:50] [INFO ] Added : 290 causal constraints over 58 iterations in 18429 ms. Result :unknown
[2021-05-13 20:16:50] [INFO ] [Real]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 20:16:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:16:50] [INFO ] [Real]Absence check using state equation in 241 ms returned sat
[2021-05-13 20:16:50] [INFO ] [Real]Added 102 Read/Feed constraints in 62 ms returned sat
[2021-05-13 20:16:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:16:50] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:16:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:16:50] [INFO ] [Nat]Absence check using state equation in 231 ms returned sat
[2021-05-13 20:16:51] [INFO ] [Nat]Added 102 Read/Feed constraints in 1258 ms returned sat
[2021-05-13 20:16:52] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 899 ms.
[2021-05-13 20:17:10] [INFO ] Added : 240 causal constraints over 48 iterations in 18408 ms. Result :unknown
[2021-05-13 20:17:10] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 20:17:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:17:10] [INFO ] [Real]Absence check using state equation in 263 ms returned sat
[2021-05-13 20:17:10] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:17:10] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:17:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:17:11] [INFO ] [Nat]Absence check using state equation in 221 ms returned sat
[2021-05-13 20:17:11] [INFO ] [Nat]Added 102 Read/Feed constraints in 104 ms returned sat
[2021-05-13 20:17:11] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 625 ms.
[2021-05-13 20:17:30] [INFO ] Added : 230 causal constraints over 46 iterations in 19540 ms. Result :unknown
[2021-05-13 20:17:30] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:17:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:17:31] [INFO ] [Real]Absence check using state equation in 263 ms returned sat
[2021-05-13 20:17:31] [INFO ] [Real]Added 102 Read/Feed constraints in 63 ms returned sat
[2021-05-13 20:17:31] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:17:31] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:17:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:17:31] [INFO ] [Nat]Absence check using state equation in 217 ms returned sat
[2021-05-13 20:17:31] [INFO ] [Nat]Added 102 Read/Feed constraints in 75 ms returned sat
[2021-05-13 20:17:32] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 585 ms.
[2021-05-13 20:17:51] [INFO ] Added : 285 causal constraints over 57 iterations in 19561 ms. Result :unknown
[2021-05-13 20:17:51] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:17:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:17:51] [INFO ] [Real]Absence check using state equation in 255 ms returned sat
[2021-05-13 20:17:51] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:17:51] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 20:17:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:17:51] [INFO ] [Nat]Absence check using state equation in 247 ms returned sat
[2021-05-13 20:17:52] [INFO ] [Nat]Added 102 Read/Feed constraints in 661 ms returned sat
[2021-05-13 20:17:53] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 529 ms.
[2021-05-13 20:18:08] [INFO ] Added : 205 causal constraints over 41 iterations in 15942 ms. Result :sat
[2021-05-13 20:18:08] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:18:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:18:08] [INFO ] [Real]Absence check using state equation in 250 ms returned sat
[2021-05-13 20:18:09] [INFO ] [Real]Added 102 Read/Feed constraints in 64 ms returned sat
[2021-05-13 20:18:09] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:18:09] [INFO ] [Nat]Absence check using 7 positive place invariants in 48 ms returned sat
[2021-05-13 20:18:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:18:09] [INFO ] [Nat]Absence check using state equation in 247 ms returned sat
[2021-05-13 20:18:09] [INFO ] [Nat]Added 102 Read/Feed constraints in 569 ms returned sat
[2021-05-13 20:18:10] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 589 ms.
[2021-05-13 20:18:29] [INFO ] Added : 230 causal constraints over 46 iterations in 19042 ms. Result :unknown
[2021-05-13 20:18:29] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 20:18:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:18:29] [INFO ] [Real]Absence check using state equation in 257 ms returned sat
[2021-05-13 20:18:29] [INFO ] [Real]Added 102 Read/Feed constraints in 70 ms returned sat
[2021-05-13 20:18:29] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:18:29] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:18:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:18:29] [INFO ] [Nat]Absence check using state equation in 224 ms returned sat
[2021-05-13 20:18:31] [INFO ] [Nat]Added 102 Read/Feed constraints in 1311 ms returned sat
[2021-05-13 20:18:31] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 449 ms.
[2021-05-13 20:18:49] [INFO ] Added : 300 causal constraints over 60 iterations in 18309 ms. Result :unknown
[2021-05-13 20:18:49] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:18:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:18:49] [INFO ] [Real]Absence check using state equation in 246 ms returned sat
[2021-05-13 20:18:49] [INFO ] [Real]Added 102 Read/Feed constraints in 66 ms returned sat
[2021-05-13 20:18:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:18:49] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:18:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:18:50] [INFO ] [Nat]Absence check using state equation in 259 ms returned sat
[2021-05-13 20:18:50] [INFO ] [Nat]Added 102 Read/Feed constraints in 705 ms returned sat
[2021-05-13 20:18:51] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 538 ms.
[2021-05-13 20:19:09] [INFO ] Added : 235 causal constraints over 47 iterations in 18884 ms. Result :unknown
[2021-05-13 20:19:09] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:19:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:19:10] [INFO ] [Real]Absence check using state equation in 266 ms returned sat
[2021-05-13 20:19:10] [INFO ] [Real]Added 102 Read/Feed constraints in 73 ms returned sat
[2021-05-13 20:19:10] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:19:10] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 20:19:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:19:10] [INFO ] [Nat]Absence check using state equation in 283 ms returned sat
[2021-05-13 20:19:11] [INFO ] [Nat]Added 102 Read/Feed constraints in 696 ms returned sat
[2021-05-13 20:19:12] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 618 ms.
[2021-05-13 20:19:30] [INFO ] Added : 265 causal constraints over 53 iterations in 18900 ms. Result :unknown
[2021-05-13 20:19:30] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:19:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:19:30] [INFO ] [Real]Absence check using state equation in 263 ms returned sat
[2021-05-13 20:19:30] [INFO ] [Real]Added 102 Read/Feed constraints in 65 ms returned sat
[2021-05-13 20:19:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:19:30] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:19:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:19:30] [INFO ] [Nat]Absence check using state equation in 202 ms returned sat
[2021-05-13 20:19:31] [INFO ] [Nat]Added 102 Read/Feed constraints in 683 ms returned sat
[2021-05-13 20:19:32] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 679 ms.
[2021-05-13 20:19:50] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (=> (> t263 0) (and (or (and (> t82 0) (< o82 o263)) (and (> t83 0) (< o83 o263)) (and (> t84 0) (< o84 o263)) (and (> t85 0) (< o85 o263)) (and (> t86 0) (< o86 o263)) (and (> t87 0) (< o87 o263)) (and (> t88 0) (< o88 o263)) (and (> t89 0) (< o89 o263)) (and (> t90 0) (< o90 o263)) (and (> t91 0) (< o91 o263)) (and (> t92 0) (< o92 o263)) (and (> t93 0) (< o93 o263)) (and (> t94 0) (< o94 o263)) (and (> t95 0) (< o95 o263)) (and (> t96 0) (< o96 o263)) (and (> t97 0) (< o97 o263)) (and (> t98 0) (< o98 o263)) (and (> t99 0) (< o99 o263)) (and (> t100 0) (< o100 o263)) (and (> t101 0) (< o101 o263)) (and (> t102 0) (< o102 o263)) (and (> t103 0) (< o103 o263)) (and (> t104 0) (< o104 o263)) (and (> t105 0) (< o105 o263)) (and (> t106 0) (< o106 o263)) (and (> t107 0) (< o107 o263)) (and (> t108 0) (< o108 o263)) (and (> t109 0) (< o109 o263)) (and (> t110 0) (< o110 o263)) (and (> t111 0) (< o111 o263)) (and (> t112 0) (< o112 o263)) (and (> t113 0) (< o113 o263)) (and (> t114 0) (< o114 o263)) (and (> t115 0) (< o115 o263)) (and (> t116 0) (< o116 o263)) (and (> t117 0) (< o117 o263)) (and (> t118 0) (< o118 o263)) (and (> t119 0) (< o119 o263)) (and (> t120 0) (< o120 o263)) (and (> t121 0) (< o121 o263)) (and (> t122 0) (< o122 o263)) (and (> t123 0) (< o123 o263)) (and (> t124 0) (< o124 o263)) (and (> t125 0) (< o125 o263)) (and (> t126 0) (< o126 o263)) (and (> t127 0) (< o127 o263)) (and (> t128 0) (< o128 o263)) (and (> t129 0) (< o129 o263)) (and (> t130 0) (< o130 o263)) (and (> t131 0) (< o131 o263)) (and (> t132 0) (< o132 o263)) (and (> t133 0) (< o133 o263)) (and (> t134 0) (< o134 o263)) (and (> t135 0) (< o135 o263)) (and (> t136 0) (< o136 o263)) (and (> t137 0) (< o137 o263)) (and (> t138 0) (< o138 o263)) (and (> t139 0) (< o139 o263)) (and (> t140 0) (< o140 o263)) (and (> t141 0) (< o141 o263)) (and (> t142 0) (< o142 o263)) (and (> t143 0) (< o143 o263)) (and (> t144 0) (< o144 o263)) (and (> t145 0) (< o145 o263)) (and (> t146 0) (< o146 o263)) (and (> t147 0) (< o147 o263)) (and (> t148 0) (< o148 o263)) (and (> t149 0) (< o149 o263)) (and (> t150 0) (< o150 o263)) (and (> t151 0) (< o151 o263)) (and (> t152 0) (< o152 o263)) (and (> t153 0) (< o153 o263)) (and (> t154 0) (< o154 o263)) (and (> t155 0) (< o155 o263)) (and (> t156 0) (< o156 o263)) (and (> t157 0) (< o157 o263)) (and (> t158 0) (< o158 o263)) (and (> t159 0) (< o159 o263)) (and (> t160 0) (< o160 o263)) (and (> t161 0) (< o161 o263)) (and (> t163 0) (< o163 o263))) (or (and (> t260 0) (< o260 o263)) (and (> t261 0) (< o261 o263)))))") while checking expression at index 157
[2021-05-13 20:19:50] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:19:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:19:51] [INFO ] [Real]Absence check using state equation in 242 ms returned sat
[2021-05-13 20:19:51] [INFO ] [Real]Added 102 Read/Feed constraints in 62 ms returned sat
[2021-05-13 20:19:51] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:19:51] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 20:19:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:19:51] [INFO ] [Nat]Absence check using state equation in 216 ms returned sat
[2021-05-13 20:19:52] [INFO ] [Nat]Added 102 Read/Feed constraints in 1159 ms returned sat
[2021-05-13 20:19:53] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 957 ms.
[2021-05-13 20:20:11] [INFO ] Added : 265 causal constraints over 53 iterations in 18458 ms. Result :unknown
[2021-05-13 20:20:11] [INFO ] [Real]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 20:20:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:20:11] [INFO ] [Real]Absence check using state equation in 208 ms returned sat
[2021-05-13 20:20:11] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:20:11] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 20:20:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:20:11] [INFO ] [Nat]Absence check using state equation in 333 ms returned sat
[2021-05-13 20:20:11] [INFO ] [Nat]Added 102 Read/Feed constraints in 114 ms returned sat
[2021-05-13 20:20:12] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 707 ms.
[2021-05-13 20:20:31] [INFO ] Added : 210 causal constraints over 42 iterations in 19421 ms. Result :unknown
[2021-05-13 20:20:31] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 20:20:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:20:31] [INFO ] [Real]Absence check using state equation in 194 ms returned sat
[2021-05-13 20:20:31] [INFO ] [Real]Added 102 Read/Feed constraints in 60 ms returned sat
[2021-05-13 20:20:31] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:20:31] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 20:20:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:20:31] [INFO ] [Nat]Absence check using state equation in 171 ms returned sat
[2021-05-13 20:20:32] [INFO ] [Nat]Added 102 Read/Feed constraints in 540 ms returned sat
[2021-05-13 20:20:33] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 464 ms.
[2021-05-13 20:20:51] [INFO ] Added : 300 causal constraints over 60 iterations in 19226 ms. Result :unknown
[2021-05-13 20:20:51] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:20:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:20:52] [INFO ] [Real]Absence check using state equation in 243 ms returned sat
[2021-05-13 20:20:52] [INFO ] [Real]Added 102 Read/Feed constraints in 77 ms returned sat
[2021-05-13 20:20:52] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:20:52] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 20:20:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:20:52] [INFO ] [Nat]Absence check using state equation in 272 ms returned sat
[2021-05-13 20:20:52] [INFO ] [Nat]Added 102 Read/Feed constraints in 107 ms returned sat
[2021-05-13 20:20:53] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 633 ms.
[2021-05-13 20:21:12] [INFO ] Added : 280 causal constraints over 56 iterations in 19483 ms. Result :unknown
[2021-05-13 20:21:12] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:21:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:21:12] [INFO ] [Real]Absence check using state equation in 199 ms returned sat
[2021-05-13 20:21:12] [INFO ] [Real]Added 102 Read/Feed constraints in 57 ms returned sat
[2021-05-13 20:21:12] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:21:12] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 20:21:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:21:12] [INFO ] [Nat]Absence check using state equation in 244 ms returned sat
[2021-05-13 20:21:14] [INFO ] [Nat]Added 102 Read/Feed constraints in 1434 ms returned sat
[2021-05-13 20:21:14] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 666 ms.
[2021-05-13 20:21:32] [INFO ] Added : 240 causal constraints over 48 iterations in 18188 ms. Result :unknown
[2021-05-13 20:21:32] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:21:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:21:32] [INFO ] [Real]Absence check using state equation in 212 ms returned sat
[2021-05-13 20:21:32] [INFO ] [Real]Added 102 Read/Feed constraints in 52 ms returned sat
[2021-05-13 20:21:32] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:21:32] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:21:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:21:33] [INFO ] [Nat]Absence check using state equation in 208 ms returned sat
[2021-05-13 20:21:33] [INFO ] [Nat]Added 102 Read/Feed constraints in 662 ms returned sat
[2021-05-13 20:21:34] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 851 ms.
[2021-05-13 20:21:38] [INFO ] Added : 85 causal constraints over 17 iterations in 5156 ms. Result :sat
[2021-05-13 20:21:39] [INFO ] [Real]Absence check using 7 positive place invariants in 24 ms returned sat
[2021-05-13 20:21:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:21:39] [INFO ] [Real]Absence check using state equation in 447 ms returned sat
[2021-05-13 20:21:39] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:21:39] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 20:21:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:21:39] [INFO ] [Nat]Absence check using state equation in 305 ms returned sat
[2021-05-13 20:21:40] [INFO ] [Nat]Added 102 Read/Feed constraints in 566 ms returned sat
[2021-05-13 20:21:41] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 678 ms.
[2021-05-13 20:21:59] [INFO ] Added : 315 causal constraints over 63 iterations in 18953 ms. Result :unknown
[2021-05-13 20:21:59] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:21:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:21:59] [INFO ] [Real]Absence check using state equation in 272 ms returned sat
[2021-05-13 20:22:00] [INFO ] [Real]Added 102 Read/Feed constraints in 59 ms returned sat
[2021-05-13 20:22:00] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:22:00] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 20:22:00] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:22:00] [INFO ] [Nat]Absence check using state equation in 270 ms returned sat
[2021-05-13 20:22:01] [INFO ] [Nat]Added 102 Read/Feed constraints in 827 ms returned sat
[2021-05-13 20:22:01] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 647 ms.
[2021-05-13 20:22:15] [INFO ] Added : 245 causal constraints over 49 iterations in 14668 ms. Result :sat
[2021-05-13 20:22:16] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:22:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:22:16] [INFO ] [Real]Absence check using state equation in 280 ms returned sat
[2021-05-13 20:22:16] [INFO ] [Real]Added 102 Read/Feed constraints in 69 ms returned sat
[2021-05-13 20:22:16] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:22:16] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:22:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:22:16] [INFO ] [Nat]Absence check using state equation in 257 ms returned sat
[2021-05-13 20:22:17] [INFO ] [Nat]Added 102 Read/Feed constraints in 1204 ms returned sat
[2021-05-13 20:22:18] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 475 ms.
[2021-05-13 20:22:36] [INFO ] Added : 220 causal constraints over 44 iterations in 18394 ms. Result :unknown
[2021-05-13 20:22:36] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 20:22:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:22:36] [INFO ] [Real]Absence check using state equation in 237 ms returned sat
[2021-05-13 20:22:36] [INFO ] [Real]Added 102 Read/Feed constraints in 103 ms returned sat
[2021-05-13 20:22:36] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:22:36] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 20:22:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:22:37] [INFO ] [Nat]Absence check using state equation in 275 ms returned sat
[2021-05-13 20:22:38] [INFO ] [Nat]Added 102 Read/Feed constraints in 1426 ms returned sat
[2021-05-13 20:22:39] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 614 ms.
[2021-05-13 20:22:56] [INFO ] Added : 235 causal constraints over 47 iterations in 18172 ms. Result :unknown
[2021-05-13 20:22:56] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 20:22:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:22:57] [INFO ] [Real]Absence check using state equation in 208 ms returned sat
[2021-05-13 20:22:57] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:22:57] [INFO ] [Nat]Absence check using 7 positive place invariants in 21 ms returned sat
[2021-05-13 20:22:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:22:57] [INFO ] [Nat]Absence check using state equation in 293 ms returned sat
[2021-05-13 20:22:57] [INFO ] [Nat]Added 102 Read/Feed constraints in 451 ms returned sat
[2021-05-13 20:22:58] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 662 ms.
[2021-05-13 20:23:17] [INFO ] Added : 220 causal constraints over 44 iterations in 19106 ms. Result :unknown
[2021-05-13 20:23:17] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:23:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:23:17] [INFO ] [Real]Absence check using state equation in 290 ms returned sat
[2021-05-13 20:23:17] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:23:17] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 20:23:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:23:17] [INFO ] [Nat]Absence check using state equation in 214 ms returned sat
[2021-05-13 20:23:18] [INFO ] [Nat]Added 102 Read/Feed constraints in 673 ms returned sat
[2021-05-13 20:23:19] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 714 ms.
[2021-05-13 20:23:37] [INFO ] Added : 245 causal constraints over 49 iterations in 18972 ms. Result :unknown
[2021-05-13 20:23:37] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:23:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:23:37] [INFO ] [Real]Absence check using state equation in 248 ms returned sat
[2021-05-13 20:23:37] [INFO ] [Real]Added 102 Read/Feed constraints in 64 ms returned sat
[2021-05-13 20:23:37] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:23:38] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 20:23:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:23:38] [INFO ] [Nat]Absence check using state equation in 266 ms returned sat
[2021-05-13 20:23:38] [INFO ] [Nat]Added 102 Read/Feed constraints in 721 ms returned sat
[2021-05-13 20:23:39] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 434 ms.
[2021-05-13 20:23:57] [INFO ] Added : 235 causal constraints over 47 iterations in 18830 ms. Result :unknown
[2021-05-13 20:23:58] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:23:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:23:58] [INFO ] [Real]Absence check using state equation in 192 ms returned sat
[2021-05-13 20:23:58] [INFO ] [Real]Added 102 Read/Feed constraints in 68 ms returned sat
[2021-05-13 20:23:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:23:58] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:23:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:23:58] [INFO ] [Nat]Absence check using state equation in 257 ms returned sat
[2021-05-13 20:23:59] [INFO ] [Nat]Added 102 Read/Feed constraints in 700 ms returned sat
[2021-05-13 20:24:00] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 715 ms.
[2021-05-13 20:24:18] [INFO ] Added : 290 causal constraints over 58 iterations in 18882 ms. Result :unknown
[2021-05-13 20:24:18] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 20:24:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:24:18] [INFO ] [Real]Absence check using state equation in 284 ms returned sat
[2021-05-13 20:24:18] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:24:18] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 20:24:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:24:19] [INFO ] [Nat]Absence check using state equation in 300 ms returned sat
[2021-05-13 20:24:19] [INFO ] [Nat]Added 102 Read/Feed constraints in 118 ms returned sat
[2021-05-13 20:24:19] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 679 ms.
[2021-05-13 20:24:38] [INFO ] Added : 200 causal constraints over 40 iterations in 19401 ms. Result :unknown
[2021-05-13 20:24:38] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:24:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:24:38] [INFO ] [Real]Absence check using state equation in 234 ms returned sat
[2021-05-13 20:24:38] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:24:39] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 20:24:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:24:39] [INFO ] [Nat]Absence check using state equation in 279 ms returned sat
[2021-05-13 20:24:39] [INFO ] [Nat]Added 102 Read/Feed constraints in 617 ms returned sat
[2021-05-13 20:24:40] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 727 ms.
[2021-05-13 20:24:58] [INFO ] Added : 220 causal constraints over 44 iterations in 18912 ms. Result :unknown
[2021-05-13 20:24:59] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:24:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:24:59] [INFO ] [Real]Absence check using state equation in 283 ms returned sat
[2021-05-13 20:24:59] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:24:59] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:24:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:24:59] [INFO ] [Nat]Absence check using state equation in 255 ms returned sat
[2021-05-13 20:25:00] [INFO ] [Nat]Added 102 Read/Feed constraints in 790 ms returned sat
[2021-05-13 20:25:01] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 618 ms.
[2021-05-13 20:25:19] [INFO ] Added : 260 causal constraints over 52 iterations in 18779 ms. Result :unknown
[2021-05-13 20:25:19] [INFO ] [Real]Absence check using 7 positive place invariants in 21 ms returned sat
[2021-05-13 20:25:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:25:19] [INFO ] [Real]Absence check using state equation in 239 ms returned sat
[2021-05-13 20:25:19] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:25:19] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 20:25:19] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:25:19] [INFO ] [Nat]Absence check using state equation in 310 ms returned sat
[2021-05-13 20:25:20] [INFO ] [Nat]Added 102 Read/Feed constraints in 110 ms returned sat
[2021-05-13 20:25:20] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 565 ms.
[2021-05-13 20:25:37] [INFO ] Added : 225 causal constraints over 45 iterations in 17439 ms. Result :sat
[2021-05-13 20:25:38] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:25:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:25:38] [INFO ] [Real]Absence check using state equation in 278 ms returned sat
[2021-05-13 20:25:38] [INFO ] [Real]Added 102 Read/Feed constraints in 65 ms returned sat
[2021-05-13 20:25:38] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:25:38] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 20:25:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:25:38] [INFO ] [Nat]Absence check using state equation in 286 ms returned sat
[2021-05-13 20:25:39] [INFO ] [Nat]Added 102 Read/Feed constraints in 503 ms returned sat
[2021-05-13 20:25:39] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 411 ms.
[2021-05-13 20:25:58] [INFO ] Added : 235 causal constraints over 47 iterations in 18983 ms. Result :unknown
[2021-05-13 20:25:58] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:25:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:25:58] [INFO ] [Real]Absence check using state equation in 214 ms returned sat
[2021-05-13 20:25:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:25:58] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:25:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:25:58] [INFO ] [Nat]Absence check using state equation in 301 ms returned sat
[2021-05-13 20:25:59] [INFO ] [Nat]Added 102 Read/Feed constraints in 725 ms returned sat
[2021-05-13 20:26:00] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 491 ms.
[2021-05-13 20:26:18] [INFO ] Added : 235 causal constraints over 47 iterations in 18761 ms. Result :unknown
[2021-05-13 20:26:18] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:26:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:26:19] [INFO ] [Real]Absence check using state equation in 300 ms returned sat
[2021-05-13 20:26:19] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:26:19] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 20:26:19] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:26:19] [INFO ] [Nat]Absence check using state equation in 325 ms returned sat
[2021-05-13 20:26:19] [INFO ] [Nat]Added 102 Read/Feed constraints in 119 ms returned sat
[2021-05-13 20:26:20] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 409 ms.
[2021-05-13 20:26:39] [INFO ] Added : 235 causal constraints over 47 iterations in 19391 ms. Result :(error "Failed to check-sat")
[2021-05-13 20:26:39] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:26:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:26:39] [INFO ] [Real]Absence check using state equation in 205 ms returned sat
[2021-05-13 20:26:39] [INFO ] [Real]Added 102 Read/Feed constraints in 49 ms returned sat
[2021-05-13 20:26:39] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:26:39] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 20:26:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:26:39] [INFO ] [Nat]Absence check using state equation in 291 ms returned sat
[2021-05-13 20:26:39] [INFO ] [Nat]Added 102 Read/Feed constraints in 123 ms returned sat
[2021-05-13 20:26:40] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 571 ms.
[2021-05-13 20:26:59] [INFO ] Added : 275 causal constraints over 55 iterations in 19432 ms. Result :unknown
[2021-05-13 20:26:59] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 20:26:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:26:59] [INFO ] [Real]Absence check using state equation in 212 ms returned sat
[2021-05-13 20:26:59] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:26:59] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:26:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:26:59] [INFO ] [Nat]Absence check using state equation in 287 ms returned sat
[2021-05-13 20:27:00] [INFO ] [Nat]Added 102 Read/Feed constraints in 687 ms returned sat
[2021-05-13 20:27:01] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 455 ms.
[2021-05-13 20:27:19] [INFO ] Added : 240 causal constraints over 48 iterations in 18869 ms. Result :unknown
[2021-05-13 20:27:19] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:27:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:27:19] [INFO ] [Real]Absence check using state equation in 217 ms returned sat
[2021-05-13 20:27:19] [INFO ] [Real]Added 102 Read/Feed constraints in 52 ms returned sat
[2021-05-13 20:27:19] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:27:20] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:27:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:27:20] [INFO ] [Nat]Absence check using state equation in 271 ms returned sat
[2021-05-13 20:27:21] [INFO ] [Nat]Added 102 Read/Feed constraints in 763 ms returned sat
[2021-05-13 20:27:21] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 459 ms.
[2021-05-13 20:27:26] [INFO ] Added : 85 causal constraints over 17 iterations in 4833 ms. Result :sat
[2021-05-13 20:27:26] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:27:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:27:26] [INFO ] [Real]Absence check using state equation in 257 ms returned sat
[2021-05-13 20:27:26] [INFO ] [Real]Added 102 Read/Feed constraints in 62 ms returned sat
[2021-05-13 20:27:26] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:27:26] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:27:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:27:26] [INFO ] [Nat]Absence check using state equation in 272 ms returned sat
[2021-05-13 20:27:26] [INFO ] [Nat]Added 102 Read/Feed constraints in 88 ms returned sat
[2021-05-13 20:27:27] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 524 ms.
[2021-05-13 20:27:46] [INFO ] Added : 285 causal constraints over 57 iterations in 19483 ms. Result :unknown
[2021-05-13 20:27:46] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:27:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:27:46] [INFO ] [Real]Absence check using state equation in 300 ms returned sat
[2021-05-13 20:27:46] [INFO ] [Real]Added 102 Read/Feed constraints in 66 ms returned sat
[2021-05-13 20:27:46] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:27:46] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 20:27:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:27:47] [INFO ] [Nat]Absence check using state equation in 262 ms returned sat
[2021-05-13 20:27:47] [INFO ] [Nat]Added 102 Read/Feed constraints in 768 ms returned sat
[2021-05-13 20:27:48] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 664 ms.
[2021-05-13 20:28:02] [INFO ] Added : 235 causal constraints over 47 iterations in 14899 ms. Result :sat
[2021-05-13 20:28:03] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 20:28:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:28:03] [INFO ] [Real]Absence check using state equation in 210 ms returned sat
[2021-05-13 20:28:03] [INFO ] [Real]Added 102 Read/Feed constraints in 50 ms returned sat
[2021-05-13 20:28:03] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:28:03] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:28:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:28:03] [INFO ] [Nat]Absence check using state equation in 208 ms returned sat
[2021-05-13 20:28:03] [INFO ] [Nat]Added 102 Read/Feed constraints in 82 ms returned sat
[2021-05-13 20:28:04] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 705 ms.
[2021-05-13 20:28:23] [INFO ] Added : 225 causal constraints over 45 iterations in 19557 ms. Result :unknown
[2021-05-13 20:28:23] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:28:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:28:23] [INFO ] [Real]Absence check using state equation in 215 ms returned sat
[2021-05-13 20:28:23] [INFO ] [Real]Added 102 Read/Feed constraints in 50 ms returned sat
[2021-05-13 20:28:23] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:28:23] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:28:23] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:28:24] [INFO ] [Nat]Absence check using state equation in 203 ms returned sat
[2021-05-13 20:28:25] [INFO ] [Nat]Added 102 Read/Feed constraints in 1107 ms returned sat
[2021-05-13 20:28:25] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 702 ms.
[2021-05-13 20:28:43] [INFO ] Added : 275 causal constraints over 55 iterations in 18558 ms. Result :unknown
[2021-05-13 20:28:43] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:28:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:28:44] [INFO ] [Real]Absence check using state equation in 282 ms returned sat
[2021-05-13 20:28:44] [INFO ] [Real]Added 102 Read/Feed constraints in 64 ms returned sat
[2021-05-13 20:28:44] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:28:44] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 20:28:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:28:44] [INFO ] [Nat]Absence check using state equation in 313 ms returned sat
[2021-05-13 20:28:45] [INFO ] [Nat]Added 102 Read/Feed constraints in 1092 ms returned sat
[2021-05-13 20:28:46] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 570 ms.
[2021-05-13 20:29:02] [INFO ] Added : 220 causal constraints over 44 iterations in 17048 ms. Result :sat
[2021-05-13 20:29:02] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:29:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:29:03] [INFO ] [Real]Absence check using state equation in 298 ms returned sat
[2021-05-13 20:29:03] [INFO ] [Real]Added 102 Read/Feed constraints in 72 ms returned sat
[2021-05-13 20:29:03] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:29:03] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 20:29:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:29:03] [INFO ] [Nat]Absence check using state equation in 341 ms returned sat
[2021-05-13 20:29:04] [INFO ] [Nat]Added 102 Read/Feed constraints in 860 ms returned sat
[2021-05-13 20:29:05] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 696 ms.
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16427456 kB
MemFree: 12189448 kB
After kill :
MemTotal: 16427456 kB
MemFree: 16114640 kB
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BridgeAndVehicles-PT-V80P20N50"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="gold2020"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool gold2020"
echo " Input is BridgeAndVehicles-PT-V80P20N50, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r037-tajo-162038176900146"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-PT-V80P20N50.tgz
mv BridgeAndVehicles-PT-V80P20N50 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;