About the Execution of ITS-Tools for TokenRing-COL-010
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15741.490 | 3600000.00 | 3768990.00 | 1195.70 | [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 '/local/x2003239/mcc2020-input.r193-csrt-159033388700402.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is TokenRing-COL-010, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r193-csrt-159033388700402
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 196K
-rw-r--r-- 1 mcc users 3.9K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Apr 27 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Apr 27 15:14 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Apr 27 15:14 equiv_pt
-rw-r--r-- 1 mcc users 4 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 5 Apr 27 15:14 iscolored
-rw-r--r-- 1 mcc users 13K Apr 27 15:14 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 TokenRing-COL-010-00
FORMULA_NAME TokenRing-COL-010-01
FORMULA_NAME TokenRing-COL-010-02
FORMULA_NAME TokenRing-COL-010-03
FORMULA_NAME TokenRing-COL-010-04
FORMULA_NAME TokenRing-COL-010-05
FORMULA_NAME TokenRing-COL-010-06
FORMULA_NAME TokenRing-COL-010-07
FORMULA_NAME TokenRing-COL-010-08
FORMULA_NAME TokenRing-COL-010-09
FORMULA_NAME TokenRing-COL-010-10
FORMULA_NAME TokenRing-COL-010-11
FORMULA_NAME TokenRing-COL-010-12
FORMULA_NAME TokenRing-COL-010-13
FORMULA_NAME TokenRing-COL-010-14
FORMULA_NAME TokenRing-COL-010-15
=== Now, execution of the tool begins
BK_START 1590511939787
[2020-05-26 16:52:22] [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, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -greatspnpath, /home/mcc/BenchKit//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2020-05-26 16:52:22] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-05-26 16:52:22] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
SLF4J: Failed to load class "org.slf4j.impl.StaticLoggerBinder".
SLF4J: Defaulting to no-operation (NOP) logger implementation
SLF4J: See http://www.slf4j.org/codes.html#StaticLoggerBinder for further details.
[2020-05-26 16:52:22] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 666 ms
[2020-05-26 16:52:22] [INFO ] sort/places :
Couple->state,
[2020-05-26 16:52:22] [INFO ] Imported 1 HL places and 2 HL transitions for a total of 121 PT places and 1342.0 transition bindings in 20 ms.
[2020-05-26 16:52:22] [INFO ] Computed order based on color domains.
[2020-05-26 16:52:22] [INFO ] Unfolded HLPN to a Petri net with 121 places and 1111 transitions in 71 ms.
[2020-05-26 16:52:22] [INFO ] Unfolded HLPN properties in 17 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 352 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 0 resets, run finished after 17695 ms. (steps per millisecond=5 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 1, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 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, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 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, 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, 1, 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, 1, 1, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 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, 1, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 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, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 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, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 1, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 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, 1, 0, 0, 0, 0, 0, 1, 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, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 1, 1, 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, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 1, 1, 1, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 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, 1, 0, 1, 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, 1, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 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, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 1, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 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, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 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, 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, 1, 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, 1, 1, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 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, 1, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 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, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 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, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 1, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 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, 1, 0, 0, 0, 0, 0, 1, 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, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 1, 1, 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, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 1, 1, 1, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 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, 1, 0, 1, 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, 1, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 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, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0]
// Phase 1: matrix 1111 rows 121 cols
[2020-05-26 16:52:41] [INFO ] Computed 11 place invariants in 25 ms
[2020-05-26 16:52:41] [INFO ] [Real]Absence check using 11 positive place invariants in 36 ms returned sat
[2020-05-26 16:52:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 16:52:41] [INFO ] [Real]Absence check using state equation in 338 ms returned sat
[2020-05-26 16:52:41] [INFO ] State equation strengthened by 1010 read => feed constraints.
[2020-05-26 16:52:41] [INFO ] [Real]Added 1010 Read/Feed constraints in 143 ms returned sat
[2020-05-26 16:52:41] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 16:52:41] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2020-05-26 16:52:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 16:52:42] [INFO ] [Nat]Absence check using state equation in 320 ms returned sat
[2020-05-26 16:52:42] [INFO ] [Nat]Added 1010 Read/Feed constraints in 138 ms returned sat
[2020-05-26 16:52:42] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 201 ms.
[2020-05-26 16:53:01] [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: Stream closed (=> (> t497 0) (and (or (and (> t96 0) (< o96 o497)) (and (> t196 0) (< o196 o497)) (and (> t296 0) (< o296 o497)) (and (> t396 0) (< o396 o497)) (and (> t496 0) (< o496 o497)) (and (> t596 0) (< o596 o497)) (and (> t696 0) (< o696 o497)) (and (> t796 0) (< o796 o497)) (and (> t896 0) (< o896 o497)) (and (> t1106 0) (< o1106 o497))) (or (and (> t47 0) (< o47 o497)) (and (> t147 0) (< o147 o497)) (and (> t247 0) (< o247 o497)) (and (> t347 0) (< o347 o497)) (and (> t557 0) (< o557 o497)) (and (> t657 0) (< o657 o497)) (and (> t757 0) (< o757 o497)) (and (> t857 0) (< o857 o497)) (and (> t957 0) (< o957 o497)) (and (> t1057 0) (< o1057 o497)))))") while checking expression at index 0
[2020-05-26 16:53:02] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 16:53:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 16:53:02] [INFO ] [Real]Absence check using state equation in 554 ms returned sat
[2020-05-26 16:53:02] [INFO ] [Real]Added 1010 Read/Feed constraints in 266 ms returned sat
[2020-05-26 16:53:02] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 16:53:03] [INFO ] [Nat]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 16:53:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 16:53:03] [INFO ] [Nat]Absence check using state equation in 348 ms returned sat
[2020-05-26 16:53:03] [INFO ] [Nat]Added 1010 Read/Feed constraints in 131 ms returned sat
[2020-05-26 16:53:03] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 103 ms.
[2020-05-26 16:53:22] [INFO ] Added : 495 causal constraints over 99 iterations in 19447 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-26 16:53:23] [INFO ] [Real]Absence check using 11 positive place invariants in 21 ms returned sat
[2020-05-26 16:53:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 16:53:23] [INFO ] [Real]Absence check using state equation in 387 ms returned sat
[2020-05-26 16:53:23] [INFO ] [Real]Added 1010 Read/Feed constraints in 134 ms returned sat
[2020-05-26 16:53:23] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 16:53:23] [INFO ] [Nat]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 16:53:23] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 16:53:23] [INFO ] [Nat]Absence check using state equation in 271 ms returned sat
[2020-05-26 16:53:24] [INFO ] [Nat]Added 1010 Read/Feed constraints in 120 ms returned sat
[2020-05-26 16:53:24] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 83 ms.
[2020-05-26 16:53:43] [INFO ] Added : 475 causal constraints over 95 iterations in 19533 ms. Result :unknown
[2020-05-26 16:53:43] [INFO ] [Real]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-05-26 16:53:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 16:53:43] [INFO ] [Real]Absence check using state equation in 288 ms returned sat
[2020-05-26 16:53:44] [INFO ] [Real]Added 1010 Read/Feed constraints in 146 ms returned sat
[2020-05-26 16:53:44] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 16:53:44] [INFO ] [Nat]Absence check using 11 positive place invariants in 66 ms returned sat
[2020-05-26 16:53:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 16:53:44] [INFO ] [Nat]Absence check using state equation in 258 ms returned sat
[2020-05-26 16:53:44] [INFO ] [Nat]Added 1010 Read/Feed constraints in 126 ms returned sat
[2020-05-26 16:53:44] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 99 ms.
[2020-05-26 16:54:04] [INFO ] Added : 455 causal constraints over 91 iterations in 19494 ms. Result :unknown
[2020-05-26 16:54:04] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 16:54:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 16:54:04] [INFO ] [Real]Absence check using state equation in 290 ms returned sat
[2020-05-26 16:54:04] [INFO ] [Real]Added 1010 Read/Feed constraints in 136 ms returned sat
[2020-05-26 16:54:04] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 16:54:04] [INFO ] [Nat]Absence check using 11 positive place invariants in 20 ms returned sat
[2020-05-26 16:54:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 16:54:05] [INFO ] [Nat]Absence check using state equation in 288 ms returned sat
[2020-05-26 16:54:05] [INFO ] [Nat]Added 1010 Read/Feed constraints in 151 ms returned sat
[2020-05-26 16:54:05] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 87 ms.
[2020-05-26 16:54:24] [INFO ] Added : 505 causal constraints over 101 iterations in 19486 ms. Result :unknown
[2020-05-26 16:54:24] [INFO ] [Real]Absence check using 11 positive place invariants in 23 ms returned sat
[2020-05-26 16:54:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 16:54:25] [INFO ] [Real]Absence check using state equation in 286 ms returned sat
[2020-05-26 16:54:25] [INFO ] [Real]Added 1010 Read/Feed constraints in 161 ms returned sat
[2020-05-26 16:54:25] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 16:54:25] [INFO ] [Nat]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 16:54:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 16:54:25] [INFO ] [Nat]Absence check using state equation in 290 ms returned sat
[2020-05-26 16:54:25] [INFO ] [Nat]Added 1010 Read/Feed constraints in 138 ms returned sat
[2020-05-26 16:54:25] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 58 ms.
[2020-05-26 16:54:45] [INFO ] Added : 515 causal constraints over 103 iterations in 19542 ms. Result :unknown
[2020-05-26 16:54:45] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 16:54:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 16:54:45] [INFO ] [Real]Absence check using state equation in 270 ms returned sat
[2020-05-26 16:54:45] [INFO ] [Real]Added 1010 Read/Feed constraints in 137 ms returned sat
[2020-05-26 16:54:45] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 16:54:45] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 16:54:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 16:54:46] [INFO ] [Nat]Absence check using state equation in 299 ms returned sat
[2020-05-26 16:54:46] [INFO ] [Nat]Added 1010 Read/Feed constraints in 141 ms returned sat
[2020-05-26 16:54:46] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 81 ms.
[2020-05-26 16:55:05] [INFO ] Added : 515 causal constraints over 103 iterations in 19515 ms. Result :unknown
[2020-05-26 16:55:05] [INFO ] [Real]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-05-26 16:55:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 16:55:06] [INFO ] [Real]Absence check using state equation in 314 ms returned sat
[2020-05-26 16:55:06] [INFO ] [Real]Added 1010 Read/Feed constraints in 134 ms returned sat
[2020-05-26 16:55:06] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 16:55:06] [INFO ] [Nat]Absence check using 11 positive place invariants in 20 ms returned sat
[2020-05-26 16:55:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 16:55:06] [INFO ] [Nat]Absence check using state equation in 251 ms returned sat
[2020-05-26 16:55:06] [INFO ] [Nat]Added 1010 Read/Feed constraints in 131 ms returned sat
[2020-05-26 16:55:06] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 86 ms.
[2020-05-26 16:55:26] [INFO ] Added : 460 causal constraints over 92 iterations in 19555 ms. Result :unknown
[2020-05-26 16:55:26] [INFO ] [Real]Absence check using 11 positive place invariants in 16 ms returned sat
[2020-05-26 16:55:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 16:55:26] [INFO ] [Real]Absence check using state equation in 333 ms returned sat
[2020-05-26 16:55:26] [INFO ] [Real]Added 1010 Read/Feed constraints in 133 ms returned sat
[2020-05-26 16:55:26] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 16:55:27] [INFO ] [Nat]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 16:55:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 16:55:27] [INFO ] [Nat]Absence check using state equation in 270 ms returned sat
[2020-05-26 16:55:27] [INFO ] [Nat]Added 1010 Read/Feed constraints in 133 ms returned sat
[2020-05-26 16:55:27] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 66 ms.
[2020-05-26 16:55:47] [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 (=> (> t537 0) (and (or (and (> t26 0) (< o26 o537)) (and (> t126 0) (< o126 o537)) (and (> t336 0) (< o336 o537)) (and (> t436 0) (< o436 o537)) (and (> t536 0) (< o536 o537)) (and (> t636 0) (< o636 o537)) (and (> t736 0) (< o736 o537)) (and (> t836 0) (< o836 o537)) (and (> t936 0) (< o936 o537)) (and (> t1036 0) (< o1036 o537))) (or (and (> t57 0) (< o57 o537)) (and (> t157 0) (< o157 o537)) (and (> t257 0) (< o257 o537)) (and (> t357 0) (< o357 o537)) (and (> t457 0) (< o457 o537)) (and (> t667 0) (< o667 o537)) (and (> t767 0) (< o767 o537)) (and (> t867 0) (< o867 o537)) (and (> t967 0) (< o967 o537)) (and (> t1067 0) (< o1067 o537)))))") while checking expression at index 8
[2020-05-26 16:55:47] [INFO ] [Real]Absence check using 11 positive place invariants in 20 ms returned sat
[2020-05-26 16:55:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 16:55:47] [INFO ] [Real]Absence check using state equation in 252 ms returned sat
[2020-05-26 16:55:47] [INFO ] [Real]Added 1010 Read/Feed constraints in 115 ms returned sat
[2020-05-26 16:55:47] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 16:55:47] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 16:55:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 16:55:47] [INFO ] [Nat]Absence check using state equation in 265 ms returned sat
[2020-05-26 16:55:47] [INFO ] [Nat]Added 1010 Read/Feed constraints in 124 ms returned sat
[2020-05-26 16:55:48] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 73 ms.
[2020-05-26 16:56:07] [INFO ] Added : 485 causal constraints over 97 iterations in 19552 ms. Result :unknown
[2020-05-26 16:56:07] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 16:56:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 16:56:07] [INFO ] [Real]Absence check using state equation in 284 ms returned sat
[2020-05-26 16:56:07] [INFO ] [Real]Added 1010 Read/Feed constraints in 135 ms returned sat
[2020-05-26 16:56:07] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 16:56:08] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 16:56:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 16:56:08] [INFO ] [Nat]Absence check using state equation in 244 ms returned sat
[2020-05-26 16:56:08] [INFO ] [Nat]Added 1010 Read/Feed constraints in 127 ms returned sat
[2020-05-26 16:56:08] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 83 ms.
[2020-05-26 16:56:28] [INFO ] Added : 520 causal constraints over 104 iterations in 19588 ms. Result :unknown
[2020-05-26 16:56:28] [INFO ] [Real]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-05-26 16:56:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 16:56:28] [INFO ] [Real]Absence check using state equation in 258 ms returned sat
[2020-05-26 16:56:28] [INFO ] [Real]Added 1010 Read/Feed constraints in 118 ms returned sat
[2020-05-26 16:56:28] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 16:56:28] [INFO ] [Nat]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 16:56:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 16:56:28] [INFO ] [Nat]Absence check using state equation in 262 ms returned sat
[2020-05-26 16:56:28] [INFO ] [Nat]Added 1010 Read/Feed constraints in 105 ms returned sat
[2020-05-26 16:56:28] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 67 ms.
[2020-05-26 16:56:48] [INFO ] Added : 525 causal constraints over 105 iterations in 19598 ms. Result :unknown
[2020-05-26 16:56:48] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 16:56:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 16:56:48] [INFO ] [Real]Absence check using state equation in 256 ms returned sat
[2020-05-26 16:56:48] [INFO ] [Real]Added 1010 Read/Feed constraints in 123 ms returned sat
[2020-05-26 16:56:48] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 16:56:48] [INFO ] [Nat]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-05-26 16:56:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 16:56:49] [INFO ] [Nat]Absence check using state equation in 306 ms returned sat
[2020-05-26 16:56:49] [INFO ] [Nat]Added 1010 Read/Feed constraints in 143 ms returned sat
[2020-05-26 16:56:49] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 55 ms.
[2020-05-26 16:57:08] [INFO ] Added : 545 causal constraints over 109 iterations in 19541 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-26 16:57:09] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-05-26 16:57:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 16:57:09] [INFO ] [Real]Absence check using state equation in 262 ms returned sat
[2020-05-26 16:57:09] [INFO ] [Real]Added 1010 Read/Feed constraints in 117 ms returned sat
[2020-05-26 16:57:09] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 16:57:09] [INFO ] [Nat]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 16:57:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 16:57:09] [INFO ] [Nat]Absence check using state equation in 255 ms returned sat
[2020-05-26 16:57:09] [INFO ] [Nat]Added 1010 Read/Feed constraints in 119 ms returned sat
[2020-05-26 16:57:09] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 55 ms.
[2020-05-26 16:57:29] [INFO ] Added : 530 causal constraints over 106 iterations in 19603 ms. Result :unknown
[2020-05-26 16:57:29] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 16:57:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 16:57:29] [INFO ] [Real]Absence check using state equation in 357 ms returned sat
[2020-05-26 16:57:30] [INFO ] [Real]Added 1010 Read/Feed constraints in 173 ms returned sat
[2020-05-26 16:57:30] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 16:57:30] [INFO ] [Nat]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 16:57:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 16:57:30] [INFO ] [Nat]Absence check using state equation in 259 ms returned sat
[2020-05-26 16:57:30] [INFO ] [Nat]Added 1010 Read/Feed constraints in 137 ms returned sat
[2020-05-26 16:57:30] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 72 ms.
[2020-05-26 16:57:50] [INFO ] Added : 495 causal constraints over 99 iterations in 19562 ms. Result :unknown
[2020-05-26 16:57:50] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 16:57:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 16:57:50] [INFO ] [Real]Absence check using state equation in 262 ms returned sat
[2020-05-26 16:57:50] [INFO ] [Real]Added 1010 Read/Feed constraints in 135 ms returned sat
[2020-05-26 16:57:50] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 16:57:50] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 16:57:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 16:57:50] [INFO ] [Nat]Absence check using state equation in 262 ms returned sat
[2020-05-26 16:57:51] [INFO ] [Nat]Added 1010 Read/Feed constraints in 123 ms returned sat
[2020-05-26 16:57:51] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 99 ms.
[2020-05-26 16:58:10] [INFO ] Added : 510 causal constraints over 102 iterations in 19579 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-26 16:58:10] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 16:58:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 16:58:10] [INFO ] [Real]Absence check using state equation in 261 ms returned sat
[2020-05-26 16:58:11] [INFO ] [Real]Added 1010 Read/Feed constraints in 129 ms returned sat
[2020-05-26 16:58:11] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 16:58:11] [INFO ] [Nat]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 16:58:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 16:58:11] [INFO ] [Nat]Absence check using state equation in 264 ms returned sat
[2020-05-26 16:58:11] [INFO ] [Nat]Added 1010 Read/Feed constraints in 126 ms returned sat
[2020-05-26 16:58:11] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 72 ms.
[2020-05-26 16:58:31] [INFO ] Added : 510 causal constraints over 102 iterations in 19558 ms. Result :unknown
[2020-05-26 16:58:31] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 16:58:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 16:58:31] [INFO ] [Real]Absence check using state equation in 258 ms returned sat
[2020-05-26 16:58:31] [INFO ] [Real]Added 1010 Read/Feed constraints in 112 ms returned sat
[2020-05-26 16:58:31] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 16:58:31] [INFO ] [Nat]Absence check using 11 positive place invariants in 42 ms returned sat
[2020-05-26 16:58:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 16:58:31] [INFO ] [Nat]Absence check using state equation in 311 ms returned sat
[2020-05-26 16:58:32] [INFO ] [Nat]Added 1010 Read/Feed constraints in 121 ms returned sat
[2020-05-26 16:58:32] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 191 ms.
[2020-05-26 16:58:51] [INFO ] Added : 525 causal constraints over 105 iterations in 19482 ms. Result :unknown
[2020-05-26 16:58:51] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-05-26 16:58:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 16:58:51] [INFO ] [Real]Absence check using state equation in 270 ms returned sat
[2020-05-26 16:58:52] [INFO ] [Real]Added 1010 Read/Feed constraints in 137 ms returned sat
[2020-05-26 16:58:52] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 16:58:52] [INFO ] [Nat]Absence check using 11 positive place invariants in 26 ms returned sat
[2020-05-26 16:58:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 16:58:52] [INFO ] [Nat]Absence check using state equation in 241 ms returned sat
[2020-05-26 16:58:52] [INFO ] [Nat]Added 1010 Read/Feed constraints in 121 ms returned sat
[2020-05-26 16:58:52] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 62 ms.
[2020-05-26 16:59:12] [INFO ] Added : 525 causal constraints over 105 iterations in 19589 ms. Result :unknown
[2020-05-26 16:59:12] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-05-26 16:59:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 16:59:12] [INFO ] [Real]Absence check using state equation in 279 ms returned sat
[2020-05-26 16:59:12] [INFO ] [Real]Added 1010 Read/Feed constraints in 143 ms returned sat
[2020-05-26 16:59:12] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 16:59:12] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 16:59:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 16:59:12] [INFO ] [Nat]Absence check using state equation in 256 ms returned sat
[2020-05-26 16:59:12] [INFO ] [Nat]Added 1010 Read/Feed constraints in 122 ms returned sat
[2020-05-26 16:59:13] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 102 ms.
[2020-05-26 16:59:32] [INFO ] Added : 515 causal constraints over 103 iterations in 19580 ms. Result :unknown
[2020-05-26 16:59:32] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-05-26 16:59:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 16:59:32] [INFO ] [Real]Absence check using state equation in 278 ms returned sat
[2020-05-26 16:59:33] [INFO ] [Real]Added 1010 Read/Feed constraints in 128 ms returned sat
[2020-05-26 16:59:33] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 16:59:33] [INFO ] [Nat]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 16:59:33] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 16:59:33] [INFO ] [Nat]Absence check using state equation in 365 ms returned sat
[2020-05-26 16:59:33] [INFO ] [Nat]Added 1010 Read/Feed constraints in 130 ms returned sat
[2020-05-26 16:59:33] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 78 ms.
[2020-05-26 16:59:53] [INFO ] Added : 505 causal constraints over 101 iterations in 19454 ms. Result :unknown
[2020-05-26 16:59:53] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-05-26 16:59:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 16:59:53] [INFO ] [Real]Absence check using state equation in 261 ms returned sat
[2020-05-26 16:59:53] [INFO ] [Real]Added 1010 Read/Feed constraints in 128 ms returned sat
[2020-05-26 16:59:53] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 16:59:53] [INFO ] [Nat]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 16:59:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 16:59:53] [INFO ] [Nat]Absence check using state equation in 387 ms returned sat
[2020-05-26 16:59:54] [INFO ] [Nat]Added 1010 Read/Feed constraints in 119 ms returned sat
[2020-05-26 16:59:54] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 53 ms.
[2020-05-26 17:00:13] [INFO ] Added : 535 causal constraints over 107 iterations in 19465 ms. Result :unknown
[2020-05-26 17:00:13] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-05-26 17:00:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:00:13] [INFO ] [Real]Absence check using state equation in 256 ms returned sat
[2020-05-26 17:00:13] [INFO ] [Real]Added 1010 Read/Feed constraints in 122 ms returned sat
[2020-05-26 17:00:14] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:00:14] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 17:00:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:00:14] [INFO ] [Nat]Absence check using state equation in 250 ms returned sat
[2020-05-26 17:00:14] [INFO ] [Nat]Added 1010 Read/Feed constraints in 127 ms returned sat
[2020-05-26 17:00:14] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 80 ms.
[2020-05-26 17:00:34] [INFO ] Added : 525 causal constraints over 105 iterations in 19581 ms. Result :unknown
[2020-05-26 17:00:34] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:00:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:00:34] [INFO ] [Real]Absence check using state equation in 451 ms returned sat
[2020-05-26 17:00:34] [INFO ] [Real]Added 1010 Read/Feed constraints in 138 ms returned sat
[2020-05-26 17:00:34] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:00:34] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2020-05-26 17:00:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:00:35] [INFO ] [Nat]Absence check using state equation in 278 ms returned sat
[2020-05-26 17:00:35] [INFO ] [Nat]Added 1010 Read/Feed constraints in 134 ms returned sat
[2020-05-26 17:00:35] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 63 ms.
[2020-05-26 17:00:54] [INFO ] Added : 510 causal constraints over 102 iterations in 19531 ms. Result :unknown
[2020-05-26 17:00:54] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-05-26 17:00:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:00:55] [INFO ] [Real]Absence check using state equation in 261 ms returned sat
[2020-05-26 17:00:55] [INFO ] [Real]Added 1010 Read/Feed constraints in 137 ms returned sat
[2020-05-26 17:00:55] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:00:55] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 17:00:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:00:55] [INFO ] [Nat]Absence check using state equation in 260 ms returned sat
[2020-05-26 17:00:55] [INFO ] [Nat]Added 1010 Read/Feed constraints in 126 ms returned sat
[2020-05-26 17:00:55] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 76 ms.
[2020-05-26 17:01:15] [INFO ] Added : 465 causal constraints over 93 iterations in 19583 ms. Result :unknown
[2020-05-26 17:01:15] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:01:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:01:15] [INFO ] [Real]Absence check using state equation in 281 ms returned sat
[2020-05-26 17:01:15] [INFO ] [Real]Added 1010 Read/Feed constraints in 143 ms returned sat
[2020-05-26 17:01:15] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:01:15] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2020-05-26 17:01:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:01:16] [INFO ] [Nat]Absence check using state equation in 256 ms returned sat
[2020-05-26 17:01:16] [INFO ] [Nat]Added 1010 Read/Feed constraints in 120 ms returned sat
[2020-05-26 17:01:16] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 73 ms.
[2020-05-26 17:01:35] [INFO ] Added : 490 causal constraints over 98 iterations in 19582 ms. Result :unknown
[2020-05-26 17:01:35] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:01:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:01:36] [INFO ] [Real]Absence check using state equation in 267 ms returned sat
[2020-05-26 17:01:36] [INFO ] [Real]Added 1010 Read/Feed constraints in 110 ms returned sat
[2020-05-26 17:01:36] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:01:36] [INFO ] [Nat]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-05-26 17:01:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:01:36] [INFO ] [Nat]Absence check using state equation in 234 ms returned sat
[2020-05-26 17:01:36] [INFO ] [Nat]Added 1010 Read/Feed constraints in 103 ms returned sat
[2020-05-26 17:01:36] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 78 ms.
[2020-05-26 17:01:56] [INFO ] Added : 510 causal constraints over 102 iterations in 19626 ms. Result :unknown
[2020-05-26 17:01:56] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 17:01:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:01:56] [INFO ] [Real]Absence check using state equation in 338 ms returned sat
[2020-05-26 17:01:56] [INFO ] [Real]Added 1010 Read/Feed constraints in 131 ms returned sat
[2020-05-26 17:01:56] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:01:56] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:01:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:01:57] [INFO ] [Nat]Absence check using state equation in 284 ms returned sat
[2020-05-26 17:01:57] [INFO ] [Nat]Added 1010 Read/Feed constraints in 122 ms returned sat
[2020-05-26 17:01:57] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 72 ms.
[2020-05-26 17:02:16] [INFO ] Added : 515 causal constraints over 103 iterations in 19548 ms. Result :unknown
[2020-05-26 17:02:16] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 17:02:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:02:17] [INFO ] [Real]Absence check using state equation in 272 ms returned sat
[2020-05-26 17:02:17] [INFO ] [Real]Added 1010 Read/Feed constraints in 151 ms returned sat
[2020-05-26 17:02:17] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:02:17] [INFO ] [Nat]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:02:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:02:17] [INFO ] [Nat]Absence check using state equation in 251 ms returned sat
[2020-05-26 17:02:17] [INFO ] [Nat]Added 1010 Read/Feed constraints in 121 ms returned sat
[2020-05-26 17:02:17] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 78 ms.
[2020-05-26 17:02:37] [INFO ] Added : 520 causal constraints over 104 iterations in 19581 ms. Result :unknown
[2020-05-26 17:02:37] [INFO ] [Real]Absence check using 11 positive place invariants in 5 ms returned sat
[2020-05-26 17:02:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:02:37] [INFO ] [Real]Absence check using state equation in 235 ms returned sat
[2020-05-26 17:02:37] [INFO ] [Real]Added 1010 Read/Feed constraints in 133 ms returned sat
[2020-05-26 17:02:37] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:02:37] [INFO ] [Nat]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-05-26 17:02:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:02:37] [INFO ] [Nat]Absence check using state equation in 259 ms returned sat
[2020-05-26 17:02:38] [INFO ] [Nat]Added 1010 Read/Feed constraints in 122 ms returned sat
[2020-05-26 17:02:38] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 56 ms.
[2020-05-26 17:02:57] [INFO ] Added : 535 causal constraints over 107 iterations in 19585 ms. Result :unknown
[2020-05-26 17:02:57] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:02:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:02:58] [INFO ] [Real]Absence check using state equation in 260 ms returned sat
[2020-05-26 17:02:58] [INFO ] [Real]Added 1010 Read/Feed constraints in 124 ms returned sat
[2020-05-26 17:02:58] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:02:58] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:02:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:02:58] [INFO ] [Nat]Absence check using state equation in 261 ms returned sat
[2020-05-26 17:02:58] [INFO ] [Nat]Added 1010 Read/Feed constraints in 149 ms returned sat
[2020-05-26 17:02:58] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 53 ms.
[2020-05-26 17:03:18] [INFO ] Added : 515 causal constraints over 103 iterations in 19549 ms. Result :unknown
[2020-05-26 17:03:18] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-05-26 17:03:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:03:18] [INFO ] [Real]Absence check using state equation in 294 ms returned sat
[2020-05-26 17:03:18] [INFO ] [Real]Added 1010 Read/Feed constraints in 120 ms returned sat
[2020-05-26 17:03:18] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:03:18] [INFO ] [Nat]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-05-26 17:03:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:03:18] [INFO ] [Nat]Absence check using state equation in 263 ms returned sat
[2020-05-26 17:03:19] [INFO ] [Nat]Added 1010 Read/Feed constraints in 123 ms returned sat
[2020-05-26 17:03:19] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 59 ms.
[2020-05-26 17:03:38] [INFO ] Added : 530 causal constraints over 106 iterations in 19589 ms. Result :unknown
[2020-05-26 17:03:38] [INFO ] [Real]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-05-26 17:03:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:03:38] [INFO ] [Real]Absence check using state equation in 274 ms returned sat
[2020-05-26 17:03:39] [INFO ] [Real]Added 1010 Read/Feed constraints in 126 ms returned sat
[2020-05-26 17:03:39] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:03:39] [INFO ] [Nat]Absence check using 11 positive place invariants in 21 ms returned sat
[2020-05-26 17:03:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:03:39] [INFO ] [Nat]Absence check using state equation in 278 ms returned sat
[2020-05-26 17:03:39] [INFO ] [Nat]Added 1010 Read/Feed constraints in 125 ms returned sat
[2020-05-26 17:03:39] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 81 ms.
[2020-05-26 17:03:59] [INFO ] Added : 520 causal constraints over 104 iterations in 19536 ms. Result :unknown
[2020-05-26 17:03:59] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-05-26 17:03:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:03:59] [INFO ] [Real]Absence check using state equation in 249 ms returned sat
[2020-05-26 17:03:59] [INFO ] [Real]Added 1010 Read/Feed constraints in 128 ms returned sat
[2020-05-26 17:03:59] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:03:59] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 17:03:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:03:59] [INFO ] [Nat]Absence check using state equation in 256 ms returned sat
[2020-05-26 17:04:00] [INFO ] [Nat]Added 1010 Read/Feed constraints in 121 ms returned sat
[2020-05-26 17:04:00] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 57 ms.
[2020-05-26 17:04:19] [INFO ] Added : 485 causal constraints over 97 iterations in 19585 ms. Result :unknown
[2020-05-26 17:04:19] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 17:04:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:04:19] [INFO ] [Real]Absence check using state equation in 269 ms returned sat
[2020-05-26 17:04:20] [INFO ] [Real]Added 1010 Read/Feed constraints in 152 ms returned sat
[2020-05-26 17:04:20] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:04:20] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2020-05-26 17:04:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:04:20] [INFO ] [Nat]Absence check using state equation in 262 ms returned sat
[2020-05-26 17:04:20] [INFO ] [Nat]Added 1010 Read/Feed constraints in 114 ms returned sat
[2020-05-26 17:04:20] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 110 ms.
[2020-05-26 17:04:40] [INFO ] Added : 490 causal constraints over 98 iterations in 19570 ms. Result :unknown
[2020-05-26 17:04:40] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 17:04:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:04:40] [INFO ] [Real]Absence check using state equation in 268 ms returned sat
[2020-05-26 17:04:40] [INFO ] [Real]Added 1010 Read/Feed constraints in 150 ms returned sat
[2020-05-26 17:04:40] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:04:40] [INFO ] [Nat]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:04:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:04:40] [INFO ] [Nat]Absence check using state equation in 262 ms returned sat
[2020-05-26 17:04:41] [INFO ] [Nat]Added 1010 Read/Feed constraints in 107 ms returned sat
[2020-05-26 17:04:41] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 64 ms.
[2020-05-26 17:05:00] [INFO ] Added : 515 causal constraints over 103 iterations in 19595 ms. Result :unknown
[2020-05-26 17:05:00] [INFO ] [Real]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-05-26 17:05:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:05:00] [INFO ] [Real]Absence check using state equation in 266 ms returned sat
[2020-05-26 17:05:01] [INFO ] [Real]Added 1010 Read/Feed constraints in 127 ms returned sat
[2020-05-26 17:05:01] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:05:01] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2020-05-26 17:05:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:05:01] [INFO ] [Nat]Absence check using state equation in 313 ms returned sat
[2020-05-26 17:05:01] [INFO ] [Nat]Added 1010 Read/Feed constraints in 107 ms returned sat
[2020-05-26 17:05:01] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 67 ms.
[2020-05-26 17:05:21] [INFO ] Added : 530 causal constraints over 106 iterations in 19535 ms. Result :unknown
[2020-05-26 17:05:21] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-05-26 17:05:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:05:21] [INFO ] [Real]Absence check using state equation in 265 ms returned sat
[2020-05-26 17:05:21] [INFO ] [Real]Added 1010 Read/Feed constraints in 131 ms returned sat
[2020-05-26 17:05:21] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:05:21] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:05:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:05:21] [INFO ] [Nat]Absence check using state equation in 272 ms returned sat
[2020-05-26 17:05:22] [INFO ] [Nat]Added 1010 Read/Feed constraints in 113 ms returned sat
[2020-05-26 17:05:22] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 72 ms.
[2020-05-26 17:05:41] [INFO ] Added : 500 causal constraints over 100 iterations in 19592 ms. Result :(error "Failed to check-sat")
[2020-05-26 17:05:41] [INFO ] [Real]Absence check using 11 positive place invariants in 20 ms returned sat
[2020-05-26 17:05:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:05:42] [INFO ] [Real]Absence check using state equation in 317 ms returned sat
[2020-05-26 17:05:42] [INFO ] [Real]Added 1010 Read/Feed constraints in 268 ms returned sat
[2020-05-26 17:05:42] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:05:42] [INFO ] [Nat]Absence check using 11 positive place invariants in 21 ms returned sat
[2020-05-26 17:05:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:05:42] [INFO ] [Nat]Absence check using state equation in 312 ms returned sat
[2020-05-26 17:05:42] [INFO ] [Nat]Added 1010 Read/Feed constraints in 123 ms returned sat
[2020-05-26 17:05:43] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 66 ms.
[2020-05-26 17:06:02] [INFO ] Added : 490 causal constraints over 98 iterations in 19512 ms. Result :unknown
[2020-05-26 17:06:02] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:06:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:06:02] [INFO ] [Real]Absence check using state equation in 236 ms returned sat
[2020-05-26 17:06:02] [INFO ] [Real]Added 1010 Read/Feed constraints in 112 ms returned sat
[2020-05-26 17:06:02] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:06:02] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 17:06:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:06:03] [INFO ] [Nat]Absence check using state equation in 261 ms returned sat
[2020-05-26 17:06:03] [INFO ] [Nat]Added 1010 Read/Feed constraints in 128 ms returned sat
[2020-05-26 17:06:03] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 76 ms.
[2020-05-26 17:06:22] [INFO ] Added : 485 causal constraints over 97 iterations in 19575 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-26 17:06:22] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-05-26 17:06:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:06:23] [INFO ] [Real]Absence check using state equation in 247 ms returned sat
[2020-05-26 17:06:23] [INFO ] [Real]Added 1010 Read/Feed constraints in 135 ms returned sat
[2020-05-26 17:06:23] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:06:23] [INFO ] [Nat]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 17:06:23] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:06:23] [INFO ] [Nat]Absence check using state equation in 259 ms returned sat
[2020-05-26 17:06:23] [INFO ] [Nat]Added 1010 Read/Feed constraints in 130 ms returned sat
[2020-05-26 17:06:23] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 65 ms.
[2020-05-26 17:06:43] [INFO ] Added : 525 causal constraints over 105 iterations in 19567 ms. Result :unknown
[2020-05-26 17:06:43] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 17:06:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:06:43] [INFO ] [Real]Absence check using state equation in 301 ms returned sat
[2020-05-26 17:06:43] [INFO ] [Real]Added 1010 Read/Feed constraints in 134 ms returned sat
[2020-05-26 17:06:43] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:06:43] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 17:06:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:06:44] [INFO ] [Nat]Absence check using state equation in 252 ms returned sat
[2020-05-26 17:06:44] [INFO ] [Nat]Added 1010 Read/Feed constraints in 132 ms returned sat
[2020-05-26 17:06:44] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 72 ms.
[2020-05-26 17:07:03] [INFO ] Added : 505 causal constraints over 101 iterations in 19573 ms. Result :unknown
[2020-05-26 17:07:03] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 17:07:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:07:04] [INFO ] [Real]Absence check using state equation in 257 ms returned sat
[2020-05-26 17:07:04] [INFO ] [Real]Added 1010 Read/Feed constraints in 144 ms returned sat
[2020-05-26 17:07:04] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:07:04] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 17:07:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:07:04] [INFO ] [Nat]Absence check using state equation in 296 ms returned sat
[2020-05-26 17:07:04] [INFO ] [Nat]Added 1010 Read/Feed constraints in 130 ms returned sat
[2020-05-26 17:07:04] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 71 ms.
[2020-05-26 17:07:24] [INFO ] Added : 495 causal constraints over 99 iterations in 19519 ms. Result :(error "Failed to check-sat")
[2020-05-26 17:07:24] [INFO ] [Real]Absence check using 11 positive place invariants in 19 ms returned sat
[2020-05-26 17:07:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:07:24] [INFO ] [Real]Absence check using state equation in 285 ms returned sat
[2020-05-26 17:07:24] [INFO ] [Real]Added 1010 Read/Feed constraints in 132 ms returned sat
[2020-05-26 17:07:24] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:07:24] [INFO ] [Nat]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 17:07:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:07:25] [INFO ] [Nat]Absence check using state equation in 251 ms returned sat
[2020-05-26 17:07:25] [INFO ] [Nat]Added 1010 Read/Feed constraints in 109 ms returned sat
[2020-05-26 17:07:25] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 68 ms.
[2020-05-26 17:07:44] [INFO ] Added : 520 causal constraints over 104 iterations in 19598 ms. Result :unknown
[2020-05-26 17:07:44] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 17:07:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:07:45] [INFO ] [Real]Absence check using state equation in 249 ms returned sat
[2020-05-26 17:07:45] [INFO ] [Real]Added 1010 Read/Feed constraints in 123 ms returned sat
[2020-05-26 17:07:45] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:07:45] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 17:07:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:07:45] [INFO ] [Nat]Absence check using state equation in 271 ms returned sat
[2020-05-26 17:07:45] [INFO ] [Nat]Added 1010 Read/Feed constraints in 106 ms returned sat
[2020-05-26 17:07:45] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 96 ms.
[2020-05-26 17:08:05] [INFO ] Added : 530 causal constraints over 106 iterations in 19570 ms. Result :unknown
[2020-05-26 17:08:05] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:08:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:08:05] [INFO ] [Real]Absence check using state equation in 321 ms returned sat
[2020-05-26 17:08:05] [INFO ] [Real]Added 1010 Read/Feed constraints in 137 ms returned sat
[2020-05-26 17:08:05] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:08:05] [INFO ] [Nat]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-05-26 17:08:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:08:06] [INFO ] [Nat]Absence check using state equation in 256 ms returned sat
[2020-05-26 17:08:06] [INFO ] [Nat]Added 1010 Read/Feed constraints in 154 ms returned sat
[2020-05-26 17:08:06] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 52 ms.
[2020-05-26 17:08:25] [INFO ] Added : 515 causal constraints over 103 iterations in 19552 ms. Result :unknown
[2020-05-26 17:08:25] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 17:08:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:08:26] [INFO ] [Real]Absence check using state equation in 276 ms returned sat
[2020-05-26 17:08:26] [INFO ] [Real]Added 1010 Read/Feed constraints in 235 ms returned sat
[2020-05-26 17:08:26] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:08:26] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:08:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:08:26] [INFO ] [Nat]Absence check using state equation in 262 ms returned sat
[2020-05-26 17:08:27] [INFO ] [Nat]Added 1010 Read/Feed constraints in 146 ms returned sat
[2020-05-26 17:08:27] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 76 ms.
[2020-05-26 17:08:46] [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 (=> (> t491 0) (and (and (> t8 0) (< o8 o491)) (or (and (> t41 0) (< o41 o491)) (and (> t141 0) (< o141 o491)) (and (> t241 0) (< o241 o491)) (and (> t341 0) (< o341 o491)) (and (> t551 0) (< o551 o491)) (and (> t651 0) (< o651 o491)) (and (> t751 0) (< o751 o491)) (and (> t851 0) (< o851 o491)) (and (> t951 0) (< o951 o491)) (and (> t1051 0) (< o1051 o491)))))") while checking expression at index 46
[2020-05-26 17:08:46] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 17:08:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:08:46] [INFO ] [Real]Absence check using state equation in 276 ms returned sat
[2020-05-26 17:08:47] [INFO ] [Real]Added 1010 Read/Feed constraints in 138 ms returned sat
[2020-05-26 17:08:47] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:08:47] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 17:08:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:08:47] [INFO ] [Nat]Absence check using state equation in 435 ms returned sat
[2020-05-26 17:08:47] [INFO ] [Nat]Added 1010 Read/Feed constraints in 124 ms returned sat
[2020-05-26 17:08:47] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 75 ms.
[2020-05-26 17:09:07] [INFO ] Added : 505 causal constraints over 101 iterations in 19399 ms. Result :unknown
[2020-05-26 17:09:07] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 17:09:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:09:07] [INFO ] [Real]Absence check using state equation in 266 ms returned sat
[2020-05-26 17:09:07] [INFO ] [Real]Added 1010 Read/Feed constraints in 147 ms returned sat
[2020-05-26 17:09:07] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:09:07] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 17:09:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:09:07] [INFO ] [Nat]Absence check using state equation in 249 ms returned sat
[2020-05-26 17:09:08] [INFO ] [Nat]Added 1010 Read/Feed constraints in 123 ms returned sat
[2020-05-26 17:09:08] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 86 ms.
[2020-05-26 17:09:27] [INFO ] Added : 460 causal constraints over 92 iterations in 19595 ms. Result :(error "Failed to check-sat")
[2020-05-26 17:09:27] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 17:09:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:09:27] [INFO ] [Real]Absence check using state equation in 263 ms returned sat
[2020-05-26 17:09:28] [INFO ] [Real]Added 1010 Read/Feed constraints in 129 ms returned sat
[2020-05-26 17:09:28] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:09:28] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 17:09:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:09:28] [INFO ] [Nat]Absence check using state equation in 249 ms returned sat
[2020-05-26 17:09:28] [INFO ] [Nat]Added 1010 Read/Feed constraints in 117 ms returned sat
[2020-05-26 17:09:28] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 64 ms.
[2020-05-26 17:09:48] [INFO ] Added : 515 causal constraints over 103 iterations in 19606 ms. Result :unknown
[2020-05-26 17:09:48] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 17:09:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:09:48] [INFO ] [Real]Absence check using state equation in 291 ms returned sat
[2020-05-26 17:09:48] [INFO ] [Real]Added 1010 Read/Feed constraints in 130 ms returned sat
[2020-05-26 17:09:48] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:09:48] [INFO ] [Nat]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 17:09:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:09:48] [INFO ] [Nat]Absence check using state equation in 302 ms returned sat
[2020-05-26 17:09:49] [INFO ] [Nat]Added 1010 Read/Feed constraints in 111 ms returned sat
[2020-05-26 17:09:49] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 66 ms.
[2020-05-26 17:10:08] [INFO ] Added : 515 causal constraints over 103 iterations in 19545 ms. Result :unknown
[2020-05-26 17:10:08] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 17:10:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:10:09] [INFO ] [Real]Absence check using state equation in 299 ms returned sat
[2020-05-26 17:10:09] [INFO ] [Real]Added 1010 Read/Feed constraints in 151 ms returned sat
[2020-05-26 17:10:09] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:10:09] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 17:10:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:10:09] [INFO ] [Nat]Absence check using state equation in 272 ms returned sat
[2020-05-26 17:10:09] [INFO ] [Nat]Added 1010 Read/Feed constraints in 130 ms returned sat
[2020-05-26 17:10:09] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 66 ms.
[2020-05-26 17:10:29] [INFO ] Added : 505 causal constraints over 101 iterations in 19547 ms. Result :unknown
[2020-05-26 17:10:29] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 17:10:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:10:29] [INFO ] [Real]Absence check using state equation in 266 ms returned sat
[2020-05-26 17:10:29] [INFO ] [Real]Added 1010 Read/Feed constraints in 131 ms returned sat
[2020-05-26 17:10:29] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:10:29] [INFO ] [Nat]Absence check using 11 positive place invariants in 70 ms returned sat
[2020-05-26 17:10:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:10:30] [INFO ] [Nat]Absence check using state equation in 353 ms returned sat
[2020-05-26 17:10:30] [INFO ] [Nat]Added 1010 Read/Feed constraints in 123 ms returned sat
[2020-05-26 17:10:30] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 160 ms.
[2020-05-26 17:10:49] [INFO ] Added : 455 causal constraints over 91 iterations in 19390 ms. Result :unknown
[2020-05-26 17:10:49] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 17:10:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:10:50] [INFO ] [Real]Absence check using state equation in 279 ms returned sat
[2020-05-26 17:10:50] [INFO ] [Real]Added 1010 Read/Feed constraints in 152 ms returned sat
[2020-05-26 17:10:50] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:10:50] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:10:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:10:50] [INFO ] [Nat]Absence check using state equation in 283 ms returned sat
[2020-05-26 17:10:50] [INFO ] [Nat]Added 1010 Read/Feed constraints in 136 ms returned sat
[2020-05-26 17:10:50] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 84 ms.
[2020-05-26 17:11:10] [INFO ] Added : 510 causal constraints over 102 iterations in 19571 ms. Result :unknown
[2020-05-26 17:11:10] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 17:11:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:11:10] [INFO ] [Real]Absence check using state equation in 292 ms returned sat
[2020-05-26 17:11:10] [INFO ] [Real]Added 1010 Read/Feed constraints in 150 ms returned sat
[2020-05-26 17:11:10] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:11:10] [INFO ] [Nat]Absence check using 11 positive place invariants in 21 ms returned sat
[2020-05-26 17:11:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:11:11] [INFO ] [Nat]Absence check using state equation in 275 ms returned sat
[2020-05-26 17:11:11] [INFO ] [Nat]Added 1010 Read/Feed constraints in 151 ms returned sat
[2020-05-26 17:11:11] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 75 ms.
[2020-05-26 17:11:30] [INFO ] Added : 520 causal constraints over 104 iterations in 19532 ms. Result :unknown
[2020-05-26 17:11:30] [INFO ] [Real]Absence check using 11 positive place invariants in 18 ms returned sat
[2020-05-26 17:11:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:11:31] [INFO ] [Real]Absence check using state equation in 284 ms returned sat
[2020-05-26 17:11:31] [INFO ] [Real]Added 1010 Read/Feed constraints in 122 ms returned sat
[2020-05-26 17:11:31] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:11:31] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 17:11:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:11:31] [INFO ] [Nat]Absence check using state equation in 281 ms returned sat
[2020-05-26 17:11:31] [INFO ] [Nat]Added 1010 Read/Feed constraints in 118 ms returned sat
[2020-05-26 17:11:31] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 70 ms.
[2020-05-26 17:11:51] [INFO ] Added : 485 causal constraints over 97 iterations in 19548 ms. Result :unknown
[2020-05-26 17:11:51] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:11:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:11:51] [INFO ] [Real]Absence check using state equation in 278 ms returned sat
[2020-05-26 17:11:51] [INFO ] [Real]Added 1010 Read/Feed constraints in 142 ms returned sat
[2020-05-26 17:11:51] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:11:51] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 17:11:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:11:52] [INFO ] [Nat]Absence check using state equation in 288 ms returned sat
[2020-05-26 17:11:52] [INFO ] [Nat]Added 1010 Read/Feed constraints in 123 ms returned sat
[2020-05-26 17:11:52] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 73 ms.
[2020-05-26 17:12:11] [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: Stream closed (=> (> t538 0) (and (or (and (> t27 0) (< o27 o538)) (and (> t127 0) (< o127 o538)) (and (> t337 0) (< o337 o538)) (and (> t437 0) (< o437 o538)) (and (> t537 0) (< o537 o538)) (and (> t637 0) (< o637 o538)) (and (> t737 0) (< o737 o538)) (and (> t837 0) (< o837 o538)) (and (> t937 0) (< o937 o538)) (and (> t1037 0) (< o1037 o538))) (or (and (> t58 0) (< o58 o538)) (and (> t158 0) (< o158 o538)) (and (> t258 0) (< o258 o538)) (and (> t358 0) (< o358 o538)) (and (> t458 0) (< o458 o538)) (and (> t668 0) (< o668 o538)) (and (> t768 0) (< o768 o538)) (and (> t868 0) (< o868 o538)) (and (> t968 0) (< o968 o538)) (and (> t1068 0) (< o1068 o538)))))") while checking expression at index 56
[2020-05-26 17:12:11] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 17:12:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:12:12] [INFO ] [Real]Absence check using state equation in 270 ms returned sat
[2020-05-26 17:12:12] [INFO ] [Real]Added 1010 Read/Feed constraints in 152 ms returned sat
[2020-05-26 17:12:12] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:12:12] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 17:12:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:12:12] [INFO ] [Nat]Absence check using state equation in 275 ms returned sat
[2020-05-26 17:12:12] [INFO ] [Nat]Added 1010 Read/Feed constraints in 151 ms returned sat
[2020-05-26 17:12:12] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 92 ms.
[2020-05-26 17:12:32] [INFO ] Added : 500 causal constraints over 100 iterations in 19527 ms. Result :unknown
[2020-05-26 17:12:32] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-05-26 17:12:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:12:32] [INFO ] [Real]Absence check using state equation in 256 ms returned sat
[2020-05-26 17:12:32] [INFO ] [Real]Added 1010 Read/Feed constraints in 134 ms returned sat
[2020-05-26 17:12:32] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:12:32] [INFO ] [Nat]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 17:12:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:12:33] [INFO ] [Nat]Absence check using state equation in 266 ms returned sat
[2020-05-26 17:12:33] [INFO ] [Nat]Added 1010 Read/Feed constraints in 124 ms returned sat
[2020-05-26 17:12:33] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 79 ms.
[2020-05-26 17:12:52] [INFO ] Added : 530 causal constraints over 106 iterations in 19569 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-26 17:12:52] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 17:12:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:12:53] [INFO ] [Real]Absence check using state equation in 345 ms returned sat
[2020-05-26 17:12:53] [INFO ] [Real]Added 1010 Read/Feed constraints in 127 ms returned sat
[2020-05-26 17:12:53] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:12:53] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 17:12:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:12:53] [INFO ] [Nat]Absence check using state equation in 295 ms returned sat
[2020-05-26 17:12:53] [INFO ] [Nat]Added 1010 Read/Feed constraints in 132 ms returned sat
[2020-05-26 17:12:53] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 77 ms.
[2020-05-26 17:13:13] [INFO ] Added : 550 causal constraints over 110 iterations in 19539 ms. Result :unknown
[2020-05-26 17:13:13] [INFO ] [Real]Absence check using 11 positive place invariants in 25 ms returned sat
[2020-05-26 17:13:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:13:13] [INFO ] [Real]Absence check using state equation in 272 ms returned sat
[2020-05-26 17:13:13] [INFO ] [Real]Added 1010 Read/Feed constraints in 150 ms returned sat
[2020-05-26 17:13:14] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:13:14] [INFO ] [Nat]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 17:13:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:13:14] [INFO ] [Nat]Absence check using state equation in 312 ms returned sat
[2020-05-26 17:13:14] [INFO ] [Nat]Added 1010 Read/Feed constraints in 139 ms returned sat
[2020-05-26 17:13:14] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 87 ms.
[2020-05-26 17:13:34] [INFO ] Added : 535 causal constraints over 107 iterations in 19509 ms. Result :unknown
[2020-05-26 17:13:34] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 17:13:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:13:34] [INFO ] [Real]Absence check using state equation in 272 ms returned sat
[2020-05-26 17:13:34] [INFO ] [Real]Added 1010 Read/Feed constraints in 148 ms returned sat
[2020-05-26 17:13:34] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:13:34] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:13:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:13:34] [INFO ] [Nat]Absence check using state equation in 259 ms returned sat
[2020-05-26 17:13:34] [INFO ] [Nat]Added 1010 Read/Feed constraints in 122 ms returned sat
[2020-05-26 17:13:35] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 76 ms.
[2020-05-26 17:13:54] [INFO ] Added : 490 causal constraints over 98 iterations in 19573 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-26 17:13:54] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:13:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:13:54] [INFO ] [Real]Absence check using state equation in 273 ms returned sat
[2020-05-26 17:13:54] [INFO ] [Real]Added 1010 Read/Feed constraints in 122 ms returned sat
[2020-05-26 17:13:55] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:13:55] [INFO ] [Nat]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 17:13:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:13:55] [INFO ] [Nat]Absence check using state equation in 265 ms returned sat
[2020-05-26 17:13:55] [INFO ] [Nat]Added 1010 Read/Feed constraints in 105 ms returned sat
[2020-05-26 17:13:55] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 58 ms.
[2020-05-26 17:14:15] [INFO ] Added : 505 causal constraints over 101 iterations in 19592 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-26 17:14:15] [INFO ] [Real]Absence check using 11 positive place invariants in 5 ms returned sat
[2020-05-26 17:14:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:14:15] [INFO ] [Real]Absence check using state equation in 288 ms returned sat
[2020-05-26 17:14:15] [INFO ] [Real]Added 1010 Read/Feed constraints in 132 ms returned sat
[2020-05-26 17:14:15] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:14:15] [INFO ] [Nat]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 17:14:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:14:15] [INFO ] [Nat]Absence check using state equation in 253 ms returned sat
[2020-05-26 17:14:15] [INFO ] [Nat]Added 1010 Read/Feed constraints in 123 ms returned sat
[2020-05-26 17:14:16] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 70 ms.
[2020-05-26 17:14:35] [INFO ] Added : 520 causal constraints over 104 iterations in 19593 ms. Result :(error "Failed to check-sat")
[2020-05-26 17:14:35] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 17:14:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:14:35] [INFO ] [Real]Absence check using state equation in 302 ms returned sat
[2020-05-26 17:14:36] [INFO ] [Real]Added 1010 Read/Feed constraints in 163 ms returned sat
[2020-05-26 17:14:36] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:14:36] [INFO ] [Nat]Absence check using 11 positive place invariants in 23 ms returned sat
[2020-05-26 17:14:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:14:36] [INFO ] [Nat]Absence check using state equation in 269 ms returned sat
[2020-05-26 17:14:36] [INFO ] [Nat]Added 1010 Read/Feed constraints in 138 ms returned sat
[2020-05-26 17:14:36] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 80 ms.
[2020-05-26 17:14:56] [INFO ] Added : 520 causal constraints over 104 iterations in 19538 ms. Result :unknown
[2020-05-26 17:14:56] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:14:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:14:56] [INFO ] [Real]Absence check using state equation in 249 ms returned sat
[2020-05-26 17:14:56] [INFO ] [Real]Added 1010 Read/Feed constraints in 117 ms returned sat
[2020-05-26 17:14:56] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:14:56] [INFO ] [Nat]Absence check using 11 positive place invariants in 23 ms returned sat
[2020-05-26 17:14:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:14:56] [INFO ] [Nat]Absence check using state equation in 247 ms returned sat
[2020-05-26 17:14:56] [INFO ] [Nat]Added 1010 Read/Feed constraints in 108 ms returned sat
[2020-05-26 17:14:57] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 76 ms.
[2020-05-26 17:15:16] [INFO ] Added : 540 causal constraints over 108 iterations in 19604 ms. Result :unknown
[2020-05-26 17:15:16] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:15:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:15:16] [INFO ] [Real]Absence check using state equation in 262 ms returned sat
[2020-05-26 17:15:16] [INFO ] [Real]Added 1010 Read/Feed constraints in 118 ms returned sat
[2020-05-26 17:15:17] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:15:17] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:15:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:15:17] [INFO ] [Nat]Absence check using state equation in 290 ms returned sat
[2020-05-26 17:15:17] [INFO ] [Nat]Added 1010 Read/Feed constraints in 126 ms returned sat
[2020-05-26 17:15:17] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 71 ms.
[2020-05-26 17:15:37] [INFO ] Added : 475 causal constraints over 95 iterations in 19541 ms. Result :unknown
[2020-05-26 17:15:37] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 17:15:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:15:37] [INFO ] [Real]Absence check using state equation in 277 ms returned sat
[2020-05-26 17:15:37] [INFO ] [Real]Added 1010 Read/Feed constraints in 127 ms returned sat
[2020-05-26 17:15:37] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:15:37] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2020-05-26 17:15:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:15:37] [INFO ] [Nat]Absence check using state equation in 297 ms returned sat
[2020-05-26 17:15:38] [INFO ] [Nat]Added 1010 Read/Feed constraints in 124 ms returned sat
[2020-05-26 17:15:38] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 72 ms.
[2020-05-26 17:15:57] [INFO ] Added : 495 causal constraints over 99 iterations in 19530 ms. Result :unknown
[2020-05-26 17:15:57] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 17:15:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:15:57] [INFO ] [Real]Absence check using state equation in 264 ms returned sat
[2020-05-26 17:15:57] [INFO ] [Real]Added 1010 Read/Feed constraints in 129 ms returned sat
[2020-05-26 17:15:58] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:15:58] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 17:15:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:15:58] [INFO ] [Nat]Absence check using state equation in 279 ms returned sat
[2020-05-26 17:15:58] [INFO ] [Nat]Added 1010 Read/Feed constraints in 123 ms returned sat
[2020-05-26 17:15:58] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 74 ms.
[2020-05-26 17:16:18] [INFO ] Added : 505 causal constraints over 101 iterations in 19548 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-26 17:16:18] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:16:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:16:18] [INFO ] [Real]Absence check using state equation in 268 ms returned sat
[2020-05-26 17:16:18] [INFO ] [Real]Added 1010 Read/Feed constraints in 117 ms returned sat
[2020-05-26 17:16:18] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:16:18] [INFO ] [Nat]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 17:16:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:16:18] [INFO ] [Nat]Absence check using state equation in 272 ms returned sat
[2020-05-26 17:16:18] [INFO ] [Nat]Added 1010 Read/Feed constraints in 152 ms returned sat
[2020-05-26 17:16:19] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 72 ms.
[2020-05-26 17:16:38] [INFO ] Added : 525 causal constraints over 105 iterations in 19526 ms. Result :unknown
[2020-05-26 17:16:38] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 17:16:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:16:38] [INFO ] [Real]Absence check using state equation in 270 ms returned sat
[2020-05-26 17:16:38] [INFO ] [Real]Added 1010 Read/Feed constraints in 139 ms returned sat
[2020-05-26 17:16:38] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:16:39] [INFO ] [Nat]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:16:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:16:39] [INFO ] [Nat]Absence check using state equation in 252 ms returned sat
[2020-05-26 17:16:39] [INFO ] [Nat]Added 1010 Read/Feed constraints in 108 ms returned sat
[2020-05-26 17:16:39] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 69 ms.
[2020-05-26 17:16:58] [INFO ] Added : 520 causal constraints over 104 iterations in 19592 ms. Result :unknown
[2020-05-26 17:16:59] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:16:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:16:59] [INFO ] [Real]Absence check using state equation in 259 ms returned sat
[2020-05-26 17:16:59] [INFO ] [Real]Added 1010 Read/Feed constraints in 118 ms returned sat
[2020-05-26 17:16:59] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:16:59] [INFO ] [Nat]Absence check using 11 positive place invariants in 19 ms returned sat
[2020-05-26 17:16:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:16:59] [INFO ] [Nat]Absence check using state equation in 263 ms returned sat
[2020-05-26 17:16:59] [INFO ] [Nat]Added 1010 Read/Feed constraints in 118 ms returned sat
[2020-05-26 17:16:59] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 69 ms.
[2020-05-26 17:17:19] [INFO ] Added : 520 causal constraints over 104 iterations in 19579 ms. Result :(error "Failed to check-sat")
[2020-05-26 17:17:19] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:17:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:17:19] [INFO ] [Real]Absence check using state equation in 279 ms returned sat
[2020-05-26 17:17:19] [INFO ] [Real]Added 1010 Read/Feed constraints in 140 ms returned sat
[2020-05-26 17:17:19] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:17:19] [INFO ] [Nat]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 17:17:19] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:17:20] [INFO ] [Nat]Absence check using state equation in 257 ms returned sat
[2020-05-26 17:17:20] [INFO ] [Nat]Added 1010 Read/Feed constraints in 123 ms returned sat
[2020-05-26 17:17:20] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 71 ms.
[2020-05-26 17:17:39] [INFO ] Added : 495 causal constraints over 99 iterations in 19577 ms. Result :unknown
[2020-05-26 17:17:40] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 17:17:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:17:40] [INFO ] [Real]Absence check using state equation in 461 ms returned sat
[2020-05-26 17:17:40] [INFO ] [Real]Added 1010 Read/Feed constraints in 161 ms returned sat
[2020-05-26 17:17:40] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:17:40] [INFO ] [Nat]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 17:17:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:17:41] [INFO ] [Nat]Absence check using state equation in 299 ms returned sat
[2020-05-26 17:17:41] [INFO ] [Nat]Added 1010 Read/Feed constraints in 140 ms returned sat
[2020-05-26 17:17:41] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 199 ms.
[2020-05-26 17:18:00] [INFO ] Added : 495 causal constraints over 99 iterations in 19488 ms. Result :unknown
[2020-05-26 17:18:00] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 17:18:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:18:00] [INFO ] [Real]Absence check using state equation in 253 ms returned sat
[2020-05-26 17:18:01] [INFO ] [Real]Added 1010 Read/Feed constraints in 123 ms returned sat
[2020-05-26 17:18:01] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:18:01] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:18:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:18:01] [INFO ] [Nat]Absence check using state equation in 256 ms returned sat
[2020-05-26 17:18:01] [INFO ] [Nat]Added 1010 Read/Feed constraints in 127 ms returned sat
[2020-05-26 17:18:01] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 67 ms.
[2020-05-26 17:18:21] [INFO ] Added : 520 causal constraints over 104 iterations in 19578 ms. Result :unknown
[2020-05-26 17:18:21] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:18:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:18:21] [INFO ] [Real]Absence check using state equation in 256 ms returned sat
[2020-05-26 17:18:21] [INFO ] [Real]Added 1010 Read/Feed constraints in 131 ms returned sat
[2020-05-26 17:18:21] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:18:21] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 17:18:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:18:21] [INFO ] [Nat]Absence check using state equation in 262 ms returned sat
[2020-05-26 17:18:22] [INFO ] [Nat]Added 1010 Read/Feed constraints in 131 ms returned sat
[2020-05-26 17:18:22] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 75 ms.
[2020-05-26 17:18:41] [INFO ] Added : 515 causal constraints over 103 iterations in 19564 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-26 17:18:41] [INFO ] [Real]Absence check using 11 positive place invariants in 43 ms returned sat
[2020-05-26 17:18:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:18:41] [INFO ] [Real]Absence check using state equation in 266 ms returned sat
[2020-05-26 17:18:42] [INFO ] [Real]Added 1010 Read/Feed constraints in 142 ms returned sat
[2020-05-26 17:18:42] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:18:42] [INFO ] [Nat]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:18:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:18:42] [INFO ] [Nat]Absence check using state equation in 298 ms returned sat
[2020-05-26 17:18:42] [INFO ] [Nat]Added 1010 Read/Feed constraints in 147 ms returned sat
[2020-05-26 17:18:42] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 55 ms.
[2020-05-26 17:19:02] [INFO ] Added : 530 causal constraints over 106 iterations in 19533 ms. Result :unknown
[2020-05-26 17:19:02] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-05-26 17:19:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:19:02] [INFO ] [Real]Absence check using state equation in 274 ms returned sat
[2020-05-26 17:19:02] [INFO ] [Real]Added 1010 Read/Feed constraints in 141 ms returned sat
[2020-05-26 17:19:02] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:19:02] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:19:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:19:03] [INFO ] [Nat]Absence check using state equation in 277 ms returned sat
[2020-05-26 17:19:03] [INFO ] [Nat]Added 1010 Read/Feed constraints in 143 ms returned sat
[2020-05-26 17:19:03] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 66 ms.
[2020-05-26 17:19:22] [INFO ] Added : 505 causal constraints over 101 iterations in 19547 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-26 17:19:22] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 17:19:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:19:23] [INFO ] [Real]Absence check using state equation in 309 ms returned sat
[2020-05-26 17:19:23] [INFO ] [Real]Added 1010 Read/Feed constraints in 144 ms returned sat
[2020-05-26 17:19:23] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:19:23] [INFO ] [Nat]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:19:23] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:19:23] [INFO ] [Nat]Absence check using state equation in 261 ms returned sat
[2020-05-26 17:19:23] [INFO ] [Nat]Added 1010 Read/Feed constraints in 123 ms returned sat
[2020-05-26 17:19:23] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 73 ms.
[2020-05-26 17:19:43] [INFO ] Added : 525 causal constraints over 105 iterations in 19573 ms. Result :unknown
[2020-05-26 17:19:43] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:19:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:19:43] [INFO ] [Real]Absence check using state equation in 291 ms returned sat
[2020-05-26 17:19:43] [INFO ] [Real]Added 1010 Read/Feed constraints in 135 ms returned sat
[2020-05-26 17:19:43] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:19:43] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:19:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:19:44] [INFO ] [Nat]Absence check using state equation in 265 ms returned sat
[2020-05-26 17:19:44] [INFO ] [Nat]Added 1010 Read/Feed constraints in 125 ms returned sat
[2020-05-26 17:19:44] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 89 ms.
[2020-05-26 17:20:03] [INFO ] Added : 510 causal constraints over 102 iterations in 19590 ms. Result :unknown
[2020-05-26 17:20:03] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 17:20:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:20:04] [INFO ] [Real]Absence check using state equation in 281 ms returned sat
[2020-05-26 17:20:04] [INFO ] [Real]Added 1010 Read/Feed constraints in 145 ms returned sat
[2020-05-26 17:20:04] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:20:04] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 17:20:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:20:04] [INFO ] [Nat]Absence check using state equation in 237 ms returned sat
[2020-05-26 17:20:04] [INFO ] [Nat]Added 1010 Read/Feed constraints in 124 ms returned sat
[2020-05-26 17:20:04] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 77 ms.
[2020-05-26 17:20:24] [INFO ] Added : 500 causal constraints over 100 iterations in 19597 ms. Result :unknown
[2020-05-26 17:20:24] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 17:20:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:20:24] [INFO ] [Real]Absence check using state equation in 268 ms returned sat
[2020-05-26 17:20:24] [INFO ] [Real]Added 1010 Read/Feed constraints in 143 ms returned sat
[2020-05-26 17:20:24] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:20:24] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 17:20:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:20:25] [INFO ] [Nat]Absence check using state equation in 273 ms returned sat
[2020-05-26 17:20:25] [INFO ] [Nat]Added 1010 Read/Feed constraints in 115 ms returned sat
[2020-05-26 17:20:25] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 78 ms.
[2020-05-26 17:20:44] [INFO ] Added : 470 causal constraints over 94 iterations in 19599 ms. Result :(error "Failed to check-sat")
[2020-05-26 17:20:44] [INFO ] [Real]Absence check using 11 positive place invariants in 19 ms returned sat
[2020-05-26 17:20:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:20:45] [INFO ] [Real]Absence check using state equation in 295 ms returned sat
[2020-05-26 17:20:45] [INFO ] [Real]Added 1010 Read/Feed constraints in 130 ms returned sat
[2020-05-26 17:20:45] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:20:45] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:20:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:20:45] [INFO ] [Nat]Absence check using state equation in 303 ms returned sat
[2020-05-26 17:20:45] [INFO ] [Nat]Added 1010 Read/Feed constraints in 120 ms returned sat
[2020-05-26 17:20:46] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 72 ms.
[2020-05-26 17:21:05] [INFO ] Added : 495 causal constraints over 99 iterations in 19548 ms. Result :(error "Failed to check-sat")
[2020-05-26 17:21:05] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:21:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:21:05] [INFO ] [Real]Absence check using state equation in 262 ms returned sat
[2020-05-26 17:21:05] [INFO ] [Real]Added 1010 Read/Feed constraints in 121 ms returned sat
[2020-05-26 17:21:05] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:21:05] [INFO ] [Nat]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 17:21:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:21:06] [INFO ] [Nat]Absence check using state equation in 240 ms returned sat
[2020-05-26 17:21:06] [INFO ] [Nat]Added 1010 Read/Feed constraints in 113 ms returned sat
[2020-05-26 17:21:06] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 82 ms.
[2020-05-26 17:21:25] [INFO ] Added : 450 causal constraints over 90 iterations in 19626 ms. Result :unknown
[2020-05-26 17:21:26] [INFO ] [Real]Absence check using 11 positive place invariants in 17 ms returned sat
[2020-05-26 17:21:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:21:26] [INFO ] [Real]Absence check using state equation in 262 ms returned sat
[2020-05-26 17:21:26] [INFO ] [Real]Added 1010 Read/Feed constraints in 126 ms returned sat
[2020-05-26 17:21:26] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:21:26] [INFO ] [Nat]Absence check using 11 positive place invariants in 32 ms returned sat
[2020-05-26 17:21:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:21:26] [INFO ] [Nat]Absence check using state equation in 322 ms returned sat
[2020-05-26 17:21:26] [INFO ] [Nat]Added 1010 Read/Feed constraints in 142 ms returned sat
[2020-05-26 17:21:27] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 77 ms.
[2020-05-26 17:21:46] [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 (=> (> t512 0) (and (or (and (> t111 0) (< o111 o512)) (and (> t211 0) (< o211 o512)) (and (> t311 0) (< o311 o512)) (and (> t411 0) (< o411 o512)) (and (> t511 0) (< o511 o512)) (and (> t611 0) (< o611 o512)) (and (> t711 0) (< o711 o512)) (and (> t811 0) (< o811 o512)) (and (> t911 0) (< o911 o512)) (and (> t1011 0) (< o1011 o512))) (or (and (> t52 0) (< o52 o512)) (and (> t152 0) (< o152 o512)) (and (> t252 0) (< o252 o512)) (and (> t352 0) (< o352 o512)) (and (> t452 0) (< o452 o512)) (and (> t662 0) (< o662 o512)) (and (> t762 0) (< o762 o512)) (and (> t862 0) (< o862 o512)) (and (> t962 0) (< o962 o512)) (and (> t1062 0) (< o1062 o512)))))") while checking expression at index 84
[2020-05-26 17:21:46] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:21:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:21:46] [INFO ] [Real]Absence check using state equation in 378 ms returned sat
[2020-05-26 17:21:47] [INFO ] [Real]Added 1010 Read/Feed constraints in 131 ms returned sat
[2020-05-26 17:21:47] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:21:47] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 17:21:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:21:47] [INFO ] [Nat]Absence check using state equation in 312 ms returned sat
[2020-05-26 17:21:47] [INFO ] [Nat]Added 1010 Read/Feed constraints in 114 ms returned sat
[2020-05-26 17:21:47] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 87 ms.
[2020-05-26 17:22:07] [INFO ] Added : 495 causal constraints over 99 iterations in 19519 ms. Result :unknown
[2020-05-26 17:22:07] [INFO ] [Real]Absence check using 11 positive place invariants in 23 ms returned sat
[2020-05-26 17:22:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:22:07] [INFO ] [Real]Absence check using state equation in 286 ms returned sat
[2020-05-26 17:22:07] [INFO ] [Real]Added 1010 Read/Feed constraints in 144 ms returned sat
[2020-05-26 17:22:07] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:22:07] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 17:22:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:22:08] [INFO ] [Nat]Absence check using state equation in 428 ms returned sat
[2020-05-26 17:22:08] [INFO ] [Nat]Added 1010 Read/Feed constraints in 167 ms returned sat
[2020-05-26 17:22:08] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 75 ms.
[2020-05-26 17:22:27] [INFO ] Added : 475 causal constraints over 95 iterations in 19359 ms. Result :unknown
[2020-05-26 17:22:27] [INFO ] [Real]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-05-26 17:22:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:22:27] [INFO ] [Real]Absence check using state equation in 283 ms returned sat
[2020-05-26 17:22:28] [INFO ] [Real]Added 1010 Read/Feed constraints in 130 ms returned sat
[2020-05-26 17:22:28] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:22:28] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2020-05-26 17:22:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:22:28] [INFO ] [Nat]Absence check using state equation in 262 ms returned sat
[2020-05-26 17:22:28] [INFO ] [Nat]Added 1010 Read/Feed constraints in 135 ms returned sat
[2020-05-26 17:22:28] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 63 ms.
[2020-05-26 17:22:48] [INFO ] Added : 495 causal constraints over 99 iterations in 19554 ms. Result :unknown
[2020-05-26 17:22:48] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 17:22:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:22:48] [INFO ] [Real]Absence check using state equation in 282 ms returned sat
[2020-05-26 17:22:48] [INFO ] [Real]Added 1010 Read/Feed constraints in 139 ms returned sat
[2020-05-26 17:22:48] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:22:48] [INFO ] [Nat]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:22:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:22:48] [INFO ] [Nat]Absence check using state equation in 269 ms returned sat
[2020-05-26 17:22:49] [INFO ] [Nat]Added 1010 Read/Feed constraints in 128 ms returned sat
[2020-05-26 17:22:49] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 67 ms.
[2020-05-26 17:23:08] [INFO ] Added : 500 causal constraints over 100 iterations in 19576 ms. Result :unknown
[2020-05-26 17:23:08] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 17:23:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:23:08] [INFO ] [Real]Absence check using state equation in 263 ms returned sat
[2020-05-26 17:23:09] [INFO ] [Real]Added 1010 Read/Feed constraints in 140 ms returned sat
[2020-05-26 17:23:09] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:23:09] [INFO ] [Nat]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 17:23:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:23:09] [INFO ] [Nat]Absence check using state equation in 263 ms returned sat
[2020-05-26 17:23:09] [INFO ] [Nat]Added 1010 Read/Feed constraints in 120 ms returned sat
[2020-05-26 17:23:09] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 56 ms.
[2020-05-26 17:23:29] [INFO ] Added : 515 causal constraints over 103 iterations in 19580 ms. Result :unknown
[2020-05-26 17:23:29] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 17:23:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:23:29] [INFO ] [Real]Absence check using state equation in 414 ms returned sat
[2020-05-26 17:23:29] [INFO ] [Real]Added 1010 Read/Feed constraints in 135 ms returned sat
[2020-05-26 17:23:29] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:23:29] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2020-05-26 17:23:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:23:30] [INFO ] [Nat]Absence check using state equation in 273 ms returned sat
[2020-05-26 17:23:30] [INFO ] [Nat]Added 1010 Read/Feed constraints in 132 ms returned sat
[2020-05-26 17:23:30] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 58 ms.
[2020-05-26 17:23:49] [INFO ] Added : 510 causal constraints over 102 iterations in 19548 ms. Result :unknown
[2020-05-26 17:23:49] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-05-26 17:23:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:23:50] [INFO ] [Real]Absence check using state equation in 273 ms returned sat
[2020-05-26 17:23:50] [INFO ] [Real]Added 1010 Read/Feed constraints in 121 ms returned sat
[2020-05-26 17:23:50] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:23:50] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 17:23:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:23:50] [INFO ] [Nat]Absence check using state equation in 247 ms returned sat
[2020-05-26 17:23:50] [INFO ] [Nat]Added 1010 Read/Feed constraints in 127 ms returned sat
[2020-05-26 17:23:50] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 55 ms.
[2020-05-26 17:24:10] [INFO ] Added : 520 causal constraints over 104 iterations in 19600 ms. Result :unknown
[2020-05-26 17:24:10] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:24:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:24:10] [INFO ] [Real]Absence check using state equation in 265 ms returned sat
[2020-05-26 17:24:10] [INFO ] [Real]Added 1010 Read/Feed constraints in 149 ms returned sat
[2020-05-26 17:24:10] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:24:10] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 17:24:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:24:11] [INFO ] [Nat]Absence check using state equation in 295 ms returned sat
[2020-05-26 17:24:11] [INFO ] [Nat]Added 1010 Read/Feed constraints in 120 ms returned sat
[2020-05-26 17:24:11] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 79 ms.
[2020-05-26 17:24:30] [INFO ] Added : 495 causal constraints over 99 iterations in 19544 ms. Result :unknown
[2020-05-26 17:24:30] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:24:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:24:31] [INFO ] [Real]Absence check using state equation in 252 ms returned sat
[2020-05-26 17:24:31] [INFO ] [Real]Added 1010 Read/Feed constraints in 129 ms returned sat
[2020-05-26 17:24:31] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:24:31] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 17:24:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:24:31] [INFO ] [Nat]Absence check using state equation in 261 ms returned sat
[2020-05-26 17:24:31] [INFO ] [Nat]Added 1010 Read/Feed constraints in 124 ms returned sat
[2020-05-26 17:24:31] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 79 ms.
[2020-05-26 17:24:51] [INFO ] Added : 520 causal constraints over 104 iterations in 19576 ms. Result :unknown
[2020-05-26 17:24:51] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:24:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:24:51] [INFO ] [Real]Absence check using state equation in 246 ms returned sat
[2020-05-26 17:24:51] [INFO ] [Real]Added 1010 Read/Feed constraints in 126 ms returned sat
[2020-05-26 17:24:51] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:24:51] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 17:24:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:24:52] [INFO ] [Nat]Absence check using state equation in 261 ms returned sat
[2020-05-26 17:24:52] [INFO ] [Nat]Added 1010 Read/Feed constraints in 117 ms returned sat
[2020-05-26 17:24:52] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 54 ms.
[2020-05-26 17:25:11] [INFO ] Added : 520 causal constraints over 104 iterations in 19585 ms. Result :unknown
[2020-05-26 17:25:11] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 17:25:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:25:12] [INFO ] [Real]Absence check using state equation in 263 ms returned sat
[2020-05-26 17:25:12] [INFO ] [Real]Added 1010 Read/Feed constraints in 131 ms returned sat
[2020-05-26 17:25:12] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:25:12] [INFO ] [Nat]Absence check using 11 positive place invariants in 20 ms returned sat
[2020-05-26 17:25:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:25:12] [INFO ] [Nat]Absence check using state equation in 360 ms returned sat
[2020-05-26 17:25:12] [INFO ] [Nat]Added 1010 Read/Feed constraints in 118 ms returned sat
[2020-05-26 17:25:12] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 76 ms.
[2020-05-26 17:25:32] [INFO ] Added : 505 causal constraints over 101 iterations in 19466 ms. Result :unknown
[2020-05-26 17:25:32] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 17:25:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:25:32] [INFO ] [Real]Absence check using state equation in 269 ms returned sat
[2020-05-26 17:25:32] [INFO ] [Real]Added 1010 Read/Feed constraints in 144 ms returned sat
[2020-05-26 17:25:32] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:25:32] [INFO ] [Nat]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 17:25:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:25:33] [INFO ] [Nat]Absence check using state equation in 287 ms returned sat
[2020-05-26 17:25:33] [INFO ] [Nat]Added 1010 Read/Feed constraints in 137 ms returned sat
[2020-05-26 17:25:33] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 70 ms.
[2020-05-26 17:25:52] [INFO ] Added : 465 causal constraints over 93 iterations in 19538 ms. Result :unknown
[2020-05-26 17:25:52] [INFO ] [Real]Absence check using 11 positive place invariants in 21 ms returned sat
[2020-05-26 17:25:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:25:53] [INFO ] [Real]Absence check using state equation in 282 ms returned sat
[2020-05-26 17:25:53] [INFO ] [Real]Added 1010 Read/Feed constraints in 138 ms returned sat
[2020-05-26 17:25:53] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:25:53] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:25:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:25:53] [INFO ] [Nat]Absence check using state equation in 270 ms returned sat
[2020-05-26 17:25:53] [INFO ] [Nat]Added 1010 Read/Feed constraints in 120 ms returned sat
[2020-05-26 17:25:53] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 74 ms.
[2020-05-26 17:26:13] [INFO ] Added : 505 causal constraints over 101 iterations in 19568 ms. Result :unknown
[2020-05-26 17:26:13] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 17:26:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:26:13] [INFO ] [Real]Absence check using state equation in 270 ms returned sat
[2020-05-26 17:26:13] [INFO ] [Real]Added 1010 Read/Feed constraints in 142 ms returned sat
[2020-05-26 17:26:13] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:26:13] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 17:26:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:26:14] [INFO ] [Nat]Absence check using state equation in 317 ms returned sat
[2020-05-26 17:26:14] [INFO ] [Nat]Added 1010 Read/Feed constraints in 127 ms returned sat
[2020-05-26 17:26:14] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 70 ms.
[2020-05-26 17:26:33] [INFO ] Added : 525 causal constraints over 105 iterations in 19510 ms. Result :unknown
[2020-05-26 17:26:33] [INFO ] [Real]Absence check using 11 positive place invariants in 24 ms returned sat
[2020-05-26 17:26:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:26:34] [INFO ] [Real]Absence check using state equation in 257 ms returned sat
[2020-05-26 17:26:34] [INFO ] [Real]Added 1010 Read/Feed constraints in 129 ms returned sat
[2020-05-26 17:26:34] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:26:34] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:26:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:26:34] [INFO ] [Nat]Absence check using state equation in 255 ms returned sat
[2020-05-26 17:26:34] [INFO ] [Nat]Added 1010 Read/Feed constraints in 123 ms returned sat
[2020-05-26 17:26:34] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 55 ms.
[2020-05-26 17:26:54] [INFO ] Added : 490 causal constraints over 98 iterations in 19591 ms. Result :unknown
[2020-05-26 17:26:54] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 17:26:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:26:54] [INFO ] [Real]Absence check using state equation in 264 ms returned sat
[2020-05-26 17:26:54] [INFO ] [Real]Added 1010 Read/Feed constraints in 135 ms returned sat
[2020-05-26 17:26:54] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:26:54] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:26:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:26:55] [INFO ] [Nat]Absence check using state equation in 249 ms returned sat
[2020-05-26 17:26:55] [INFO ] [Nat]Added 1010 Read/Feed constraints in 105 ms returned sat
[2020-05-26 17:26:55] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 53 ms.
[2020-05-26 17:27:14] [INFO ] Added : 520 causal constraints over 104 iterations in 19624 ms. Result :(error "Failed to check-sat")
[2020-05-26 17:27:14] [INFO ] [Real]Absence check using 11 positive place invariants in 5 ms returned sat
[2020-05-26 17:27:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:27:15] [INFO ] [Real]Absence check using state equation in 236 ms returned sat
[2020-05-26 17:27:15] [INFO ] [Real]Added 1010 Read/Feed constraints in 123 ms returned sat
[2020-05-26 17:27:15] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:27:15] [INFO ] [Nat]Absence check using 11 positive place invariants in 19 ms returned sat
[2020-05-26 17:27:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:27:15] [INFO ] [Nat]Absence check using state equation in 236 ms returned sat
[2020-05-26 17:27:15] [INFO ] [Nat]Added 1010 Read/Feed constraints in 104 ms returned sat
[2020-05-26 17:27:15] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 53 ms.
[2020-05-26 17:27:35] [INFO ] Added : 530 causal constraints over 106 iterations in 19629 ms. Result :unknown
[2020-05-26 17:27:35] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:27:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:27:35] [INFO ] [Real]Absence check using state equation in 267 ms returned sat
[2020-05-26 17:27:35] [INFO ] [Real]Added 1010 Read/Feed constraints in 123 ms returned sat
[2020-05-26 17:27:35] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:27:35] [INFO ] [Nat]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-05-26 17:27:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:27:36] [INFO ] [Nat]Absence check using state equation in 238 ms returned sat
[2020-05-26 17:27:36] [INFO ] [Nat]Added 1010 Read/Feed constraints in 121 ms returned sat
[2020-05-26 17:27:36] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 71 ms.
[2020-05-26 17:27:55] [INFO ] Added : 470 causal constraints over 94 iterations in 19614 ms. Result :unknown
[2020-05-26 17:27:55] [INFO ] [Real]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-05-26 17:27:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:27:56] [INFO ] [Real]Absence check using state equation in 347 ms returned sat
[2020-05-26 17:27:56] [INFO ] [Real]Added 1010 Read/Feed constraints in 127 ms returned sat
[2020-05-26 17:27:56] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:27:56] [INFO ] [Nat]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:27:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:27:56] [INFO ] [Nat]Absence check using state equation in 254 ms returned sat
[2020-05-26 17:27:56] [INFO ] [Nat]Added 1010 Read/Feed constraints in 105 ms returned sat
[2020-05-26 17:27:56] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 71 ms.
[2020-05-26 17:28:16] [INFO ] Added : 535 causal constraints over 107 iterations in 19604 ms. Result :unknown
[2020-05-26 17:28:16] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 17:28:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:28:16] [INFO ] [Real]Absence check using state equation in 297 ms returned sat
[2020-05-26 17:28:16] [INFO ] [Real]Added 1010 Read/Feed constraints in 146 ms returned sat
[2020-05-26 17:28:16] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:28:16] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 17:28:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:28:17] [INFO ] [Nat]Absence check using state equation in 259 ms returned sat
[2020-05-26 17:28:17] [INFO ] [Nat]Added 1010 Read/Feed constraints in 144 ms returned sat
[2020-05-26 17:28:17] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 73 ms.
[2020-05-26 17:28:36] [INFO ] Added : 520 causal constraints over 104 iterations in 19566 ms. Result :unknown
[2020-05-26 17:28:36] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 17:28:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:28:37] [INFO ] [Real]Absence check using state equation in 280 ms returned sat
[2020-05-26 17:28:37] [INFO ] [Real]Added 1010 Read/Feed constraints in 124 ms returned sat
[2020-05-26 17:28:37] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:28:37] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2020-05-26 17:28:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:28:37] [INFO ] [Nat]Absence check using state equation in 250 ms returned sat
[2020-05-26 17:28:37] [INFO ] [Nat]Added 1010 Read/Feed constraints in 107 ms returned sat
[2020-05-26 17:28:37] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 62 ms.
[2020-05-26 17:28:57] [INFO ] Added : 505 causal constraints over 101 iterations in 19614 ms. Result :(error "Failed to check-sat")
[2020-05-26 17:28:57] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:28:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:28:57] [INFO ] [Real]Absence check using state equation in 274 ms returned sat
[2020-05-26 17:28:57] [INFO ] [Real]Added 1010 Read/Feed constraints in 140 ms returned sat
[2020-05-26 17:28:57] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:28:57] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:28:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:28:58] [INFO ] [Nat]Absence check using state equation in 279 ms returned sat
[2020-05-26 17:28:58] [INFO ] [Nat]Added 1010 Read/Feed constraints in 132 ms returned sat
[2020-05-26 17:28:58] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 66 ms.
[2020-05-26 17:29:17] [INFO ] Added : 500 causal constraints over 100 iterations in 19545 ms. Result :unknown
[2020-05-26 17:29:17] [INFO ] [Real]Absence check using 11 positive place invariants in 19 ms returned sat
[2020-05-26 17:29:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:29:18] [INFO ] [Real]Absence check using state equation in 259 ms returned sat
[2020-05-26 17:29:18] [INFO ] [Real]Added 1010 Read/Feed constraints in 129 ms returned sat
[2020-05-26 17:29:18] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:29:18] [INFO ] [Nat]Absence check using 11 positive place invariants in 22 ms returned sat
[2020-05-26 17:29:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:29:18] [INFO ] [Nat]Absence check using state equation in 323 ms returned sat
[2020-05-26 17:29:18] [INFO ] [Nat]Added 1010 Read/Feed constraints in 126 ms returned sat
[2020-05-26 17:29:19] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 78 ms.
[2020-05-26 17:29:38] [INFO ] Added : 515 causal constraints over 103 iterations in 19488 ms. Result :unknown
[2020-05-26 17:29:38] [INFO ] [Real]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-05-26 17:29:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:29:38] [INFO ] [Real]Absence check using state equation in 287 ms returned sat
[2020-05-26 17:29:38] [INFO ] [Real]Added 1010 Read/Feed constraints in 118 ms returned sat
[2020-05-26 17:29:38] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:29:38] [INFO ] [Nat]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:29:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:29:39] [INFO ] [Nat]Absence check using state equation in 248 ms returned sat
[2020-05-26 17:29:39] [INFO ] [Nat]Added 1010 Read/Feed constraints in 144 ms returned sat
[2020-05-26 17:29:39] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 52 ms.
[2020-05-26 17:29:58] [INFO ] Added : 525 causal constraints over 105 iterations in 19575 ms. Result :unknown
[2020-05-26 17:29:58] [INFO ] [Real]Absence check using 11 positive place invariants in 19 ms returned sat
[2020-05-26 17:29:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:29:59] [INFO ] [Real]Absence check using state equation in 292 ms returned sat
[2020-05-26 17:29:59] [INFO ] [Real]Added 1010 Read/Feed constraints in 141 ms returned sat
[2020-05-26 17:29:59] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:29:59] [INFO ] [Nat]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-05-26 17:29:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:29:59] [INFO ] [Nat]Absence check using state equation in 266 ms returned sat
[2020-05-26 17:29:59] [INFO ] [Nat]Added 1010 Read/Feed constraints in 112 ms returned sat
[2020-05-26 17:29:59] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 53 ms.
[2020-05-26 17:30:19] [INFO ] Added : 525 causal constraints over 105 iterations in 19588 ms. Result :unknown
[2020-05-26 17:30:19] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:30:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:30:19] [INFO ] [Real]Absence check using state equation in 256 ms returned sat
[2020-05-26 17:30:19] [INFO ] [Real]Added 1010 Read/Feed constraints in 149 ms returned sat
[2020-05-26 17:30:19] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:30:20] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 17:30:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:30:20] [INFO ] [Nat]Absence check using state equation in 272 ms returned sat
[2020-05-26 17:30:20] [INFO ] [Nat]Added 1010 Read/Feed constraints in 149 ms returned sat
[2020-05-26 17:30:20] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 59 ms.
[2020-05-26 17:30:39] [INFO ] Added : 510 causal constraints over 102 iterations in 19534 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-26 17:30:40] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 17:30:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:30:40] [INFO ] [Real]Absence check using state equation in 305 ms returned sat
[2020-05-26 17:30:40] [INFO ] [Real]Added 1010 Read/Feed constraints in 133 ms returned sat
[2020-05-26 17:30:40] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:30:40] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 17:30:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:30:40] [INFO ] [Nat]Absence check using state equation in 278 ms returned sat
[2020-05-26 17:30:40] [INFO ] [Nat]Added 1010 Read/Feed constraints in 117 ms returned sat
[2020-05-26 17:30:41] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 77 ms.
[2020-05-26 17:31:00] [INFO ] Added : 515 causal constraints over 103 iterations in 19563 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-26 17:31:00] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 17:31:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:31:00] [INFO ] [Real]Absence check using state equation in 265 ms returned sat
[2020-05-26 17:31:00] [INFO ] [Real]Added 1010 Read/Feed constraints in 138 ms returned sat
[2020-05-26 17:31:01] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:31:01] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 17:31:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:31:01] [INFO ] [Nat]Absence check using state equation in 287 ms returned sat
[2020-05-26 17:31:01] [INFO ] [Nat]Added 1010 Read/Feed constraints in 157 ms returned sat
[2020-05-26 17:31:01] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 57 ms.
[2020-05-26 17:31:21] [INFO ] Added : 530 causal constraints over 106 iterations in 19510 ms. Result :unknown
[2020-05-26 17:31:21] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 17:31:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:31:21] [INFO ] [Real]Absence check using state equation in 362 ms returned sat
[2020-05-26 17:31:21] [INFO ] [Real]Added 1010 Read/Feed constraints in 141 ms returned sat
[2020-05-26 17:31:21] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:31:21] [INFO ] [Nat]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 17:31:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:31:21] [INFO ] [Nat]Absence check using state equation in 256 ms returned sat
[2020-05-26 17:31:22] [INFO ] [Nat]Added 1010 Read/Feed constraints in 124 ms returned sat
[2020-05-26 17:31:22] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 58 ms.
[2020-05-26 17:31:41] [INFO ] Added : 520 causal constraints over 104 iterations in 19600 ms. Result :unknown
[2020-05-26 17:31:41] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:31:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:31:41] [INFO ] [Real]Absence check using state equation in 259 ms returned sat
[2020-05-26 17:31:42] [INFO ] [Real]Added 1010 Read/Feed constraints in 116 ms returned sat
[2020-05-26 17:31:42] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:31:42] [INFO ] [Nat]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:31:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:31:42] [INFO ] [Nat]Absence check using state equation in 241 ms returned sat
[2020-05-26 17:31:42] [INFO ] [Nat]Added 1010 Read/Feed constraints in 116 ms returned sat
[2020-05-26 17:31:42] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 68 ms.
[2020-05-26 17:32:02] [INFO ] Added : 525 causal constraints over 105 iterations in 19604 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-26 17:32:02] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:32:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:32:02] [INFO ] [Real]Absence check using state equation in 269 ms returned sat
[2020-05-26 17:32:02] [INFO ] [Real]Added 1010 Read/Feed constraints in 125 ms returned sat
[2020-05-26 17:32:02] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:32:02] [INFO ] [Nat]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 17:32:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:32:02] [INFO ] [Nat]Absence check using state equation in 268 ms returned sat
[2020-05-26 17:32:03] [INFO ] [Nat]Added 1010 Read/Feed constraints in 121 ms returned sat
[2020-05-26 17:32:03] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 67 ms.
[2020-05-26 17:32:22] [INFO ] Added : 520 causal constraints over 104 iterations in 19575 ms. Result :unknown
[2020-05-26 17:32:22] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:32:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:32:22] [INFO ] [Real]Absence check using state equation in 261 ms returned sat
[2020-05-26 17:32:23] [INFO ] [Real]Added 1010 Read/Feed constraints in 133 ms returned sat
[2020-05-26 17:32:23] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:32:23] [INFO ] [Nat]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 17:32:23] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:32:23] [INFO ] [Nat]Absence check using state equation in 283 ms returned sat
[2020-05-26 17:32:23] [INFO ] [Nat]Added 1010 Read/Feed constraints in 150 ms returned sat
[2020-05-26 17:32:23] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 71 ms.
[2020-05-26 17:32:43] [INFO ] Added : 540 causal constraints over 108 iterations in 19558 ms. Result :unknown
[2020-05-26 17:32:43] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:32:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:32:43] [INFO ] [Real]Absence check using state equation in 271 ms returned sat
[2020-05-26 17:32:43] [INFO ] [Real]Added 1010 Read/Feed constraints in 136 ms returned sat
[2020-05-26 17:32:43] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:32:43] [INFO ] [Nat]Absence check using 11 positive place invariants in 20 ms returned sat
[2020-05-26 17:32:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:32:43] [INFO ] [Nat]Absence check using state equation in 280 ms returned sat
[2020-05-26 17:32:44] [INFO ] [Nat]Added 1010 Read/Feed constraints in 124 ms returned sat
[2020-05-26 17:32:44] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 83 ms.
[2020-05-26 17:33:03] [INFO ] Added : 535 causal constraints over 107 iterations in 19528 ms. Result :unknown
[2020-05-26 17:33:03] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 17:33:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:33:03] [INFO ] [Real]Absence check using state equation in 268 ms returned sat
[2020-05-26 17:33:04] [INFO ] [Real]Added 1010 Read/Feed constraints in 122 ms returned sat
[2020-05-26 17:33:04] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:33:04] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2020-05-26 17:33:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:33:04] [INFO ] [Nat]Absence check using state equation in 245 ms returned sat
[2020-05-26 17:33:04] [INFO ] [Nat]Added 1010 Read/Feed constraints in 105 ms returned sat
[2020-05-26 17:33:04] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 67 ms.
[2020-05-26 17:33:24] [INFO ] Added : 510 causal constraints over 102 iterations in 19595 ms. Result :unknown
[2020-05-26 17:33:24] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 17:33:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:33:24] [INFO ] [Real]Absence check using state equation in 290 ms returned sat
[2020-05-26 17:33:24] [INFO ] [Real]Added 1010 Read/Feed constraints in 144 ms returned sat
[2020-05-26 17:33:24] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:33:24] [INFO ] [Nat]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 17:33:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:33:24] [INFO ] [Nat]Absence check using state equation in 272 ms returned sat
[2020-05-26 17:33:25] [INFO ] [Nat]Added 1010 Read/Feed constraints in 117 ms returned sat
[2020-05-26 17:33:25] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 76 ms.
[2020-05-26 17:33:44] [INFO ] Added : 515 causal constraints over 103 iterations in 19574 ms. Result :unknown
[2020-05-26 17:33:44] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 17:33:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:33:44] [INFO ] [Real]Absence check using state equation in 269 ms returned sat
[2020-05-26 17:33:45] [INFO ] [Real]Added 1010 Read/Feed constraints in 134 ms returned sat
[2020-05-26 17:33:45] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:33:45] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:33:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:33:45] [INFO ] [Nat]Absence check using state equation in 263 ms returned sat
[2020-05-26 17:33:45] [INFO ] [Nat]Added 1010 Read/Feed constraints in 120 ms returned sat
[2020-05-26 17:33:45] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 63 ms.
[2020-05-26 17:34:05] [INFO ] Added : 545 causal constraints over 109 iterations in 19586 ms. Result :unknown
[2020-05-26 17:34:05] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 17:34:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:34:05] [INFO ] [Real]Absence check using state equation in 258 ms returned sat
[2020-05-26 17:34:05] [INFO ] [Real]Added 1010 Read/Feed constraints in 136 ms returned sat
[2020-05-26 17:34:05] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:34:05] [INFO ] [Nat]Absence check using 11 positive place invariants in 20 ms returned sat
[2020-05-26 17:34:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:34:05] [INFO ] [Nat]Absence check using state equation in 261 ms returned sat
[2020-05-26 17:34:06] [INFO ] [Nat]Added 1010 Read/Feed constraints in 131 ms returned sat
[2020-05-26 17:34:06] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 72 ms.
[2020-05-26 17:34:25] [INFO ] Added : 500 causal constraints over 100 iterations in 19572 ms. Result :unknown
[2020-05-26 17:34:25] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 17:34:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:34:25] [INFO ] [Real]Absence check using state equation in 252 ms returned sat
[2020-05-26 17:34:26] [INFO ] [Real]Added 1010 Read/Feed constraints in 151 ms returned sat
[2020-05-26 17:34:26] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:34:26] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 17:34:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:34:26] [INFO ] [Nat]Absence check using state equation in 313 ms returned sat
[2020-05-26 17:34:26] [INFO ] [Nat]Added 1010 Read/Feed constraints in 121 ms returned sat
[2020-05-26 17:34:26] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 67 ms.
[2020-05-26 17:34:46] [INFO ] Added : 510 causal constraints over 102 iterations in 19519 ms. Result :unknown
[2020-05-26 17:34:46] [INFO ] [Real]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-05-26 17:34:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:34:46] [INFO ] [Real]Absence check using state equation in 262 ms returned sat
[2020-05-26 17:34:46] [INFO ] [Real]Added 1010 Read/Feed constraints in 138 ms returned sat
[2020-05-26 17:34:46] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:34:46] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 17:34:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:34:46] [INFO ] [Nat]Absence check using state equation in 265 ms returned sat
[2020-05-26 17:34:47] [INFO ] [Nat]Added 1010 Read/Feed constraints in 145 ms returned sat
[2020-05-26 17:34:47] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 75 ms.
[2020-05-26 17:35:06] [INFO ] Added : 545 causal constraints over 109 iterations in 19552 ms. Result :unknown
[2020-05-26 17:35:06] [INFO ] [Real]Absence check using 11 positive place invariants in 17 ms returned sat
[2020-05-26 17:35:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:35:07] [INFO ] [Real]Absence check using state equation in 311 ms returned sat
[2020-05-26 17:35:07] [INFO ] [Real]Added 1010 Read/Feed constraints in 136 ms returned sat
[2020-05-26 17:35:07] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:35:07] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:35:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:35:07] [INFO ] [Nat]Absence check using state equation in 251 ms returned sat
[2020-05-26 17:35:07] [INFO ] [Nat]Added 1010 Read/Feed constraints in 123 ms returned sat
[2020-05-26 17:35:07] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 100 ms.
[2020-05-26 17:35:27] [INFO ] Added : 545 causal constraints over 109 iterations in 19585 ms. Result :unknown
[2020-05-26 17:35:27] [INFO ] [Real]Absence check using 11 positive place invariants in 5 ms returned sat
[2020-05-26 17:35:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:35:27] [INFO ] [Real]Absence check using state equation in 260 ms returned sat
[2020-05-26 17:35:27] [INFO ] [Real]Added 1010 Read/Feed constraints in 138 ms returned sat
[2020-05-26 17:35:27] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:35:27] [INFO ] [Nat]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 17:35:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:35:27] [INFO ] [Nat]Absence check using state equation in 284 ms returned sat
[2020-05-26 17:35:28] [INFO ] [Nat]Added 1010 Read/Feed constraints in 109 ms returned sat
[2020-05-26 17:35:28] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 79 ms.
[2020-05-26 17:35:47] [INFO ] Added : 530 causal constraints over 106 iterations in 19567 ms. Result :unknown
[2020-05-26 17:35:47] [INFO ] [Real]Absence check using 11 positive place invariants in 5 ms returned sat
[2020-05-26 17:35:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:35:47] [INFO ] [Real]Absence check using state equation in 239 ms returned sat
[2020-05-26 17:35:48] [INFO ] [Real]Added 1010 Read/Feed constraints in 141 ms returned sat
[2020-05-26 17:35:48] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:35:48] [INFO ] [Nat]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-05-26 17:35:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:35:48] [INFO ] [Nat]Absence check using state equation in 235 ms returned sat
[2020-05-26 17:35:48] [INFO ] [Nat]Added 1010 Read/Feed constraints in 102 ms returned sat
[2020-05-26 17:35:48] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 70 ms.
[2020-05-26 17:36:08] [INFO ] Added : 510 causal constraints over 102 iterations in 19642 ms. Result :unknown
[2020-05-26 17:36:08] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-05-26 17:36:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:36:08] [INFO ] [Real]Absence check using state equation in 245 ms returned sat
[2020-05-26 17:36:08] [INFO ] [Real]Added 1010 Read/Feed constraints in 119 ms returned sat
[2020-05-26 17:36:08] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:36:08] [INFO ] [Nat]Absence check using 11 positive place invariants in 62 ms returned sat
[2020-05-26 17:36:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:36:09] [INFO ] [Nat]Absence check using state equation in 330 ms returned sat
[2020-05-26 17:36:09] [INFO ] [Nat]Added 1010 Read/Feed constraints in 123 ms returned sat
[2020-05-26 17:36:09] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 76 ms.
[2020-05-26 17:36:28] [INFO ] Added : 510 causal constraints over 102 iterations in 19448 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-26 17:36:28] [INFO ] [Real]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-05-26 17:36:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:36:28] [INFO ] [Real]Absence check using state equation in 266 ms returned sat
[2020-05-26 17:36:29] [INFO ] [Real]Added 1010 Read/Feed constraints in 115 ms returned sat
[2020-05-26 17:36:29] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:36:29] [INFO ] [Nat]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 17:36:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:36:29] [INFO ] [Nat]Absence check using state equation in 267 ms returned sat
[2020-05-26 17:36:29] [INFO ] [Nat]Added 1010 Read/Feed constraints in 103 ms returned sat
[2020-05-26 17:36:29] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 82 ms.
[2020-05-26 17:36:49] [INFO ] Added : 510 causal constraints over 102 iterations in 19615 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-26 17:36:49] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-05-26 17:36:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:36:49] [INFO ] [Real]Absence check using state equation in 272 ms returned sat
[2020-05-26 17:36:49] [INFO ] [Real]Added 1010 Read/Feed constraints in 146 ms returned sat
[2020-05-26 17:36:49] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:36:49] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 17:36:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:36:49] [INFO ] [Nat]Absence check using state equation in 281 ms returned sat
[2020-05-26 17:36:50] [INFO ] [Nat]Added 1010 Read/Feed constraints in 129 ms returned sat
[2020-05-26 17:36:50] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 85 ms.
[2020-05-26 17:37:09] [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 (=> (> t539 0) (and (or (and (> t28 0) (< o28 o539)) (and (> t128 0) (< o128 o539)) (and (> t338 0) (< o338 o539)) (and (> t438 0) (< o438 o539)) (and (> t538 0) (< o538 o539)) (and (> t638 0) (< o638 o539)) (and (> t738 0) (< o738 o539)) (and (> t838 0) (< o838 o539)) (and (> t938 0) (< o938 o539)) (and (> t1038 0) (< o1038 o539))) (or (and (> t59 0) (< o59 o539)) (and (> t159 0) (< o159 o539)) (and (> t259 0) (< o259 o539)) (and (> t359 0) (< o359 o539)) (and (> t459 0) (< o459 o539)) (and (> t669 0) (< o669 o539)) (and (> t769 0) (< o769 o539)) (and (> t869 0) (< o869 o539)) (and (> t969 0) (< o969 o539)) (and (> t1069 0) (< o1069 o539)))))") while checking expression at index 129
[2020-05-26 17:37:09] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:37:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:37:10] [INFO ] [Real]Absence check using state equation in 319 ms returned sat
[2020-05-26 17:37:10] [INFO ] [Real]Added 1010 Read/Feed constraints in 132 ms returned sat
[2020-05-26 17:37:10] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:37:10] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 17:37:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:37:10] [INFO ] [Nat]Absence check using state equation in 241 ms returned sat
[2020-05-26 17:37:10] [INFO ] [Nat]Added 1010 Read/Feed constraints in 111 ms returned sat
[2020-05-26 17:37:10] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 67 ms.
[2020-05-26 17:37:30] [INFO ] Added : 520 causal constraints over 104 iterations in 19604 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-26 17:37:30] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:37:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:37:30] [INFO ] [Real]Absence check using state equation in 278 ms returned sat
[2020-05-26 17:37:30] [INFO ] [Real]Added 1010 Read/Feed constraints in 128 ms returned sat
[2020-05-26 17:37:30] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:37:30] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 17:37:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:37:30] [INFO ] [Nat]Absence check using state equation in 255 ms returned sat
[2020-05-26 17:37:31] [INFO ] [Nat]Added 1010 Read/Feed constraints in 130 ms returned sat
[2020-05-26 17:37:31] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 70 ms.
[2020-05-26 17:37:50] [INFO ] Added : 520 causal constraints over 104 iterations in 19593 ms. Result :unknown
[2020-05-26 17:37:50] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:37:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:37:51] [INFO ] [Real]Absence check using state equation in 259 ms returned sat
[2020-05-26 17:37:51] [INFO ] [Real]Added 1010 Read/Feed constraints in 154 ms returned sat
[2020-05-26 17:37:51] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:37:51] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2020-05-26 17:37:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:37:51] [INFO ] [Nat]Absence check using state equation in 250 ms returned sat
[2020-05-26 17:37:51] [INFO ] [Nat]Added 1010 Read/Feed constraints in 125 ms returned sat
[2020-05-26 17:37:51] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 60 ms.
[2020-05-26 17:38:11] [INFO ] Added : 520 causal constraints over 104 iterations in 19577 ms. Result :unknown
[2020-05-26 17:38:11] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-05-26 17:38:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:38:11] [INFO ] [Real]Absence check using state equation in 281 ms returned sat
[2020-05-26 17:38:11] [INFO ] [Real]Added 1010 Read/Feed constraints in 137 ms returned sat
[2020-05-26 17:38:11] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:38:11] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:38:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:38:12] [INFO ] [Nat]Absence check using state equation in 283 ms returned sat
[2020-05-26 17:38:12] [INFO ] [Nat]Added 1010 Read/Feed constraints in 111 ms returned sat
[2020-05-26 17:38:12] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 60 ms.
[2020-05-26 17:38:31] [INFO ] Added : 535 causal constraints over 107 iterations in 19557 ms. Result :unknown
[2020-05-26 17:38:31] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 17:38:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:38:32] [INFO ] [Real]Absence check using state equation in 261 ms returned sat
[2020-05-26 17:38:32] [INFO ] [Real]Added 1010 Read/Feed constraints in 119 ms returned sat
[2020-05-26 17:38:32] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:38:32] [INFO ] [Nat]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:38:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:38:32] [INFO ] [Nat]Absence check using state equation in 233 ms returned sat
[2020-05-26 17:38:32] [INFO ] [Nat]Added 1010 Read/Feed constraints in 101 ms returned sat
[2020-05-26 17:38:32] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 56 ms.
[2020-05-26 17:38:52] [INFO ] Added : 535 causal constraints over 107 iterations in 19635 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-26 17:38:52] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-05-26 17:38:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:38:52] [INFO ] [Real]Absence check using state equation in 248 ms returned sat
[2020-05-26 17:38:52] [INFO ] [Real]Added 1010 Read/Feed constraints in 132 ms returned sat
[2020-05-26 17:38:52] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:38:52] [INFO ] [Nat]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-05-26 17:38:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:38:52] [INFO ] [Nat]Absence check using state equation in 238 ms returned sat
[2020-05-26 17:38:53] [INFO ] [Nat]Added 1010 Read/Feed constraints in 111 ms returned sat
[2020-05-26 17:38:53] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 52 ms.
[2020-05-26 17:39:12] [INFO ] Added : 515 causal constraints over 103 iterations in 19632 ms. Result :unknown
[2020-05-26 17:39:12] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-05-26 17:39:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:39:12] [INFO ] [Real]Absence check using state equation in 254 ms returned sat
[2020-05-26 17:39:13] [INFO ] [Real]Added 1010 Read/Feed constraints in 122 ms returned sat
[2020-05-26 17:39:13] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:39:13] [INFO ] [Nat]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-05-26 17:39:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:39:13] [INFO ] [Nat]Absence check using state equation in 242 ms returned sat
[2020-05-26 17:39:13] [INFO ] [Nat]Added 1010 Read/Feed constraints in 101 ms returned sat
[2020-05-26 17:39:13] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 53 ms.
[2020-05-26 17:39:33] [INFO ] Added : 540 causal constraints over 108 iterations in 19627 ms. Result :unknown
[2020-05-26 17:39:33] [INFO ] [Real]Absence check using 11 positive place invariants in 17 ms returned sat
[2020-05-26 17:39:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:39:33] [INFO ] [Real]Absence check using state equation in 330 ms returned sat
[2020-05-26 17:39:33] [INFO ] [Real]Added 1010 Read/Feed constraints in 142 ms returned sat
[2020-05-26 17:39:33] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:39:33] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 17:39:33] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:39:33] [INFO ] [Nat]Absence check using state equation in 271 ms returned sat
[2020-05-26 17:39:34] [INFO ] [Nat]Added 1010 Read/Feed constraints in 136 ms returned sat
[2020-05-26 17:39:34] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 69 ms.
[2020-05-26 17:39:53] [INFO ] Added : 505 causal constraints over 101 iterations in 19548 ms. Result :unknown
[2020-05-26 17:39:53] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 17:39:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:39:54] [INFO ] [Real]Absence check using state equation in 309 ms returned sat
[2020-05-26 17:39:54] [INFO ] [Real]Added 1010 Read/Feed constraints in 135 ms returned sat
[2020-05-26 17:39:54] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:39:54] [INFO ] [Nat]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 17:39:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:39:54] [INFO ] [Nat]Absence check using state equation in 281 ms returned sat
[2020-05-26 17:39:54] [INFO ] [Nat]Added 1010 Read/Feed constraints in 153 ms returned sat
[2020-05-26 17:39:54] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 68 ms.
[2020-05-26 17:40:14] [INFO ] Added : 510 causal constraints over 102 iterations in 19515 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-26 17:40:14] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 17:40:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:40:14] [INFO ] [Real]Absence check using state equation in 345 ms returned sat
[2020-05-26 17:40:14] [INFO ] [Real]Added 1010 Read/Feed constraints in 141 ms returned sat
[2020-05-26 17:40:14] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:40:14] [INFO ] [Nat]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 17:40:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:40:15] [INFO ] [Nat]Absence check using state equation in 305 ms returned sat
[2020-05-26 17:40:15] [INFO ] [Nat]Added 1010 Read/Feed constraints in 126 ms returned sat
[2020-05-26 17:40:15] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 73 ms.
[2020-05-26 17:40:34] [INFO ] Added : 510 causal constraints over 102 iterations in 19548 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-26 17:40:34] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 17:40:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:40:35] [INFO ] [Real]Absence check using state equation in 265 ms returned sat
[2020-05-26 17:40:35] [INFO ] [Real]Added 1010 Read/Feed constraints in 153 ms returned sat
[2020-05-26 17:40:35] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:40:35] [INFO ] [Nat]Absence check using 11 positive place invariants in 22 ms returned sat
[2020-05-26 17:40:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:40:35] [INFO ] [Nat]Absence check using state equation in 279 ms returned sat
[2020-05-26 17:40:35] [INFO ] [Nat]Added 1010 Read/Feed constraints in 106 ms returned sat
[2020-05-26 17:40:35] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 52 ms.
[2020-05-26 17:40:55] [INFO ] Added : 540 causal constraints over 108 iterations in 19566 ms. Result :unknown
[2020-05-26 17:40:55] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:40:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:40:55] [INFO ] [Real]Absence check using state equation in 271 ms returned sat
[2020-05-26 17:40:55] [INFO ] [Real]Added 1010 Read/Feed constraints in 141 ms returned sat
[2020-05-26 17:40:55] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:40:55] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:40:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:40:56] [INFO ] [Nat]Absence check using state equation in 284 ms returned sat
[2020-05-26 17:40:56] [INFO ] [Nat]Added 1010 Read/Feed constraints in 147 ms returned sat
[2020-05-26 17:40:56] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 73 ms.
[2020-05-26 17:41:15] [INFO ] Added : 495 causal constraints over 99 iterations in 19527 ms. Result :unknown
[2020-05-26 17:41:15] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-05-26 17:41:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:41:16] [INFO ] [Real]Absence check using state equation in 289 ms returned sat
[2020-05-26 17:41:16] [INFO ] [Real]Added 1010 Read/Feed constraints in 126 ms returned sat
[2020-05-26 17:41:16] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:41:16] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2020-05-26 17:41:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:41:16] [INFO ] [Nat]Absence check using state equation in 250 ms returned sat
[2020-05-26 17:41:16] [INFO ] [Nat]Added 1010 Read/Feed constraints in 114 ms returned sat
[2020-05-26 17:41:16] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 56 ms.
[2020-05-26 17:41:36] [INFO ] Added : 515 causal constraints over 103 iterations in 19575 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-26 17:41:36] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 17:41:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:41:36] [INFO ] [Real]Absence check using state equation in 282 ms returned sat
[2020-05-26 17:41:36] [INFO ] [Real]Added 1010 Read/Feed constraints in 142 ms returned sat
[2020-05-26 17:41:36] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:41:36] [INFO ] [Nat]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:41:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:41:37] [INFO ] [Nat]Absence check using state equation in 251 ms returned sat
[2020-05-26 17:41:37] [INFO ] [Nat]Added 1010 Read/Feed constraints in 148 ms returned sat
[2020-05-26 17:41:37] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 64 ms.
[2020-05-26 17:41:56] [INFO ] Added : 505 causal constraints over 101 iterations in 19566 ms. Result :unknown
[2020-05-26 17:41:56] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-05-26 17:41:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:41:57] [INFO ] [Real]Absence check using state equation in 256 ms returned sat
[2020-05-26 17:41:57] [INFO ] [Real]Added 1010 Read/Feed constraints in 139 ms returned sat
[2020-05-26 17:41:57] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:41:57] [INFO ] [Nat]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-05-26 17:41:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:41:57] [INFO ] [Nat]Absence check using state equation in 268 ms returned sat
[2020-05-26 17:41:57] [INFO ] [Nat]Added 1010 Read/Feed constraints in 127 ms returned sat
[2020-05-26 17:41:57] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 59 ms.
[2020-05-26 17:42:17] [INFO ] Added : 520 causal constraints over 104 iterations in 19568 ms. Result :unknown
[2020-05-26 17:42:17] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 17:42:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:42:17] [INFO ] [Real]Absence check using state equation in 260 ms returned sat
[2020-05-26 17:42:17] [INFO ] [Real]Added 1010 Read/Feed constraints in 152 ms returned sat
[2020-05-26 17:42:17] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:42:17] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 17:42:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:42:18] [INFO ] [Nat]Absence check using state equation in 270 ms returned sat
[2020-05-26 17:42:18] [INFO ] [Nat]Added 1010 Read/Feed constraints in 131 ms returned sat
[2020-05-26 17:42:18] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 148 ms.
[2020-05-26 17:42:37] [INFO ] Added : 505 causal constraints over 101 iterations in 19562 ms. Result :(error "Failed to check-sat")
[2020-05-26 17:42:37] [INFO ] [Real]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-05-26 17:42:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:42:38] [INFO ] [Real]Absence check using state equation in 279 ms returned sat
[2020-05-26 17:42:38] [INFO ] [Real]Added 1010 Read/Feed constraints in 122 ms returned sat
[2020-05-26 17:42:38] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:42:38] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:42:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:42:38] [INFO ] [Nat]Absence check using state equation in 255 ms returned sat
[2020-05-26 17:42:38] [INFO ] [Nat]Added 1010 Read/Feed constraints in 112 ms returned sat
[2020-05-26 17:42:38] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 53 ms.
[2020-05-26 17:42:58] [INFO ] Added : 465 causal constraints over 93 iterations in 19617 ms. Result :unknown
[2020-05-26 17:42:58] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 17:42:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:42:58] [INFO ] [Real]Absence check using state equation in 263 ms returned sat
[2020-05-26 17:42:58] [INFO ] [Real]Added 1010 Read/Feed constraints in 143 ms returned sat
[2020-05-26 17:42:58] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:42:58] [INFO ] [Nat]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 17:42:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:42:59] [INFO ] [Nat]Absence check using state equation in 240 ms returned sat
[2020-05-26 17:42:59] [INFO ] [Nat]Added 1010 Read/Feed constraints in 119 ms returned sat
[2020-05-26 17:42:59] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 70 ms.
[2020-05-26 17:43:18] [INFO ] Added : 505 causal constraints over 101 iterations in 19606 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-26 17:43:18] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:43:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:43:19] [INFO ] [Real]Absence check using state equation in 256 ms returned sat
[2020-05-26 17:43:19] [INFO ] [Real]Added 1010 Read/Feed constraints in 120 ms returned sat
[2020-05-26 17:43:19] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:43:19] [INFO ] [Nat]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-05-26 17:43:19] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:43:19] [INFO ] [Nat]Absence check using state equation in 243 ms returned sat
[2020-05-26 17:43:19] [INFO ] [Nat]Added 1010 Read/Feed constraints in 128 ms returned sat
[2020-05-26 17:43:19] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 72 ms.
[2020-05-26 17:43:39] [INFO ] Added : 510 causal constraints over 102 iterations in 19594 ms. Result :unknown
[2020-05-26 17:43:39] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 17:43:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:43:39] [INFO ] [Real]Absence check using state equation in 269 ms returned sat
[2020-05-26 17:43:39] [INFO ] [Real]Added 1010 Read/Feed constraints in 143 ms returned sat
[2020-05-26 17:43:39] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:43:39] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2020-05-26 17:43:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:43:40] [INFO ] [Nat]Absence check using state equation in 265 ms returned sat
[2020-05-26 17:43:40] [INFO ] [Nat]Added 1010 Read/Feed constraints in 118 ms returned sat
[2020-05-26 17:43:40] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 92 ms.
[2020-05-26 17:43:59] [INFO ] Added : 455 causal constraints over 91 iterations in 19572 ms. Result :unknown
[2020-05-26 17:43:59] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-05-26 17:43:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:44:00] [INFO ] [Real]Absence check using state equation in 274 ms returned sat
[2020-05-26 17:44:00] [INFO ] [Real]Added 1010 Read/Feed constraints in 134 ms returned sat
[2020-05-26 17:44:00] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:44:00] [INFO ] [Nat]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:44:00] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:44:00] [INFO ] [Nat]Absence check using state equation in 247 ms returned sat
[2020-05-26 17:44:00] [INFO ] [Nat]Added 1010 Read/Feed constraints in 108 ms returned sat
[2020-05-26 17:44:00] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 54 ms.
[2020-05-26 17:44:20] [INFO ] Added : 495 causal constraints over 99 iterations in 19617 ms. Result :unknown
[2020-05-26 17:44:20] [INFO ] [Real]Absence check using 11 positive place invariants in 17 ms returned sat
[2020-05-26 17:44:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:44:20] [INFO ] [Real]Absence check using state equation in 277 ms returned sat
[2020-05-26 17:44:20] [INFO ] [Real]Added 1010 Read/Feed constraints in 118 ms returned sat
[2020-05-26 17:44:20] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:44:20] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 17:44:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:44:21] [INFO ] [Nat]Absence check using state equation in 256 ms returned sat
[2020-05-26 17:44:21] [INFO ] [Nat]Added 1010 Read/Feed constraints in 147 ms returned sat
[2020-05-26 17:44:21] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 66 ms.
[2020-05-26 17:44:40] [INFO ] Added : 505 causal constraints over 101 iterations in 19557 ms. Result :unknown
[2020-05-26 17:44:40] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 17:44:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:44:41] [INFO ] [Real]Absence check using state equation in 298 ms returned sat
[2020-05-26 17:44:41] [INFO ] [Real]Added 1010 Read/Feed constraints in 144 ms returned sat
[2020-05-26 17:44:41] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:44:41] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 17:44:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:44:41] [INFO ] [Nat]Absence check using state equation in 269 ms returned sat
[2020-05-26 17:44:41] [INFO ] [Nat]Added 1010 Read/Feed constraints in 129 ms returned sat
[2020-05-26 17:44:41] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 56 ms.
[2020-05-26 17:45:01] [INFO ] Added : 475 causal constraints over 95 iterations in 19569 ms. Result :unknown
[2020-05-26 17:45:01] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-05-26 17:45:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:45:01] [INFO ] [Real]Absence check using state equation in 255 ms returned sat
[2020-05-26 17:45:01] [INFO ] [Real]Added 1010 Read/Feed constraints in 129 ms returned sat
[2020-05-26 17:45:01] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:45:01] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:45:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:45:02] [INFO ] [Nat]Absence check using state equation in 291 ms returned sat
[2020-05-26 17:45:02] [INFO ] [Nat]Added 1010 Read/Feed constraints in 146 ms returned sat
[2020-05-26 17:45:02] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 54 ms.
[2020-05-26 17:45:21] [INFO ] Added : 545 causal constraints over 109 iterations in 19572 ms. Result :unknown
[2020-05-26 17:45:21] [INFO ] [Real]Absence check using 11 positive place invariants in 41 ms returned sat
[2020-05-26 17:45:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:45:22] [INFO ] [Real]Absence check using state equation in 772 ms returned sat
[2020-05-26 17:45:22] [INFO ] [Real]Added 1010 Read/Feed constraints in 130 ms returned sat
[2020-05-26 17:45:22] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:45:22] [INFO ] [Nat]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-05-26 17:45:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:45:23] [INFO ] [Nat]Absence check using state equation in 305 ms returned sat
[2020-05-26 17:45:23] [INFO ] [Nat]Added 1010 Read/Feed constraints in 116 ms returned sat
[2020-05-26 17:45:23] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 54 ms.
[2020-05-26 17:45:42] [INFO ] Added : 545 causal constraints over 109 iterations in 19548 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-26 17:45:42] [INFO ] [Real]Absence check using 11 positive place invariants in 5 ms returned sat
[2020-05-26 17:45:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:45:43] [INFO ] [Real]Absence check using state equation in 266 ms returned sat
[2020-05-26 17:45:43] [INFO ] [Real]Added 1010 Read/Feed constraints in 136 ms returned sat
[2020-05-26 17:45:43] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:45:43] [INFO ] [Nat]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-05-26 17:45:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:45:43] [INFO ] [Nat]Absence check using state equation in 264 ms returned sat
[2020-05-26 17:45:43] [INFO ] [Nat]Added 1010 Read/Feed constraints in 134 ms returned sat
[2020-05-26 17:45:43] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 72 ms.
[2020-05-26 17:46:03] [INFO ] Added : 525 causal constraints over 105 iterations in 19575 ms. Result :unknown
[2020-05-26 17:46:03] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 17:46:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:46:03] [INFO ] [Real]Absence check using state equation in 267 ms returned sat
[2020-05-26 17:46:03] [INFO ] [Real]Added 1010 Read/Feed constraints in 146 ms returned sat
[2020-05-26 17:46:03] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:46:03] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2020-05-26 17:46:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:46:04] [INFO ] [Nat]Absence check using state equation in 262 ms returned sat
[2020-05-26 17:46:04] [INFO ] [Nat]Added 1010 Read/Feed constraints in 126 ms returned sat
[2020-05-26 17:46:04] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 71 ms.
[2020-05-26 17:46:23] [INFO ] Added : 470 causal constraints over 94 iterations in 19559 ms. Result :unknown
[2020-05-26 17:46:23] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 17:46:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:46:24] [INFO ] [Real]Absence check using state equation in 270 ms returned sat
[2020-05-26 17:46:24] [INFO ] [Real]Added 1010 Read/Feed constraints in 141 ms returned sat
[2020-05-26 17:46:24] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:46:24] [INFO ] [Nat]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:46:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:46:24] [INFO ] [Nat]Absence check using state equation in 277 ms returned sat
[2020-05-26 17:46:24] [INFO ] [Nat]Added 1010 Read/Feed constraints in 120 ms returned sat
[2020-05-26 17:46:24] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 69 ms.
[2020-05-26 17:46:44] [INFO ] Added : 525 causal constraints over 105 iterations in 19548 ms. Result :unknown
[2020-05-26 17:46:44] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 17:46:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:46:44] [INFO ] [Real]Absence check using state equation in 284 ms returned sat
[2020-05-26 17:46:44] [INFO ] [Real]Added 1010 Read/Feed constraints in 137 ms returned sat
[2020-05-26 17:46:44] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:46:44] [INFO ] [Nat]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 17:46:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:46:45] [INFO ] [Nat]Absence check using state equation in 272 ms returned sat
[2020-05-26 17:46:45] [INFO ] [Nat]Added 1010 Read/Feed constraints in 149 ms returned sat
[2020-05-26 17:46:45] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 64 ms.
[2020-05-26 17:47:04] [INFO ] Added : 525 causal constraints over 105 iterations in 19539 ms. Result :unknown
[2020-05-26 17:47:05] [INFO ] [Real]Absence check using 11 positive place invariants in 18 ms returned sat
[2020-05-26 17:47:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:47:05] [INFO ] [Real]Absence check using state equation in 301 ms returned sat
[2020-05-26 17:47:05] [INFO ] [Real]Added 1010 Read/Feed constraints in 138 ms returned sat
[2020-05-26 17:47:05] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:47:05] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 17:47:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:47:05] [INFO ] [Nat]Absence check using state equation in 280 ms returned sat
[2020-05-26 17:47:05] [INFO ] [Nat]Added 1010 Read/Feed constraints in 149 ms returned sat
[2020-05-26 17:47:06] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 78 ms.
[2020-05-26 17:47:25] [INFO ] Added : 515 causal constraints over 103 iterations in 19529 ms. Result :(error "Failed to check-sat")
[2020-05-26 17:47:25] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 17:47:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:47:25] [INFO ] [Real]Absence check using state equation in 272 ms returned sat
[2020-05-26 17:47:25] [INFO ] [Real]Added 1010 Read/Feed constraints in 129 ms returned sat
[2020-05-26 17:47:25] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:47:26] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 17:47:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:47:26] [INFO ] [Nat]Absence check using state equation in 259 ms returned sat
[2020-05-26 17:47:26] [INFO ] [Nat]Added 1010 Read/Feed constraints in 122 ms returned sat
[2020-05-26 17:47:26] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 61 ms.
[2020-05-26 17:47:45] [INFO ] Added : 540 causal constraints over 108 iterations in 19568 ms. Result :unknown
[2020-05-26 17:47:46] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 17:47:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:47:46] [INFO ] [Real]Absence check using state equation in 273 ms returned sat
[2020-05-26 17:47:46] [INFO ] [Real]Added 1010 Read/Feed constraints in 132 ms returned sat
[2020-05-26 17:47:46] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:47:46] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 17:47:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:47:46] [INFO ] [Nat]Absence check using state equation in 278 ms returned sat
[2020-05-26 17:47:46] [INFO ] [Nat]Added 1010 Read/Feed constraints in 112 ms returned sat
[2020-05-26 17:47:47] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 67 ms.
[2020-05-26 17:48:06] [INFO ] Added : 540 causal constraints over 108 iterations in 19570 ms. Result :unknown
[2020-05-26 17:48:06] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:48:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:48:06] [INFO ] [Real]Absence check using state equation in 245 ms returned sat
[2020-05-26 17:48:06] [INFO ] [Real]Added 1010 Read/Feed constraints in 132 ms returned sat
[2020-05-26 17:48:06] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:48:06] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:48:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:48:07] [INFO ] [Nat]Absence check using state equation in 257 ms returned sat
[2020-05-26 17:48:07] [INFO ] [Nat]Added 1010 Read/Feed constraints in 140 ms returned sat
[2020-05-26 17:48:07] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 78 ms.
[2020-05-26 17:48:26] [INFO ] Added : 525 causal constraints over 105 iterations in 19567 ms. Result :unknown
[2020-05-26 17:48:27] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 17:48:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:48:27] [INFO ] [Real]Absence check using state equation in 257 ms returned sat
[2020-05-26 17:48:27] [INFO ] [Real]Added 1010 Read/Feed constraints in 119 ms returned sat
[2020-05-26 17:48:27] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:48:27] [INFO ] [Nat]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:48:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:48:27] [INFO ] [Nat]Absence check using state equation in 248 ms returned sat
[2020-05-26 17:48:27] [INFO ] [Nat]Added 1010 Read/Feed constraints in 105 ms returned sat
[2020-05-26 17:48:27] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 73 ms.
[2020-05-26 17:48:47] [INFO ] Added : 535 causal constraints over 107 iterations in 19607 ms. Result :unknown
[2020-05-26 17:48:47] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 17:48:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:48:47] [INFO ] [Real]Absence check using state equation in 282 ms returned sat
[2020-05-26 17:48:47] [INFO ] [Real]Added 1010 Read/Feed constraints in 149 ms returned sat
[2020-05-26 17:48:47] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:48:47] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 17:48:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:48:48] [INFO ] [Nat]Absence check using state equation in 271 ms returned sat
[2020-05-26 17:48:48] [INFO ] [Nat]Added 1010 Read/Feed constraints in 146 ms returned sat
[2020-05-26 17:48:48] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 52 ms.
[2020-05-26 17:49:07] [INFO ] Added : 520 causal constraints over 104 iterations in 19547 ms. Result :unknown
[2020-05-26 17:49:08] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 17:49:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:49:08] [INFO ] [Real]Absence check using state equation in 265 ms returned sat
[2020-05-26 17:49:08] [INFO ] [Real]Added 1010 Read/Feed constraints in 142 ms returned sat
[2020-05-26 17:49:08] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:49:08] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 17:49:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:49:08] [INFO ] [Nat]Absence check using state equation in 265 ms returned sat
[2020-05-26 17:49:08] [INFO ] [Nat]Added 1010 Read/Feed constraints in 121 ms returned sat
[2020-05-26 17:49:08] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 74 ms.
[2020-05-26 17:49:28] [INFO ] Added : 515 causal constraints over 103 iterations in 19583 ms. Result :unknown
[2020-05-26 17:49:28] [INFO ] [Real]Absence check using 11 positive place invariants in 20 ms returned sat
[2020-05-26 17:49:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:49:28] [INFO ] [Real]Absence check using state equation in 280 ms returned sat
[2020-05-26 17:49:28] [INFO ] [Real]Added 1010 Read/Feed constraints in 132 ms returned sat
[2020-05-26 17:49:28] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:49:29] [INFO ] [Nat]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 17:49:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:49:29] [INFO ] [Nat]Absence check using state equation in 390 ms returned sat
[2020-05-26 17:49:29] [INFO ] [Nat]Added 1010 Read/Feed constraints in 128 ms returned sat
[2020-05-26 17:49:29] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 55 ms.
[2020-05-26 17:49:49] [INFO ] Added : 505 causal constraints over 101 iterations in 19438 ms. Result :unknown
[2020-05-26 17:49:49] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:49:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:49:49] [INFO ] [Real]Absence check using state equation in 299 ms returned sat
[2020-05-26 17:49:49] [INFO ] [Real]Added 1010 Read/Feed constraints in 115 ms returned sat
[2020-05-26 17:49:49] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:49:49] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 17:49:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:49:49] [INFO ] [Nat]Absence check using state equation in 267 ms returned sat
[2020-05-26 17:49:49] [INFO ] [Nat]Added 1010 Read/Feed constraints in 130 ms returned sat
[2020-05-26 17:49:50] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 84 ms.
[2020-05-26 17:50:09] [INFO ] Added : 515 causal constraints over 103 iterations in 19563 ms. Result :unknown
[2020-05-26 17:50:09] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-05-26 17:50:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:50:09] [INFO ] [Real]Absence check using state equation in 260 ms returned sat
[2020-05-26 17:50:09] [INFO ] [Real]Added 1010 Read/Feed constraints in 129 ms returned sat
[2020-05-26 17:50:09] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:50:10] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 17:50:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:50:10] [INFO ] [Nat]Absence check using state equation in 250 ms returned sat
[2020-05-26 17:50:10] [INFO ] [Nat]Added 1010 Read/Feed constraints in 149 ms returned sat
[2020-05-26 17:50:10] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 66 ms.
[2020-05-26 17:50:30] [INFO ] Added : 495 causal constraints over 99 iterations in 19560 ms. Result :unknown
[2020-05-26 17:50:30] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 17:50:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:50:30] [INFO ] [Real]Absence check using state equation in 267 ms returned sat
[2020-05-26 17:50:30] [INFO ] [Real]Added 1010 Read/Feed constraints in 127 ms returned sat
[2020-05-26 17:50:30] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:50:30] [INFO ] [Nat]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 17:50:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:50:30] [INFO ] [Nat]Absence check using state equation in 260 ms returned sat
[2020-05-26 17:50:30] [INFO ] [Nat]Added 1010 Read/Feed constraints in 132 ms returned sat
[2020-05-26 17:50:31] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 55 ms.
[2020-05-26 17:50:50] [INFO ] Added : 525 causal constraints over 105 iterations in 19564 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-26 17:50:50] [INFO ] [Real]Absence check using 11 positive place invariants in 5 ms returned sat
[2020-05-26 17:50:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:50:50] [INFO ] [Real]Absence check using state equation in 242 ms returned sat
[2020-05-26 17:50:50] [INFO ] [Real]Added 1010 Read/Feed constraints in 115 ms returned sat
[2020-05-26 17:50:50] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:50:50] [INFO ] [Nat]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 17:50:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:50:51] [INFO ] [Nat]Absence check using state equation in 262 ms returned sat
[2020-05-26 17:50:51] [INFO ] [Nat]Added 1010 Read/Feed constraints in 120 ms returned sat
[2020-05-26 17:50:51] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 69 ms.
[2020-05-26 17:51:10] [INFO ] Added : 530 causal constraints over 106 iterations in 19589 ms. Result :unknown
[2020-05-26 17:51:10] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 17:51:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:51:11] [INFO ] [Real]Absence check using state equation in 267 ms returned sat
[2020-05-26 17:51:11] [INFO ] [Real]Added 1010 Read/Feed constraints in 131 ms returned sat
[2020-05-26 17:51:11] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:51:11] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 17:51:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:51:11] [INFO ] [Nat]Absence check using state equation in 257 ms returned sat
[2020-05-26 17:51:11] [INFO ] [Nat]Added 1010 Read/Feed constraints in 139 ms returned sat
[2020-05-26 17:51:11] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 63 ms.
[2020-05-26 17:51:31] [INFO ] Added : 530 causal constraints over 106 iterations in 19565 ms. Result :unknown
[2020-05-26 17:51:31] [INFO ] [Real]Absence check using 11 positive place invariants in 21 ms returned sat
[2020-05-26 17:51:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:51:31] [INFO ] [Real]Absence check using state equation in 263 ms returned sat
[2020-05-26 17:51:31] [INFO ] [Real]Added 1010 Read/Feed constraints in 127 ms returned sat
[2020-05-26 17:51:31] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:51:31] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2020-05-26 17:51:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:51:32] [INFO ] [Nat]Absence check using state equation in 274 ms returned sat
[2020-05-26 17:51:32] [INFO ] [Nat]Added 1010 Read/Feed constraints in 142 ms returned sat
[2020-05-26 17:51:32] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 57 ms.
[2020-05-26 17:51:51] [INFO ] Added : 545 causal constraints over 109 iterations in 19532 ms. Result :unknown
[2020-05-26 17:51:51] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 17:51:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:51:52] [INFO ] [Real]Absence check using state equation in 261 ms returned sat
[2020-05-26 17:51:52] [INFO ] [Real]Added 1010 Read/Feed constraints in 115 ms returned sat
[2020-05-26 17:51:52] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:51:52] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 17:51:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:51:52] [INFO ] [Nat]Absence check using state equation in 261 ms returned sat
[2020-05-26 17:51:52] [INFO ] [Nat]Added 1010 Read/Feed constraints in 134 ms returned sat
[2020-05-26 17:51:52] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 63 ms.
[2020-05-26 17:52:12] [INFO ] Added : 480 causal constraints over 96 iterations in 19577 ms. Result :unknown
[2020-05-26 17:52:12] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 17:52:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 17:52:12] [INFO ] [Real]Absence check using state equation in 285 ms returned sat
[2020-05-26 17:52:12] [INFO ] [Real]Added 1010 Read/Feed constraints in 126 ms returned sat
[2020-05-26 17:52:12] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 17:52:12] [INFO ] [Nat]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 17:52:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 17:52:13] [INFO ] [Nat]Absence check using state equation in 245 ms returned sat
[2020-05-26 17:52:13] [INFO ] [Nat]Added 1010 Read/Feed constraints in 110 ms returned sat
[2020-05-26 17:52:13] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 70 ms.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLFireability -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination LTLFireability -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6
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="TokenRing-COL-010"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is TokenRing-COL-010, 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 r193-csrt-159033388700402"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-COL-010.tgz
mv TokenRing-COL-010 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 ;