fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2021
11th edition, Paris, France, June 23, 2021
Execution of r037-tajo-162038176900158
Last Updated
Jun 28, 2021

About the Execution of 2020-gold for BridgeAndVehicles-PT-V80P50N50

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
4012.976 3600000.00 3942455.00 1119.80 [undef] Time out reached

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2021-input.r037-tajo-162038176900158.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2020
Input is BridgeAndVehicles-PT-V80P50N50, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r037-tajo-162038176900158
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 38M
-rw-r--r-- 1 mcc users 106K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 459K May 10 09:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8M May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 19M May 10 09:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 13K Mar 28 15:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 47K Mar 28 15:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 471K Mar 28 15:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 1.4M Mar 28 15:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Mar 23 03:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 37K Mar 23 03:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 667K Mar 22 12:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.9M Mar 22 12:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 22 09:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.0K Mar 22 09:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 10 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 9.5M May 5 16:51 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME BridgeAndVehicles-PT-V80P50N50-00
FORMULA_NAME BridgeAndVehicles-PT-V80P50N50-01
FORMULA_NAME BridgeAndVehicles-PT-V80P50N50-02
FORMULA_NAME BridgeAndVehicles-PT-V80P50N50-03
FORMULA_NAME BridgeAndVehicles-PT-V80P50N50-04
FORMULA_NAME BridgeAndVehicles-PT-V80P50N50-05
FORMULA_NAME BridgeAndVehicles-PT-V80P50N50-06
FORMULA_NAME BridgeAndVehicles-PT-V80P50N50-07
FORMULA_NAME BridgeAndVehicles-PT-V80P50N50-08
FORMULA_NAME BridgeAndVehicles-PT-V80P50N50-09
FORMULA_NAME BridgeAndVehicles-PT-V80P50N50-10
FORMULA_NAME BridgeAndVehicles-PT-V80P50N50-11
FORMULA_NAME BridgeAndVehicles-PT-V80P50N50-12
FORMULA_NAME BridgeAndVehicles-PT-V80P50N50-13
FORMULA_NAME BridgeAndVehicles-PT-V80P50N50-14
FORMULA_NAME BridgeAndVehicles-PT-V80P50N50-15

=== Now, execution of the tool begins

BK_START 1620935466637

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-13 19:51:08] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2021-05-13 19:51:08] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-13 19:51:09] [INFO ] Load time of PNML (sax parser for PT used): 537 ms
[2021-05-13 19:51:09] [INFO ] Transformed 228 places.
[2021-05-13 19:51:09] [INFO ] Transformed 8588 transitions.
[2021-05-13 19:51:09] [INFO ] Parsed PT model containing 228 places and 8588 transitions in 695 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 644 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 147 resets, run finished after 16381 ms. (steps per millisecond=6 ) properties seen :[1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1]
[2021-05-13 19:51:26] [INFO ] Flow matrix only has 530 transitions (discarded 8058 similar events)
// Phase 1: matrix 530 rows 228 cols
[2021-05-13 19:51:26] [INFO ] Computed 7 place invariants in 26 ms
[2021-05-13 19:51:26] [INFO ] [Real]Absence check using 7 positive place invariants in 22 ms returned sat
[2021-05-13 19:51:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:51:27] [INFO ] [Real]Absence check using state equation in 314 ms returned sat
[2021-05-13 19:51:27] [INFO ] State equation strengthened by 102 read => feed constraints.
[2021-05-13 19:51:27] [INFO ] [Real]Added 102 Read/Feed constraints in 115 ms returned sat
[2021-05-13 19:51:27] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:51:27] [INFO ] [Nat]Absence check using 7 positive place invariants in 20 ms returned sat
[2021-05-13 19:51:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:51:28] [INFO ] [Nat]Absence check using state equation in 449 ms returned sat
[2021-05-13 19:51:28] [INFO ] [Nat]Added 102 Read/Feed constraints in 162 ms returned sat
[2021-05-13 19:51:29] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 1037 ms.
[2021-05-13 19:51:47] [INFO ] Added : 230 causal constraints over 46 iterations in 19106 ms. Result :unknown
[2021-05-13 19:51:47] [INFO ] [Real]Absence check using 7 positive place invariants in 26 ms returned sat
[2021-05-13 19:51:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:51:48] [INFO ] [Real]Absence check using state equation in 363 ms returned sat
[2021-05-13 19:51:48] [INFO ] [Real]Added 102 Read/Feed constraints in 68 ms returned sat
[2021-05-13 19:51:48] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:51:48] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:51:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:51:48] [INFO ] [Nat]Absence check using state equation in 258 ms returned sat
[2021-05-13 19:51:49] [INFO ] [Nat]Added 102 Read/Feed constraints in 933 ms returned sat
[2021-05-13 19:51:51] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 1318 ms.
[2021-05-13 19:52:08] [INFO ] Added : 230 causal constraints over 46 iterations in 18604 ms. Result :unknown
[2021-05-13 19:52:08] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 19:52:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:52:08] [INFO ] [Real]Absence check using state equation in 368 ms returned sat
[2021-05-13 19:52:08] [INFO ] [Real]Added 102 Read/Feed constraints in 76 ms returned sat
[2021-05-13 19:52:08] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:52:08] [INFO ] [Nat]Absence check using 7 positive place invariants in 26 ms returned sat
[2021-05-13 19:52:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:52:09] [INFO ] [Nat]Absence check using state equation in 353 ms returned sat
[2021-05-13 19:52:09] [INFO ] [Nat]Added 102 Read/Feed constraints in 600 ms returned sat
[2021-05-13 19:52:10] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 694 ms.
[2021-05-13 19:52:28] [INFO ] Added : 240 causal constraints over 48 iterations in 18855 ms. Result :unknown
[2021-05-13 19:52:28] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:52:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:52:29] [INFO ] [Real]Absence check using state equation in 263 ms returned sat
[2021-05-13 19:52:29] [INFO ] [Real]Added 102 Read/Feed constraints in 70 ms returned sat
[2021-05-13 19:52:29] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:52:29] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 19:52:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:52:29] [INFO ] [Nat]Absence check using state equation in 327 ms returned sat
[2021-05-13 19:52:29] [INFO ] [Nat]Added 102 Read/Feed constraints in 128 ms returned sat
[2021-05-13 19:52:30] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 642 ms.
[2021-05-13 19:52:49] [INFO ] Added : 250 causal constraints over 50 iterations in 19374 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 19:52:49] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 19:52:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:52:49] [INFO ] [Real]Absence check using state equation in 243 ms returned sat
[2021-05-13 19:52:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:52:49] [INFO ] [Nat]Absence check using 7 positive place invariants in 24 ms returned sat
[2021-05-13 19:52:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:52:49] [INFO ] [Nat]Absence check using state equation in 257 ms returned sat
[2021-05-13 19:52:50] [INFO ] [Nat]Added 102 Read/Feed constraints in 668 ms returned sat
[2021-05-13 19:52:51] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 718 ms.
[2021-05-13 19:53:09] [INFO ] Added : 240 causal constraints over 48 iterations in 18925 ms. Result :unknown
[2021-05-13 19:53:09] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 19:53:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:53:09] [INFO ] [Real]Absence check using state equation in 247 ms returned sat
[2021-05-13 19:53:10] [INFO ] [Real]Added 102 Read/Feed constraints in 82 ms returned sat
[2021-05-13 19:53:10] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:53:10] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 19:53:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:53:10] [INFO ] [Nat]Absence check using state equation in 255 ms returned sat
[2021-05-13 19:53:11] [INFO ] [Nat]Added 102 Read/Feed constraints in 1236 ms returned sat
[2021-05-13 19:53:12] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 703 ms.
[2021-05-13 19:53:30] [INFO ] Added : 240 causal constraints over 48 iterations in 18384 ms. Result :unknown
[2021-05-13 19:53:30] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 19:53:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:53:30] [INFO ] [Real]Absence check using state equation in 271 ms returned sat
[2021-05-13 19:53:30] [INFO ] [Real]Added 102 Read/Feed constraints in 50 ms returned sat
[2021-05-13 19:53:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:53:30] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 19:53:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:53:30] [INFO ] [Nat]Absence check using state equation in 234 ms returned sat
[2021-05-13 19:53:31] [INFO ] [Nat]Added 102 Read/Feed constraints in 1130 ms returned sat
[2021-05-13 19:53:32] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 530 ms.
[2021-05-13 19:53:50] [INFO ] Added : 290 causal constraints over 58 iterations in 18470 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 19:53:50] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:53:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:53:50] [INFO ] [Real]Absence check using state equation in 348 ms returned sat
[2021-05-13 19:53:51] [INFO ] [Real]Added 102 Read/Feed constraints in 94 ms returned sat
[2021-05-13 19:53:51] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:53:51] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 19:53:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:53:51] [INFO ] [Nat]Absence check using state equation in 262 ms returned sat
[2021-05-13 19:53:52] [INFO ] [Nat]Added 102 Read/Feed constraints in 867 ms returned sat
[2021-05-13 19:53:52] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 466 ms.
[2021-05-13 19:54:11] [INFO ] Added : 250 causal constraints over 50 iterations in 18802 ms. Result :unknown
[2021-05-13 19:54:11] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 19:54:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:54:11] [INFO ] [Real]Absence check using state equation in 190 ms returned sat
[2021-05-13 19:54:11] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:54:11] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 19:54:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:54:11] [INFO ] [Nat]Absence check using state equation in 211 ms returned sat
[2021-05-13 19:54:12] [INFO ] [Nat]Added 102 Read/Feed constraints in 764 ms returned sat
[2021-05-13 19:54:13] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 780 ms.
[2021-05-13 19:54:25] [INFO ] Added : 205 causal constraints over 41 iterations in 13079 ms. Result :sat
[2021-05-13 19:54:25] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 19:54:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:54:26] [INFO ] [Real]Absence check using state equation in 264 ms returned sat
[2021-05-13 19:54:26] [INFO ] [Real]Added 102 Read/Feed constraints in 69 ms returned sat
[2021-05-13 19:54:26] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:54:26] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 19:54:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:54:26] [INFO ] [Nat]Absence check using state equation in 357 ms returned sat
[2021-05-13 19:54:26] [INFO ] [Nat]Added 102 Read/Feed constraints in 423 ms returned sat
[2021-05-13 19:54:27] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 725 ms.
[2021-05-13 19:54:44] [INFO ] Added : 215 causal constraints over 43 iterations in 17271 ms. Result :sat
[2021-05-13 19:54:44] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 19:54:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:54:44] [INFO ] [Real]Absence check using state equation in 281 ms returned sat
[2021-05-13 19:54:44] [INFO ] [Real]Added 102 Read/Feed constraints in 63 ms returned sat
[2021-05-13 19:54:44] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:54:44] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 19:54:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:54:45] [INFO ] [Nat]Absence check using state equation in 254 ms returned sat
[2021-05-13 19:54:45] [INFO ] [Nat]Added 102 Read/Feed constraints in 669 ms returned sat
[2021-05-13 19:54:46] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 573 ms.
[2021-05-13 19:55:04] [INFO ] Added : 215 causal constraints over 43 iterations in 18999 ms. Result :unknown
[2021-05-13 19:55:05] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:55:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:55:05] [INFO ] [Real]Absence check using state equation in 252 ms returned sat
[2021-05-13 19:55:05] [INFO ] [Real]Added 102 Read/Feed constraints in 62 ms returned sat
[2021-05-13 19:55:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:55:05] [INFO ] [Nat]Absence check using 7 positive place invariants in 20 ms returned sat
[2021-05-13 19:55:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:55:05] [INFO ] [Nat]Absence check using state equation in 299 ms returned sat
[2021-05-13 19:55:06] [INFO ] [Nat]Added 102 Read/Feed constraints in 724 ms returned sat
[2021-05-13 19:55:07] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 474 ms.
[2021-05-13 19:55:25] [INFO ] Added : 275 causal constraints over 55 iterations in 18620 ms. Result :unknown
[2021-05-13 19:55:25] [INFO ] [Real]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 19:55:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:55:25] [INFO ] [Real]Absence check using state equation in 217 ms returned sat
[2021-05-13 19:55:25] [INFO ] [Real]Added 102 Read/Feed constraints in 59 ms returned sat
[2021-05-13 19:55:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:55:25] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 19:55:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:55:26] [INFO ] [Nat]Absence check using state equation in 237 ms returned sat
[2021-05-13 19:55:26] [INFO ] [Nat]Added 102 Read/Feed constraints in 461 ms returned sat
[2021-05-13 19:55:27] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 582 ms.
[2021-05-13 19:55:45] [INFO ] Added : 240 causal constraints over 48 iterations in 19183 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 19:55:45] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 19:55:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:55:46] [INFO ] [Real]Absence check using state equation in 241 ms returned sat
[2021-05-13 19:55:46] [INFO ] [Real]Added 102 Read/Feed constraints in 52 ms returned sat
[2021-05-13 19:55:46] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:55:46] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 19:55:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:55:46] [INFO ] [Nat]Absence check using state equation in 269 ms returned sat
[2021-05-13 19:55:47] [INFO ] [Nat]Added 102 Read/Feed constraints in 724 ms returned sat
[2021-05-13 19:55:47] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 471 ms.
[2021-05-13 19:56:06] [INFO ] Added : 235 causal constraints over 47 iterations in 18905 ms. Result :unknown
[2021-05-13 19:56:06] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:56:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:56:06] [INFO ] [Real]Absence check using state equation in 302 ms returned sat
[2021-05-13 19:56:06] [INFO ] [Real]Added 102 Read/Feed constraints in 63 ms returned sat
[2021-05-13 19:56:06] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:56:06] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 19:56:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:56:06] [INFO ] [Nat]Absence check using state equation in 281 ms returned sat
[2021-05-13 19:56:07] [INFO ] [Nat]Added 102 Read/Feed constraints in 125 ms returned sat
[2021-05-13 19:56:07] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 524 ms.
[2021-05-13 19:56:26] [INFO ] Added : 230 causal constraints over 46 iterations in 19482 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 19:56:26] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 19:56:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:56:26] [INFO ] [Real]Absence check using state equation in 283 ms returned sat
[2021-05-13 19:56:27] [INFO ] [Real]Added 102 Read/Feed constraints in 79 ms returned sat
[2021-05-13 19:56:27] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:56:27] [INFO ] [Nat]Absence check using 7 positive place invariants in 34 ms returned sat
[2021-05-13 19:56:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:56:27] [INFO ] [Nat]Absence check using state equation in 258 ms returned sat
[2021-05-13 19:56:28] [INFO ] [Nat]Added 102 Read/Feed constraints in 1072 ms returned sat
[2021-05-13 19:56:29] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 510 ms.
[2021-05-13 19:56:43] [INFO ] Added : 235 causal constraints over 47 iterations in 14516 ms. Result :sat
[2021-05-13 19:56:43] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:56:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:56:43] [INFO ] [Real]Absence check using state equation in 269 ms returned sat
[2021-05-13 19:56:43] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:56:43] [INFO ] [Nat]Absence check using 7 positive place invariants in 36 ms returned sat
[2021-05-13 19:56:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:56:44] [INFO ] [Nat]Absence check using state equation in 433 ms returned sat
[2021-05-13 19:56:44] [INFO ] [Nat]Added 102 Read/Feed constraints in 110 ms returned sat
[2021-05-13 19:56:45] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 710 ms.
[2021-05-13 19:57:03] [INFO ] Added : 240 causal constraints over 48 iterations in 19274 ms. Result :unknown
[2021-05-13 19:57:03] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 19:57:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:57:04] [INFO ] [Real]Absence check using state equation in 794 ms returned sat
[2021-05-13 19:57:04] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:57:04] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 19:57:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:57:04] [INFO ] [Nat]Absence check using state equation in 350 ms returned sat
[2021-05-13 19:57:05] [INFO ] [Nat]Added 102 Read/Feed constraints in 688 ms returned sat
[2021-05-13 19:57:06] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 544 ms.
[2021-05-13 19:57:24] [INFO ] Added : 255 causal constraints over 51 iterations in 18741 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 19:57:24] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 19:57:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:57:24] [INFO ] [Real]Absence check using state equation in 208 ms returned sat
[2021-05-13 19:57:24] [INFO ] [Real]Added 102 Read/Feed constraints in 49 ms returned sat
[2021-05-13 19:57:24] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:57:24] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 19:57:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:57:25] [INFO ] [Nat]Absence check using state equation in 200 ms returned sat
[2021-05-13 19:57:25] [INFO ] [Nat]Added 102 Read/Feed constraints in 549 ms returned sat
[2021-05-13 19:57:26] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 597 ms.
[2021-05-13 19:57:41] [INFO ] Added : 205 causal constraints over 41 iterations in 15570 ms. Result :unknown
[2021-05-13 19:57:41] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:57:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:57:41] [INFO ] [Real]Absence check using state equation in 322 ms returned sat
[2021-05-13 19:57:41] [INFO ] [Real]Added 102 Read/Feed constraints in 73 ms returned sat
[2021-05-13 19:57:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:57:41] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:57:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:57:42] [INFO ] [Nat]Absence check using state equation in 308 ms returned sat
[2021-05-13 19:57:42] [INFO ] [Nat]Added 102 Read/Feed constraints in 80 ms returned sat
[2021-05-13 19:57:43] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 618 ms.
[2021-05-13 19:57:57] [INFO ] Added : 230 causal constraints over 46 iterations in 14766 ms. Result :unknown
[2021-05-13 19:57:57] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:57:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:57:57] [INFO ] [Real]Absence check using state equation in 269 ms returned sat
[2021-05-13 19:57:57] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:57:57] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 19:57:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:57:57] [INFO ] [Nat]Absence check using state equation in 266 ms returned sat
[2021-05-13 19:57:58] [INFO ] [Nat]Added 102 Read/Feed constraints in 624 ms returned sat
[2021-05-13 19:57:59] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 613 ms.
[2021-05-13 19:58:17] [INFO ] Added : 235 causal constraints over 47 iterations in 18937 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 19:58:17] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 19:58:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:58:17] [INFO ] [Real]Absence check using state equation in 196 ms returned sat
[2021-05-13 19:58:17] [INFO ] [Real]Added 102 Read/Feed constraints in 69 ms returned sat
[2021-05-13 19:58:17] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:58:17] [INFO ] [Nat]Absence check using 7 positive place invariants in 23 ms returned sat
[2021-05-13 19:58:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:58:18] [INFO ] [Nat]Absence check using state equation in 270 ms returned sat
[2021-05-13 19:58:18] [INFO ] [Nat]Added 102 Read/Feed constraints in 748 ms returned sat
[2021-05-13 19:58:19] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 641 ms.
[2021-05-13 19:58:37] [INFO ] Added : 230 causal constraints over 46 iterations in 18824 ms. Result :unknown
[2021-05-13 19:58:37] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:58:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:58:38] [INFO ] [Real]Absence check using state equation in 221 ms returned sat
[2021-05-13 19:58:38] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:58:38] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 19:58:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:58:38] [INFO ] [Nat]Absence check using state equation in 309 ms returned sat
[2021-05-13 19:58:38] [INFO ] [Nat]Added 102 Read/Feed constraints in 93 ms returned sat
[2021-05-13 19:58:39] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 477 ms.
[2021-05-13 19:58:58] [INFO ] Added : 245 causal constraints over 49 iterations in 19377 ms. Result :unknown
[2021-05-13 19:58:58] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 19:58:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:58:58] [INFO ] [Real]Absence check using state equation in 359 ms returned sat
[2021-05-13 19:58:58] [INFO ] [Real]Added 102 Read/Feed constraints in 69 ms returned sat
[2021-05-13 19:58:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:58:58] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:58:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:58:59] [INFO ] [Nat]Absence check using state equation in 291 ms returned sat
[2021-05-13 19:58:59] [INFO ] [Nat]Added 102 Read/Feed constraints in 134 ms returned sat
[2021-05-13 19:58:59] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 624 ms.
[2021-05-13 19:59:18] [INFO ] Added : 220 causal constraints over 44 iterations in 19455 ms. Result :unknown
[2021-05-13 19:59:18] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:59:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:59:19] [INFO ] [Real]Absence check using state equation in 254 ms returned sat
[2021-05-13 19:59:19] [INFO ] [Real]Added 102 Read/Feed constraints in 64 ms returned sat
[2021-05-13 19:59:19] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:59:19] [INFO ] [Nat]Absence check using 7 positive place invariants in 19 ms returned sat
[2021-05-13 19:59:19] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:59:19] [INFO ] [Nat]Absence check using state equation in 250 ms returned sat
[2021-05-13 19:59:20] [INFO ] [Nat]Added 102 Read/Feed constraints in 788 ms returned sat
[2021-05-13 19:59:20] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 511 ms.
[2021-05-13 19:59:39] [INFO ] Added : 220 causal constraints over 44 iterations in 18726 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 19:59:39] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 19:59:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:59:39] [INFO ] [Real]Absence check using state equation in 221 ms returned sat
[2021-05-13 19:59:39] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:59:39] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:59:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:59:39] [INFO ] [Nat]Absence check using state equation in 261 ms returned sat
[2021-05-13 19:59:40] [INFO ] [Nat]Added 102 Read/Feed constraints in 736 ms returned sat
[2021-05-13 19:59:41] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 665 ms.
[2021-05-13 19:59:59] [INFO ] Added : 260 causal constraints over 52 iterations in 18858 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 19:59:59] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 19:59:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:59:59] [INFO ] [Real]Absence check using state equation in 206 ms returned sat
[2021-05-13 19:59:59] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:59:59] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 19:59:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:00:00] [INFO ] [Nat]Absence check using state equation in 263 ms returned sat
[2021-05-13 20:00:00] [INFO ] [Nat]Added 102 Read/Feed constraints in 610 ms returned sat
[2021-05-13 20:00:01] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 490 ms.
[2021-05-13 20:00:19] [INFO ] Added : 230 causal constraints over 46 iterations in 18966 ms. Result :(error "Failed to check-sat")
[2021-05-13 20:00:19] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 20:00:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:00:19] [INFO ] [Real]Absence check using state equation in 214 ms returned sat
[2021-05-13 20:00:20] [INFO ] [Real]Added 102 Read/Feed constraints in 53 ms returned sat
[2021-05-13 20:00:20] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:00:20] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:00:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:00:20] [INFO ] [Nat]Absence check using state equation in 267 ms returned sat
[2021-05-13 20:00:21] [INFO ] [Nat]Added 102 Read/Feed constraints in 699 ms returned sat
[2021-05-13 20:00:21] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 423 ms.
[2021-05-13 20:00:40] [INFO ] Added : 230 causal constraints over 46 iterations in 18869 ms. Result :unknown
[2021-05-13 20:00:40] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 20:00:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:00:40] [INFO ] [Real]Absence check using state equation in 278 ms returned sat
[2021-05-13 20:00:40] [INFO ] [Real]Added 102 Read/Feed constraints in 70 ms returned sat
[2021-05-13 20:00:40] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:00:40] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 20:00:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:00:40] [INFO ] [Nat]Absence check using state equation in 297 ms returned sat
[2021-05-13 20:00:40] [INFO ] [Nat]Added 102 Read/Feed constraints in 113 ms returned sat
[2021-05-13 20:00:41] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 387 ms.
[2021-05-13 20:01:00] [INFO ] Added : 205 causal constraints over 41 iterations in 19438 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 20:01:00] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 20:01:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:01:00] [INFO ] [Real]Absence check using state equation in 226 ms returned sat
[2021-05-13 20:01:00] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:01:00] [INFO ] [Nat]Absence check using 7 positive place invariants in 19 ms returned sat
[2021-05-13 20:01:00] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:01:01] [INFO ] [Nat]Absence check using state equation in 321 ms returned sat
[2021-05-13 20:01:01] [INFO ] [Nat]Added 102 Read/Feed constraints in 114 ms returned sat
[2021-05-13 20:01:01] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 482 ms.
[2021-05-13 20:01:15] [INFO ] Added : 200 causal constraints over 40 iterations in 13695 ms. Result :sat
[2021-05-13 20:01:15] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:01:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:01:15] [INFO ] [Real]Absence check using state equation in 277 ms returned sat
[2021-05-13 20:01:15] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:01:15] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 20:01:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:01:15] [INFO ] [Nat]Absence check using state equation in 280 ms returned sat
[2021-05-13 20:01:16] [INFO ] [Nat]Added 102 Read/Feed constraints in 111 ms returned sat
[2021-05-13 20:01:16] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 477 ms.
[2021-05-13 20:01:35] [INFO ] Added : 225 causal constraints over 45 iterations in 19480 ms. Result :unknown
[2021-05-13 20:01:35] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 20:01:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:01:35] [INFO ] [Real]Absence check using state equation in 226 ms returned sat
[2021-05-13 20:01:35] [INFO ] [Real]Added 102 Read/Feed constraints in 54 ms returned sat
[2021-05-13 20:01:35] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:01:35] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 20:01:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:01:36] [INFO ] [Nat]Absence check using state equation in 270 ms returned sat
[2021-05-13 20:01:37] [INFO ] [Nat]Added 102 Read/Feed constraints in 1231 ms returned sat
[2021-05-13 20:01:38] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 578 ms.
[2021-05-13 20:01:55] [INFO ] Added : 245 causal constraints over 49 iterations in 18339 ms. Result :unknown
[2021-05-13 20:01:55] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:01:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:01:56] [INFO ] [Real]Absence check using state equation in 224 ms returned sat
[2021-05-13 20:01:56] [INFO ] [Real]Added 102 Read/Feed constraints in 60 ms returned sat
[2021-05-13 20:01:56] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:01:56] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 20:01:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:01:56] [INFO ] [Nat]Absence check using state equation in 273 ms returned sat
[2021-05-13 20:01:57] [INFO ] [Nat]Added 102 Read/Feed constraints in 1176 ms returned sat
[2021-05-13 20:01:58] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 597 ms.
[2021-05-13 20:02:16] [INFO ] Added : 305 causal constraints over 61 iterations in 18402 ms. Result :unknown
[2021-05-13 20:02:16] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:02:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:02:16] [INFO ] [Real]Absence check using state equation in 236 ms returned sat
[2021-05-13 20:02:16] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:02:16] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 20:02:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:02:16] [INFO ] [Nat]Absence check using state equation in 244 ms returned sat
[2021-05-13 20:02:16] [INFO ] [Nat]Added 102 Read/Feed constraints in 77 ms returned sat
[2021-05-13 20:02:17] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 651 ms.
[2021-05-13 20:02:30] [INFO ] Added : 220 causal constraints over 44 iterations in 12984 ms. Result :unknown
[2021-05-13 20:02:30] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:02:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:02:30] [INFO ] [Real]Absence check using state equation in 250 ms returned sat
[2021-05-13 20:02:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:02:30] [INFO ] [Nat]Absence check using 7 positive place invariants in 22 ms returned sat
[2021-05-13 20:02:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:02:30] [INFO ] [Nat]Absence check using state equation in 245 ms returned sat
[2021-05-13 20:02:31] [INFO ] [Nat]Added 102 Read/Feed constraints in 535 ms returned sat
[2021-05-13 20:02:31] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 592 ms.
[2021-05-13 20:02:45] [INFO ] Added : 235 causal constraints over 47 iterations in 14716 ms. Result :unknown
[2021-05-13 20:02:45] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:02:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:02:46] [INFO ] [Real]Absence check using state equation in 218 ms returned sat
[2021-05-13 20:02:46] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:02:46] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:02:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:02:46] [INFO ] [Nat]Absence check using state equation in 277 ms returned sat
[2021-05-13 20:02:46] [INFO ] [Nat]Added 102 Read/Feed constraints in 104 ms returned sat
[2021-05-13 20:02:47] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 775 ms.
[2021-05-13 20:03:05] [INFO ] Added : 205 causal constraints over 41 iterations in 18762 ms. Result :sat
[2021-05-13 20:03:05] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:03:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:03:05] [INFO ] [Real]Absence check using state equation in 252 ms returned sat
[2021-05-13 20:03:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:03:05] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 20:03:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:03:06] [INFO ] [Nat]Absence check using state equation in 280 ms returned sat
[2021-05-13 20:03:07] [INFO ] [Nat]Added 102 Read/Feed constraints in 1229 ms returned sat
[2021-05-13 20:03:08] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 573 ms.
[2021-05-13 20:03:25] [INFO ] Added : 305 causal constraints over 61 iterations in 18185 ms. Result :unknown
[2021-05-13 20:03:25] [INFO ] [Real]Absence check using 7 positive place invariants in 23 ms returned sat
[2021-05-13 20:03:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:03:26] [INFO ] [Real]Absence check using state equation in 242 ms returned sat
[2021-05-13 20:03:26] [INFO ] [Real]Added 102 Read/Feed constraints in 52 ms returned sat
[2021-05-13 20:03:26] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:03:26] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:03:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:03:26] [INFO ] [Nat]Absence check using state equation in 281 ms returned sat
[2021-05-13 20:03:26] [INFO ] [Nat]Added 102 Read/Feed constraints in 114 ms returned sat
[2021-05-13 20:03:27] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 378 ms.
[2021-05-13 20:03:41] [INFO ] Added : 215 causal constraints over 43 iterations in 15090 ms. Result :sat
[2021-05-13 20:03:42] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:03:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:03:42] [INFO ] [Real]Absence check using state equation in 277 ms returned sat
[2021-05-13 20:03:42] [INFO ] [Real]Added 102 Read/Feed constraints in 72 ms returned sat
[2021-05-13 20:03:42] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:03:42] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 20:03:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:03:42] [INFO ] [Nat]Absence check using state equation in 275 ms returned sat
[2021-05-13 20:03:43] [INFO ] [Nat]Added 102 Read/Feed constraints in 812 ms returned sat
[2021-05-13 20:03:44] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 409 ms.
[2021-05-13 20:04:02] [INFO ] Added : 235 causal constraints over 47 iterations in 18709 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 20:04:02] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:04:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:04:02] [INFO ] [Real]Absence check using state equation in 266 ms returned sat
[2021-05-13 20:04:02] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:04:02] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:04:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:04:03] [INFO ] [Nat]Absence check using state equation in 217 ms returned sat
[2021-05-13 20:04:03] [INFO ] [Nat]Added 102 Read/Feed constraints in 535 ms returned sat
[2021-05-13 20:04:04] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 613 ms.
[2021-05-13 20:04:22] [INFO ] Added : 245 causal constraints over 49 iterations in 19135 ms. Result :unknown
[2021-05-13 20:04:22] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:04:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:04:23] [INFO ] [Real]Absence check using state equation in 202 ms returned sat
[2021-05-13 20:04:23] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:04:23] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:04:23] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:04:23] [INFO ] [Nat]Absence check using state equation in 310 ms returned sat
[2021-05-13 20:04:23] [INFO ] [Nat]Added 102 Read/Feed constraints in 143 ms returned sat
[2021-05-13 20:04:24] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 464 ms.
[2021-05-13 20:04:43] [INFO ] Added : 305 causal constraints over 61 iterations in 19442 ms. Result :unknown
[2021-05-13 20:04:43] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 20:04:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:04:43] [INFO ] [Real]Absence check using state equation in 299 ms returned sat
[2021-05-13 20:04:43] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:04:43] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 20:04:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:04:43] [INFO ] [Nat]Absence check using state equation in 280 ms returned sat
[2021-05-13 20:04:43] [INFO ] [Nat]Added 102 Read/Feed constraints in 102 ms returned sat
[2021-05-13 20:04:44] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 603 ms.
[2021-05-13 20:05:03] [INFO ] Added : 215 causal constraints over 43 iterations in 19505 ms. Result :unknown
[2021-05-13 20:05:03] [INFO ] [Real]Absence check using 7 positive place invariants in 25 ms returned sat
[2021-05-13 20:05:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:05:03] [INFO ] [Real]Absence check using state equation in 319 ms returned sat
[2021-05-13 20:05:04] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:05:04] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 20:05:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:05:04] [INFO ] [Nat]Absence check using state equation in 314 ms returned sat
[2021-05-13 20:05:05] [INFO ] [Nat]Added 102 Read/Feed constraints in 729 ms returned sat
[2021-05-13 20:05:05] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 517 ms.
[2021-05-13 20:05:20] [INFO ] Added : 220 causal constraints over 44 iterations in 15203 ms. Result :sat
[2021-05-13 20:05:20] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:05:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:05:20] [INFO ] [Real]Absence check using state equation in 229 ms returned sat
[2021-05-13 20:05:20] [INFO ] [Real]Added 102 Read/Feed constraints in 45 ms returned sat
[2021-05-13 20:05:21] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:05:21] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:05:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:05:21] [INFO ] [Nat]Absence check using state equation in 185 ms returned sat
[2021-05-13 20:05:21] [INFO ] [Nat]Added 102 Read/Feed constraints in 558 ms returned sat
[2021-05-13 20:05:22] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 552 ms.
[2021-05-13 20:05:41] [INFO ] Added : 245 causal constraints over 49 iterations in 19159 ms. Result :unknown
[2021-05-13 20:05:41] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:05:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:05:41] [INFO ] [Real]Absence check using state equation in 251 ms returned sat
[2021-05-13 20:05:41] [INFO ] [Real]Added 102 Read/Feed constraints in 61 ms returned sat
[2021-05-13 20:05:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:05:41] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 20:05:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:05:41] [INFO ] [Nat]Absence check using state equation in 229 ms returned sat
[2021-05-13 20:05:42] [INFO ] [Nat]Added 102 Read/Feed constraints in 1216 ms returned sat
[2021-05-13 20:05:43] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 297 ms.
[2021-05-13 20:05:59] [INFO ] Added : 230 causal constraints over 46 iterations in 16236 ms. Result :sat
[2021-05-13 20:05:59] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:05:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:05:59] [INFO ] [Real]Absence check using state equation in 201 ms returned sat
[2021-05-13 20:05:59] [INFO ] [Real]Added 102 Read/Feed constraints in 46 ms returned sat
[2021-05-13 20:05:59] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:05:59] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 20:05:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:06:00] [INFO ] [Nat]Absence check using state equation in 279 ms returned sat
[2021-05-13 20:06:00] [INFO ] [Nat]Added 102 Read/Feed constraints in 790 ms returned sat
[2021-05-13 20:06:01] [INFO ] Deduced a trap composed of 56 places in 877 ms
[2021-05-13 20:06:02] [INFO ] Deduced a trap composed of 56 places in 816 ms
[2021-05-13 20:06:02] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 1941 ms
[2021-05-13 20:06:03] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 291 ms.
[2021-05-13 20:06:18] [INFO ] Added : 210 causal constraints over 42 iterations in 15629 ms. Result :sat
[2021-05-13 20:06:18] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:06:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:06:18] [INFO ] [Real]Absence check using state equation in 196 ms returned sat
[2021-05-13 20:06:18] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:06:18] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:06:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:06:19] [INFO ] [Nat]Absence check using state equation in 200 ms returned sat
[2021-05-13 20:06:19] [INFO ] [Nat]Added 102 Read/Feed constraints in 920 ms returned sat
[2021-05-13 20:06:20] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 395 ms.
[2021-05-13 20:06:38] [INFO ] Added : 235 causal constraints over 47 iterations in 18775 ms. Result :unknown
[2021-05-13 20:06:38] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:06:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:06:39] [INFO ] [Real]Absence check using state equation in 191 ms returned sat
[2021-05-13 20:06:39] [INFO ] [Real]Added 102 Read/Feed constraints in 67 ms returned sat
[2021-05-13 20:06:39] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:06:39] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 20:06:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:06:39] [INFO ] [Nat]Absence check using state equation in 220 ms returned sat
[2021-05-13 20:06:40] [INFO ] [Nat]Added 102 Read/Feed constraints in 1261 ms returned sat
[2021-05-13 20:06:40] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 294 ms.
[2021-05-13 20:06:48] [INFO ] Added : 170 causal constraints over 34 iterations in 7345 ms. Result :sat
[2021-05-13 20:06:48] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:06:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:06:48] [INFO ] [Real]Absence check using state equation in 234 ms returned sat
[2021-05-13 20:06:48] [INFO ] [Real]Added 102 Read/Feed constraints in 60 ms returned sat
[2021-05-13 20:06:48] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:06:48] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 20:06:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:06:48] [INFO ] [Nat]Absence check using state equation in 188 ms returned sat
[2021-05-13 20:06:49] [INFO ] [Nat]Added 102 Read/Feed constraints in 638 ms returned sat
[2021-05-13 20:06:49] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 308 ms.
[2021-05-13 20:07:08] [INFO ] Added : 235 causal constraints over 47 iterations in 19077 ms. Result :unknown
[2021-05-13 20:07:08] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 20:07:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:07:08] [INFO ] [Real]Absence check using state equation in 256 ms returned sat
[2021-05-13 20:07:08] [INFO ] [Real]Added 102 Read/Feed constraints in 63 ms returned sat
[2021-05-13 20:07:08] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:07:08] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:07:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:07:09] [INFO ] [Nat]Absence check using state equation in 253 ms returned sat
[2021-05-13 20:07:09] [INFO ] [Nat]Added 102 Read/Feed constraints in 94 ms returned sat
[2021-05-13 20:07:09] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 306 ms.
[2021-05-13 20:07:28] [INFO ] Added : 330 causal constraints over 66 iterations in 19556 ms. Result :unknown
[2021-05-13 20:07:28] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:07:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:07:29] [INFO ] [Real]Absence check using state equation in 212 ms returned sat
[2021-05-13 20:07:29] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:07:29] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 20:07:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:07:29] [INFO ] [Nat]Absence check using state equation in 216 ms returned sat
[2021-05-13 20:07:29] [INFO ] [Nat]Added 102 Read/Feed constraints in 533 ms returned sat
[2021-05-13 20:07:30] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 241 ms.
[2021-05-13 20:07:49] [INFO ] Added : 240 causal constraints over 48 iterations in 19174 ms. Result :unknown
[2021-05-13 20:07:49] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 20:07:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:07:49] [INFO ] [Real]Absence check using state equation in 283 ms returned sat
[2021-05-13 20:07:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:07:49] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 20:07:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:07:49] [INFO ] [Nat]Absence check using state equation in 292 ms returned sat
[2021-05-13 20:07:50] [INFO ] [Nat]Added 102 Read/Feed constraints in 817 ms returned sat
[2021-05-13 20:07:51] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 382 ms.
[2021-05-13 20:08:09] [INFO ] Added : 260 causal constraints over 52 iterations in 18767 ms. Result :unknown
[2021-05-13 20:08:09] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:08:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:08:09] [INFO ] [Real]Absence check using state equation in 201 ms returned sat
[2021-05-13 20:08:09] [INFO ] [Real]Added 102 Read/Feed constraints in 53 ms returned sat
[2021-05-13 20:08:09] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:08:09] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 20:08:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:08:10] [INFO ] [Nat]Absence check using state equation in 268 ms returned sat
[2021-05-13 20:08:10] [INFO ] [Nat]Added 102 Read/Feed constraints in 613 ms returned sat
[2021-05-13 20:08:11] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 304 ms.
[2021-05-13 20:08:29] [INFO ] Added : 245 causal constraints over 49 iterations in 18952 ms. Result :unknown
[2021-05-13 20:08:29] [INFO ] [Real]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 20:08:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:08:30] [INFO ] [Real]Absence check using state equation in 244 ms returned sat
[2021-05-13 20:08:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:08:30] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 20:08:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:08:30] [INFO ] [Nat]Absence check using state equation in 227 ms returned sat
[2021-05-13 20:08:31] [INFO ] [Nat]Added 102 Read/Feed constraints in 648 ms returned sat
[2021-05-13 20:08:31] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 434 ms.
[2021-05-13 20:08:50] [INFO ] Added : 220 causal constraints over 44 iterations in 18990 ms. Result :unknown
[2021-05-13 20:08:50] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:08:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:08:50] [INFO ] [Real]Absence check using state equation in 271 ms returned sat
[2021-05-13 20:08:50] [INFO ] [Real]Added 102 Read/Feed constraints in 64 ms returned sat
[2021-05-13 20:08:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:08:50] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 20:08:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:08:50] [INFO ] [Nat]Absence check using state equation in 265 ms returned sat
[2021-05-13 20:08:51] [INFO ] [Nat]Added 102 Read/Feed constraints in 94 ms returned sat
[2021-05-13 20:08:51] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 243 ms.
[2021-05-13 20:09:09] [INFO ] Added : 215 causal constraints over 43 iterations in 18771 ms. Result :sat
[2021-05-13 20:09:09] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:09:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:09:10] [INFO ] [Real]Absence check using state equation in 298 ms returned sat
[2021-05-13 20:09:10] [INFO ] [Real]Added 102 Read/Feed constraints in 71 ms returned sat
[2021-05-13 20:09:10] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:09:10] [INFO ] [Nat]Absence check using 7 positive place invariants in 20 ms returned sat
[2021-05-13 20:09:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:09:10] [INFO ] [Nat]Absence check using state equation in 349 ms returned sat
[2021-05-13 20:09:10] [INFO ] [Nat]Added 102 Read/Feed constraints in 99 ms returned sat
[2021-05-13 20:09:11] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 438 ms.
[2021-05-13 20:09:23] [INFO ] Added : 225 causal constraints over 45 iterations in 12791 ms. Result :unknown
[2021-05-13 20:09:23] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:09:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:09:24] [INFO ] [Real]Absence check using state equation in 204 ms returned sat
[2021-05-13 20:09:24] [INFO ] [Real]Added 102 Read/Feed constraints in 50 ms returned sat
[2021-05-13 20:09:24] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:09:24] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 20:09:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:09:24] [INFO ] [Nat]Absence check using state equation in 285 ms returned sat
[2021-05-13 20:09:25] [INFO ] [Nat]Added 102 Read/Feed constraints in 706 ms returned sat
[2021-05-13 20:09:25] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 305 ms.
[2021-05-13 20:09:44] [INFO ] Added : 280 causal constraints over 56 iterations in 18869 ms. Result :unknown
[2021-05-13 20:09:44] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:09:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:09:44] [INFO ] [Real]Absence check using state equation in 264 ms returned sat
[2021-05-13 20:09:44] [INFO ] [Real]Added 102 Read/Feed constraints in 66 ms returned sat
[2021-05-13 20:09:44] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:09:44] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 20:09:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:09:44] [INFO ] [Nat]Absence check using state equation in 195 ms returned sat
[2021-05-13 20:09:45] [INFO ] [Nat]Added 102 Read/Feed constraints in 659 ms returned sat
[2021-05-13 20:09:45] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 477 ms.
[2021-05-13 20:10:04] [INFO ] Added : 220 causal constraints over 44 iterations in 19020 ms. Result :unknown
[2021-05-13 20:10:04] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 20:10:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:10:04] [INFO ] [Real]Absence check using state equation in 247 ms returned sat
[2021-05-13 20:10:04] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:10:04] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 20:10:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:10:05] [INFO ] [Nat]Absence check using state equation in 287 ms returned sat
[2021-05-13 20:10:05] [INFO ] [Nat]Added 102 Read/Feed constraints in 714 ms returned sat
[2021-05-13 20:10:06] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 311 ms.
[2021-05-13 20:10:20] [INFO ] Added : 230 causal constraints over 46 iterations in 14328 ms. Result :sat
[2021-05-13 20:10:20] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 20:10:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:10:20] [INFO ] [Real]Absence check using state equation in 181 ms returned sat
[2021-05-13 20:10:20] [INFO ] [Real]Added 102 Read/Feed constraints in 60 ms returned sat
[2021-05-13 20:10:20] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:10:20] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 20:10:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:10:21] [INFO ] [Nat]Absence check using state equation in 295 ms returned sat
[2021-05-13 20:10:21] [INFO ] [Nat]Added 102 Read/Feed constraints in 613 ms returned sat
[2021-05-13 20:10:22] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 471 ms.
[2021-05-13 20:10:40] [INFO ] Added : 280 causal constraints over 56 iterations in 18920 ms. Result :unknown
[2021-05-13 20:10:40] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 20:10:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:10:41] [INFO ] [Real]Absence check using state equation in 212 ms returned sat
[2021-05-13 20:10:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:10:41] [INFO ] [Nat]Absence check using 7 positive place invariants in 26 ms returned sat
[2021-05-13 20:10:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:10:41] [INFO ] [Nat]Absence check using state equation in 357 ms returned sat
[2021-05-13 20:10:41] [INFO ] [Nat]Added 102 Read/Feed constraints in 135 ms returned sat
[2021-05-13 20:10:41] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 304 ms.
[2021-05-13 20:10:57] [INFO ] Added : 225 causal constraints over 45 iterations in 15732 ms. Result :unknown
[2021-05-13 20:10:57] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:10:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:10:57] [INFO ] [Real]Absence check using state equation in 190 ms returned sat
[2021-05-13 20:10:57] [INFO ] [Real]Added 102 Read/Feed constraints in 62 ms returned sat
[2021-05-13 20:10:57] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:10:57] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 20:10:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:10:57] [INFO ] [Nat]Absence check using state equation in 224 ms returned sat
[2021-05-13 20:10:59] [INFO ] [Nat]Added 102 Read/Feed constraints in 1115 ms returned sat
[2021-05-13 20:10:59] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 420 ms.
[2021-05-13 20:11:17] [INFO ] Added : 305 causal constraints over 61 iterations in 18528 ms. Result :unknown
[2021-05-13 20:11:17] [INFO ] [Real]Absence check using 7 positive place invariants in 30 ms returned sat
[2021-05-13 20:11:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:11:18] [INFO ] [Real]Absence check using state equation in 266 ms returned sat
[2021-05-13 20:11:18] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:11:18] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 20:11:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:11:18] [INFO ] [Nat]Absence check using state equation in 254 ms returned sat
[2021-05-13 20:11:19] [INFO ] [Nat]Added 102 Read/Feed constraints in 684 ms returned sat
[2021-05-13 20:11:19] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 261 ms.
[2021-05-13 20:11:38] [INFO ] Added : 230 causal constraints over 46 iterations in 18932 ms. Result :unknown
[2021-05-13 20:11:38] [INFO ] [Real]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 20:11:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:11:38] [INFO ] [Real]Absence check using state equation in 254 ms returned sat
[2021-05-13 20:11:38] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:11:38] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:11:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:11:38] [INFO ] [Nat]Absence check using state equation in 312 ms returned sat
[2021-05-13 20:11:38] [INFO ] [Nat]Added 102 Read/Feed constraints in 103 ms returned sat
[2021-05-13 20:11:39] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 489 ms.
[2021-05-13 20:11:58] [INFO ] Added : 290 causal constraints over 58 iterations in 19427 ms. Result :unknown
[2021-05-13 20:11:58] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:11:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:11:58] [INFO ] [Real]Absence check using state equation in 195 ms returned sat
[2021-05-13 20:11:58] [INFO ] [Real]Added 102 Read/Feed constraints in 54 ms returned sat
[2021-05-13 20:11:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:11:58] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:11:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:11:58] [INFO ] [Nat]Absence check using state equation in 201 ms returned sat
[2021-05-13 20:11:59] [INFO ] [Nat]Added 102 Read/Feed constraints in 535 ms returned sat
[2021-05-13 20:11:59] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 357 ms.
[2021-05-13 20:12:18] [INFO ] Added : 240 causal constraints over 48 iterations in 19191 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 20:12:18] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:12:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:12:19] [INFO ] [Real]Absence check using state equation in 266 ms returned sat
[2021-05-13 20:12:19] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:12:19] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 20:12:19] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:12:19] [INFO ] [Nat]Absence check using state equation in 273 ms returned sat
[2021-05-13 20:12:20] [INFO ] [Nat]Added 102 Read/Feed constraints in 720 ms returned sat
[2021-05-13 20:12:20] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 464 ms.
[2021-05-13 20:12:39] [INFO ] Added : 245 causal constraints over 49 iterations in 18845 ms. Result :unknown
[2021-05-13 20:12:39] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 20:12:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:12:39] [INFO ] [Real]Absence check using state equation in 205 ms returned sat
[2021-05-13 20:12:39] [INFO ] [Real]Added 102 Read/Feed constraints in 51 ms returned sat
[2021-05-13 20:12:39] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:12:39] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 20:12:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:12:39] [INFO ] [Nat]Absence check using state equation in 245 ms returned sat
[2021-05-13 20:12:40] [INFO ] [Nat]Added 102 Read/Feed constraints in 549 ms returned sat
[2021-05-13 20:12:40] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 302 ms.
[2021-05-13 20:12:59] [INFO ] Added : 245 causal constraints over 49 iterations in 19051 ms. Result :unknown
[2021-05-13 20:12:59] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:12:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:12:59] [INFO ] [Real]Absence check using state equation in 266 ms returned sat
[2021-05-13 20:12:59] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:12:59] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:12:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:13:00] [INFO ] [Nat]Absence check using state equation in 243 ms returned sat
[2021-05-13 20:13:00] [INFO ] [Nat]Added 102 Read/Feed constraints in 692 ms returned sat
[2021-05-13 20:13:01] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 445 ms.
[2021-05-13 20:13:16] [INFO ] Added : 230 causal constraints over 46 iterations in 15479 ms. Result :sat
[2021-05-13 20:13:16] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:13:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:13:16] [INFO ] [Real]Absence check using state equation in 260 ms returned sat
[2021-05-13 20:13:16] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:13:16] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:13:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:13:17] [INFO ] [Nat]Absence check using state equation in 293 ms returned sat
[2021-05-13 20:13:17] [INFO ] [Nat]Added 102 Read/Feed constraints in 101 ms returned sat
[2021-05-13 20:13:17] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 404 ms.
[2021-05-13 20:13:36] [INFO ] Added : 285 causal constraints over 57 iterations in 19470 ms. Result :unknown
[2021-05-13 20:13:36] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 20:13:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:13:37] [INFO ] [Real]Absence check using state equation in 287 ms returned sat
[2021-05-13 20:13:37] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:13:37] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 20:13:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:13:37] [INFO ] [Nat]Absence check using state equation in 231 ms returned sat
[2021-05-13 20:13:37] [INFO ] [Nat]Added 102 Read/Feed constraints in 69 ms returned sat
[2021-05-13 20:13:38] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 472 ms.
[2021-05-13 20:13:57] [INFO ] Added : 235 causal constraints over 47 iterations in 19563 ms. Result :unknown
[2021-05-13 20:13:57] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:13:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:13:57] [INFO ] [Real]Absence check using state equation in 222 ms returned sat
[2021-05-13 20:13:57] [INFO ] [Real]Added 102 Read/Feed constraints in 59 ms returned sat
[2021-05-13 20:13:57] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:13:57] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 20:13:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:13:57] [INFO ] [Nat]Absence check using state equation in 295 ms returned sat
[2021-05-13 20:13:59] [INFO ] [Nat]Added 102 Read/Feed constraints in 1320 ms returned sat
[2021-05-13 20:13:59] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 377 ms.
[2021-05-13 20:14:17] [INFO ] Added : 230 causal constraints over 46 iterations in 18241 ms. Result :unknown
[2021-05-13 20:14:17] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:14:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:14:17] [INFO ] [Real]Absence check using state equation in 209 ms returned sat
[2021-05-13 20:14:17] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:14:17] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 20:14:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:14:18] [INFO ] [Nat]Absence check using state equation in 293 ms returned sat
[2021-05-13 20:14:19] [INFO ] [Nat]Added 102 Read/Feed constraints in 954 ms returned sat
[2021-05-13 20:14:19] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 519 ms.
[2021-05-13 20:14:37] [INFO ] Added : 225 causal constraints over 45 iterations in 18624 ms. Result :unknown
[2021-05-13 20:14:37] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 20:14:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:14:38] [INFO ] [Real]Absence check using state equation in 260 ms returned sat
[2021-05-13 20:14:38] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:14:38] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 20:14:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:14:38] [INFO ] [Nat]Absence check using state equation in 358 ms returned sat
[2021-05-13 20:14:38] [INFO ] [Nat]Added 102 Read/Feed constraints in 116 ms returned sat
[2021-05-13 20:14:39] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 311 ms.
[2021-05-13 20:14:47] [INFO ] Added : 165 causal constraints over 33 iterations in 8497 ms. Result :sat
[2021-05-13 20:14:47] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:14:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:14:47] [INFO ] [Real]Absence check using state equation in 282 ms returned sat
[2021-05-13 20:14:47] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:14:47] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:14:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:14:48] [INFO ] [Nat]Absence check using state equation in 227 ms returned sat
[2021-05-13 20:14:48] [INFO ] [Nat]Added 102 Read/Feed constraints in 610 ms returned sat
[2021-05-13 20:14:49] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 530 ms.
[2021-05-13 20:15:05] [INFO ] Added : 225 causal constraints over 45 iterations in 16389 ms. Result :unknown
[2021-05-13 20:15:05] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:15:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:15:05] [INFO ] [Real]Absence check using state equation in 275 ms returned sat
[2021-05-13 20:15:05] [INFO ] [Real]Added 102 Read/Feed constraints in 53 ms returned sat
[2021-05-13 20:15:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:15:05] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 20:15:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:15:05] [INFO ] [Nat]Absence check using state equation in 345 ms returned sat
[2021-05-13 20:15:06] [INFO ] [Nat]Added 102 Read/Feed constraints in 139 ms returned sat
[2021-05-13 20:15:06] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 713 ms.
[2021-05-13 20:15:25] [INFO ] Added : 220 causal constraints over 44 iterations in 19363 ms. Result :unknown
[2021-05-13 20:15:25] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:15:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:15:25] [INFO ] [Real]Absence check using state equation in 203 ms returned sat
[2021-05-13 20:15:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:15:25] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 20:15:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:15:26] [INFO ] [Nat]Absence check using state equation in 291 ms returned sat
[2021-05-13 20:15:27] [INFO ] [Nat]Added 102 Read/Feed constraints in 870 ms returned sat
[2021-05-13 20:15:27] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 477 ms.
[2021-05-13 20:15:45] [INFO ] Added : 240 causal constraints over 48 iterations in 18591 ms. Result :unknown
[2021-05-13 20:15:45] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:15:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:15:46] [INFO ] [Real]Absence check using state equation in 208 ms returned sat
[2021-05-13 20:15:46] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:15:46] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 20:15:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:15:46] [INFO ] [Nat]Absence check using state equation in 292 ms returned sat
[2021-05-13 20:15:46] [INFO ] [Nat]Added 102 Read/Feed constraints in 94 ms returned sat
[2021-05-13 20:15:47] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 450 ms.
[2021-05-13 20:16:05] [INFO ] Added : 210 causal constraints over 42 iterations in 18694 ms. Result :sat
[2021-05-13 20:16:05] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 20:16:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:16:05] [INFO ] [Real]Absence check using state equation in 264 ms returned sat
[2021-05-13 20:16:05] [INFO ] [Real]Added 102 Read/Feed constraints in 64 ms returned sat
[2021-05-13 20:16:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:16:05] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 20:16:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:16:06] [INFO ] [Nat]Absence check using state equation in 294 ms returned sat
[2021-05-13 20:16:06] [INFO ] [Nat]Added 102 Read/Feed constraints in 630 ms returned sat
[2021-05-13 20:16:07] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 492 ms.
[2021-05-13 20:16:25] [INFO ] Added : 235 causal constraints over 47 iterations in 18965 ms. Result :unknown
[2021-05-13 20:16:25] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:16:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:16:26] [INFO ] [Real]Absence check using state equation in 285 ms returned sat
[2021-05-13 20:16:26] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:16:26] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:16:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:16:26] [INFO ] [Nat]Absence check using state equation in 271 ms returned sat
[2021-05-13 20:16:27] [INFO ] [Nat]Added 102 Read/Feed constraints in 738 ms returned sat
[2021-05-13 20:16:28] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 669 ms.
[2021-05-13 20:16:46] [INFO ] Added : 230 causal constraints over 46 iterations in 18848 ms. Result :unknown
[2021-05-13 20:16:46] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:16:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:16:46] [INFO ] [Real]Absence check using state equation in 291 ms returned sat
[2021-05-13 20:16:46] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:16:46] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:16:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:16:46] [INFO ] [Nat]Absence check using state equation in 290 ms returned sat
[2021-05-13 20:16:47] [INFO ] [Nat]Added 102 Read/Feed constraints in 618 ms returned sat
[2021-05-13 20:16:48] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 451 ms.
[2021-05-13 20:17:06] [INFO ] Added : 270 causal constraints over 54 iterations in 18978 ms. Result :unknown
[2021-05-13 20:17:06] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:17:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:17:06] [INFO ] [Real]Absence check using state equation in 213 ms returned sat
[2021-05-13 20:17:06] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:17:06] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:17:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:17:07] [INFO ] [Nat]Absence check using state equation in 280 ms returned sat
[2021-05-13 20:17:07] [INFO ] [Nat]Added 102 Read/Feed constraints in 72 ms returned sat
[2021-05-13 20:17:07] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 536 ms.
[2021-05-13 20:17:25] [INFO ] Added : 290 causal constraints over 58 iterations in 17881 ms. Result :unknown
[2021-05-13 20:17:25] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:17:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:17:25] [INFO ] [Real]Absence check using state equation in 283 ms returned sat
[2021-05-13 20:17:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:17:25] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:17:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:17:25] [INFO ] [Nat]Absence check using state equation in 254 ms returned sat
[2021-05-13 20:17:26] [INFO ] [Nat]Added 102 Read/Feed constraints in 86 ms returned sat
[2021-05-13 20:17:26] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 494 ms.
[2021-05-13 20:17:45] [INFO ] Added : 255 causal constraints over 51 iterations in 19503 ms. Result :unknown
[2021-05-13 20:17:45] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:17:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:17:46] [INFO ] [Real]Absence check using state equation in 279 ms returned sat
[2021-05-13 20:17:46] [INFO ] [Real]Added 102 Read/Feed constraints in 66 ms returned sat
[2021-05-13 20:17:46] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:17:46] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 20:17:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:17:46] [INFO ] [Nat]Absence check using state equation in 191 ms returned sat
[2021-05-13 20:17:47] [INFO ] [Nat]Added 102 Read/Feed constraints in 956 ms returned sat
[2021-05-13 20:17:48] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 665 ms.
[2021-05-13 20:18:06] [INFO ] Added : 280 causal constraints over 56 iterations in 18705 ms. Result :unknown
[2021-05-13 20:18:06] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:18:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:18:06] [INFO ] [Real]Absence check using state equation in 279 ms returned sat
[2021-05-13 20:18:06] [INFO ] [Real]Added 102 Read/Feed constraints in 65 ms returned sat
[2021-05-13 20:18:06] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:18:06] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:18:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:18:06] [INFO ] [Nat]Absence check using state equation in 288 ms returned sat
[2021-05-13 20:18:08] [INFO ] [Nat]Added 102 Read/Feed constraints in 1213 ms returned sat
[2021-05-13 20:18:08] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 545 ms.
[2021-05-13 20:18:26] [INFO ] Added : 225 causal constraints over 45 iterations in 18261 ms. Result :unknown
[2021-05-13 20:18:26] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:18:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:18:26] [INFO ] [Real]Absence check using state equation in 233 ms returned sat
[2021-05-13 20:18:26] [INFO ] [Real]Added 102 Read/Feed constraints in 68 ms returned sat
[2021-05-13 20:18:26] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:18:27] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 20:18:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:18:27] [INFO ] [Nat]Absence check using state equation in 279 ms returned sat
[2021-05-13 20:18:27] [INFO ] [Nat]Added 102 Read/Feed constraints in 106 ms returned sat
[2021-05-13 20:18:28] [INFO ] Deduced a trap composed of 56 places in 988 ms
[2021-05-13 20:18:29] [INFO ] Deduced a trap composed of 56 places in 778 ms
[2021-05-13 20:18:29] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 2042 ms
[2021-05-13 20:18:29] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 454 ms.
[2021-05-13 20:18:46] [INFO ] Added : 230 causal constraints over 46 iterations in 17509 ms. Result :unknown
[2021-05-13 20:18:47] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:18:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:18:47] [INFO ] [Real]Absence check using state equation in 228 ms returned sat
[2021-05-13 20:18:47] [INFO ] [Real]Added 102 Read/Feed constraints in 58 ms returned sat
[2021-05-13 20:18:47] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:18:47] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:18:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:18:47] [INFO ] [Nat]Absence check using state equation in 241 ms returned sat
[2021-05-13 20:18:48] [INFO ] [Nat]Added 102 Read/Feed constraints in 1028 ms returned sat
[2021-05-13 20:18:49] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 427 ms.
[2021-05-13 20:19:07] [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 (=> (> t236 0) (or (and (> t153 0) (< o153 o236)) (and (> t235 0) (< o235 o236))))") while checking expression at index 85
[2021-05-13 20:19:07] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 20:19:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:19:07] [INFO ] [Real]Absence check using state equation in 254 ms returned sat
[2021-05-13 20:19:07] [INFO ] [Real]Added 102 Read/Feed constraints in 48 ms returned sat
[2021-05-13 20:19:07] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:19:07] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 20:19:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:19:08] [INFO ] [Nat]Absence check using state equation in 288 ms returned sat
[2021-05-13 20:19:08] [INFO ] [Nat]Added 102 Read/Feed constraints in 785 ms returned sat
[2021-05-13 20:19:09] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 487 ms.
[2021-05-13 20:19:27] [INFO ] Added : 235 causal constraints over 47 iterations in 18828 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 20:19:27] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 20:19:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:19:28] [INFO ] [Real]Absence check using state equation in 218 ms returned sat
[2021-05-13 20:19:28] [INFO ] [Real]Added 102 Read/Feed constraints in 57 ms returned sat
[2021-05-13 20:19:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:19:28] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:19:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:19:28] [INFO ] [Nat]Absence check using state equation in 231 ms returned sat
[2021-05-13 20:19:28] [INFO ] [Nat]Added 102 Read/Feed constraints in 143 ms returned sat
[2021-05-13 20:19:29] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 399 ms.
[2021-05-13 20:19:48] [INFO ] Added : 210 causal constraints over 42 iterations in 19466 ms. Result :unknown
[2021-05-13 20:19:48] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 20:19:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:19:48] [INFO ] [Real]Absence check using state equation in 201 ms returned sat
[2021-05-13 20:19:48] [INFO ] [Real]Added 102 Read/Feed constraints in 79 ms returned sat
[2021-05-13 20:19:48] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:19:48] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 20:19:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:19:48] [INFO ] [Nat]Absence check using state equation in 273 ms returned sat
[2021-05-13 20:19:49] [INFO ] [Nat]Added 102 Read/Feed constraints in 1121 ms returned sat
[2021-05-13 20:19:50] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 446 ms.
[2021-05-13 20:20:08] [INFO ] Added : 245 causal constraints over 49 iterations in 18528 ms. Result :unknown
[2021-05-13 20:20:08] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:20:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:20:08] [INFO ] [Real]Absence check using state equation in 280 ms returned sat
[2021-05-13 20:20:08] [INFO ] [Real]Added 102 Read/Feed constraints in 74 ms returned sat
[2021-05-13 20:20:08] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:20:08] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 20:20:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:20:09] [INFO ] [Nat]Absence check using state equation in 270 ms returned sat
[2021-05-13 20:20:10] [INFO ] [Nat]Added 102 Read/Feed constraints in 1108 ms returned sat
[2021-05-13 20:20:10] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 421 ms.
[2021-05-13 20:20:28] [INFO ] Added : 235 causal constraints over 47 iterations in 18452 ms. Result :unknown
[2021-05-13 20:20:28] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 20:20:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:20:29] [INFO ] [Real]Absence check using state equation in 217 ms returned sat
[2021-05-13 20:20:29] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:20:29] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:20:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:20:29] [INFO ] [Nat]Absence check using state equation in 218 ms returned sat
[2021-05-13 20:20:29] [INFO ] [Nat]Added 102 Read/Feed constraints in 76 ms returned sat
[2021-05-13 20:20:30] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 656 ms.
[2021-05-13 20:20:49] [INFO ] Added : 220 causal constraints over 44 iterations in 19553 ms. Result :unknown
[2021-05-13 20:20:49] [INFO ] [Real]Absence check using 7 positive place invariants in 19 ms returned sat
[2021-05-13 20:20:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:20:49] [INFO ] [Real]Absence check using state equation in 254 ms returned sat
[2021-05-13 20:20:49] [INFO ] [Real]Added 102 Read/Feed constraints in 65 ms returned sat
[2021-05-13 20:20:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:20:49] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 20:20:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:20:50] [INFO ] [Nat]Absence check using state equation in 342 ms returned sat
[2021-05-13 20:20:50] [INFO ] [Nat]Added 102 Read/Feed constraints in 110 ms returned sat
[2021-05-13 20:20:50] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 536 ms.
[2021-05-13 20:21:09] [INFO ] Added : 215 causal constraints over 43 iterations in 19289 ms. Result :unknown
[2021-05-13 20:21:09] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:21:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:21:09] [INFO ] [Real]Absence check using state equation in 284 ms returned sat
[2021-05-13 20:21:10] [INFO ] [Real]Added 102 Read/Feed constraints in 73 ms returned sat
[2021-05-13 20:21:10] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:21:10] [INFO ] [Nat]Absence check using 7 positive place invariants in 19 ms returned sat
[2021-05-13 20:21:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:21:10] [INFO ] [Nat]Absence check using state equation in 277 ms returned sat
[2021-05-13 20:21:11] [INFO ] [Nat]Added 102 Read/Feed constraints in 680 ms returned sat
[2021-05-13 20:21:11] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 522 ms.
[2021-05-13 20:21:30] [INFO ] Added : 255 causal constraints over 51 iterations in 18913 ms. Result :unknown
[2021-05-13 20:21:30] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:21:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:21:30] [INFO ] [Real]Absence check using state equation in 330 ms returned sat
[2021-05-13 20:21:30] [INFO ] [Real]Added 102 Read/Feed constraints in 65 ms returned sat
[2021-05-13 20:21:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:21:30] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:21:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:21:30] [INFO ] [Nat]Absence check using state equation in 291 ms returned sat
[2021-05-13 20:21:31] [INFO ] [Nat]Added 102 Read/Feed constraints in 815 ms returned sat
[2021-05-13 20:21:32] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 545 ms.
[2021-05-13 20:21:50] [INFO ] Added : 255 causal constraints over 51 iterations in 18687 ms. Result :unknown
[2021-05-13 20:21:50] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned sat
[2021-05-13 20:21:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:21:50] [INFO ] [Real]Absence check using state equation in 184 ms returned sat
[2021-05-13 20:21:50] [INFO ] [Real]Added 102 Read/Feed constraints in 48 ms returned sat
[2021-05-13 20:21:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:21:50] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:21:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:21:51] [INFO ] [Nat]Absence check using state equation in 190 ms returned sat
[2021-05-13 20:21:51] [INFO ] [Nat]Added 102 Read/Feed constraints in 74 ms returned sat
[2021-05-13 20:21:51] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 487 ms.
[2021-05-13 20:22:10] [INFO ] Added : 215 causal constraints over 43 iterations in 19671 ms. Result :unknown
[2021-05-13 20:22:10] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 20:22:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:22:11] [INFO ] [Real]Absence check using state equation in 271 ms returned sat
[2021-05-13 20:22:11] [INFO ] [Real]Added 102 Read/Feed constraints in 73 ms returned sat
[2021-05-13 20:22:11] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:22:11] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:22:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:22:11] [INFO ] [Nat]Absence check using state equation in 195 ms returned sat
[2021-05-13 20:22:12] [INFO ] [Nat]Added 102 Read/Feed constraints in 1043 ms returned sat
[2021-05-13 20:22:13] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 516 ms.
[2021-05-13 20:22:31] [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 (=> (> t292 0) (or (and (> t290 0) (< o290 o292)) (and (> t291 0) (< o291 o292))))") while checking expression at index 95
[2021-05-13 20:22:31] [INFO ] [Real]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 20:22:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:22:31] [INFO ] [Real]Absence check using state equation in 212 ms returned sat
[2021-05-13 20:22:31] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:22:31] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:22:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:22:31] [INFO ] [Nat]Absence check using state equation in 331 ms returned sat
[2021-05-13 20:22:32] [INFO ] [Nat]Added 102 Read/Feed constraints in 520 ms returned sat
[2021-05-13 20:22:33] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 505 ms.
[2021-05-13 20:22:51] [INFO ] Added : 240 causal constraints over 48 iterations in 18982 ms. Result :unknown
[2021-05-13 20:22:51] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:22:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:22:51] [INFO ] [Real]Absence check using state equation in 305 ms returned sat
[2021-05-13 20:22:52] [INFO ] [Real]Added 102 Read/Feed constraints in 90 ms returned sat
[2021-05-13 20:22:52] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:22:52] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 20:22:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:22:52] [INFO ] [Nat]Absence check using state equation in 319 ms returned sat
[2021-05-13 20:22:52] [INFO ] [Nat]Added 102 Read/Feed constraints in 104 ms returned sat
[2021-05-13 20:22:53] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 549 ms.
[2021-05-13 20:23:04] [INFO ] Added : 265 causal constraints over 53 iterations in 12046 ms. Result :sat
[2021-05-13 20:23:04] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 20:23:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:23:05] [INFO ] [Real]Absence check using state equation in 233 ms returned sat
[2021-05-13 20:23:05] [INFO ] [Real]Added 102 Read/Feed constraints in 49 ms returned sat
[2021-05-13 20:23:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:23:05] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:23:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:23:05] [INFO ] [Nat]Absence check using state equation in 183 ms returned sat
[2021-05-13 20:23:05] [INFO ] [Nat]Added 102 Read/Feed constraints in 460 ms returned sat
[2021-05-13 20:23:06] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 559 ms.
[2021-05-13 20:23:25] [INFO ] Added : 245 causal constraints over 49 iterations in 19256 ms. Result :unknown
[2021-05-13 20:23:25] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:23:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:23:25] [INFO ] [Real]Absence check using state equation in 256 ms returned sat
[2021-05-13 20:23:25] [INFO ] [Real]Added 102 Read/Feed constraints in 63 ms returned sat
[2021-05-13 20:23:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:23:25] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 20:23:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:23:25] [INFO ] [Nat]Absence check using state equation in 278 ms returned sat
[2021-05-13 20:23:26] [INFO ] [Nat]Added 102 Read/Feed constraints in 787 ms returned sat
[2021-05-13 20:23:27] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 565 ms.
[2021-05-13 20:23:33] [INFO ] Added : 85 causal constraints over 17 iterations in 7100 ms. Result :unknown
[2021-05-13 20:23:33] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:23:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:23:34] [INFO ] [Real]Absence check using state equation in 278 ms returned sat
[2021-05-13 20:23:34] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:23:34] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 20:23:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:23:34] [INFO ] [Nat]Absence check using state equation in 234 ms returned sat
[2021-05-13 20:23:34] [INFO ] [Nat]Added 102 Read/Feed constraints in 81 ms returned sat
[2021-05-13 20:23:35] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 345 ms.
[2021-05-13 20:23:54] [INFO ] Added : 220 causal constraints over 44 iterations in 19458 ms. Result :unknown
[2021-05-13 20:23:54] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:23:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:23:54] [INFO ] [Real]Absence check using state equation in 274 ms returned sat
[2021-05-13 20:23:54] [INFO ] [Real]Added 102 Read/Feed constraints in 80 ms returned sat
[2021-05-13 20:23:54] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:23:54] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 20:23:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:23:55] [INFO ] [Nat]Absence check using state equation in 253 ms returned sat
[2021-05-13 20:23:56] [INFO ] [Nat]Added 102 Read/Feed constraints in 1381 ms returned sat
[2021-05-13 20:23:57] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 471 ms.
[2021-05-13 20:24:14] [INFO ] Added : 230 causal constraints over 46 iterations in 18246 ms. Result :unknown
[2021-05-13 20:24:14] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:24:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:24:15] [INFO ] [Real]Absence check using state equation in 263 ms returned sat
[2021-05-13 20:24:15] [INFO ] [Real]Added 102 Read/Feed constraints in 65 ms returned sat
[2021-05-13 20:24:15] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:24:15] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:24:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:24:15] [INFO ] [Nat]Absence check using state equation in 301 ms returned sat
[2021-05-13 20:24:16] [INFO ] [Nat]Added 102 Read/Feed constraints in 521 ms returned sat
[2021-05-13 20:24:16] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 597 ms.
[2021-05-13 20:24:35] [INFO ] Added : 240 causal constraints over 48 iterations in 18989 ms. Result :unknown
[2021-05-13 20:24:35] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 20:24:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:24:35] [INFO ] [Real]Absence check using state equation in 199 ms returned sat
[2021-05-13 20:24:35] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:24:35] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 20:24:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:24:35] [INFO ] [Nat]Absence check using state equation in 239 ms returned sat
[2021-05-13 20:24:35] [INFO ] [Nat]Added 102 Read/Feed constraints in 82 ms returned sat
[2021-05-13 20:24:36] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 483 ms.
[2021-05-13 20:24:55] [INFO ] Added : 205 causal constraints over 41 iterations in 19511 ms. Result :unknown
[2021-05-13 20:24:55] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:24:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:24:55] [INFO ] [Real]Absence check using state equation in 264 ms returned sat
[2021-05-13 20:24:55] [INFO ] [Real]Added 102 Read/Feed constraints in 73 ms returned sat
[2021-05-13 20:24:55] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:24:55] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:24:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:24:56] [INFO ] [Nat]Absence check using state equation in 250 ms returned sat
[2021-05-13 20:24:56] [INFO ] [Nat]Added 102 Read/Feed constraints in 723 ms returned sat
[2021-05-13 20:24:57] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 699 ms.
[2021-05-13 20:25:13] [INFO ] Added : 210 causal constraints over 42 iterations in 16276 ms. Result :sat
[2021-05-13 20:25:13] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:25:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:25:13] [INFO ] [Real]Absence check using state equation in 260 ms returned sat
[2021-05-13 20:25:13] [INFO ] [Real]Added 102 Read/Feed constraints in 65 ms returned sat
[2021-05-13 20:25:13] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:25:13] [INFO ] [Nat]Absence check using 7 positive place invariants in 32 ms returned sat
[2021-05-13 20:25:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:25:14] [INFO ] [Nat]Absence check using state equation in 335 ms returned sat
[2021-05-13 20:25:15] [INFO ] [Nat]Added 102 Read/Feed constraints in 1177 ms returned sat
[2021-05-13 20:25:16] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 604 ms.
[2021-05-13 20:25:31] [INFO ] Added : 210 causal constraints over 42 iterations in 15733 ms. Result :sat
[2021-05-13 20:25:31] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 20:25:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:25:31] [INFO ] [Real]Absence check using state equation in 531 ms returned sat
[2021-05-13 20:25:31] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:25:31] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:25:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:25:32] [INFO ] [Nat]Absence check using state equation in 270 ms returned sat
[2021-05-13 20:25:33] [INFO ] [Nat]Added 102 Read/Feed constraints in 750 ms returned sat
[2021-05-13 20:25:33] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 752 ms.
[2021-05-13 20:25:42] [INFO ] Added : 190 causal constraints over 38 iterations in 9358 ms. Result :sat
[2021-05-13 20:25:42] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:25:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:25:42] [INFO ] [Real]Absence check using state equation in 240 ms returned sat
[2021-05-13 20:25:42] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:25:43] [INFO ] [Nat]Absence check using 7 positive place invariants in 62 ms returned sat
[2021-05-13 20:25:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:25:43] [INFO ] [Nat]Absence check using state equation in 310 ms returned sat
[2021-05-13 20:25:44] [INFO ] [Nat]Added 102 Read/Feed constraints in 777 ms returned sat
[2021-05-13 20:25:44] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 618 ms.
[2021-05-13 20:26:03] [INFO ] Added : 240 causal constraints over 48 iterations in 18721 ms. Result :unknown
[2021-05-13 20:26:03] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:26:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:26:03] [INFO ] [Real]Absence check using state equation in 304 ms returned sat
[2021-05-13 20:26:03] [INFO ] [Real]Added 102 Read/Feed constraints in 70 ms returned sat
[2021-05-13 20:26:03] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:26:03] [INFO ] [Nat]Absence check using 7 positive place invariants in 25 ms returned sat
[2021-05-13 20:26:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:26:03] [INFO ] [Nat]Absence check using state equation in 256 ms returned sat
[2021-05-13 20:26:05] [INFO ] [Nat]Added 102 Read/Feed constraints in 1451 ms returned sat
[2021-05-13 20:26:05] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 558 ms.
[2021-05-13 20:26:23] [INFO ] Added : 235 causal constraints over 47 iterations in 18138 ms. Result :unknown
[2021-05-13 20:26:23] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:26:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:26:23] [INFO ] [Real]Absence check using state equation in 281 ms returned sat
[2021-05-13 20:26:23] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:26:23] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:26:23] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:26:24] [INFO ] [Nat]Absence check using state equation in 275 ms returned sat
[2021-05-13 20:26:24] [INFO ] [Nat]Added 102 Read/Feed constraints in 544 ms returned sat
[2021-05-13 20:26:25] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 652 ms.
[2021-05-13 20:26:43] [INFO ] Added : 240 causal constraints over 48 iterations in 19037 ms. Result :unknown
[2021-05-13 20:26:43] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 20:26:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:26:44] [INFO ] [Real]Absence check using state equation in 285 ms returned sat
[2021-05-13 20:26:44] [INFO ] [Real]Added 102 Read/Feed constraints in 69 ms returned sat
[2021-05-13 20:26:44] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:26:44] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 20:26:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:26:44] [INFO ] [Nat]Absence check using state equation in 326 ms returned sat
[2021-05-13 20:26:44] [INFO ] [Nat]Added 102 Read/Feed constraints in 151 ms returned sat
[2021-05-13 20:26:45] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 750 ms.
[2021-05-13 20:27:04] [INFO ] Added : 255 causal constraints over 51 iterations in 19342 ms. Result :unknown
[2021-05-13 20:27:04] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:27:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:27:04] [INFO ] [Real]Absence check using state equation in 276 ms returned sat
[2021-05-13 20:27:04] [INFO ] [Real]Added 102 Read/Feed constraints in 65 ms returned sat
[2021-05-13 20:27:04] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:27:04] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:27:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:27:05] [INFO ] [Nat]Absence check using state equation in 293 ms returned sat
[2021-05-13 20:27:05] [INFO ] [Nat]Added 102 Read/Feed constraints in 92 ms returned sat
[2021-05-13 20:27:05] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 556 ms.
[2021-05-13 20:27:24] [INFO ] Added : 280 causal constraints over 56 iterations in 19465 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 20:27:24] [INFO ] [Real]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 20:27:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:27:25] [INFO ] [Real]Absence check using state equation in 216 ms returned sat
[2021-05-13 20:27:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:27:25] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 20:27:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:27:25] [INFO ] [Nat]Absence check using state equation in 268 ms returned sat
[2021-05-13 20:27:25] [INFO ] [Nat]Added 102 Read/Feed constraints in 110 ms returned sat
[2021-05-13 20:27:26] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 574 ms.
[2021-05-13 20:27:32] [INFO ] Added : 50 causal constraints over 10 iterations in 6915 ms. Result :unknown
[2021-05-13 20:27:32] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:27:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:27:32] [INFO ] [Real]Absence check using state equation in 204 ms returned sat
[2021-05-13 20:27:32] [INFO ] [Real]Added 102 Read/Feed constraints in 49 ms returned sat
[2021-05-13 20:27:32] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:27:32] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:27:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:27:32] [INFO ] [Nat]Absence check using state equation in 179 ms returned sat
[2021-05-13 20:27:34] [INFO ] [Nat]Added 102 Read/Feed constraints in 1167 ms returned sat
[2021-05-13 20:27:35] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 767 ms.
[2021-05-13 20:27:52] [INFO ] Added : 320 causal constraints over 64 iterations in 18553 ms. Result :unknown
[2021-05-13 20:27:52] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 20:27:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:27:53] [INFO ] [Real]Absence check using state equation in 275 ms returned sat
[2021-05-13 20:27:53] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:27:53] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:27:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:27:53] [INFO ] [Nat]Absence check using state equation in 204 ms returned sat
[2021-05-13 20:27:53] [INFO ] [Nat]Added 102 Read/Feed constraints in 345 ms returned sat
[2021-05-13 20:27:54] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 573 ms.
[2021-05-13 20:28:13] [INFO ] Added : 230 causal constraints over 46 iterations in 19325 ms. Result :unknown
[2021-05-13 20:28:13] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:28:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:28:13] [INFO ] [Real]Absence check using state equation in 254 ms returned sat
[2021-05-13 20:28:13] [INFO ] [Real]Added 102 Read/Feed constraints in 65 ms returned sat
[2021-05-13 20:28:13] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:28:13] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:28:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:28:13] [INFO ] [Nat]Absence check using state equation in 321 ms returned sat
[2021-05-13 20:28:13] [INFO ] [Nat]Added 102 Read/Feed constraints in 87 ms returned sat
[2021-05-13 20:28:14] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 680 ms.
[2021-05-13 20:28:22] [INFO ] Added : 165 causal constraints over 33 iterations in 7904 ms. Result :sat
[2021-05-13 20:28:22] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:28:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:28:22] [INFO ] [Real]Absence check using state equation in 241 ms returned sat
[2021-05-13 20:28:22] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:28:22] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 20:28:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:28:22] [INFO ] [Nat]Absence check using state equation in 339 ms returned sat
[2021-05-13 20:28:23] [INFO ] [Nat]Added 102 Read/Feed constraints in 521 ms returned sat
[2021-05-13 20:28:24] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 507 ms.
[2021-05-13 20:28:42] [INFO ] Added : 230 causal constraints over 46 iterations in 18980 ms. Result :unknown
[2021-05-13 20:28:42] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:28:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:28:42] [INFO ] [Real]Absence check using state equation in 292 ms returned sat
[2021-05-13 20:28:42] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:28:42] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 20:28:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:28:43] [INFO ] [Nat]Absence check using state equation in 300 ms returned sat
[2021-05-13 20:28:43] [INFO ] [Nat]Added 102 Read/Feed constraints in 370 ms returned sat
[2021-05-13 20:28:44] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 748 ms.
[2021-05-13 20:29:02] [INFO ] Added : 225 causal constraints over 45 iterations in 19180 ms. Result :unknown
[2021-05-13 20:29:02] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:29:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:29:03] [INFO ] [Real]Absence check using state equation in 236 ms returned sat
[2021-05-13 20:29:03] [INFO ] [Real]Added 102 Read/Feed constraints in 53 ms returned sat
[2021-05-13 20:29:03] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:29:03] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:29:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:29:03] [INFO ] [Nat]Absence check using state equation in 251 ms returned sat
[2021-05-13 20:29:04] [INFO ] [Nat]Added 102 Read/Feed constraints in 656 ms returned sat
[2021-05-13 20:29:05] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 700 ms.
[2021-05-13 20:29:23] [INFO ] Added : 240 causal constraints over 48 iterations in 18726 ms. Result :unknown
[2021-05-13 20:29:23] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 20:29:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:29:23] [INFO ] [Real]Absence check using state equation in 282 ms returned sat
[2021-05-13 20:29:23] [INFO ] [Real]Added 102 Read/Feed constraints in 69 ms returned sat
[2021-05-13 20:29:23] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:29:23] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 20:29:23] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:29:24] [INFO ] [Nat]Absence check using state equation in 291 ms returned sat
[2021-05-13 20:29:24] [INFO ] [Nat]Added 102 Read/Feed constraints in 872 ms returned sat
[2021-05-13 20:29:25] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 504 ms.
[2021-05-13 20:29:43] [INFO ] Added : 215 causal constraints over 43 iterations in 18656 ms. Result :unknown
[2021-05-13 20:29:43] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:29:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:29:43] [INFO ] [Real]Absence check using state equation in 256 ms returned sat
[2021-05-13 20:29:43] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:29:44] [INFO ] [Nat]Absence check using 7 positive place invariants in 21 ms returned sat
[2021-05-13 20:29:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:29:44] [INFO ] [Nat]Absence check using state equation in 200 ms returned sat
[2021-05-13 20:29:44] [INFO ] [Nat]Added 102 Read/Feed constraints in 731 ms returned sat
[2021-05-13 20:29:45] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 512 ms.
[2021-05-13 20:30:04] [INFO ] Added : 245 causal constraints over 49 iterations in 18963 ms. Result :unknown
[2021-05-13 20:30:04] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:30:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:30:04] [INFO ] [Real]Absence check using state equation in 256 ms returned sat
[2021-05-13 20:30:04] [INFO ] [Real]Added 102 Read/Feed constraints in 79 ms returned sat
[2021-05-13 20:30:04] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:30:04] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:30:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:30:04] [INFO ] [Nat]Absence check using state equation in 195 ms returned sat
[2021-05-13 20:30:05] [INFO ] [Nat]Added 102 Read/Feed constraints in 1056 ms returned sat
[2021-05-13 20:30:06] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 681 ms.
[2021-05-13 20:30:24] [INFO ] Added : 310 causal constraints over 62 iterations in 18599 ms. Result :unknown
[2021-05-13 20:30:24] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:30:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:30:24] [INFO ] [Real]Absence check using state equation in 209 ms returned sat
[2021-05-13 20:30:24] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:30:24] [INFO ] [Nat]Absence check using 7 positive place invariants in 24 ms returned sat
[2021-05-13 20:30:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:30:24] [INFO ] [Nat]Absence check using state equation in 255 ms returned sat
[2021-05-13 20:30:25] [INFO ] [Nat]Added 102 Read/Feed constraints in 111 ms returned sat
[2021-05-13 20:30:25] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 495 ms.
[2021-05-13 20:30:44] [INFO ] Added : 215 causal constraints over 43 iterations in 19522 ms. Result :unknown
[2021-05-13 20:30:44] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:30:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:30:44] [INFO ] [Real]Absence check using state equation in 230 ms returned sat
[2021-05-13 20:30:45] [INFO ] [Real]Added 102 Read/Feed constraints in 69 ms returned sat
[2021-05-13 20:30:45] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:30:45] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:30:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:30:45] [INFO ] [Nat]Absence check using state equation in 205 ms returned sat
[2021-05-13 20:30:46] [INFO ] [Nat]Added 102 Read/Feed constraints in 1303 ms returned sat
[2021-05-13 20:30:47] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 693 ms.
[2021-05-13 20:30:54] [INFO ] Added : 85 causal constraints over 17 iterations in 7676 ms. Result :unknown
[2021-05-13 20:30:54] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 20:30:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:30:54] [INFO ] [Real]Absence check using state equation in 270 ms returned sat
[2021-05-13 20:30:54] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:30:54] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 20:30:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:30:55] [INFO ] [Nat]Absence check using state equation in 275 ms returned sat
[2021-05-13 20:30:55] [INFO ] [Nat]Added 102 Read/Feed constraints in 634 ms returned sat
[2021-05-13 20:30:56] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 744 ms.
[2021-05-13 20:31:14] [INFO ] Added : 230 causal constraints over 46 iterations in 18974 ms. Result :unknown
[2021-05-13 20:31:14] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:31:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:31:14] [INFO ] [Real]Absence check using state equation in 192 ms returned sat
[2021-05-13 20:31:14] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:31:15] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:31:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:31:15] [INFO ] [Nat]Absence check using state equation in 232 ms returned sat
[2021-05-13 20:31:16] [INFO ] [Nat]Added 102 Read/Feed constraints in 1447 ms returned sat
[2021-05-13 20:31:17] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 800 ms.
[2021-05-13 20:31:34] [INFO ] Added : 240 causal constraints over 48 iterations in 18166 ms. Result :unknown
[2021-05-13 20:31:35] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 20:31:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:31:35] [INFO ] [Real]Absence check using state equation in 260 ms returned sat
[2021-05-13 20:31:35] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:31:35] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 20:31:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:31:35] [INFO ] [Nat]Absence check using state equation in 231 ms returned sat
[2021-05-13 20:31:35] [INFO ] [Nat]Added 102 Read/Feed constraints in 73 ms returned sat
[2021-05-13 20:31:36] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 572 ms.
[2021-05-13 20:31:55] [INFO ] Added : 215 causal constraints over 43 iterations in 19422 ms. Result :unknown
[2021-05-13 20:31:55] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned sat
[2021-05-13 20:31:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:31:55] [INFO ] [Real]Absence check using state equation in 248 ms returned sat
[2021-05-13 20:31:55] [INFO ] [Real]Added 102 Read/Feed constraints in 59 ms returned sat
[2021-05-13 20:31:55] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:31:55] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 20:31:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:31:55] [INFO ] [Nat]Absence check using state equation in 195 ms returned sat
[2021-05-13 20:31:56] [INFO ] [Nat]Added 102 Read/Feed constraints in 802 ms returned sat
[2021-05-13 20:31:57] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 731 ms.
[2021-05-13 20:32:15] [INFO ] Added : 235 causal constraints over 47 iterations in 18871 ms. Result :unknown
[2021-05-13 20:32:15] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 20:32:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:32:16] [INFO ] [Real]Absence check using state equation in 271 ms returned sat
[2021-05-13 20:32:16] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:32:16] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 20:32:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:32:16] [INFO ] [Nat]Absence check using state equation in 282 ms returned sat
[2021-05-13 20:32:17] [INFO ] [Nat]Added 102 Read/Feed constraints in 677 ms returned sat
[2021-05-13 20:32:17] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 636 ms.
[2021-05-13 20:32:36] [INFO ] Added : 200 causal constraints over 40 iterations in 18909 ms. Result :unknown
[2021-05-13 20:32:36] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 20:32:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:32:36] [INFO ] [Real]Absence check using state equation in 245 ms returned sat
[2021-05-13 20:32:36] [INFO ] [Real]Added 102 Read/Feed constraints in 64 ms returned sat
[2021-05-13 20:32:36] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:32:36] [INFO ] [Nat]Absence check using 7 positive place invariants in 23 ms returned sat
[2021-05-13 20:32:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:32:36] [INFO ] [Nat]Absence check using state equation in 197 ms returned sat
[2021-05-13 20:32:37] [INFO ] [Nat]Added 102 Read/Feed constraints in 669 ms returned sat
[2021-05-13 20:32:38] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 660 ms.
[2021-05-13 20:32:56] [INFO ] Added : 235 causal constraints over 47 iterations in 18976 ms. Result :unknown
[2021-05-13 20:32:56] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:32:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:32:56] [INFO ] [Real]Absence check using state equation in 220 ms returned sat
[2021-05-13 20:32:56] [INFO ] [Real]Added 102 Read/Feed constraints in 64 ms returned sat
[2021-05-13 20:32:56] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:32:56] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:32:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:32:57] [INFO ] [Nat]Absence check using state equation in 213 ms returned sat
[2021-05-13 20:32:57] [INFO ] [Nat]Added 102 Read/Feed constraints in 75 ms returned sat
[2021-05-13 20:32:57] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 622 ms.
[2021-05-13 20:33:16] [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 (=> (> t273 0) (and (or (and (> t82 0) (< o82 o273)) (and (> t83 0) (< o83 o273)) (and (> t84 0) (< o84 o273)) (and (> t85 0) (< o85 o273)) (and (> t86 0) (< o86 o273)) (and (> t87 0) (< o87 o273)) (and (> t88 0) (< o88 o273)) (and (> t89 0) (< o89 o273)) (and (> t90 0) (< o90 o273)) (and (> t91 0) (< o91 o273)) (and (> t92 0) (< o92 o273)) (and (> t93 0) (< o93 o273)) (and (> t94 0) (< o94 o273)) (and (> t95 0) (< o95 o273)) (and (> t96 0) (< o96 o273)) (and (> t97 0) (< o97 o273)) (and (> t98 0) (< o98 o273)) (and (> t99 0) (< o99 o273)) (and (> t100 0) (< o100 o273)) (and (> t101 0) (< o101 o273)) (and (> t102 0) (< o102 o273)) (and (> t103 0) (< o103 o273)) (and (> t104 0) (< o104 o273)) (and (> t105 0) (< o105 o273)) (and (> t106 0) (< o106 o273)) (and (> t107 0) (< o107 o273)) (and (> t108 0) (< o108 o273)) (and (> t109 0) (< o109 o273)) (and (> t110 0) (< o110 o273)) (and (> t111 0) (< o111 o273)) (and (> t112 0) (< o112 o273)) (and (> t113 0) (< o113 o273)) (and (> t114 0) (< o114 o273)) (and (> t115 0) (< o115 o273)) (and (> t116 0) (< o116 o273)) (and (> t117 0) (< o117 o273)) (and (> t118 0) (< o118 o273)) (and (> t119 0) (< o119 o273)) (and (> t120 0) (< o120 o273)) (and (> t121 0) (< o121 o273)) (and (> t122 0) (< o122 o273)) (and (> t123 0) (< o123 o273)) (and (> t124 0) (< o124 o273)) (and (> t125 0) (< o125 o273)) (and (> t126 0) (< o126 o273)) (and (> t127 0) (< o127 o273)) (and (> t128 0) (< o128 o273)) (and (> t129 0) (< o129 o273)) (and (> t130 0) (< o130 o273)) (and (> t131 0) (< o131 o273)) (and (> t132 0) (< o132 o273)) (and (> t133 0) (< o133 o273)) (and (> t134 0) (< o134 o273)) (and (> t135 0) (< o135 o273)) (and (> t136 0) (< o136 o273)) (and (> t137 0) (< o137 o273)) (and (> t138 0) (< o138 o273)) (and (> t139 0) (< o139 o273)) (and (> t140 0) (< o140 o273)) (and (> t141 0) (< o141 o273)) (and (> t142 0) (< o142 o273)) (and (> t143 0) (< o143 o273)) (and (> t144 0) (< o144 o273)) (and (> t145 0) (< o145 o273)) (and (> t146 0) (< o146 o273)) (and (> t147 0) (< o147 o273)) (and (> t148 0) (< o148 o273)) (and (> t149 0) (< o149 o273)) (and (> t150 0) (< o150 o273)) (and (> t151 0) (< o151 o273)) (and (> t152 0) (< o152 o273)) (and (> t153 0) (< o153 o273)) (and (> t154 0) (< o154 o273)) (and (> t155 0) (< o155 o273)) (and (> t156 0) (< o156 o273)) (and (> t157 0) (< o157 o273)) (and (> t158 0) (< o158 o273)) (and (> t159 0) (< o159 o273)) (and (> t160 0) (< o160 o273)) (and (> t161 0) (< o161 o273)) (and (> t163 0) (< o163 o273))) (or (and (> t270 0) (< o270 o273)) (and (> t271 0) (< o271 o273)))))") while checking expression at index 130
[2021-05-13 20:33:16] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 20:33:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:33:17] [INFO ] [Real]Absence check using state equation in 261 ms returned sat
[2021-05-13 20:33:17] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:33:17] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:33:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:33:17] [INFO ] [Nat]Absence check using state equation in 269 ms returned sat
[2021-05-13 20:33:17] [INFO ] [Nat]Added 102 Read/Feed constraints in 103 ms returned sat
[2021-05-13 20:33:18] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 570 ms.
[2021-05-13 20:33:37] [INFO ] Added : 230 causal constraints over 46 iterations in 19544 ms. Result :unknown
[2021-05-13 20:33:37] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:33:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:33:37] [INFO ] [Real]Absence check using state equation in 267 ms returned sat
[2021-05-13 20:33:37] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:33:37] [INFO ] [Nat]Absence check using 7 positive place invariants in 20 ms returned sat
[2021-05-13 20:33:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:33:37] [INFO ] [Nat]Absence check using state equation in 254 ms returned sat
[2021-05-13 20:33:38] [INFO ] [Nat]Added 102 Read/Feed constraints in 734 ms returned sat
[2021-05-13 20:33:39] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 557 ms.
[2021-05-13 20:33:57] [INFO ] Added : 240 causal constraints over 48 iterations in 18935 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 20:33:57] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 20:33:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:33:57] [INFO ] [Real]Absence check using state equation in 219 ms returned sat
[2021-05-13 20:33:57] [INFO ] [Real]Added 102 Read/Feed constraints in 51 ms returned sat
[2021-05-13 20:33:57] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:33:58] [INFO ] [Nat]Absence check using 7 positive place invariants in 20 ms returned sat
[2021-05-13 20:33:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:33:58] [INFO ] [Nat]Absence check using state equation in 252 ms returned sat
[2021-05-13 20:33:59] [INFO ] [Nat]Added 102 Read/Feed constraints in 1335 ms returned sat
[2021-05-13 20:34:00] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 531 ms.
[2021-05-13 20:34:17] [INFO ] Added : 235 causal constraints over 47 iterations in 18175 ms. Result :unknown
[2021-05-13 20:34:17] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:34:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:34:18] [INFO ] [Real]Absence check using state equation in 242 ms returned sat
[2021-05-13 20:34:18] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:34:18] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 20:34:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:34:18] [INFO ] [Nat]Absence check using state equation in 255 ms returned sat
[2021-05-13 20:34:18] [INFO ] [Nat]Added 102 Read/Feed constraints in 76 ms returned sat
[2021-05-13 20:34:19] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 492 ms.
[2021-05-13 20:34:26] [INFO ] Added : 165 causal constraints over 33 iterations in 7554 ms. Result :sat
[2021-05-13 20:34:26] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 20:34:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:34:26] [INFO ] [Real]Absence check using state equation in 272 ms returned sat
[2021-05-13 20:34:26] [INFO ] [Real]Added 102 Read/Feed constraints in 84 ms returned sat
[2021-05-13 20:34:26] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:34:26] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 20:34:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:34:27] [INFO ] [Nat]Absence check using state equation in 276 ms returned sat
[2021-05-13 20:34:28] [INFO ] [Nat]Added 102 Read/Feed constraints in 1432 ms returned sat
[2021-05-13 20:34:29] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 693 ms.
[2021-05-13 20:34:46] [INFO ] Added : 220 causal constraints over 44 iterations in 18141 ms. Result :unknown
[2021-05-13 20:34:46] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:34:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:34:47] [INFO ] [Real]Absence check using state equation in 280 ms returned sat
[2021-05-13 20:34:47] [INFO ] [Real]Added 102 Read/Feed constraints in 55 ms returned sat
[2021-05-13 20:34:47] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:34:47] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:34:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:34:47] [INFO ] [Nat]Absence check using state equation in 193 ms returned sat
[2021-05-13 20:34:48] [INFO ] [Nat]Added 102 Read/Feed constraints in 652 ms returned sat
[2021-05-13 20:34:48] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 614 ms.
[2021-05-13 20:35:07] [INFO ] Added : 265 causal constraints over 53 iterations in 18920 ms. Result :unknown
[2021-05-13 20:35:07] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 20:35:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:35:07] [INFO ] [Real]Absence check using state equation in 278 ms returned sat
[2021-05-13 20:35:07] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:35:07] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:35:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:35:08] [INFO ] [Nat]Absence check using state equation in 343 ms returned sat
[2021-05-13 20:35:08] [INFO ] [Nat]Added 102 Read/Feed constraints in 723 ms returned sat
[2021-05-13 20:35:09] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 608 ms.
[2021-05-13 20:35:26] [INFO ] Added : 230 causal constraints over 46 iterations in 17632 ms. Result :sat
[2021-05-13 20:35:26] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:35:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:35:27] [INFO ] [Real]Absence check using state equation in 243 ms returned sat
[2021-05-13 20:35:27] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:35:27] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 20:35:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:35:27] [INFO ] [Nat]Absence check using state equation in 230 ms returned sat
[2021-05-13 20:35:27] [INFO ] [Nat]Added 102 Read/Feed constraints in 517 ms returned sat
[2021-05-13 20:35:28] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 438 ms.
[2021-05-13 20:35:45] [INFO ] Added : 235 causal constraints over 47 iterations in 17992 ms. Result :sat
[2021-05-13 20:35:46] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:35:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:35:46] [INFO ] [Real]Absence check using state equation in 262 ms returned sat
[2021-05-13 20:35:46] [INFO ] [Real]Added 102 Read/Feed constraints in 63 ms returned sat
[2021-05-13 20:35:46] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:35:46] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 20:35:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:35:46] [INFO ] [Nat]Absence check using state equation in 306 ms returned sat
[2021-05-13 20:35:47] [INFO ] [Nat]Added 102 Read/Feed constraints in 620 ms returned sat
[2021-05-13 20:35:48] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 644 ms.
[2021-05-13 20:36:06] [INFO ] Added : 280 causal constraints over 56 iterations in 18944 ms. Result :unknown
[2021-05-13 20:36:06] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:36:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:36:06] [INFO ] [Real]Absence check using state equation in 195 ms returned sat
[2021-05-13 20:36:06] [INFO ] [Real]Added 102 Read/Feed constraints in 54 ms returned sat
[2021-05-13 20:36:06] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:36:06] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:36:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:36:06] [INFO ] [Nat]Absence check using state equation in 195 ms returned sat
[2021-05-13 20:36:07] [INFO ] [Nat]Added 102 Read/Feed constraints in 647 ms returned sat
[2021-05-13 20:36:08] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 572 ms.
[2021-05-13 20:36:26] [INFO ] Added : 230 causal constraints over 46 iterations in 18969 ms. Result :unknown
[2021-05-13 20:36:26] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:36:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:36:27] [INFO ] [Real]Absence check using state equation in 258 ms returned sat
[2021-05-13 20:36:27] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:36:27] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 20:36:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:36:27] [INFO ] [Nat]Absence check using state equation in 257 ms returned sat
[2021-05-13 20:36:27] [INFO ] [Nat]Added 102 Read/Feed constraints in 112 ms returned sat
[2021-05-13 20:36:27] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 311 ms.
[2021-05-13 20:36:47] [INFO ] Added : 240 causal constraints over 48 iterations in 19556 ms. Result :(error "Failed to check-sat")
[2021-05-13 20:36:47] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:36:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:36:47] [INFO ] [Real]Absence check using state equation in 274 ms returned sat
[2021-05-13 20:36:47] [INFO ] [Real]Added 102 Read/Feed constraints in 67 ms returned sat
[2021-05-13 20:36:47] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:36:47] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:36:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:36:47] [INFO ] [Nat]Absence check using state equation in 225 ms returned sat
[2021-05-13 20:36:48] [INFO ] [Nat]Added 102 Read/Feed constraints in 1036 ms returned sat
[2021-05-13 20:36:49] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 513 ms.
[2021-05-13 20:37:07] [INFO ] Added : 230 causal constraints over 46 iterations in 18577 ms. Result :unknown
[2021-05-13 20:37:07] [INFO ] [Real]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 20:37:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:37:07] [INFO ] [Real]Absence check using state equation in 235 ms returned sat
[2021-05-13 20:37:07] [INFO ] [Real]Added 102 Read/Feed constraints in 52 ms returned sat
[2021-05-13 20:37:07] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:37:07] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 20:37:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:37:08] [INFO ] [Nat]Absence check using state equation in 257 ms returned sat
[2021-05-13 20:37:08] [INFO ] [Nat]Added 102 Read/Feed constraints in 98 ms returned sat
[2021-05-13 20:37:08] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 537 ms.
[2021-05-13 20:37:27] [INFO ] Added : 230 causal constraints over 46 iterations in 19521 ms. Result :unknown
[2021-05-13 20:37:27] [INFO ] [Real]Absence check using 7 positive place invariants in 20 ms returned sat
[2021-05-13 20:37:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:37:28] [INFO ] [Real]Absence check using state equation in 244 ms returned sat
[2021-05-13 20:37:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:37:28] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:37:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:37:28] [INFO ] [Nat]Absence check using state equation in 251 ms returned sat
[2021-05-13 20:37:29] [INFO ] [Nat]Added 102 Read/Feed constraints in 611 ms returned sat
[2021-05-13 20:37:29] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 522 ms.
[2021-05-13 20:37:48] [INFO ] Added : 260 causal constraints over 52 iterations in 19055 ms. Result :unknown
[2021-05-13 20:37:48] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:37:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:37:48] [INFO ] [Real]Absence check using state equation in 289 ms returned sat
[2021-05-13 20:37:48] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:37:48] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:37:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:37:48] [INFO ] [Nat]Absence check using state equation in 252 ms returned sat
[2021-05-13 20:37:48] [INFO ] [Nat]Added 102 Read/Feed constraints in 83 ms returned sat
[2021-05-13 20:37:49] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 661 ms.
[2021-05-13 20:38:08] [INFO ] Added : 230 causal constraints over 46 iterations in 19516 ms. Result :unknown
[2021-05-13 20:38:08] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:38:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:38:08] [INFO ] [Real]Absence check using state equation in 208 ms returned sat
[2021-05-13 20:38:08] [INFO ] [Real]Added 102 Read/Feed constraints in 51 ms returned sat
[2021-05-13 20:38:08] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:38:08] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 20:38:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:38:09] [INFO ] [Nat]Absence check using state equation in 289 ms returned sat
[2021-05-13 20:38:10] [INFO ] [Nat]Added 102 Read/Feed constraints in 746 ms returned sat
[2021-05-13 20:38:10] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 539 ms.
[2021-05-13 20:38:28] [INFO ] Added : 225 causal constraints over 45 iterations in 18822 ms. Result :unknown
[2021-05-13 20:38:28] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:38:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:38:29] [INFO ] [Real]Absence check using state equation in 263 ms returned sat
[2021-05-13 20:38:29] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:38:29] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 20:38:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:38:29] [INFO ] [Nat]Absence check using state equation in 214 ms returned sat
[2021-05-13 20:38:29] [INFO ] [Nat]Added 102 Read/Feed constraints in 84 ms returned sat
[2021-05-13 20:38:30] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 628 ms.
[2021-05-13 20:38:49] [INFO ] Added : 325 causal constraints over 65 iterations in 19569 ms. Result :unknown
[2021-05-13 20:38:49] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:38:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:38:49] [INFO ] [Real]Absence check using state equation in 206 ms returned sat
[2021-05-13 20:38:49] [INFO ] [Real]Added 102 Read/Feed constraints in 47 ms returned sat
[2021-05-13 20:38:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:38:49] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 20:38:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:38:49] [INFO ] [Nat]Absence check using state equation in 256 ms returned sat
[2021-05-13 20:38:51] [INFO ] [Nat]Added 102 Read/Feed constraints in 1234 ms returned sat
[2021-05-13 20:38:51] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 611 ms.
[2021-05-13 20:39:09] [INFO ] Added : 235 causal constraints over 47 iterations in 18388 ms. Result :unknown
[2021-05-13 20:39:09] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned sat
[2021-05-13 20:39:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:39:09] [INFO ] [Real]Absence check using state equation in 210 ms returned sat
[2021-05-13 20:39:09] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:39:09] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 20:39:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:39:10] [INFO ] [Nat]Absence check using state equation in 259 ms returned sat
[2021-05-13 20:39:10] [INFO ] [Nat]Added 102 Read/Feed constraints in 96 ms returned sat
[2021-05-13 20:39:10] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 558 ms.
[2021-05-13 20:39:29] [INFO ] Added : 250 causal constraints over 50 iterations in 19543 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 20:39:29] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:39:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:39:30] [INFO ] [Real]Absence check using state equation in 198 ms returned sat
[2021-05-13 20:39:30] [INFO ] [Real]Added 102 Read/Feed constraints in 70 ms returned sat
[2021-05-13 20:39:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:39:30] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 20:39:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:39:30] [INFO ] [Nat]Absence check using state equation in 269 ms returned sat
[2021-05-13 20:39:30] [INFO ] [Nat]Added 102 Read/Feed constraints in 106 ms returned sat
[2021-05-13 20:39:31] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 634 ms.
[2021-05-13 20:39:46] [INFO ] Added : 270 causal constraints over 54 iterations in 15882 ms. Result :unknown
[2021-05-13 20:39:46] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:39:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:39:47] [INFO ] [Real]Absence check using state equation in 428 ms returned sat
[2021-05-13 20:39:47] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:39:47] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 20:39:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:39:47] [INFO ] [Nat]Absence check using state equation in 218 ms returned sat
[2021-05-13 20:39:47] [INFO ] [Nat]Added 102 Read/Feed constraints in 614 ms returned sat
[2021-05-13 20:39:48] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 644 ms.
[2021-05-13 20:40:07] [INFO ] Added : 265 causal constraints over 53 iterations in 19040 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 20:40:07] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 20:40:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:40:07] [INFO ] [Real]Absence check using state equation in 196 ms returned sat
[2021-05-13 20:40:07] [INFO ] [Real]Added 102 Read/Feed constraints in 48 ms returned sat
[2021-05-13 20:40:07] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:40:07] [INFO ] [Nat]Absence check using 7 positive place invariants in 20 ms returned sat
[2021-05-13 20:40:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:40:07] [INFO ] [Nat]Absence check using state equation in 231 ms returned sat
[2021-05-13 20:40:08] [INFO ] [Nat]Added 102 Read/Feed constraints in 665 ms returned sat
[2021-05-13 20:40:09] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 850 ms.
[2021-05-13 20:40:25] [INFO ] Added : 205 causal constraints over 41 iterations in 16978 ms. Result :sat
[2021-05-13 20:40:25] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:40:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:40:25] [INFO ] [Real]Absence check using state equation in 236 ms returned sat
[2021-05-13 20:40:25] [INFO ] [Real]Added 102 Read/Feed constraints in 64 ms returned sat
[2021-05-13 20:40:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:40:25] [INFO ] [Nat]Absence check using 7 positive place invariants in 23 ms returned sat
[2021-05-13 20:40:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:40:26] [INFO ] [Nat]Absence check using state equation in 315 ms returned sat
[2021-05-13 20:40:27] [INFO ] [Nat]Added 102 Read/Feed constraints in 1326 ms returned sat
[2021-05-13 20:40:28] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 594 ms.
[2021-05-13 20:40:43] [INFO ] Added : 235 causal constraints over 47 iterations in 15491 ms. Result :sat
[2021-05-13 20:40:43] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:40:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:40:43] [INFO ] [Real]Absence check using state equation in 231 ms returned sat
[2021-05-13 20:40:43] [INFO ] [Real]Added 102 Read/Feed constraints in 48 ms returned sat
[2021-05-13 20:40:43] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:40:43] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 20:40:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:40:43] [INFO ] [Nat]Absence check using state equation in 262 ms returned sat
[2021-05-13 20:40:44] [INFO ] [Nat]Added 102 Read/Feed constraints in 823 ms returned sat
[2021-05-13 20:40:45] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 448 ms.
[2021-05-13 20:41:03] [INFO ] Added : 225 causal constraints over 45 iterations in 18756 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 20:41:03] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:41:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:41:03] [INFO ] [Real]Absence check using state equation in 205 ms returned sat
[2021-05-13 20:41:03] [INFO ] [Real]Added 102 Read/Feed constraints in 53 ms returned sat
[2021-05-13 20:41:03] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:41:03] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:41:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:41:04] [INFO ] [Nat]Absence check using state equation in 262 ms returned sat
[2021-05-13 20:41:04] [INFO ] [Nat]Added 102 Read/Feed constraints in 689 ms returned sat
[2021-05-13 20:41:05] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 493 ms.
[2021-05-13 20:41:20] [INFO ] Added : 220 causal constraints over 44 iterations in 15091 ms. Result :unknown
[2021-05-13 20:41:20] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:41:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:41:20] [INFO ] [Real]Absence check using state equation in 243 ms returned sat
[2021-05-13 20:41:20] [INFO ] [Real]Added 102 Read/Feed constraints in 66 ms returned sat
[2021-05-13 20:41:20] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:41:20] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:41:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:41:20] [INFO ] [Nat]Absence check using state equation in 247 ms returned sat
[2021-05-13 20:41:21] [INFO ] [Nat]Added 102 Read/Feed constraints in 726 ms returned sat
[2021-05-13 20:41:22] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 565 ms.
[2021-05-13 20:41:40] [INFO ] Added : 220 causal constraints over 44 iterations in 18888 ms. Result :unknown
[2021-05-13 20:41:40] [INFO ] [Real]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 20:41:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:41:40] [INFO ] [Real]Absence check using state equation in 254 ms returned sat
[2021-05-13 20:41:40] [INFO ] [Real]Added 102 Read/Feed constraints in 62 ms returned sat
[2021-05-13 20:41:40] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:41:40] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 20:41:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:41:41] [INFO ] [Nat]Absence check using state equation in 231 ms returned sat
[2021-05-13 20:41:42] [INFO ] [Nat]Added 102 Read/Feed constraints in 1165 ms returned sat
[2021-05-13 20:41:43] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 633 ms.
[2021-05-13 20:42:00] [INFO ] Added : 305 causal constraints over 61 iterations in 18473 ms. Result :unknown
[2021-05-13 20:42:00] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 20:42:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:42:01] [INFO ] [Real]Absence check using state equation in 275 ms returned sat
[2021-05-13 20:42:01] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:42:01] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 20:42:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:42:01] [INFO ] [Nat]Absence check using state equation in 316 ms returned sat
[2021-05-13 20:42:01] [INFO ] [Nat]Added 102 Read/Feed constraints in 106 ms returned sat
[2021-05-13 20:42:02] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 745 ms.
[2021-05-13 20:42:20] [INFO ] Added : 205 causal constraints over 41 iterations in 18211 ms. Result :sat
[2021-05-13 20:42:20] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 20:42:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:42:20] [INFO ] [Real]Absence check using state equation in 283 ms returned sat
[2021-05-13 20:42:20] [INFO ] [Real]Added 102 Read/Feed constraints in 71 ms returned sat
[2021-05-13 20:42:20] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:42:20] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:42:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:42:21] [INFO ] [Nat]Absence check using state equation in 382 ms returned sat
[2021-05-13 20:42:21] [INFO ] [Nat]Added 102 Read/Feed constraints in 649 ms returned sat
[2021-05-13 20:42:22] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 585 ms.
[2021-05-13 20:42:40] [INFO ] Added : 285 causal constraints over 57 iterations in 18841 ms. Result :unknown
[2021-05-13 20:42:40] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 20:42:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:42:40] [INFO ] [Real]Absence check using state equation in 199 ms returned sat
[2021-05-13 20:42:41] [INFO ] [Real]Added 102 Read/Feed constraints in 126 ms returned sat
[2021-05-13 20:42:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:42:41] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 20:42:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:42:41] [INFO ] [Nat]Absence check using state equation in 219 ms returned sat
[2021-05-13 20:42:41] [INFO ] [Nat]Added 102 Read/Feed constraints in 79 ms returned sat
[2021-05-13 20:42:41] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 464 ms.
[2021-05-13 20:43:00] [INFO ] Added : 260 causal constraints over 52 iterations in 18883 ms. Result :unknown
[2021-05-13 20:43:00] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 20:43:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:43:00] [INFO ] [Real]Absence check using state equation in 276 ms returned sat
[2021-05-13 20:43:00] [INFO ] [Real]Added 102 Read/Feed constraints in 55 ms returned sat
[2021-05-13 20:43:00] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:43:00] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:43:00] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:43:01] [INFO ] [Nat]Absence check using state equation in 267 ms returned sat
[2021-05-13 20:43:02] [INFO ] [Nat]Added 102 Read/Feed constraints in 1442 ms returned sat
[2021-05-13 20:43:03] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 502 ms.
[2021-05-13 20:43:20] [INFO ] Added : 225 causal constraints over 45 iterations in 18232 ms. Result :unknown
[2021-05-13 20:43:20] [INFO ] [Real]Absence check using 7 positive place invariants in 20 ms returned sat
[2021-05-13 20:43:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:43:21] [INFO ] [Real]Absence check using state equation in 248 ms returned sat
[2021-05-13 20:43:21] [INFO ] [Real]Added 102 Read/Feed constraints in 56 ms returned sat
[2021-05-13 20:43:21] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:43:21] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:43:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:43:21] [INFO ] [Nat]Absence check using state equation in 271 ms returned sat
[2021-05-13 20:43:22] [INFO ] [Nat]Added 102 Read/Feed constraints in 790 ms returned sat
[2021-05-13 20:43:22] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 566 ms.
[2021-05-13 20:43:27] [INFO ] Added : 85 causal constraints over 17 iterations in 5143 ms. Result :sat
[2021-05-13 20:43:27] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:43:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:43:27] [INFO ] [Real]Absence check using state equation in 286 ms returned sat
[2021-05-13 20:43:27] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:43:28] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 20:43:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:43:28] [INFO ] [Nat]Absence check using state equation in 224 ms returned sat
[2021-05-13 20:43:28] [INFO ] [Nat]Added 102 Read/Feed constraints in 424 ms returned sat
[2021-05-13 20:43:29] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 433 ms.
[2021-05-13 20:43:47] [INFO ] Added : 265 causal constraints over 53 iterations in 19141 ms. Result :unknown
[2021-05-13 20:43:48] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:43:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:43:48] [INFO ] [Real]Absence check using state equation in 205 ms returned sat
[2021-05-13 20:43:48] [INFO ] [Real]Added 102 Read/Feed constraints in 51 ms returned sat
[2021-05-13 20:43:48] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:43:48] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 20:43:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:43:48] [INFO ] [Nat]Absence check using state equation in 264 ms returned sat
[2021-05-13 20:43:49] [INFO ] [Nat]Added 102 Read/Feed constraints in 822 ms returned sat
[2021-05-13 20:43:50] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 524 ms.
[2021-05-13 20:44:08] [INFO ] Added : 255 causal constraints over 51 iterations in 18760 ms. Result :unknown
[2021-05-13 20:44:08] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:44:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:44:08] [INFO ] [Real]Absence check using state equation in 198 ms returned sat
[2021-05-13 20:44:08] [INFO ] [Real]Added 102 Read/Feed constraints in 49 ms returned sat
[2021-05-13 20:44:08] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:44:08] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 20:44:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:44:08] [INFO ] [Nat]Absence check using state equation in 248 ms returned sat
[2021-05-13 20:44:10] [INFO ] [Nat]Added 102 Read/Feed constraints in 1357 ms returned sat
[2021-05-13 20:44:10] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 557 ms.
[2021-05-13 20:44:26] [INFO ] Added : 220 causal constraints over 44 iterations in 16017 ms. Result :sat
[2021-05-13 20:44:26] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 20:44:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:44:26] [INFO ] [Real]Absence check using state equation in 225 ms returned sat
[2021-05-13 20:44:26] [INFO ] [Real]Added 102 Read/Feed constraints in 128 ms returned sat
[2021-05-13 20:44:26] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:44:27] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 20:44:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:44:27] [INFO ] [Nat]Absence check using state equation in 251 ms returned sat
[2021-05-13 20:44:28] [INFO ] [Nat]Added 102 Read/Feed constraints in 1288 ms returned sat
[2021-05-13 20:44:29] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 481 ms.
[2021-05-13 20:44:42] [INFO ] Added : 215 causal constraints over 43 iterations in 14365 ms. Result :sat
[2021-05-13 20:44:43] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:44:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:44:43] [INFO ] [Real]Absence check using state equation in 289 ms returned sat
[2021-05-13 20:44:43] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:44:43] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 20:44:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:44:43] [INFO ] [Nat]Absence check using state equation in 307 ms returned sat
[2021-05-13 20:44:44] [INFO ] [Nat]Added 102 Read/Feed constraints in 549 ms returned sat
[2021-05-13 20:44:45] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 685 ms.
[2021-05-13 20:45:03] [INFO ] Added : 310 causal constraints over 62 iterations in 19023 ms. Result :unknown
[2021-05-13 20:45:03] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:45:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:45:03] [INFO ] [Real]Absence check using state equation in 181 ms returned sat
[2021-05-13 20:45:03] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:45:03] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:45:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:45:03] [INFO ] [Nat]Absence check using state equation in 211 ms returned sat
[2021-05-13 20:45:04] [INFO ] [Nat]Added 102 Read/Feed constraints in 664 ms returned sat
[2021-05-13 20:45:05] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 629 ms.
[2021-05-13 20:45:23] [INFO ] Added : 235 causal constraints over 47 iterations in 18981 ms. Result :unknown
[2021-05-13 20:45:23] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:45:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:45:24] [INFO ] [Real]Absence check using state equation in 271 ms returned sat
[2021-05-13 20:45:24] [INFO ] [Real]Added 102 Read/Feed constraints in 67 ms returned sat
[2021-05-13 20:45:24] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:45:24] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:45:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:45:24] [INFO ] [Nat]Absence check using state equation in 193 ms returned sat
[2021-05-13 20:45:24] [INFO ] [Nat]Added 102 Read/Feed constraints in 531 ms returned sat
[2021-05-13 20:45:25] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 596 ms.
[2021-05-13 20:45:44] [INFO ] Added : 240 causal constraints over 48 iterations in 19149 ms. Result :unknown
[2021-05-13 20:45:44] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 20:45:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:45:44] [INFO ] [Real]Absence check using state equation in 256 ms returned sat
[2021-05-13 20:45:44] [INFO ] [Real]Added 102 Read/Feed constraints in 67 ms returned sat
[2021-05-13 20:45:44] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:45:44] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 20:45:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:45:44] [INFO ] [Nat]Absence check using state equation in 269 ms returned sat
[2021-05-13 20:45:45] [INFO ] [Nat]Added 102 Read/Feed constraints in 662 ms returned sat
[2021-05-13 20:45:46] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 625 ms.
[2021-05-13 20:46:04] [INFO ] Added : 320 causal constraints over 64 iterations in 18967 ms. Result :unknown
[2021-05-13 20:46:04] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 20:46:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:46:04] [INFO ] [Real]Absence check using state equation in 223 ms returned sat
[2021-05-13 20:46:04] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:46:04] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 20:46:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:46:05] [INFO ] [Nat]Absence check using state equation in 290 ms returned sat
[2021-05-13 20:46:05] [INFO ] [Nat]Added 102 Read/Feed constraints in 153 ms returned sat
[2021-05-13 20:46:05] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 474 ms.
[2021-05-13 20:46:24] [INFO ] Added : 270 causal constraints over 54 iterations in 19394 ms. Result :unknown
[2021-05-13 20:46:24] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:46:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:46:25] [INFO ] [Real]Absence check using state equation in 260 ms returned sat
[2021-05-13 20:46:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:46:25] [INFO ] [Nat]Absence check using 7 positive place invariants in 23 ms returned sat
[2021-05-13 20:46:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:46:25] [INFO ] [Nat]Absence check using state equation in 273 ms returned sat
[2021-05-13 20:46:26] [INFO ] [Nat]Added 102 Read/Feed constraints in 718 ms returned sat
[2021-05-13 20:46:26] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 464 ms.
[2021-05-13 20:46:45] [INFO ] Added : 255 causal constraints over 51 iterations in 18878 ms. Result :unknown
[2021-05-13 20:46:45] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned sat
[2021-05-13 20:46:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:46:45] [INFO ] [Real]Absence check using state equation in 241 ms returned sat
[2021-05-13 20:46:45] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:46:45] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 20:46:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:46:45] [INFO ] [Nat]Absence check using state equation in 264 ms returned sat
[2021-05-13 20:46:46] [INFO ] [Nat]Added 102 Read/Feed constraints in 612 ms returned sat
[2021-05-13 20:46:46] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 565 ms.
[2021-05-13 20:46:57] [INFO ] Added : 185 causal constraints over 37 iterations in 10988 ms. Result :sat
[2021-05-13 20:46:57] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 20:46:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:46:58] [INFO ] [Real]Absence check using state equation in 229 ms returned sat
[2021-05-13 20:46:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:46:58] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 20:46:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:46:58] [INFO ] [Nat]Absence check using state equation in 231 ms returned sat
[2021-05-13 20:46:58] [INFO ] [Nat]Added 102 Read/Feed constraints in 73 ms returned sat
[2021-05-13 20:46:59] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 692 ms.
[2021-05-13 20:47:18] [INFO ] Added : 225 causal constraints over 45 iterations in 19556 ms. Result :unknown
[2021-05-13 20:47:18] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:47:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:47:18] [INFO ] [Real]Absence check using state equation in 248 ms returned sat
[2021-05-13 20:47:18] [INFO ] [Real]Added 102 Read/Feed constraints in 62 ms returned sat
[2021-05-13 20:47:18] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:47:18] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 20:47:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:47:18] [INFO ] [Nat]Absence check using state equation in 289 ms returned sat
[2021-05-13 20:47:19] [INFO ] [Nat]Added 102 Read/Feed constraints in 682 ms returned sat
[2021-05-13 20:47:20] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 691 ms.
[2021-05-13 20:47:38] [INFO ] Added : 270 causal constraints over 54 iterations in 18919 ms. Result :unknown
[2021-05-13 20:47:38] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 20:47:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:47:38] [INFO ] [Real]Absence check using state equation in 279 ms returned sat
[2021-05-13 20:47:38] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:47:38] [INFO ] [Nat]Absence check using 7 positive place invariants in 20 ms returned sat
[2021-05-13 20:47:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:47:39] [INFO ] [Nat]Absence check using state equation in 253 ms returned sat
[2021-05-13 20:47:39] [INFO ] [Nat]Added 102 Read/Feed constraints in 699 ms returned sat
[2021-05-13 20:47:40] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 614 ms.
[2021-05-13 20:47:58] [INFO ] Added : 250 causal constraints over 50 iterations in 18963 ms. Result :unknown
[2021-05-13 20:47:58] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:47:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:47:59] [INFO ] [Real]Absence check using state equation in 246 ms returned sat
[2021-05-13 20:47:59] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:47:59] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 20:47:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:47:59] [INFO ] [Nat]Absence check using state equation in 261 ms returned sat
[2021-05-13 20:47:59] [INFO ] [Nat]Added 102 Read/Feed constraints in 105 ms returned sat
[2021-05-13 20:48:00] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 487 ms.
[2021-05-13 20:48:19] [INFO ] Added : 235 causal constraints over 47 iterations in 19325 ms. Result :unknown
[2021-05-13 20:48:19] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned sat
[2021-05-13 20:48:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:48:19] [INFO ] [Real]Absence check using state equation in 168 ms returned sat
[2021-05-13 20:48:19] [INFO ] [Real]Added 102 Read/Feed constraints in 77 ms returned sat
[2021-05-13 20:48:19] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:48:19] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:48:19] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:48:19] [INFO ] [Nat]Absence check using state equation in 256 ms returned sat
[2021-05-13 20:48:19] [INFO ] [Nat]Added 102 Read/Feed constraints in 110 ms returned sat
[2021-05-13 20:48:20] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 750 ms.
[2021-05-13 20:48:39] [INFO ] Added : 250 causal constraints over 50 iterations in 19489 ms. Result :unknown
[2021-05-13 20:48:39] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:48:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:48:39] [INFO ] [Real]Absence check using state equation in 251 ms returned sat
[2021-05-13 20:48:39] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:48:39] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:48:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:48:40] [INFO ] [Nat]Absence check using state equation in 336 ms returned sat
[2021-05-13 20:48:40] [INFO ] [Nat]Added 102 Read/Feed constraints in 593 ms returned sat
[2021-05-13 20:48:41] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 424 ms.
[2021-05-13 20:48:57] [INFO ] Added : 205 causal constraints over 41 iterations in 16592 ms. Result :sat
[2021-05-13 20:48:57] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:48:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:48:57] [INFO ] [Real]Absence check using state equation in 244 ms returned sat
[2021-05-13 20:48:57] [INFO ] [Real]Added 102 Read/Feed constraints in 48 ms returned sat
[2021-05-13 20:48:57] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:48:57] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 20:48:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:48:58] [INFO ] [Nat]Absence check using state equation in 286 ms returned sat
[2021-05-13 20:48:59] [INFO ] [Nat]Added 102 Read/Feed constraints in 783 ms returned sat
[2021-05-13 20:48:59] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 687 ms.
[2021-05-13 20:49:04] [INFO ] Added : 85 causal constraints over 17 iterations in 5552 ms. Result :sat
[2021-05-13 20:49:04] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 20:49:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:49:05] [INFO ] [Real]Absence check using state equation in 263 ms returned sat
[2021-05-13 20:49:05] [INFO ] [Real]Added 102 Read/Feed constraints in 61 ms returned sat
[2021-05-13 20:49:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:49:05] [INFO ] [Nat]Absence check using 7 positive place invariants in 19 ms returned sat
[2021-05-13 20:49:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:49:05] [INFO ] [Nat]Absence check using state equation in 295 ms returned sat
[2021-05-13 20:49:05] [INFO ] [Nat]Added 102 Read/Feed constraints in 115 ms returned sat
[2021-05-13 20:49:06] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 445 ms.
[2021-05-13 20:49:25] [INFO ] Added : 280 causal constraints over 56 iterations in 19478 ms. Result :unknown
[2021-05-13 20:49:25] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 20:49:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:49:25] [INFO ] [Real]Absence check using state equation in 302 ms returned sat
[2021-05-13 20:49:25] [INFO ] [Real]Added 102 Read/Feed constraints in 60 ms returned sat
[2021-05-13 20:49:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:49:25] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 20:49:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:49:25] [INFO ] [Nat]Absence check using state equation in 245 ms returned sat
[2021-05-13 20:49:26] [INFO ] [Nat]Added 102 Read/Feed constraints in 682 ms returned sat
[2021-05-13 20:49:27] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 556 ms.
[2021-05-13 20:49:44] [INFO ] Added : 235 causal constraints over 47 iterations in 17877 ms. Result :unknown
[2021-05-13 20:49:44] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 20:49:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:49:44] [INFO ] [Real]Absence check using state equation in 277 ms returned sat
[2021-05-13 20:49:45] [INFO ] [Real]Added 102 Read/Feed constraints in 67 ms returned sat
[2021-05-13 20:49:45] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:49:45] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 20:49:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:49:45] [INFO ] [Nat]Absence check using state equation in 246 ms returned sat
[2021-05-13 20:49:45] [INFO ] [Nat]Added 102 Read/Feed constraints in 84 ms returned sat
[2021-05-13 20:49:46] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 532 ms.
[2021-05-13 20:50:05] [INFO ] Added : 220 causal constraints over 44 iterations in 19494 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 20:50:05] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 20:50:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:50:05] [INFO ] [Real]Absence check using state equation in 201 ms returned sat
[2021-05-13 20:50:05] [INFO ] [Real]Added 102 Read/Feed constraints in 52 ms returned sat
[2021-05-13 20:50:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:50:05] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 20:50:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:50:05] [INFO ] [Nat]Absence check using state equation in 269 ms returned sat
[2021-05-13 20:50:07] [INFO ] [Nat]Added 102 Read/Feed constraints in 1267 ms returned sat
[2021-05-13 20:50:07] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 563 ms.
[2021-05-13 20:50:25] [INFO ] Added : 250 causal constraints over 50 iterations in 18321 ms. Result :unknown
[2021-05-13 20:50:25] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:50:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:50:25] [INFO ] [Real]Absence check using state equation in 262 ms returned sat
[2021-05-13 20:50:25] [INFO ] [Real]Added 102 Read/Feed constraints in 61 ms returned sat
[2021-05-13 20:50:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:50:25] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 20:50:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:50:26] [INFO ] [Nat]Absence check using state equation in 319 ms returned sat
[2021-05-13 20:50:27] [INFO ] [Nat]Added 102 Read/Feed constraints in 1083 ms returned sat
[2021-05-13 20:50:27] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 657 ms.
[2021-05-13 20:50:45] [INFO ] Added : 235 causal constraints over 47 iterations in 18499 ms. Result :unknown
[2021-05-13 20:50:45] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 20:50:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:50:46] [INFO ] [Real]Absence check using state equation in 220 ms returned sat
[2021-05-13 20:50:46] [INFO ] [Real]Added 102 Read/Feed constraints in 45 ms returned sat
[2021-05-13 20:50:46] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:50:46] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 20:50:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 20:50:46] [INFO ] [Nat]Absence check using state equation in 313 ms returned sat
[2021-05-13 20:50:47] [INFO ] [Nat]Added 102 Read/Feed constraints in 798 ms returned sat
[2021-05-13 20:50:48] [INFO ] Computed and/alt/rep : 8585/466409/527 causal constraints in 560 ms.
[2021-05-13 20:51:06] [INFO ] Added : 255 causal constraints over 51 iterations in 18710 ms. Result :unknown
[2021-05-13 20:51:06] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 20:51:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 20:51:06] [INFO ] [Real]Absence check using state equation in 224 ms returned sat
[2021-05-13 20:51:06] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 20:51:06] [INFO ] [Nat]Absence check using 7 positive place invariants in 20 ms returned sat
[2021-05-13 20:51:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16427456 kB
MemFree: 12394120 kB
After kill :
MemTotal: 16427456 kB
MemFree: 16105340 kB

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BridgeAndVehicles-PT-V80P50N50"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="gold2020"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool gold2020"
echo " Input is BridgeAndVehicles-PT-V80P50N50, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r037-tajo-162038176900158"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-PT-V80P50N50.tgz
mv BridgeAndVehicles-PT-V80P50N50 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 '' LTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;