MCC'2020 - Execution of r193-csrt-159033388900482

About the Execution of ITS-Tools for TokenRing-PT-010

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

Execution Chart

Sorry, for this execution, no execution chart could be reported.

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r193-csrt-159033388900482.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is TokenRing-PT-010, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r193-csrt-159033388900482
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.7M
-rw-r--r-- 1 mcc users 75K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 262K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 583K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.7M Apr 27 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Apr 27 15:14 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 80K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 299K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 268K Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 791K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 68K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 233K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 414K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.2M Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 15K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 35K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Apr 27 15:14 equiv_col
-rw-r--r-- 1 mcc users 4 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rw-r--r-- 1 mcc users 804K Apr 27 15:14 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1590520374594

[2020-05-26 19:12:56] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -greatspnpath, /home/mcc/BenchKit//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2020-05-26 19:12:56] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-05-26 19:12:56] [INFO ] Load time of PNML (sax parser for PT used): 158 ms
[2020-05-26 19:12:56] [INFO ] Transformed 121 places.
[2020-05-26 19:12:56] [INFO ] Transformed 1111 transitions.
[2020-05-26 19:12:56] [INFO ] Found NUPN structural information;
[2020-05-26 19:12:56] [INFO ] Parsed PT model containing 121 places and 1111 transitions in 223 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 336 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 0 resets, run finished after 10773 ms. (steps per millisecond=9 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 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, 1, 1, 1, 0, 0, 1, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 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, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 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, 1, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 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, 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, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 1, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 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, 1, 1, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 1, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 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, 1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
// Phase 1: matrix 1111 rows 121 cols
[2020-05-26 19:13:08] [INFO ] Computed 11 place invariants in 37 ms
[2020-05-26 19:13:08] [INFO ] [Real]Absence check using 11 positive place invariants in 32 ms returned sat
[2020-05-26 19:13:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:13:08] [INFO ] [Real]Absence check using state equation in 325 ms returned sat
[2020-05-26 19:13:08] [INFO ] State equation strengthened by 1010 read => feed constraints.
[2020-05-26 19:13:08] [INFO ] [Real]Added 1010 Read/Feed constraints in 131 ms returned sat
[2020-05-26 19:13:09] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:13:09] [INFO ] [Nat]Absence check using 11 positive place invariants in 19 ms returned sat
[2020-05-26 19:13:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:13:09] [INFO ] [Nat]Absence check using state equation in 308 ms returned sat
[2020-05-26 19:13:09] [INFO ] [Nat]Added 1010 Read/Feed constraints in 134 ms returned sat
[2020-05-26 19:13:09] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 125 ms.
[2020-05-26 19:13:29] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream closed (=> (> t479 0) (and (or (and (> t319 0) (< o319 o479)) (and (> t333 0) (< o333 o479)) (and (> t422 0) (< o422 o479)) (and (> t603 0) (< o603 o479)) (and (> t647 0) (< o647 o479)) (and (> t873 0) (< o873 o479)) (and (> t962 0) (< o962 o479)) (and (> t977 0) (< o977 o479)) (and (> t991 0) (< o991 o479)) (and (> t1047 0) (< o1047 o479))) (or (and (> t153 0) (< o153 o479)) (and (> t291 0) (< o291 o479)) (and (> t316 0) (< o316 o479)) (and (> t468 0) (< o468 o479)) (and (> t581 0) (< o581 o479)) (and (> t753 0) (< o753 o479)) (and (> t761 0) (< o761 o479)) (and (> t771 0) (< o771 o479)) (and (> t907 0) (< o907 o479)) (and (> t963 0) (< o963 o479)))))") while checking expression at index 0
[2020-05-26 19:13:29] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 19:13:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:13:29] [INFO ] [Real]Absence check using state equation in 751 ms returned sat
[2020-05-26 19:13:30] [INFO ] [Real]Added 1010 Read/Feed constraints in 210 ms returned sat
[2020-05-26 19:13:30] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:13:30] [INFO ] [Nat]Absence check using 11 positive place invariants in 19 ms returned sat
[2020-05-26 19:13:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:13:30] [INFO ] [Nat]Absence check using state equation in 375 ms returned sat
[2020-05-26 19:13:30] [INFO ] [Nat]Added 1010 Read/Feed constraints in 113 ms returned sat
[2020-05-26 19:13:30] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 100 ms.
[2020-05-26 19:13:50] [INFO ] Added : 505 causal constraints over 101 iterations in 19437 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-26 19:13:50] [INFO ] [Real]Absence check using 11 positive place invariants in 40 ms returned sat
[2020-05-26 19:13:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:13:50] [INFO ] [Real]Absence check using state equation in 378 ms returned sat
[2020-05-26 19:13:50] [INFO ] [Real]Added 1010 Read/Feed constraints in 110 ms returned sat
[2020-05-26 19:13:50] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:13:50] [INFO ] [Nat]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 19:13:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:13:51] [INFO ] [Nat]Absence check using state equation in 294 ms returned sat
[2020-05-26 19:13:51] [INFO ] [Nat]Added 1010 Read/Feed constraints in 109 ms returned sat
[2020-05-26 19:13:51] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 96 ms.
[2020-05-26 19:14:10] [INFO ] Added : 485 causal constraints over 97 iterations in 19539 ms. Result :unknown
[2020-05-26 19:14:10] [INFO ] [Real]Absence check using 11 positive place invariants in 17 ms returned sat
[2020-05-26 19:14:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:14:11] [INFO ] [Real]Absence check using state equation in 270 ms returned sat
[2020-05-26 19:14:11] [INFO ] [Real]Added 1010 Read/Feed constraints in 179 ms returned sat
[2020-05-26 19:14:11] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:14:11] [INFO ] [Nat]Absence check using 11 positive place invariants in 21 ms returned sat
[2020-05-26 19:14:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:14:11] [INFO ] [Nat]Absence check using state equation in 260 ms returned sat
[2020-05-26 19:14:11] [INFO ] [Nat]Added 1010 Read/Feed constraints in 130 ms returned sat
[2020-05-26 19:14:12] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 176 ms.
[2020-05-26 19:14:31] [INFO ] Added : 470 causal constraints over 94 iterations in 19543 ms. Result :unknown
[2020-05-26 19:14:31] [INFO ] [Real]Absence check using 11 positive place invariants in 16 ms returned sat
[2020-05-26 19:14:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:14:31] [INFO ] [Real]Absence check using state equation in 281 ms returned sat
[2020-05-26 19:14:31] [INFO ] [Real]Added 1010 Read/Feed constraints in 115 ms returned sat
[2020-05-26 19:14:31] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:14:32] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2020-05-26 19:14:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:14:32] [INFO ] [Nat]Absence check using state equation in 278 ms returned sat
[2020-05-26 19:14:32] [INFO ] [Nat]Added 1010 Read/Feed constraints in 142 ms returned sat
[2020-05-26 19:14:32] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 79 ms.
[2020-05-26 19:14:51] [INFO ] Added : 475 causal constraints over 95 iterations in 19515 ms. Result :unknown
[2020-05-26 19:14:52] [INFO ] [Real]Absence check using 11 positive place invariants in 28 ms returned sat
[2020-05-26 19:14:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:14:52] [INFO ] [Real]Absence check using state equation in 276 ms returned sat
[2020-05-26 19:14:52] [INFO ] [Real]Added 1010 Read/Feed constraints in 113 ms returned sat
[2020-05-26 19:14:52] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:14:52] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 19:14:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:14:52] [INFO ] [Nat]Absence check using state equation in 333 ms returned sat
[2020-05-26 19:14:52] [INFO ] [Nat]Added 1010 Read/Feed constraints in 105 ms returned sat
[2020-05-26 19:14:53] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 82 ms.
[2020-05-26 19:15:12] [INFO ] Added : 480 causal constraints over 96 iterations in 19507 ms. Result :unknown
[2020-05-26 19:15:12] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 19:15:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:15:12] [INFO ] [Real]Absence check using state equation in 324 ms returned sat
[2020-05-26 19:15:13] [INFO ] [Real]Added 1010 Read/Feed constraints in 153 ms returned sat
[2020-05-26 19:15:13] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:15:13] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2020-05-26 19:15:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:15:13] [INFO ] [Nat]Absence check using state equation in 288 ms returned sat
[2020-05-26 19:15:13] [INFO ] [Nat]Added 1010 Read/Feed constraints in 120 ms returned sat
[2020-05-26 19:15:13] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 101 ms.
[2020-05-26 19:15:33] [INFO ] Added : 475 causal constraints over 95 iterations in 19526 ms. Result :unknown
[2020-05-26 19:15:33] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 19:15:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:15:33] [INFO ] [Real]Absence check using state equation in 421 ms returned sat
[2020-05-26 19:15:33] [INFO ] [Real]Added 1010 Read/Feed constraints in 114 ms returned sat
[2020-05-26 19:15:33] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:15:33] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2020-05-26 19:15:33] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:15:34] [INFO ] [Nat]Absence check using state equation in 288 ms returned sat
[2020-05-26 19:15:34] [INFO ] [Nat]Added 1010 Read/Feed constraints in 109 ms returned sat
[2020-05-26 19:15:34] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 82 ms.
[2020-05-26 19:15:53] [INFO ] Added : 440 causal constraints over 88 iterations in 19541 ms. Result :unknown
[2020-05-26 19:15:53] [INFO ] [Real]Absence check using 11 positive place invariants in 20 ms returned sat
[2020-05-26 19:15:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:15:54] [INFO ] [Real]Absence check using state equation in 270 ms returned sat
[2020-05-26 19:15:54] [INFO ] [Real]Added 1010 Read/Feed constraints in 131 ms returned sat
[2020-05-26 19:15:54] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:15:54] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 19:15:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:15:54] [INFO ] [Nat]Absence check using state equation in 320 ms returned sat
[2020-05-26 19:15:54] [INFO ] [Nat]Added 1010 Read/Feed constraints in 137 ms returned sat
[2020-05-26 19:15:54] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 82 ms.
[2020-05-26 19:16:14] [INFO ] Added : 480 causal constraints over 96 iterations in 19498 ms. Result :unknown
[2020-05-26 19:16:14] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 19:16:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:16:14] [INFO ] [Real]Absence check using state equation in 269 ms returned sat
[2020-05-26 19:16:14] [INFO ] [Real]Added 1010 Read/Feed constraints in 113 ms returned sat
[2020-05-26 19:16:14] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:16:14] [INFO ] [Nat]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 19:16:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:16:15] [INFO ] [Nat]Absence check using state equation in 342 ms returned sat
[2020-05-26 19:16:15] [INFO ] [Nat]Added 1010 Read/Feed constraints in 128 ms returned sat
[2020-05-26 19:16:15] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 65 ms.
[2020-05-26 19:16:34] [INFO ] Added : 415 causal constraints over 83 iterations in 19511 ms. Result :(error "Failed to check-sat")
[2020-05-26 19:16:34] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 19:16:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:16:35] [INFO ] [Real]Absence check using state equation in 268 ms returned sat
[2020-05-26 19:16:35] [INFO ] [Real]Added 1010 Read/Feed constraints in 135 ms returned sat
[2020-05-26 19:16:35] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:16:35] [INFO ] [Nat]Absence check using 11 positive place invariants in 28 ms returned sat
[2020-05-26 19:16:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:16:35] [INFO ] [Nat]Absence check using state equation in 378 ms returned sat
[2020-05-26 19:16:36] [INFO ] [Nat]Added 1010 Read/Feed constraints in 114 ms returned sat
[2020-05-26 19:16:36] [INFO ] Deduced a trap composed of 66 places in 182 ms
[2020-05-26 19:16:36] [INFO ] Deduced a trap composed of 67 places in 138 ms
[2020-05-26 19:16:36] [INFO ] Deduced a trap composed of 66 places in 176 ms
[2020-05-26 19:16:36] [INFO ] Deduced a trap composed of 66 places in 144 ms
[2020-05-26 19:16:36] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 866 ms
[2020-05-26 19:16:37] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 227 ms.
[2020-05-26 19:16:55] [INFO ] Added : 460 causal constraints over 92 iterations in 18580 ms. Result :(error "Failed to check-sat")
[2020-05-26 19:16:55] [INFO ] [Real]Absence check using 11 positive place invariants in 24 ms returned sat
[2020-05-26 19:16:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:16:55] [INFO ] [Real]Absence check using state equation in 313 ms returned sat
[2020-05-26 19:16:56] [INFO ] [Real]Added 1010 Read/Feed constraints in 214 ms returned sat
[2020-05-26 19:16:56] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:16:56] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 19:16:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:16:56] [INFO ] [Nat]Absence check using state equation in 270 ms returned sat
[2020-05-26 19:16:56] [INFO ] [Nat]Added 1010 Read/Feed constraints in 116 ms returned sat
[2020-05-26 19:16:56] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 172 ms.
[2020-05-26 19:17:16] [INFO ] Added : 470 causal constraints over 94 iterations in 19578 ms. Result :unknown
[2020-05-26 19:17:16] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 19:17:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:17:16] [INFO ] [Real]Absence check using state equation in 366 ms returned sat
[2020-05-26 19:17:16] [INFO ] [Real]Added 1010 Read/Feed constraints in 128 ms returned sat
[2020-05-26 19:17:16] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:17:16] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2020-05-26 19:17:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:17:17] [INFO ] [Nat]Absence check using state equation in 365 ms returned sat
[2020-05-26 19:17:17] [INFO ] [Nat]Added 1010 Read/Feed constraints in 114 ms returned sat
[2020-05-26 19:17:17] [INFO ] Deduced a trap composed of 66 places in 135 ms
[2020-05-26 19:17:17] [INFO ] Deduced a trap composed of 66 places in 141 ms
[2020-05-26 19:17:17] [INFO ] Deduced a trap composed of 66 places in 124 ms
[2020-05-26 19:17:17] [INFO ] Deduced a trap composed of 67 places in 131 ms
[2020-05-26 19:17:17] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 730 ms
[2020-05-26 19:17:18] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 81 ms.
[2020-05-26 19:17:36] [INFO ] Added : 465 causal constraints over 93 iterations in 18755 ms. Result :(error "Failed to check-sat")
[2020-05-26 19:17:36] [INFO ] [Real]Absence check using 11 positive place invariants in 17 ms returned sat
[2020-05-26 19:17:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:17:37] [INFO ] [Real]Absence check using state equation in 349 ms returned sat
[2020-05-26 19:17:37] [INFO ] [Real]Added 1010 Read/Feed constraints in 151 ms returned sat
[2020-05-26 19:17:37] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:17:37] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 19:17:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:17:37] [INFO ] [Nat]Absence check using state equation in 275 ms returned sat
[2020-05-26 19:17:37] [INFO ] [Nat]Added 1010 Read/Feed constraints in 109 ms returned sat
[2020-05-26 19:17:37] [INFO ] Deduced a trap composed of 65 places in 139 ms
[2020-05-26 19:17:38] [INFO ] Deduced a trap composed of 66 places in 136 ms
[2020-05-26 19:17:38] [INFO ] Deduced a trap composed of 65 places in 125 ms
[2020-05-26 19:17:38] [INFO ] Deduced a trap composed of 66 places in 108 ms
[2020-05-26 19:17:38] [INFO ] Deduced a trap composed of 66 places in 120 ms
[2020-05-26 19:17:38] [INFO ] Deduced a trap composed of 64 places in 128 ms
[2020-05-26 19:17:38] [INFO ] Trap strengthening (SAT) tested/added 7/6 trap constraints in 983 ms
[2020-05-26 19:17:38] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 54 ms.
[2020-05-26 19:17:57] [INFO ] Added : 450 causal constraints over 90 iterations in 18596 ms. Result :unknown
[2020-05-26 19:17:57] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 19:17:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:17:57] [INFO ] [Real]Absence check using state equation in 258 ms returned sat
[2020-05-26 19:17:57] [INFO ] [Real]Added 1010 Read/Feed constraints in 123 ms returned sat
[2020-05-26 19:17:57] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:17:57] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 19:17:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:17:58] [INFO ] [Nat]Absence check using state equation in 266 ms returned sat
[2020-05-26 19:17:58] [INFO ] [Nat]Added 1010 Read/Feed constraints in 118 ms returned sat
[2020-05-26 19:17:58] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 82 ms.
[2020-05-26 19:18:17] [INFO ] Added : 485 causal constraints over 97 iterations in 19568 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-26 19:18:17] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 19:18:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:18:18] [INFO ] [Real]Absence check using state equation in 296 ms returned sat
[2020-05-26 19:18:18] [INFO ] [Real]Added 1010 Read/Feed constraints in 118 ms returned sat
[2020-05-26 19:18:18] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:18:18] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2020-05-26 19:18:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:18:18] [INFO ] [Nat]Absence check using state equation in 271 ms returned sat
[2020-05-26 19:18:18] [INFO ] [Nat]Added 1010 Read/Feed constraints in 108 ms returned sat
[2020-05-26 19:18:18] [INFO ] Deduced a trap composed of 66 places in 136 ms
[2020-05-26 19:18:19] [INFO ] Deduced a trap composed of 67 places in 117 ms
[2020-05-26 19:18:19] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 334 ms
[2020-05-26 19:18:19] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 71 ms.
[2020-05-26 19:18:38] [INFO ] Added : 475 causal constraints over 95 iterations in 19246 ms. Result :unknown
[2020-05-26 19:18:38] [INFO ] [Real]Absence check using 11 positive place invariants in 19 ms returned sat
[2020-05-26 19:18:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:18:38] [INFO ] [Real]Absence check using state equation in 275 ms returned sat
[2020-05-26 19:18:38] [INFO ] [Real]Added 1010 Read/Feed constraints in 114 ms returned sat
[2020-05-26 19:18:38] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:18:38] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 19:18:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:18:39] [INFO ] [Nat]Absence check using state equation in 253 ms returned sat
[2020-05-26 19:18:39] [INFO ] [Nat]Added 1010 Read/Feed constraints in 103 ms returned sat
[2020-05-26 19:18:39] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 75 ms.
[2020-05-26 19:18:58] [INFO ] Added : 470 causal constraints over 94 iterations in 19596 ms. Result :unknown
[2020-05-26 19:18:58] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 19:18:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:18:59] [INFO ] [Real]Absence check using state equation in 295 ms returned sat
[2020-05-26 19:18:59] [INFO ] [Real]Added 1010 Read/Feed constraints in 118 ms returned sat
[2020-05-26 19:18:59] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:18:59] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 19:18:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:18:59] [INFO ] [Nat]Absence check using state equation in 278 ms returned sat
[2020-05-26 19:18:59] [INFO ] [Nat]Added 1010 Read/Feed constraints in 97 ms returned sat
[2020-05-26 19:18:59] [INFO ] Deduced a trap composed of 64 places in 110 ms
[2020-05-26 19:19:00] [INFO ] Deduced a trap composed of 65 places in 115 ms
[2020-05-26 19:19:00] [INFO ] Deduced a trap composed of 64 places in 212 ms
[2020-05-26 19:19:00] [INFO ] Deduced a trap composed of 66 places in 110 ms
[2020-05-26 19:19:00] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 689 ms
[2020-05-26 19:19:00] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 68 ms.
[2020-05-26 19:19:19] [INFO ] Added : 460 causal constraints over 92 iterations in 18895 ms. Result :unknown
[2020-05-26 19:19:19] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 19:19:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:19:19] [INFO ] [Real]Absence check using state equation in 296 ms returned sat
[2020-05-26 19:19:19] [INFO ] [Real]Added 1010 Read/Feed constraints in 115 ms returned sat
[2020-05-26 19:19:19] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:19:19] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 19:19:19] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:19:20] [INFO ] [Nat]Absence check using state equation in 320 ms returned sat
[2020-05-26 19:19:20] [INFO ] [Nat]Added 1010 Read/Feed constraints in 119 ms returned sat
[2020-05-26 19:19:20] [INFO ] Deduced a trap composed of 66 places in 132 ms
[2020-05-26 19:19:20] [INFO ] Deduced a trap composed of 64 places in 114 ms
[2020-05-26 19:19:20] [INFO ] Deduced a trap composed of 65 places in 115 ms
[2020-05-26 19:19:20] [INFO ] Deduced a trap composed of 65 places in 114 ms
[2020-05-26 19:19:20] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 623 ms
[2020-05-26 19:19:21] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 59 ms.
[2020-05-26 19:19:39] [INFO ] Added : 490 causal constraints over 98 iterations in 18900 ms. Result :unknown
[2020-05-26 19:19:39] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 19:19:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:19:40] [INFO ] [Real]Absence check using state equation in 321 ms returned sat
[2020-05-26 19:19:40] [INFO ] [Real]Added 1010 Read/Feed constraints in 115 ms returned sat
[2020-05-26 19:19:40] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:19:40] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2020-05-26 19:19:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:19:40] [INFO ] [Nat]Absence check using state equation in 281 ms returned sat
[2020-05-26 19:19:40] [INFO ] [Nat]Added 1010 Read/Feed constraints in 116 ms returned sat
[2020-05-26 19:19:40] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 56 ms.
[2020-05-26 19:20:00] [INFO ] Added : 455 causal constraints over 91 iterations in 19543 ms. Result :unknown
[2020-05-26 19:20:00] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 19:20:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:20:00] [INFO ] [Real]Absence check using state equation in 264 ms returned sat
[2020-05-26 19:20:00] [INFO ] [Real]Added 1010 Read/Feed constraints in 116 ms returned sat
[2020-05-26 19:20:00] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:20:00] [INFO ] [Nat]Absence check using 11 positive place invariants in 19 ms returned sat
[2020-05-26 19:20:00] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:20:01] [INFO ] [Nat]Absence check using state equation in 280 ms returned sat
[2020-05-26 19:20:01] [INFO ] [Nat]Added 1010 Read/Feed constraints in 123 ms returned sat
[2020-05-26 19:20:01] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 64 ms.
[2020-05-26 19:20:20] [INFO ] Added : 495 causal constraints over 99 iterations in 19546 ms. Result :unknown
[2020-05-26 19:20:20] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 19:20:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:20:21] [INFO ] [Real]Absence check using state equation in 303 ms returned sat
[2020-05-26 19:20:21] [INFO ] [Real]Added 1010 Read/Feed constraints in 132 ms returned sat
[2020-05-26 19:20:21] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:20:21] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 19:20:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:20:21] [INFO ] [Nat]Absence check using state equation in 395 ms returned sat
[2020-05-26 19:20:22] [INFO ] [Nat]Added 1010 Read/Feed constraints in 96 ms returned sat
[2020-05-26 19:20:22] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 73 ms.
[2020-05-26 19:20:41] [INFO ] Added : 450 causal constraints over 90 iterations in 19458 ms. Result :unknown
[2020-05-26 19:20:41] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 19:20:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:20:41] [INFO ] [Real]Absence check using state equation in 276 ms returned sat
[2020-05-26 19:20:41] [INFO ] [Real]Added 1010 Read/Feed constraints in 123 ms returned sat
[2020-05-26 19:20:41] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:20:42] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 19:20:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:20:42] [INFO ] [Nat]Absence check using state equation in 294 ms returned sat
[2020-05-26 19:20:42] [INFO ] [Nat]Added 1010 Read/Feed constraints in 123 ms returned sat
[2020-05-26 19:20:42] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 84 ms.
[2020-05-26 19:21:02] [INFO ] Added : 450 causal constraints over 90 iterations in 19537 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-26 19:21:02] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 19:21:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:21:02] [INFO ] [Real]Absence check using state equation in 439 ms returned sat
[2020-05-26 19:21:02] [INFO ] [Real]Added 1010 Read/Feed constraints in 119 ms returned sat
[2020-05-26 19:21:02] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:21:02] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2020-05-26 19:21:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:21:02] [INFO ] [Nat]Absence check using state equation in 291 ms returned sat
[2020-05-26 19:21:03] [INFO ] [Nat]Added 1010 Read/Feed constraints in 114 ms returned sat
[2020-05-26 19:21:03] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 74 ms.
[2020-05-26 19:21:22] [INFO ] Added : 485 causal constraints over 97 iterations in 19537 ms. Result :unknown
[2020-05-26 19:21:22] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 19:21:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:21:22] [INFO ] [Real]Absence check using state equation in 291 ms returned sat
[2020-05-26 19:21:23] [INFO ] [Real]Added 1010 Read/Feed constraints in 124 ms returned sat
[2020-05-26 19:21:23] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:21:23] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 19:21:23] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:21:23] [INFO ] [Nat]Absence check using state equation in 300 ms returned sat
[2020-05-26 19:21:23] [INFO ] [Nat]Added 1010 Read/Feed constraints in 149 ms returned sat
[2020-05-26 19:21:23] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 89 ms.
[2020-05-26 19:21:43] [INFO ] Added : 490 causal constraints over 98 iterations in 19503 ms. Result :unknown
[2020-05-26 19:21:43] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 19:21:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:21:43] [INFO ] [Real]Absence check using state equation in 273 ms returned sat
[2020-05-26 19:21:43] [INFO ] [Real]Added 1010 Read/Feed constraints in 129 ms returned sat
[2020-05-26 19:21:43] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:21:43] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2020-05-26 19:21:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:21:43] [INFO ] [Nat]Absence check using state equation in 247 ms returned sat
[2020-05-26 19:21:44] [INFO ] [Nat]Added 1010 Read/Feed constraints in 119 ms returned sat
[2020-05-26 19:21:44] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 78 ms.
[2020-05-26 19:22:03] [INFO ] Added : 460 causal constraints over 92 iterations in 19600 ms. Result :(error "Failed to check-sat")
[2020-05-26 19:22:03] [INFO ] [Real]Absence check using 11 positive place invariants in 21 ms returned sat
[2020-05-26 19:22:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:22:04] [INFO ] [Real]Absence check using state equation in 287 ms returned sat
[2020-05-26 19:22:04] [INFO ] [Real]Added 1010 Read/Feed constraints in 136 ms returned sat
[2020-05-26 19:22:04] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:22:04] [INFO ] [Nat]Absence check using 11 positive place invariants in 24 ms returned sat
[2020-05-26 19:22:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:22:04] [INFO ] [Nat]Absence check using state equation in 273 ms returned sat
[2020-05-26 19:22:04] [INFO ] [Nat]Added 1010 Read/Feed constraints in 120 ms returned sat
[2020-05-26 19:22:04] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 64 ms.
[2020-05-26 19:22:24] [INFO ] Added : 485 causal constraints over 97 iterations in 19536 ms. Result :unknown
[2020-05-26 19:22:24] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 19:22:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:22:24] [INFO ] [Real]Absence check using state equation in 251 ms returned sat
[2020-05-26 19:22:24] [INFO ] [Real]Added 1010 Read/Feed constraints in 122 ms returned sat
[2020-05-26 19:22:24] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:22:24] [INFO ] [Nat]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 19:22:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:22:25] [INFO ] [Nat]Absence check using state equation in 292 ms returned sat
[2020-05-26 19:22:25] [INFO ] [Nat]Added 1010 Read/Feed constraints in 92 ms returned sat
[2020-05-26 19:22:25] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 54 ms.
[2020-05-26 19:22:44] [INFO ] Added : 505 causal constraints over 101 iterations in 19583 ms. Result :(error "Failed to check-sat")
[2020-05-26 19:22:44] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 19:22:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:22:45] [INFO ] [Real]Absence check using state equation in 275 ms returned sat
[2020-05-26 19:22:45] [INFO ] [Real]Added 1010 Read/Feed constraints in 109 ms returned sat
[2020-05-26 19:22:45] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:22:45] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 19:22:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:22:45] [INFO ] [Nat]Absence check using state equation in 256 ms returned sat
[2020-05-26 19:22:45] [INFO ] [Nat]Added 1010 Read/Feed constraints in 121 ms returned sat
[2020-05-26 19:22:45] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 54 ms.
[2020-05-26 19:23:05] [INFO ] Added : 465 causal constraints over 93 iterations in 19576 ms. Result :unknown
[2020-05-26 19:23:05] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 19:23:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:23:05] [INFO ] [Real]Absence check using state equation in 278 ms returned sat
[2020-05-26 19:23:05] [INFO ] [Real]Added 1010 Read/Feed constraints in 112 ms returned sat
[2020-05-26 19:23:05] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:23:05] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 19:23:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:23:06] [INFO ] [Nat]Absence check using state equation in 297 ms returned sat
[2020-05-26 19:23:06] [INFO ] [Nat]Added 1010 Read/Feed constraints in 120 ms returned sat
[2020-05-26 19:23:06] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 82 ms.
[2020-05-26 19:23:25] [INFO ] Added : 450 causal constraints over 90 iterations in 19544 ms. Result :unknown
[2020-05-26 19:23:25] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 19:23:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:23:26] [INFO ] [Real]Absence check using state equation in 278 ms returned sat
[2020-05-26 19:23:26] [INFO ] [Real]Added 1010 Read/Feed constraints in 120 ms returned sat
[2020-05-26 19:23:26] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:23:26] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2020-05-26 19:23:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:23:26] [INFO ] [Nat]Absence check using state equation in 292 ms returned sat
[2020-05-26 19:23:26] [INFO ] [Nat]Added 1010 Read/Feed constraints in 109 ms returned sat
[2020-05-26 19:23:26] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 89 ms.
[2020-05-26 19:23:46] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (=> (> t209 0) (and (or (and (> t408 0) (< o408 o209)) (and (> t512 0) (< o512 o209)) (and (> t567 0) (< o567 o209)) (and (> t715 0) (< o715 o209)) (and (> t716 0) (< o716 o209)) (and (> t758 0) (< o758 o209)) (and (> t838 0) (< o838 o209)) (and (> t928 0) (< o928 o209)) (and (> t998 0) (< o998 o209)) (and (> t1033 0) (< o1033 o209))) (or (and (> t2 0) (< o2 o209)) (and (> t288 0) (< o288 o209)) (and (> t356 0) (< o356 o209)) (and (> t418 0) (< o418 o209)) (and (> t437 0) (< o437 o209)) (and (> t443 0) (< o443 o209)) (and (> t449 0) (< o449 o209)) (and (> t760 0) (< o760 o209)) (and (> t984 0) (< o984 o209)) (and (> t1103 0) (< o1103 o209)))))") while checking expression at index 30
[2020-05-26 19:23:46] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 19:23:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:23:46] [INFO ] [Real]Absence check using state equation in 331 ms returned sat
[2020-05-26 19:23:46] [INFO ] [Real]Added 1010 Read/Feed constraints in 117 ms returned sat
[2020-05-26 19:23:46] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:23:46] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 19:23:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:23:47] [INFO ] [Nat]Absence check using state equation in 289 ms returned sat
[2020-05-26 19:23:47] [INFO ] [Nat]Added 1010 Read/Feed constraints in 102 ms returned sat
[2020-05-26 19:23:47] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 77 ms.
[2020-05-26 19:24:06] [INFO ] Added : 485 causal constraints over 97 iterations in 19578 ms. Result :(error "Failed to check-sat")
[2020-05-26 19:24:06] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 19:24:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:24:07] [INFO ] [Real]Absence check using state equation in 277 ms returned sat
[2020-05-26 19:24:07] [INFO ] [Real]Added 1010 Read/Feed constraints in 112 ms returned sat
[2020-05-26 19:24:07] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:24:07] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 19:24:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:24:07] [INFO ] [Nat]Absence check using state equation in 343 ms returned sat
[2020-05-26 19:24:07] [INFO ] [Nat]Added 1010 Read/Feed constraints in 129 ms returned sat
[2020-05-26 19:24:07] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 75 ms.
[2020-05-26 19:24:27] [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 (=> (> t506 0) (or (and (> t72 0) (< o72 o506)) (and (> t379 0) (< o379 o506)) (and (> t439 0) (< o439 o506)) (and (> t517 0) (< o517 o506)) (and (> t608 0) (< o608 o506)) (and (> t685 0) (< o685 o506)) (and (> t822 0) (< o822 o506)) (and (> t864 0) (< o864 o506)) (and (> t881 0) (< o881 o506)) (and (> t976 0) (< o976 o506))))") while checking expression at index 32
[2020-05-26 19:24:27] [INFO ] [Real]Absence check using 11 positive place invariants in 22 ms returned sat
[2020-05-26 19:24:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:24:27] [INFO ] [Real]Absence check using state equation in 268 ms returned sat
[2020-05-26 19:24:27] [INFO ] [Real]Added 1010 Read/Feed constraints in 118 ms returned sat
[2020-05-26 19:24:27] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:24:27] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 19:24:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:24:28] [INFO ] [Nat]Absence check using state equation in 321 ms returned sat
[2020-05-26 19:24:28] [INFO ] [Nat]Added 1010 Read/Feed constraints in 118 ms returned sat
[2020-05-26 19:24:28] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 83 ms.
[2020-05-26 19:24:47] [INFO ] Added : 470 causal constraints over 94 iterations in 19503 ms. Result :unknown
[2020-05-26 19:24:47] [INFO ] [Real]Absence check using 11 positive place invariants in 16 ms returned sat
[2020-05-26 19:24:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:24:48] [INFO ] [Real]Absence check using state equation in 272 ms returned sat
[2020-05-26 19:24:48] [INFO ] [Real]Added 1010 Read/Feed constraints in 111 ms returned sat
[2020-05-26 19:24:48] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:24:48] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 19:24:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:24:48] [INFO ] [Nat]Absence check using state equation in 268 ms returned sat
[2020-05-26 19:24:48] [INFO ] [Nat]Added 1010 Read/Feed constraints in 106 ms returned sat
[2020-05-26 19:24:48] [INFO ] Deduced a trap composed of 69 places in 133 ms
[2020-05-26 19:24:49] [INFO ] Deduced a trap composed of 69 places in 104 ms
[2020-05-26 19:24:49] [INFO ] Deduced a trap composed of 65 places in 131 ms
[2020-05-26 19:24:49] [INFO ] Deduced a trap composed of 67 places in 102 ms
[2020-05-26 19:24:49] [INFO ] Deduced a trap composed of 66 places in 112 ms
[2020-05-26 19:24:49] [INFO ] Deduced a trap composed of 65 places in 107 ms
[2020-05-26 19:24:49] [INFO ] Deduced a trap composed of 64 places in 114 ms
[2020-05-26 19:24:49] [INFO ] Deduced a trap composed of 67 places in 130 ms
[2020-05-26 19:24:50] [INFO ] Deduced a trap composed of 66 places in 137 ms
[2020-05-26 19:24:50] [INFO ] Deduced a trap composed of 66 places in 122 ms
[2020-05-26 19:24:50] [INFO ] Deduced a trap composed of 67 places in 112 ms
[2020-05-26 19:24:50] [INFO ] Trap strengthening (SAT) tested/added 12/11 trap constraints in 1690 ms
[2020-05-26 19:24:50] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 54 ms.
[2020-05-26 19:25:08] [INFO ] Added : 435 causal constraints over 87 iterations in 17924 ms. Result :unknown
[2020-05-26 19:25:08] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 19:25:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:25:08] [INFO ] [Real]Absence check using state equation in 269 ms returned sat
[2020-05-26 19:25:08] [INFO ] [Real]Added 1010 Read/Feed constraints in 110 ms returned sat
[2020-05-26 19:25:08] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:25:08] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 19:25:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:25:09] [INFO ] [Nat]Absence check using state equation in 275 ms returned sat
[2020-05-26 19:25:09] [INFO ] [Nat]Added 1010 Read/Feed constraints in 105 ms returned sat
[2020-05-26 19:25:09] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 55 ms.
[2020-05-26 19:25:28] [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 (=> (> t519 0) (and (or (and (> t110 0) (< o110 o519)) (and (> t298 0) (< o298 o519)) (and (> t438 0) (< o438 o519)) (and (> t478 0) (< o478 o519)) (and (> t769 0) (< o769 o519)) (and (> t825 0) (< o825 o519)) (and (> t860 0) (< o860 o519)) (and (> t1027 0) (< o1027 o519)) (and (> t1073 0) (< o1073 o519)) (and (> t1092 0) (< o1092 o519))) (or (and (> t73 0) (< o73 o519)) (and (> t135 0) (< o135 o519)) (and (> t205 0) (< o205 o519)) (and (> t481 0) (< o481 o519)) (and (> t513 0) (< o513 o519)) (and (> t525 0) (< o525 o519)) (and (> t781 0) (< o781 o519)) (and (> t929 0) (< o929 o519)) (and (> t972 0) (< o972 o519)) (and (> t1034 0) (< o1034 o519)))))") while checking expression at index 35
[2020-05-26 19:25:28] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 19:25:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:25:29] [INFO ] [Real]Absence check using state equation in 284 ms returned sat
[2020-05-26 19:25:29] [INFO ] [Real]Added 1010 Read/Feed constraints in 127 ms returned sat
[2020-05-26 19:25:29] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:25:29] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 19:25:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:25:29] [INFO ] [Nat]Absence check using state equation in 263 ms returned sat
[2020-05-26 19:25:29] [INFO ] [Nat]Added 1010 Read/Feed constraints in 114 ms returned sat
[2020-05-26 19:25:29] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 66 ms.
[2020-05-26 19:25:49] [INFO ] Added : 465 causal constraints over 93 iterations in 19585 ms. Result :unknown
[2020-05-26 19:25:49] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 19:25:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:25:49] [INFO ] [Real]Absence check using state equation in 318 ms returned sat
[2020-05-26 19:25:49] [INFO ] [Real]Added 1010 Read/Feed constraints in 128 ms returned sat
[2020-05-26 19:25:49] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:25:49] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 19:25:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:25:50] [INFO ] [Nat]Absence check using state equation in 264 ms returned sat
[2020-05-26 19:25:50] [INFO ] [Nat]Added 1010 Read/Feed constraints in 99 ms returned sat
[2020-05-26 19:25:50] [INFO ] Deduced a trap composed of 64 places in 149 ms
[2020-05-26 19:25:50] [INFO ] Deduced a trap composed of 64 places in 115 ms
[2020-05-26 19:25:50] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 337 ms
[2020-05-26 19:25:50] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 69 ms.
[2020-05-26 19:26:09] [INFO ] Added : 460 causal constraints over 92 iterations in 19276 ms. Result :unknown
[2020-05-26 19:26:09] [INFO ] [Real]Absence check using 11 positive place invariants in 17 ms returned sat
[2020-05-26 19:26:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:26:10] [INFO ] [Real]Absence check using state equation in 305 ms returned sat
[2020-05-26 19:26:10] [INFO ] [Real]Added 1010 Read/Feed constraints in 116 ms returned sat
[2020-05-26 19:26:10] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:26:10] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 19:26:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:26:10] [INFO ] [Nat]Absence check using state equation in 330 ms returned sat
[2020-05-26 19:26:10] [INFO ] [Nat]Added 1010 Read/Feed constraints in 127 ms returned sat
[2020-05-26 19:26:11] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 90 ms.
[2020-05-26 19:26:30] [INFO ] Added : 460 causal constraints over 92 iterations in 19491 ms. Result :unknown
[2020-05-26 19:26:30] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 19:26:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:26:30] [INFO ] [Real]Absence check using state equation in 279 ms returned sat
[2020-05-26 19:26:30] [INFO ] [Real]Added 1010 Read/Feed constraints in 130 ms returned sat
[2020-05-26 19:26:30] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:26:31] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2020-05-26 19:26:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:26:31] [INFO ] [Nat]Absence check using state equation in 310 ms returned sat
[2020-05-26 19:26:31] [INFO ] [Nat]Added 1010 Read/Feed constraints in 158 ms returned sat
[2020-05-26 19:26:31] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 65 ms.
[2020-05-26 19:26:50] [INFO ] Added : 445 causal constraints over 89 iterations in 19491 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-26 19:26:51] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 19:26:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:26:51] [INFO ] [Real]Absence check using state equation in 298 ms returned sat
[2020-05-26 19:26:51] [INFO ] [Real]Added 1010 Read/Feed constraints in 132 ms returned sat
[2020-05-26 19:26:51] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:26:51] [INFO ] [Nat]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 19:26:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:26:51] [INFO ] [Nat]Absence check using state equation in 284 ms returned sat
[2020-05-26 19:26:51] [INFO ] [Nat]Added 1010 Read/Feed constraints in 127 ms returned sat
[2020-05-26 19:26:52] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 73 ms.
[2020-05-26 19:27:11] [INFO ] Added : 480 causal constraints over 96 iterations in 19535 ms. Result :unknown
[2020-05-26 19:27:11] [INFO ] [Real]Absence check using 11 positive place invariants in 18 ms returned sat
[2020-05-26 19:27:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:27:11] [INFO ] [Real]Absence check using state equation in 293 ms returned sat
[2020-05-26 19:27:12] [INFO ] [Real]Added 1010 Read/Feed constraints in 141 ms returned sat
[2020-05-26 19:27:12] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:27:12] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 19:27:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:27:12] [INFO ] [Nat]Absence check using state equation in 271 ms returned sat
[2020-05-26 19:27:12] [INFO ] [Nat]Added 1010 Read/Feed constraints in 118 ms returned sat
[2020-05-26 19:27:12] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 113 ms.
[2020-05-26 19:27:32] [INFO ] Added : 480 causal constraints over 96 iterations in 19544 ms. Result :unknown
[2020-05-26 19:27:32] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 19:27:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:27:32] [INFO ] [Real]Absence check using state equation in 284 ms returned sat
[2020-05-26 19:27:32] [INFO ] [Real]Added 1010 Read/Feed constraints in 133 ms returned sat
[2020-05-26 19:27:32] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:27:32] [INFO ] [Nat]Absence check using 11 positive place invariants in 27 ms returned sat
[2020-05-26 19:27:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:27:32] [INFO ] [Nat]Absence check using state equation in 297 ms returned sat
[2020-05-26 19:27:33] [INFO ] [Nat]Added 1010 Read/Feed constraints in 128 ms returned sat
[2020-05-26 19:27:33] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 106 ms.
[2020-05-26 19:27:52] [INFO ] Added : 485 causal constraints over 97 iterations in 19513 ms. Result :unknown
[2020-05-26 19:27:52] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 19:27:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:27:52] [INFO ] [Real]Absence check using state equation in 255 ms returned sat
[2020-05-26 19:27:53] [INFO ] [Real]Added 1010 Read/Feed constraints in 111 ms returned sat
[2020-05-26 19:27:53] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:27:53] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 19:27:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:27:53] [INFO ] [Nat]Absence check using state equation in 275 ms returned sat
[2020-05-26 19:27:53] [INFO ] [Nat]Added 1010 Read/Feed constraints in 104 ms returned sat
[2020-05-26 19:27:53] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 77 ms.
[2020-05-26 19:28:13] [INFO ] Added : 485 causal constraints over 97 iterations in 19576 ms. Result :unknown
[2020-05-26 19:28:13] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 19:28:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:28:13] [INFO ] [Real]Absence check using state equation in 289 ms returned sat
[2020-05-26 19:28:13] [INFO ] [Real]Added 1010 Read/Feed constraints in 129 ms returned sat
[2020-05-26 19:28:13] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:28:13] [INFO ] [Nat]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 19:28:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:28:13] [INFO ] [Nat]Absence check using state equation in 281 ms returned sat
[2020-05-26 19:28:14] [INFO ] [Nat]Added 1010 Read/Feed constraints in 114 ms returned sat
[2020-05-26 19:28:14] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 79 ms.
[2020-05-26 19:28:33] [INFO ] Added : 450 causal constraints over 90 iterations in 19555 ms. Result :unknown
[2020-05-26 19:28:33] [INFO ] [Real]Absence check using 11 positive place invariants in 17 ms returned sat
[2020-05-26 19:28:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:28:33] [INFO ] [Real]Absence check using state equation in 316 ms returned sat
[2020-05-26 19:28:34] [INFO ] [Real]Added 1010 Read/Feed constraints in 116 ms returned sat
[2020-05-26 19:28:34] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:28:34] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 19:28:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:28:34] [INFO ] [Nat]Absence check using state equation in 346 ms returned sat
[2020-05-26 19:28:34] [INFO ] [Nat]Added 1010 Read/Feed constraints in 106 ms returned sat
[2020-05-26 19:28:34] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 96 ms.
[2020-05-26 19:28:54] [INFO ] Added : 475 causal constraints over 95 iterations in 19490 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-26 19:28:54] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 19:28:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:28:54] [INFO ] [Real]Absence check using state equation in 291 ms returned sat
[2020-05-26 19:28:54] [INFO ] [Real]Added 1010 Read/Feed constraints in 102 ms returned sat
[2020-05-26 19:28:54] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:28:54] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 19:28:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:28:54] [INFO ] [Nat]Absence check using state equation in 287 ms returned sat
[2020-05-26 19:28:55] [INFO ] [Nat]Added 1010 Read/Feed constraints in 115 ms returned sat
[2020-05-26 19:28:55] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 81 ms.
[2020-05-26 19:29:14] [INFO ] Added : 455 causal constraints over 91 iterations in 19546 ms. Result :unknown
[2020-05-26 19:29:14] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 19:29:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:29:14] [INFO ] [Real]Absence check using state equation in 278 ms returned sat
[2020-05-26 19:29:15] [INFO ] [Real]Added 1010 Read/Feed constraints in 119 ms returned sat
[2020-05-26 19:29:15] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:29:15] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 19:29:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:29:15] [INFO ] [Nat]Absence check using state equation in 278 ms returned sat
[2020-05-26 19:29:15] [INFO ] [Nat]Added 1010 Read/Feed constraints in 95 ms returned sat
[2020-05-26 19:29:15] [INFO ] Deduced a trap composed of 65 places in 134 ms
[2020-05-26 19:29:15] [INFO ] Deduced a trap composed of 66 places in 148 ms
[2020-05-26 19:29:16] [INFO ] Deduced a trap composed of 65 places in 107 ms
[2020-05-26 19:29:16] [INFO ] Deduced a trap composed of 66 places in 120 ms
[2020-05-26 19:29:16] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 648 ms
[2020-05-26 19:29:16] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 58 ms.
[2020-05-26 19:29:35] [INFO ] Added : 460 causal constraints over 92 iterations in 18943 ms. Result :unknown
[2020-05-26 19:29:35] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 19:29:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:29:35] [INFO ] [Real]Absence check using state equation in 293 ms returned sat
[2020-05-26 19:29:35] [INFO ] [Real]Added 1010 Read/Feed constraints in 120 ms returned sat
[2020-05-26 19:29:35] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:29:35] [INFO ] [Nat]Absence check using 11 positive place invariants in 24 ms returned sat
[2020-05-26 19:29:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:29:36] [INFO ] [Nat]Absence check using state equation in 270 ms returned sat
[2020-05-26 19:29:36] [INFO ] [Nat]Added 1010 Read/Feed constraints in 107 ms returned sat
[2020-05-26 19:29:36] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 76 ms.
[2020-05-26 19:29:55] [INFO ] Added : 485 causal constraints over 97 iterations in 19557 ms. Result :unknown
[2020-05-26 19:29:55] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 19:29:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:29:56] [INFO ] [Real]Absence check using state equation in 276 ms returned sat
[2020-05-26 19:29:56] [INFO ] [Real]Added 1010 Read/Feed constraints in 111 ms returned sat
[2020-05-26 19:29:56] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:29:56] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 19:29:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:29:56] [INFO ] [Nat]Absence check using state equation in 268 ms returned sat
[2020-05-26 19:29:56] [INFO ] [Nat]Added 1010 Read/Feed constraints in 104 ms returned sat
[2020-05-26 19:29:56] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 63 ms.
[2020-05-26 19:30:16] [INFO ] Added : 470 causal constraints over 94 iterations in 19604 ms. Result :unknown
[2020-05-26 19:30:16] [INFO ] [Real]Absence check using 11 positive place invariants in 16 ms returned sat
[2020-05-26 19:30:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:30:16] [INFO ] [Real]Absence check using state equation in 294 ms returned sat
[2020-05-26 19:30:16] [INFO ] [Real]Added 1010 Read/Feed constraints in 124 ms returned sat
[2020-05-26 19:30:16] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:30:16] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 19:30:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:30:17] [INFO ] [Nat]Absence check using state equation in 272 ms returned sat
[2020-05-26 19:30:17] [INFO ] [Nat]Added 1010 Read/Feed constraints in 114 ms returned sat
[2020-05-26 19:30:17] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 139 ms.
[2020-05-26 19:30:36] [INFO ] Added : 425 causal constraints over 85 iterations in 19563 ms. Result :unknown
[2020-05-26 19:30:36] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 19:30:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:30:37] [INFO ] [Real]Absence check using state equation in 288 ms returned sat
[2020-05-26 19:30:37] [INFO ] [Real]Added 1010 Read/Feed constraints in 131 ms returned sat
[2020-05-26 19:30:37] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:30:37] [INFO ] [Nat]Absence check using 11 positive place invariants in 21 ms returned sat
[2020-05-26 19:30:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:30:37] [INFO ] [Nat]Absence check using state equation in 284 ms returned sat
[2020-05-26 19:30:37] [INFO ] [Nat]Added 1010 Read/Feed constraints in 121 ms returned sat
[2020-05-26 19:30:37] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 72 ms.
[2020-05-26 19:30:57] [INFO ] Added : 480 causal constraints over 96 iterations in 19536 ms. Result :unknown
[2020-05-26 19:30:57] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 19:30:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:30:57] [INFO ] [Real]Absence check using state equation in 269 ms returned sat
[2020-05-26 19:30:57] [INFO ] [Real]Added 1010 Read/Feed constraints in 142 ms returned sat
[2020-05-26 19:30:57] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:30:57] [INFO ] [Nat]Absence check using 11 positive place invariants in 19 ms returned sat
[2020-05-26 19:30:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:30:58] [INFO ] [Nat]Absence check using state equation in 312 ms returned sat
[2020-05-26 19:30:58] [INFO ] [Nat]Added 1010 Read/Feed constraints in 97 ms returned sat
[2020-05-26 19:30:58] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 74 ms.
[2020-05-26 19:31:17] [INFO ] Added : 475 causal constraints over 95 iterations in 19532 ms. Result :(error "Failed to check-sat")
[2020-05-26 19:31:17] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 19:31:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:31:18] [INFO ] [Real]Absence check using state equation in 271 ms returned sat
[2020-05-26 19:31:18] [INFO ] [Real]Added 1010 Read/Feed constraints in 106 ms returned sat
[2020-05-26 19:31:18] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:31:18] [INFO ] [Nat]Absence check using 11 positive place invariants in 23 ms returned sat
[2020-05-26 19:31:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:31:18] [INFO ] [Nat]Absence check using state equation in 259 ms returned sat
[2020-05-26 19:31:18] [INFO ] [Nat]Added 1010 Read/Feed constraints in 96 ms returned sat
[2020-05-26 19:31:18] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 80 ms.
[2020-05-26 19:31:38] [INFO ] Added : 450 causal constraints over 90 iterations in 19584 ms. Result :unknown
[2020-05-26 19:31:38] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 19:31:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:31:38] [INFO ] [Real]Absence check using state equation in 270 ms returned sat
[2020-05-26 19:31:38] [INFO ] [Real]Added 1010 Read/Feed constraints in 103 ms returned sat
[2020-05-26 19:31:38] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:31:38] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2020-05-26 19:31:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:31:39] [INFO ] [Nat]Absence check using state equation in 276 ms returned sat
[2020-05-26 19:31:39] [INFO ] [Nat]Added 1010 Read/Feed constraints in 95 ms returned sat
[2020-05-26 19:31:39] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 82 ms.
[2020-05-26 19:31:58] [INFO ] Added : 475 causal constraints over 95 iterations in 19584 ms. Result :unknown
[2020-05-26 19:31:58] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 19:31:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:31:59] [INFO ] [Real]Absence check using state equation in 275 ms returned sat
[2020-05-26 19:31:59] [INFO ] [Real]Added 1010 Read/Feed constraints in 130 ms returned sat
[2020-05-26 19:31:59] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:31:59] [INFO ] [Nat]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 19:31:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:31:59] [INFO ] [Nat]Absence check using state equation in 441 ms returned sat
[2020-05-26 19:31:59] [INFO ] [Nat]Added 1010 Read/Feed constraints in 141 ms returned sat
[2020-05-26 19:31:59] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 99 ms.
[2020-05-26 19:32:19] [INFO ] Added : 455 causal constraints over 91 iterations in 19368 ms. Result :unknown
[2020-05-26 19:32:19] [INFO ] [Real]Absence check using 11 positive place invariants in 20 ms returned sat
[2020-05-26 19:32:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:32:19] [INFO ] [Real]Absence check using state equation in 265 ms returned sat
[2020-05-26 19:32:19] [INFO ] [Real]Added 1010 Read/Feed constraints in 111 ms returned sat
[2020-05-26 19:32:19] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:32:19] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2020-05-26 19:32:19] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:32:20] [INFO ] [Nat]Absence check using state equation in 272 ms returned sat
[2020-05-26 19:32:20] [INFO ] [Nat]Added 1010 Read/Feed constraints in 98 ms returned sat
[2020-05-26 19:32:20] [INFO ] Deduced a trap composed of 64 places in 137 ms
[2020-05-26 19:32:20] [INFO ] Deduced a trap composed of 64 places in 109 ms
[2020-05-26 19:32:20] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 323 ms
[2020-05-26 19:32:20] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 93 ms.
[2020-05-26 19:32:39] [INFO ] Added : 485 causal constraints over 97 iterations in 19284 ms. Result :(error "Failed to check-sat")
[2020-05-26 19:32:39] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 19:32:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:32:40] [INFO ] [Real]Absence check using state equation in 265 ms returned sat
[2020-05-26 19:32:40] [INFO ] [Real]Added 1010 Read/Feed constraints in 112 ms returned sat
[2020-05-26 19:32:40] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:32:40] [INFO ] [Nat]Absence check using 11 positive place invariants in 21 ms returned sat
[2020-05-26 19:32:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:32:40] [INFO ] [Nat]Absence check using state equation in 267 ms returned sat
[2020-05-26 19:32:40] [INFO ] [Nat]Added 1010 Read/Feed constraints in 114 ms returned sat
[2020-05-26 19:32:40] [INFO ] Deduced a trap composed of 65 places in 120 ms
[2020-05-26 19:32:40] [INFO ] Deduced a trap composed of 65 places in 103 ms
[2020-05-26 19:32:41] [INFO ] Deduced a trap composed of 64 places in 118 ms
[2020-05-26 19:32:41] [INFO ] Deduced a trap composed of 67 places in 150 ms
[2020-05-26 19:32:41] [INFO ] Deduced a trap composed of 66 places in 167 ms
[2020-05-26 19:32:41] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 875 ms
[2020-05-26 19:32:41] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 63 ms.
[2020-05-26 19:33:00] [INFO ] Added : 480 causal constraints over 96 iterations in 18694 ms. Result :unknown
[2020-05-26 19:33:00] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 19:33:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:33:00] [INFO ] [Real]Absence check using state equation in 251 ms returned sat
[2020-05-26 19:33:00] [INFO ] [Real]Added 1010 Read/Feed constraints in 114 ms returned sat
[2020-05-26 19:33:00] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:33:00] [INFO ] [Nat]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 19:33:00] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:33:00] [INFO ] [Nat]Absence check using state equation in 288 ms returned sat
[2020-05-26 19:33:01] [INFO ] [Nat]Added 1010 Read/Feed constraints in 126 ms returned sat
[2020-05-26 19:33:01] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 74 ms.
[2020-05-26 19:33:20] [INFO ] Added : 490 causal constraints over 98 iterations in 19547 ms. Result :(error "Failed to check-sat")
[2020-05-26 19:33:20] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 19:33:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:33:20] [INFO ] [Real]Absence check using state equation in 263 ms returned sat
[2020-05-26 19:33:21] [INFO ] [Real]Added 1010 Read/Feed constraints in 108 ms returned sat
[2020-05-26 19:33:21] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:33:21] [INFO ] [Nat]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 19:33:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:33:21] [INFO ] [Nat]Absence check using state equation in 314 ms returned sat
[2020-05-26 19:33:21] [INFO ] [Nat]Added 1010 Read/Feed constraints in 112 ms returned sat
[2020-05-26 19:33:21] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 75 ms.
[2020-05-26 19:33:41] [INFO ] Added : 490 causal constraints over 98 iterations in 19526 ms. Result :unknown
[2020-05-26 19:33:41] [INFO ] [Real]Absence check using 11 positive place invariants in 24 ms returned sat
[2020-05-26 19:33:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:33:41] [INFO ] [Real]Absence check using state equation in 385 ms returned sat
[2020-05-26 19:33:41] [INFO ] [Real]Added 1010 Read/Feed constraints in 119 ms returned sat
[2020-05-26 19:33:41] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:33:41] [INFO ] [Nat]Absence check using 11 positive place invariants in 24 ms returned sat
[2020-05-26 19:33:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:33:42] [INFO ] [Nat]Absence check using state equation in 281 ms returned sat
[2020-05-26 19:33:42] [INFO ] [Nat]Added 1010 Read/Feed constraints in 129 ms returned sat
[2020-05-26 19:33:42] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 76 ms.
[2020-05-26 19:34:01] [INFO ] Added : 485 causal constraints over 97 iterations in 19523 ms. Result :unknown
[2020-05-26 19:34:01] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 19:34:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:34:02] [INFO ] [Real]Absence check using state equation in 302 ms returned sat
[2020-05-26 19:34:02] [INFO ] [Real]Added 1010 Read/Feed constraints in 122 ms returned sat
[2020-05-26 19:34:02] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:34:02] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 19:34:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:34:02] [INFO ] [Nat]Absence check using state equation in 290 ms returned sat
[2020-05-26 19:34:02] [INFO ] [Nat]Added 1010 Read/Feed constraints in 106 ms returned sat
[2020-05-26 19:34:02] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 69 ms.
[2020-05-26 19:34:22] [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 (=> (> t520 0) (and (or (and (> t32 0) (< o32 o520)) (and (> t154 0) (< o154 o520)) (and (> t176 0) (< o176 o520)) (and (> t267 0) (< o267 o520)) (and (> t301 0) (< o301 o520)) (and (> t304 0) (< o304 o520)) (and (> t386 0) (< o386 o520)) (and (> t440 0) (< o440 o520)) (and (> t444 0) (< o444 o520)) (and (> t653 0) (< o653 o520))) (or (and (> t37 0) (< o37 o520)) (and (> t143 0) (< o143 o520)) (and (> t147 0) (< o147 o520)) (and (> t160 0) (< o160 o520)) (and (> t242 0) (< o242 o520)) (and (> t397 0) (< o397 o520)) (and (> t459 0) (< o459 o520)) (and (> t470 0) (< o470 o520)) (and (> t959 0) (< o959 o520)) (and (> t1001 0) (< o1001 o520)))))") while checking expression at index 61
[2020-05-26 19:34:22] [INFO ] [Real]Absence check using 11 positive place invariants in 21 ms returned sat
[2020-05-26 19:34:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:34:22] [INFO ] [Real]Absence check using state equation in 316 ms returned sat
[2020-05-26 19:34:22] [INFO ] [Real]Added 1010 Read/Feed constraints in 135 ms returned sat
[2020-05-26 19:34:22] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:34:22] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 19:34:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:34:23] [INFO ] [Nat]Absence check using state equation in 296 ms returned sat
[2020-05-26 19:34:23] [INFO ] [Nat]Added 1010 Read/Feed constraints in 112 ms returned sat
[2020-05-26 19:34:23] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 91 ms.
[2020-05-26 19:34:42] [INFO ] Added : 460 causal constraints over 92 iterations in 19549 ms. Result :unknown
[2020-05-26 19:34:42] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 19:34:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:34:43] [INFO ] [Real]Absence check using state equation in 272 ms returned sat
[2020-05-26 19:34:43] [INFO ] [Real]Added 1010 Read/Feed constraints in 108 ms returned sat
[2020-05-26 19:34:43] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:34:43] [INFO ] [Nat]Absence check using 11 positive place invariants in 23 ms returned sat
[2020-05-26 19:34:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:34:43] [INFO ] [Nat]Absence check using state equation in 299 ms returned sat
[2020-05-26 19:34:43] [INFO ] [Nat]Added 1010 Read/Feed constraints in 126 ms returned sat
[2020-05-26 19:34:43] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 91 ms.
[2020-05-26 19:35:03] [INFO ] Added : 485 causal constraints over 97 iterations in 19502 ms. Result :unknown
[2020-05-26 19:35:03] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 19:35:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:35:03] [INFO ] [Real]Absence check using state equation in 246 ms returned sat
[2020-05-26 19:35:03] [INFO ] [Real]Added 1010 Read/Feed constraints in 117 ms returned sat
[2020-05-26 19:35:03] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:35:03] [INFO ] [Nat]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 19:35:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:35:04] [INFO ] [Nat]Absence check using state equation in 292 ms returned sat
[2020-05-26 19:35:04] [INFO ] [Nat]Added 1010 Read/Feed constraints in 119 ms returned sat
[2020-05-26 19:35:04] [INFO ] Deduced a trap composed of 65 places in 104 ms
[2020-05-26 19:35:04] [INFO ] Deduced a trap composed of 66 places in 108 ms
[2020-05-26 19:35:04] [INFO ] Deduced a trap composed of 64 places in 101 ms
[2020-05-26 19:35:04] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 420 ms
[2020-05-26 19:35:04] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 52 ms.
[2020-05-26 19:35:23] [INFO ] Added : 430 causal constraints over 86 iterations in 19155 ms. Result :unknown
[2020-05-26 19:35:23] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 19:35:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:35:24] [INFO ] [Real]Absence check using state equation in 267 ms returned sat
[2020-05-26 19:35:24] [INFO ] [Real]Added 1010 Read/Feed constraints in 107 ms returned sat
[2020-05-26 19:35:24] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:35:24] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2020-05-26 19:35:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:35:24] [INFO ] [Nat]Absence check using state equation in 262 ms returned sat
[2020-05-26 19:35:24] [INFO ] [Nat]Added 1010 Read/Feed constraints in 100 ms returned sat
[2020-05-26 19:35:24] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 54 ms.
[2020-05-26 19:35:44] [INFO ] Added : 500 causal constraints over 100 iterations in 19591 ms. Result :unknown
[2020-05-26 19:35:44] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 19:35:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:35:44] [INFO ] [Real]Absence check using state equation in 294 ms returned sat
[2020-05-26 19:35:44] [INFO ] [Real]Added 1010 Read/Feed constraints in 121 ms returned sat
[2020-05-26 19:35:44] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:35:44] [INFO ] [Nat]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 19:35:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:35:45] [INFO ] [Nat]Absence check using state equation in 288 ms returned sat
[2020-05-26 19:35:45] [INFO ] [Nat]Added 1010 Read/Feed constraints in 130 ms returned sat
[2020-05-26 19:35:45] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 62 ms.
[2020-05-26 19:36:04] [INFO ] Added : 465 causal constraints over 93 iterations in 19535 ms. Result :unknown
[2020-05-26 19:36:04] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 19:36:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:36:05] [INFO ] [Real]Absence check using state equation in 276 ms returned sat
[2020-05-26 19:36:05] [INFO ] [Real]Added 1010 Read/Feed constraints in 101 ms returned sat
[2020-05-26 19:36:05] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:36:05] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 19:36:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:36:05] [INFO ] [Nat]Absence check using state equation in 255 ms returned sat
[2020-05-26 19:36:05] [INFO ] [Nat]Added 1010 Read/Feed constraints in 110 ms returned sat
[2020-05-26 19:36:05] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 76 ms.
[2020-05-26 19:36:25] [INFO ] Added : 495 causal constraints over 99 iterations in 19595 ms. Result :unknown
[2020-05-26 19:36:25] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 19:36:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:36:25] [INFO ] [Real]Absence check using state equation in 288 ms returned sat
[2020-05-26 19:36:25] [INFO ] [Real]Added 1010 Read/Feed constraints in 129 ms returned sat
[2020-05-26 19:36:25] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:36:25] [INFO ] [Nat]Absence check using 11 positive place invariants in 19 ms returned sat
[2020-05-26 19:36:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:36:26] [INFO ] [Nat]Absence check using state equation in 366 ms returned sat
[2020-05-26 19:36:26] [INFO ] [Nat]Added 1010 Read/Feed constraints in 135 ms returned sat
[2020-05-26 19:36:26] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 72 ms.
[2020-05-26 19:36:45] [INFO ] Added : 460 causal constraints over 92 iterations in 19441 ms. Result :(error "Failed to check-sat")
[2020-05-26 19:36:45] [INFO ] [Real]Absence check using 11 positive place invariants in 27 ms returned sat
[2020-05-26 19:36:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:36:46] [INFO ] [Real]Absence check using state equation in 283 ms returned sat
[2020-05-26 19:36:46] [INFO ] [Real]Added 1010 Read/Feed constraints in 124 ms returned sat
[2020-05-26 19:36:46] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:36:46] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 19:36:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:36:46] [INFO ] [Nat]Absence check using state equation in 268 ms returned sat
[2020-05-26 19:36:46] [INFO ] [Nat]Added 1010 Read/Feed constraints in 125 ms returned sat
[2020-05-26 19:36:46] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 72 ms.
[2020-05-26 19:37:06] [INFO ] Added : 415 causal constraints over 83 iterations in 19555 ms. Result :unknown
[2020-05-26 19:37:06] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 19:37:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:37:06] [INFO ] [Real]Absence check using state equation in 312 ms returned sat
[2020-05-26 19:37:06] [INFO ] [Real]Added 1010 Read/Feed constraints in 131 ms returned sat
[2020-05-26 19:37:06] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:37:06] [INFO ] [Nat]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 19:37:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:37:07] [INFO ] [Nat]Absence check using state equation in 285 ms returned sat
[2020-05-26 19:37:07] [INFO ] [Nat]Added 1010 Read/Feed constraints in 110 ms returned sat
[2020-05-26 19:37:07] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 76 ms.
[2020-05-26 19:37:26] [INFO ] Added : 435 causal constraints over 87 iterations in 19556 ms. Result :unknown
[2020-05-26 19:37:26] [INFO ] [Real]Absence check using 11 positive place invariants in 16 ms returned sat
[2020-05-26 19:37:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:37:27] [INFO ] [Real]Absence check using state equation in 285 ms returned sat
[2020-05-26 19:37:27] [INFO ] [Real]Added 1010 Read/Feed constraints in 113 ms returned sat
[2020-05-26 19:37:27] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:37:27] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 19:37:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:37:27] [INFO ] [Nat]Absence check using state equation in 262 ms returned sat
[2020-05-26 19:37:27] [INFO ] [Nat]Added 1010 Read/Feed constraints in 114 ms returned sat
[2020-05-26 19:37:27] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 78 ms.
[2020-05-26 19:37:47] [INFO ] Added : 460 causal constraints over 92 iterations in 19565 ms. Result :unknown
[2020-05-26 19:37:47] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 19:37:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:37:47] [INFO ] [Real]Absence check using state equation in 273 ms returned sat
[2020-05-26 19:37:47] [INFO ] [Real]Added 1010 Read/Feed constraints in 124 ms returned sat
[2020-05-26 19:37:47] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:37:47] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2020-05-26 19:37:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:37:48] [INFO ] [Nat]Absence check using state equation in 257 ms returned sat
[2020-05-26 19:37:48] [INFO ] [Nat]Added 1010 Read/Feed constraints in 113 ms returned sat
[2020-05-26 19:37:48] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 73 ms.
[2020-05-26 19:38:07] [INFO ] Added : 505 causal constraints over 101 iterations in 19573 ms. Result :unknown
[2020-05-26 19:38:07] [INFO ] [Real]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-05-26 19:38:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:38:08] [INFO ] [Real]Absence check using state equation in 261 ms returned sat
[2020-05-26 19:38:08] [INFO ] [Real]Added 1010 Read/Feed constraints in 102 ms returned sat
[2020-05-26 19:38:08] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:38:08] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2020-05-26 19:38:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:38:08] [INFO ] [Nat]Absence check using state equation in 253 ms returned sat
[2020-05-26 19:38:08] [INFO ] [Nat]Added 1010 Read/Feed constraints in 98 ms returned sat
[2020-05-26 19:38:08] [INFO ] Deduced a trap composed of 64 places in 153 ms
[2020-05-26 19:38:09] [INFO ] Deduced a trap composed of 64 places in 122 ms
[2020-05-26 19:38:09] [INFO ] Deduced a trap composed of 64 places in 107 ms
[2020-05-26 19:38:09] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 486 ms
[2020-05-26 19:38:09] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 56 ms.
[2020-05-26 19:38:28] [INFO ] Added : 450 causal constraints over 90 iterations in 19138 ms. Result :(error "Failed to check-sat")
[2020-05-26 19:38:28] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 19:38:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:38:28] [INFO ] [Real]Absence check using state equation in 269 ms returned sat
[2020-05-26 19:38:28] [INFO ] [Real]Added 1010 Read/Feed constraints in 127 ms returned sat
[2020-05-26 19:38:28] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:38:28] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 19:38:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:38:29] [INFO ] [Nat]Absence check using state equation in 282 ms returned sat
[2020-05-26 19:38:29] [INFO ] [Nat]Added 1010 Read/Feed constraints in 116 ms returned sat
[2020-05-26 19:38:29] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 79 ms.
[2020-05-26 19:38:48] [INFO ] Added : 465 causal constraints over 93 iterations in 19548 ms. Result :unknown
[2020-05-26 19:38:48] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 19:38:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:38:49] [INFO ] [Real]Absence check using state equation in 284 ms returned sat
[2020-05-26 19:38:49] [INFO ] [Real]Added 1010 Read/Feed constraints in 106 ms returned sat
[2020-05-26 19:38:49] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:38:49] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 19:38:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:38:49] [INFO ] [Nat]Absence check using state equation in 306 ms returned sat
[2020-05-26 19:38:49] [INFO ] [Nat]Added 1010 Read/Feed constraints in 136 ms returned sat
[2020-05-26 19:38:49] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 105 ms.
[2020-05-26 19:39:09] [INFO ] Added : 440 causal constraints over 88 iterations in 19508 ms. Result :(error "Failed to check-sat")
[2020-05-26 19:39:09] [INFO ] [Real]Absence check using 11 positive place invariants in 51 ms returned sat
[2020-05-26 19:39:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:39:09] [INFO ] [Real]Absence check using state equation in 301 ms returned sat
[2020-05-26 19:39:09] [INFO ] [Real]Added 1010 Read/Feed constraints in 122 ms returned sat
[2020-05-26 19:39:09] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:39:09] [INFO ] [Nat]Absence check using 11 positive place invariants in 28 ms returned sat
[2020-05-26 19:39:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:39:10] [INFO ] [Nat]Absence check using state equation in 281 ms returned sat
[2020-05-26 19:39:10] [INFO ] [Nat]Added 1010 Read/Feed constraints in 114 ms returned sat
[2020-05-26 19:39:10] [INFO ] Deduced a trap composed of 65 places in 134 ms
[2020-05-26 19:39:10] [INFO ] Deduced a trap composed of 66 places in 123 ms
[2020-05-26 19:39:10] [INFO ] Deduced a trap composed of 66 places in 134 ms
[2020-05-26 19:39:10] [INFO ] Deduced a trap composed of 67 places in 100 ms
[2020-05-26 19:39:11] [INFO ] Deduced a trap composed of 64 places in 120 ms
[2020-05-26 19:39:11] [INFO ] Deduced a trap composed of 68 places in 151 ms
[2020-05-26 19:39:11] [INFO ] Deduced a trap composed of 63 places in 118 ms
[2020-05-26 19:39:11] [INFO ] Deduced a trap composed of 69 places in 138 ms
[2020-05-26 19:39:11] [INFO ] Deduced a trap composed of 66 places in 123 ms
[2020-05-26 19:39:11] [INFO ] Deduced a trap composed of 65 places in 132 ms
[2020-05-26 19:39:12] [INFO ] Deduced a trap composed of 66 places in 121 ms
[2020-05-26 19:39:12] [INFO ] Deduced a trap composed of 63 places in 122 ms
[2020-05-26 19:39:12] [INFO ] Deduced a trap composed of 65 places in 130 ms
[2020-05-26 19:39:12] [INFO ] Deduced a trap composed of 66 places in 119 ms
[2020-05-26 19:39:12] [INFO ] Deduced a trap composed of 65 places in 115 ms
[2020-05-26 19:39:12] [INFO ] Trap strengthening (SAT) tested/added 16/15 trap constraints in 2415 ms
[2020-05-26 19:39:12] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 76 ms.
[2020-05-26 19:39:29] [INFO ] Added : 385 causal constraints over 77 iterations in 17141 ms. Result :unknown
[2020-05-26 19:39:29] [INFO ] [Real]Absence check using 11 positive place invariants in 16 ms returned sat
[2020-05-26 19:39:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:39:30] [INFO ] [Real]Absence check using state equation in 266 ms returned sat
[2020-05-26 19:39:30] [INFO ] [Real]Added 1010 Read/Feed constraints in 130 ms returned sat
[2020-05-26 19:39:30] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:39:30] [INFO ] [Nat]Absence check using 11 positive place invariants in 33 ms returned sat
[2020-05-26 19:39:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:39:30] [INFO ] [Nat]Absence check using state equation in 276 ms returned sat
[2020-05-26 19:39:30] [INFO ] [Nat]Added 1010 Read/Feed constraints in 144 ms returned sat
[2020-05-26 19:39:30] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 76 ms.
[2020-05-26 19:39:50] [INFO ] Added : 485 causal constraints over 97 iterations in 19504 ms. Result :unknown
[2020-05-26 19:39:50] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 19:39:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:39:50] [INFO ] [Real]Absence check using state equation in 278 ms returned sat
[2020-05-26 19:39:50] [INFO ] [Real]Added 1010 Read/Feed constraints in 136 ms returned sat
[2020-05-26 19:39:50] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:39:50] [INFO ] [Nat]Absence check using 11 positive place invariants in 27 ms returned sat
[2020-05-26 19:39:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:39:51] [INFO ] [Nat]Absence check using state equation in 312 ms returned sat
[2020-05-26 19:39:51] [INFO ] [Nat]Added 1010 Read/Feed constraints in 111 ms returned sat
[2020-05-26 19:39:51] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 78 ms.
[2020-05-26 19:40:10] [INFO ] Added : 415 causal constraints over 83 iterations in 19512 ms. Result :unknown
[2020-05-26 19:40:10] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 19:40:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:40:11] [INFO ] [Real]Absence check using state equation in 322 ms returned sat
[2020-05-26 19:40:11] [INFO ] [Real]Added 1010 Read/Feed constraints in 119 ms returned sat
[2020-05-26 19:40:11] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:40:11] [INFO ] [Nat]Absence check using 11 positive place invariants in 19 ms returned sat
[2020-05-26 19:40:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:40:11] [INFO ] [Nat]Absence check using state equation in 288 ms returned sat
[2020-05-26 19:40:11] [INFO ] [Nat]Added 1010 Read/Feed constraints in 104 ms returned sat
[2020-05-26 19:40:11] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 66 ms.
[2020-05-26 19:40:31] [INFO ] Added : 470 causal constraints over 94 iterations in 19571 ms. Result :unknown
[2020-05-26 19:40:31] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 19:40:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:40:31] [INFO ] [Real]Absence check using state equation in 310 ms returned sat
[2020-05-26 19:40:31] [INFO ] [Real]Added 1010 Read/Feed constraints in 125 ms returned sat
[2020-05-26 19:40:32] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:40:32] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 19:40:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:40:32] [INFO ] [Nat]Absence check using state equation in 268 ms returned sat
[2020-05-26 19:40:32] [INFO ] [Nat]Added 1010 Read/Feed constraints in 127 ms returned sat
[2020-05-26 19:40:32] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 60 ms.
[2020-05-26 19:40:52] [INFO ] Added : 475 causal constraints over 95 iterations in 19543 ms. Result :(error "Failed to check-sat")
[2020-05-26 19:40:52] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 19:40:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:40:52] [INFO ] [Real]Absence check using state equation in 254 ms returned sat
[2020-05-26 19:40:52] [INFO ] [Real]Added 1010 Read/Feed constraints in 118 ms returned sat
[2020-05-26 19:40:52] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:40:52] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 19:40:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:40:52] [INFO ] [Nat]Absence check using state equation in 300 ms returned sat
[2020-05-26 19:40:52] [INFO ] [Nat]Added 1010 Read/Feed constraints in 114 ms returned sat
[2020-05-26 19:40:53] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 91 ms.
[2020-05-26 19:41:12] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream closed (=> (> t470 0) (and (or (and (> t270 0) (< o270 o470)) (and (> t282 0) (< o282 o470)) (and (> t363 0) (< o363 o470)) (and (> t430 0) (< o430 o470)) (and (> t620 0) (< o620 o470)) (and (> t683 0) (< o683 o470)) (and (> t710 0) (< o710 o470)) (and (> t813 0) (< o813 o470)) (and (> t854 0) (< o854 o470)) (and (> t1107 0) (< o1107 o470))) (or (and (> t7 0) (< o7 o470)) (and (> t93 0) (< o93 o470)) (and (> t238 0) (< o238 o470)) (and (> t239 0) (< o239 o470)) (and (> t293 0) (< o293 o470)) (and (> t303 0) (< o303 o470)) (and (> t428 0) (< o428 o470)) (and (> t543 0) (< o543 o470)) (and (> t580 0) (< o580 o470)) (and (> t875 0) (< o875 o470)))))") while checking expression at index 81
[2020-05-26 19:41:12] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 19:41:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:41:12] [INFO ] [Real]Absence check using state equation in 263 ms returned sat
[2020-05-26 19:41:12] [INFO ] [Real]Added 1010 Read/Feed constraints in 109 ms returned sat
[2020-05-26 19:41:12] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:41:12] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 19:41:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:41:13] [INFO ] [Nat]Absence check using state equation in 256 ms returned sat
[2020-05-26 19:41:13] [INFO ] [Nat]Added 1010 Read/Feed constraints in 93 ms returned sat
[2020-05-26 19:41:13] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 89 ms.
[2020-05-26 19:41:32] [INFO ] Added : 500 causal constraints over 100 iterations in 19601 ms. Result :unknown
[2020-05-26 19:41:33] [INFO ] [Real]Absence check using 11 positive place invariants in 19 ms returned sat
[2020-05-26 19:41:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:41:33] [INFO ] [Real]Absence check using state equation in 280 ms returned sat
[2020-05-26 19:41:33] [INFO ] [Real]Added 1010 Read/Feed constraints in 121 ms returned sat
[2020-05-26 19:41:33] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:41:33] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 19:41:33] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:41:33] [INFO ] [Nat]Absence check using state equation in 275 ms returned sat
[2020-05-26 19:41:33] [INFO ] [Nat]Added 1010 Read/Feed constraints in 108 ms returned sat
[2020-05-26 19:41:33] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 77 ms.
[2020-05-26 19:41:53] [INFO ] Added : 430 causal constraints over 86 iterations in 19573 ms. Result :unknown
[2020-05-26 19:41:53] [INFO ] [Real]Absence check using 11 positive place invariants in 17 ms returned sat
[2020-05-26 19:41:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:41:53] [INFO ] [Real]Absence check using state equation in 282 ms returned sat
[2020-05-26 19:41:53] [INFO ] [Real]Added 1010 Read/Feed constraints in 101 ms returned sat
[2020-05-26 19:41:53] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:41:53] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2020-05-26 19:41:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:41:54] [INFO ] [Nat]Absence check using state equation in 256 ms returned sat
[2020-05-26 19:41:54] [INFO ] [Nat]Added 1010 Read/Feed constraints in 120 ms returned sat
[2020-05-26 19:41:54] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 64 ms.
[2020-05-26 19:42:13] [INFO ] Added : 475 causal constraints over 95 iterations in 19578 ms. Result :unknown
[2020-05-26 19:42:14] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 19:42:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:42:14] [INFO ] [Real]Absence check using state equation in 283 ms returned sat
[2020-05-26 19:42:14] [INFO ] [Real]Added 1010 Read/Feed constraints in 127 ms returned sat
[2020-05-26 19:42:14] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:42:14] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 19:42:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:42:14] [INFO ] [Nat]Absence check using state equation in 269 ms returned sat
[2020-05-26 19:42:14] [INFO ] [Nat]Added 1010 Read/Feed constraints in 147 ms returned sat
[2020-05-26 19:42:15] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 72 ms.
[2020-05-26 19:42:34] [INFO ] Added : 450 causal constraints over 90 iterations in 19531 ms. Result :unknown
[2020-05-26 19:42:34] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 19:42:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:42:34] [INFO ] [Real]Absence check using state equation in 296 ms returned sat
[2020-05-26 19:42:34] [INFO ] [Real]Added 1010 Read/Feed constraints in 107 ms returned sat
[2020-05-26 19:42:34] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:42:35] [INFO ] [Nat]Absence check using 11 positive place invariants in 22 ms returned sat
[2020-05-26 19:42:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:42:35] [INFO ] [Nat]Absence check using state equation in 250 ms returned sat
[2020-05-26 19:42:35] [INFO ] [Nat]Added 1010 Read/Feed constraints in 113 ms returned sat
[2020-05-26 19:42:35] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 80 ms.
[2020-05-26 19:42:55] [INFO ] Added : 470 causal constraints over 94 iterations in 19577 ms. Result :unknown
[2020-05-26 19:42:55] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 19:42:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:42:55] [INFO ] [Real]Absence check using state equation in 283 ms returned sat
[2020-05-26 19:42:55] [INFO ] [Real]Added 1010 Read/Feed constraints in 105 ms returned sat
[2020-05-26 19:42:55] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:42:55] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 19:42:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:42:55] [INFO ] [Nat]Absence check using state equation in 277 ms returned sat
[2020-05-26 19:42:55] [INFO ] [Nat]Added 1010 Read/Feed constraints in 107 ms returned sat
[2020-05-26 19:42:56] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 76 ms.
[2020-05-26 19:43:15] [INFO ] Added : 475 causal constraints over 95 iterations in 19564 ms. Result :unknown
[2020-05-26 19:43:15] [INFO ] [Real]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-05-26 19:43:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:43:15] [INFO ] [Real]Absence check using state equation in 262 ms returned sat
[2020-05-26 19:43:15] [INFO ] [Real]Added 1010 Read/Feed constraints in 110 ms returned sat
[2020-05-26 19:43:15] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:43:15] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 19:43:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:43:16] [INFO ] [Nat]Absence check using state equation in 266 ms returned sat
[2020-05-26 19:43:16] [INFO ] [Nat]Added 1010 Read/Feed constraints in 111 ms returned sat
[2020-05-26 19:43:16] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 62 ms.
[2020-05-26 19:43:35] [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 (=> (> t538 0) (and (or (and (> t35 0) (< o35 o538)) (and (> t121 0) (< o121 o538)) (and (> t163 0) (< o163 o538)) (and (> t279 0) (< o279 o538)) (and (> t347 0) (< o347 o538)) (and (> t391 0) (< o391 o538)) (and (> t451 0) (< o451 o538)) (and (> t467 0) (< o467 o538)) (and (> t934 0) (< o934 o538)) (and (> t1085 0) (< o1085 o538))) (or (and (> t2 0) (< o2 o538)) (and (> t288 0) (< o288 o538)) (and (> t356 0) (< o356 o538)) (and (> t418 0) (< o418 o538)) (and (> t437 0) (< o437 o538)) (and (> t443 0) (< o443 o538)) (and (> t449 0) (< o449 o538)) (and (> t760 0) (< o760 o538)) (and (> t984 0) (< o984 o538)) (and (> t1103 0) (< o1103 o538)))))") while checking expression at index 88
[2020-05-26 19:43:36] [INFO ] [Real]Absence check using 11 positive place invariants in 19 ms returned sat
[2020-05-26 19:43:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:43:36] [INFO ] [Real]Absence check using state equation in 314 ms returned sat
[2020-05-26 19:43:36] [INFO ] [Real]Added 1010 Read/Feed constraints in 137 ms returned sat
[2020-05-26 19:43:36] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:43:36] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 19:43:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:43:36] [INFO ] [Nat]Absence check using state equation in 293 ms returned sat
[2020-05-26 19:43:36] [INFO ] [Nat]Added 1010 Read/Feed constraints in 108 ms returned sat
[2020-05-26 19:43:37] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 74 ms.
[2020-05-26 19:43:56] [INFO ] Added : 475 causal constraints over 95 iterations in 19549 ms. Result :unknown
[2020-05-26 19:43:56] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 19:43:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:43:56] [INFO ] [Real]Absence check using state equation in 277 ms returned sat
[2020-05-26 19:43:57] [INFO ] [Real]Added 1010 Read/Feed constraints in 123 ms returned sat
[2020-05-26 19:43:57] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:43:57] [INFO ] [Nat]Absence check using 11 positive place invariants in 26 ms returned sat
[2020-05-26 19:43:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:43:57] [INFO ] [Nat]Absence check using state equation in 295 ms returned sat
[2020-05-26 19:43:57] [INFO ] [Nat]Added 1010 Read/Feed constraints in 125 ms returned sat
[2020-05-26 19:43:57] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 75 ms.
[2020-05-26 19:44:17] [INFO ] Added : 450 causal constraints over 90 iterations in 19510 ms. Result :unknown
[2020-05-26 19:44:17] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 19:44:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:44:17] [INFO ] [Real]Absence check using state equation in 280 ms returned sat
[2020-05-26 19:44:17] [INFO ] [Real]Added 1010 Read/Feed constraints in 112 ms returned sat
[2020-05-26 19:44:17] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:44:17] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 19:44:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:44:17] [INFO ] [Nat]Absence check using state equation in 302 ms returned sat
[2020-05-26 19:44:17] [INFO ] [Nat]Added 1010 Read/Feed constraints in 105 ms returned sat
[2020-05-26 19:44:18] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 73 ms.
[2020-05-26 19:44:37] [INFO ] Added : 470 causal constraints over 94 iterations in 19549 ms. Result :unknown
[2020-05-26 19:44:37] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 19:44:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:44:37] [INFO ] [Real]Absence check using state equation in 279 ms returned sat
[2020-05-26 19:44:38] [INFO ] [Real]Added 1010 Read/Feed constraints in 119 ms returned sat
[2020-05-26 19:44:38] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:44:38] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 19:44:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:44:38] [INFO ] [Nat]Absence check using state equation in 297 ms returned sat
[2020-05-26 19:44:38] [INFO ] [Nat]Added 1010 Read/Feed constraints in 134 ms returned sat
[2020-05-26 19:44:38] [INFO ] Deduced a trap composed of 65 places in 125 ms
[2020-05-26 19:44:38] [INFO ] Deduced a trap composed of 67 places in 147 ms
[2020-05-26 19:44:38] [INFO ] Deduced a trap composed of 65 places in 108 ms
[2020-05-26 19:44:39] [INFO ] Deduced a trap composed of 64 places in 100 ms
[2020-05-26 19:44:39] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 615 ms
[2020-05-26 19:44:39] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 53 ms.
[2020-05-26 19:44:58] [INFO ] Added : 500 causal constraints over 100 iterations in 18930 ms. Result :unknown
[2020-05-26 19:44:58] [INFO ] [Real]Absence check using 11 positive place invariants in 16 ms returned sat
[2020-05-26 19:44:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:44:58] [INFO ] [Real]Absence check using state equation in 284 ms returned sat
[2020-05-26 19:44:58] [INFO ] [Real]Added 1010 Read/Feed constraints in 104 ms returned sat
[2020-05-26 19:44:58] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:44:58] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 19:44:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:44:58] [INFO ] [Nat]Absence check using state equation in 290 ms returned sat
[2020-05-26 19:44:58] [INFO ] [Nat]Added 1010 Read/Feed constraints in 126 ms returned sat
[2020-05-26 19:44:59] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 59 ms.
[2020-05-26 19:45:18] [INFO ] Added : 510 causal constraints over 102 iterations in 19550 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-26 19:45:18] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 19:45:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:45:18] [INFO ] [Real]Absence check using state equation in 276 ms returned sat
[2020-05-26 19:45:19] [INFO ] [Real]Added 1010 Read/Feed constraints in 117 ms returned sat
[2020-05-26 19:45:19] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:45:19] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2020-05-26 19:45:19] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:45:19] [INFO ] [Nat]Absence check using state equation in 280 ms returned sat
[2020-05-26 19:45:19] [INFO ] [Nat]Added 1010 Read/Feed constraints in 103 ms returned sat
[2020-05-26 19:45:19] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 67 ms.
[2020-05-26 19:45:39] [INFO ] Added : 465 causal constraints over 93 iterations in 19564 ms. Result :unknown
[2020-05-26 19:45:39] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 19:45:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:45:39] [INFO ] [Real]Absence check using state equation in 306 ms returned sat
[2020-05-26 19:45:39] [INFO ] [Real]Added 1010 Read/Feed constraints in 122 ms returned sat
[2020-05-26 19:45:39] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:45:39] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 19:45:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:45:39] [INFO ] [Nat]Absence check using state equation in 294 ms returned sat
[2020-05-26 19:45:40] [INFO ] [Nat]Added 1010 Read/Feed constraints in 113 ms returned sat
[2020-05-26 19:45:40] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 77 ms.
[2020-05-26 19:45:59] [INFO ] Added : 455 causal constraints over 91 iterations in 19550 ms. Result :unknown
[2020-05-26 19:45:59] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 19:45:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:45:59] [INFO ] [Real]Absence check using state equation in 283 ms returned sat
[2020-05-26 19:46:00] [INFO ] [Real]Added 1010 Read/Feed constraints in 117 ms returned sat
[2020-05-26 19:46:00] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:46:00] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 19:46:00] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:46:00] [INFO ] [Nat]Absence check using state equation in 280 ms returned sat
[2020-05-26 19:46:00] [INFO ] [Nat]Added 1010 Read/Feed constraints in 116 ms returned sat
[2020-05-26 19:46:00] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 75 ms.
[2020-05-26 19:46:20] [INFO ] Added : 445 causal constraints over 89 iterations in 19553 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-26 19:46:20] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 19:46:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:46:20] [INFO ] [Real]Absence check using state equation in 266 ms returned sat
[2020-05-26 19:46:20] [INFO ] [Real]Added 1010 Read/Feed constraints in 103 ms returned sat
[2020-05-26 19:46:20] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:46:20] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 19:46:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:46:20] [INFO ] [Nat]Absence check using state equation in 265 ms returned sat
[2020-05-26 19:46:20] [INFO ] [Nat]Added 1010 Read/Feed constraints in 107 ms returned sat
[2020-05-26 19:46:21] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 75 ms.
[2020-05-26 19:46:40] [INFO ] Added : 460 causal constraints over 92 iterations in 19577 ms. Result :unknown
[2020-05-26 19:46:40] [INFO ] [Real]Absence check using 11 positive place invariants in 24 ms returned sat
[2020-05-26 19:46:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:46:40] [INFO ] [Real]Absence check using state equation in 315 ms returned sat
[2020-05-26 19:46:41] [INFO ] [Real]Added 1010 Read/Feed constraints in 108 ms returned sat
[2020-05-26 19:46:41] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:46:41] [INFO ] [Nat]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 19:46:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:46:41] [INFO ] [Nat]Absence check using state equation in 272 ms returned sat
[2020-05-26 19:46:41] [INFO ] [Nat]Added 1010 Read/Feed constraints in 93 ms returned sat
[2020-05-26 19:46:41] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 74 ms.
[2020-05-26 19:47:01] [INFO ] Added : 505 causal constraints over 101 iterations in 19597 ms. Result :unknown
[2020-05-26 19:47:01] [INFO ] [Real]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-05-26 19:47:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:47:01] [INFO ] [Real]Absence check using state equation in 271 ms returned sat
[2020-05-26 19:47:01] [INFO ] [Real]Added 1010 Read/Feed constraints in 109 ms returned sat
[2020-05-26 19:47:01] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:47:01] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 19:47:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:47:01] [INFO ] [Nat]Absence check using state equation in 256 ms returned sat
[2020-05-26 19:47:01] [INFO ] [Nat]Added 1010 Read/Feed constraints in 109 ms returned sat
[2020-05-26 19:47:02] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 58 ms.
[2020-05-26 19:47:21] [INFO ] Added : 495 causal constraints over 99 iterations in 19598 ms. Result :unknown
[2020-05-26 19:47:21] [INFO ] [Real]Absence check using 11 positive place invariants in 19 ms returned sat
[2020-05-26 19:47:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:47:21] [INFO ] [Real]Absence check using state equation in 330 ms returned sat
[2020-05-26 19:47:22] [INFO ] [Real]Added 1010 Read/Feed constraints in 111 ms returned sat
[2020-05-26 19:47:22] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:47:22] [INFO ] [Nat]Absence check using 11 positive place invariants in 19 ms returned sat
[2020-05-26 19:47:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:47:22] [INFO ] [Nat]Absence check using state equation in 271 ms returned sat
[2020-05-26 19:47:22] [INFO ] [Nat]Added 1010 Read/Feed constraints in 118 ms returned sat
[2020-05-26 19:47:22] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 61 ms.
[2020-05-26 19:47:42] [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 (=> (> t520 0) (and (or (and (> t32 0) (< o32 o520)) (and (> t154 0) (< o154 o520)) (and (> t176 0) (< o176 o520)) (and (> t267 0) (< o267 o520)) (and (> t301 0) (< o301 o520)) (and (> t304 0) (< o304 o520)) (and (> t386 0) (< o386 o520)) (and (> t440 0) (< o440 o520)) (and (> t444 0) (< o444 o520)) (and (> t653 0) (< o653 o520))) (or (and (> t37 0) (< o37 o520)) (and (> t143 0) (< o143 o520)) (and (> t147 0) (< o147 o520)) (and (> t160 0) (< o160 o520)) (and (> t242 0) (< o242 o520)) (and (> t397 0) (< o397 o520)) (and (> t459 0) (< o459 o520)) (and (> t470 0) (< o470 o520)) (and (> t959 0) (< o959 o520)) (and (> t1001 0) (< o1001 o520)))))") while checking expression at index 100
[2020-05-26 19:47:42] [INFO ] [Real]Absence check using 11 positive place invariants in 19 ms returned sat
[2020-05-26 19:47:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:47:42] [INFO ] [Real]Absence check using state equation in 328 ms returned sat
[2020-05-26 19:47:42] [INFO ] [Real]Added 1010 Read/Feed constraints in 132 ms returned sat
[2020-05-26 19:47:42] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:47:42] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2020-05-26 19:47:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:47:42] [INFO ] [Nat]Absence check using state equation in 264 ms returned sat
[2020-05-26 19:47:43] [INFO ] [Nat]Added 1010 Read/Feed constraints in 103 ms returned sat
[2020-05-26 19:47:43] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 73 ms.
[2020-05-26 19:48:02] [INFO ] Added : 465 causal constraints over 93 iterations in 19575 ms. Result :unknown
[2020-05-26 19:48:02] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 19:48:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:48:03] [INFO ] [Real]Absence check using state equation in 291 ms returned sat
[2020-05-26 19:48:03] [INFO ] [Real]Added 1010 Read/Feed constraints in 129 ms returned sat
[2020-05-26 19:48:03] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:48:03] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 19:48:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:48:03] [INFO ] [Nat]Absence check using state equation in 280 ms returned sat
[2020-05-26 19:48:03] [INFO ] [Nat]Added 1010 Read/Feed constraints in 110 ms returned sat
[2020-05-26 19:48:03] [INFO ] Deduced a trap composed of 65 places in 151 ms
[2020-05-26 19:48:03] [INFO ] Deduced a trap composed of 67 places in 110 ms
[2020-05-26 19:48:04] [INFO ] Deduced a trap composed of 65 places in 104 ms
[2020-05-26 19:48:04] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 481 ms
[2020-05-26 19:48:04] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 59 ms.
[2020-05-26 19:48:23] [INFO ] Added : 470 causal constraints over 94 iterations in 19102 ms. Result :unknown
[2020-05-26 19:48:23] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 19:48:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:48:23] [INFO ] [Real]Absence check using state equation in 258 ms returned sat
[2020-05-26 19:48:23] [INFO ] [Real]Added 1010 Read/Feed constraints in 153 ms returned sat
[2020-05-26 19:48:23] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:48:23] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 19:48:23] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:48:24] [INFO ] [Nat]Absence check using state equation in 292 ms returned sat
[2020-05-26 19:48:24] [INFO ] [Nat]Added 1010 Read/Feed constraints in 124 ms returned sat
[2020-05-26 19:48:24] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 65 ms.
[2020-05-26 19:48:43] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream closed (=> (> t481 0) (and (or (and (> t0 0) (< o0 o481)) (and (> t22 0) (< o22 o481)) (and (> t253 0) (< o253 o481)) (and (> t441 0) (< o441 o481)) (and (> t631 0) (< o631 o481)) (and (> t763 0) (< o763 o481)) (and (> t888 0) (< o888 o481)) (and (> t1037 0) (< o1037 o481)) (and (> t1058 0) (< o1058 o481)) (and (> t1063 0) (< o1063 o481))) (or (and (> t83 0) (< o83 o481)) (and (> t199 0) (< o199 o481)) (and (> t229 0) (< o229 o481)) (and (> t352 0) (< o352 o481)) (and (> t407 0) (< o407 o481)) (and (> t463 0) (< o463 o481)) (and (> t614 0) (< o614 o481)) (and (> t893 0) (< o893 o481)) (and (> t965 0) (< o965 o481)) (and (> t997 0) (< o997 o481)))))") while checking expression at index 103
[2020-05-26 19:48:43] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 19:48:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:48:44] [INFO ] [Real]Absence check using state equation in 300 ms returned sat
[2020-05-26 19:48:44] [INFO ] [Real]Added 1010 Read/Feed constraints in 110 ms returned sat
[2020-05-26 19:48:44] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:48:44] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 19:48:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:48:44] [INFO ] [Nat]Absence check using state equation in 268 ms returned sat
[2020-05-26 19:48:44] [INFO ] [Nat]Added 1010 Read/Feed constraints in 106 ms returned sat
[2020-05-26 19:48:44] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 71 ms.
[2020-05-26 19:49:04] [INFO ] Added : 415 causal constraints over 83 iterations in 19572 ms. Result :unknown
[2020-05-26 19:49:04] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 19:49:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:49:04] [INFO ] [Real]Absence check using state equation in 292 ms returned sat
[2020-05-26 19:49:04] [INFO ] [Real]Added 1010 Read/Feed constraints in 108 ms returned sat
[2020-05-26 19:49:04] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:49:04] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 19:49:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:49:05] [INFO ] [Nat]Absence check using state equation in 291 ms returned sat
[2020-05-26 19:49:05] [INFO ] [Nat]Added 1010 Read/Feed constraints in 129 ms returned sat
[2020-05-26 19:49:05] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 55 ms.
[2020-05-26 19:49:24] [INFO ] Added : 485 causal constraints over 97 iterations in 19541 ms. Result :unknown
[2020-05-26 19:49:24] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 19:49:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:49:25] [INFO ] [Real]Absence check using state equation in 279 ms returned sat
[2020-05-26 19:49:25] [INFO ] [Real]Added 1010 Read/Feed constraints in 147 ms returned sat
[2020-05-26 19:49:25] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:49:25] [INFO ] [Nat]Absence check using 11 positive place invariants in 29 ms returned sat
[2020-05-26 19:49:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:49:25] [INFO ] [Nat]Absence check using state equation in 261 ms returned sat
[2020-05-26 19:49:25] [INFO ] [Nat]Added 1010 Read/Feed constraints in 109 ms returned sat
[2020-05-26 19:49:25] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 85 ms.
[2020-05-26 19:49:45] [INFO ] Added : 445 causal constraints over 89 iterations in 19554 ms. Result :unknown
[2020-05-26 19:49:45] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 19:49:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:49:45] [INFO ] [Real]Absence check using state equation in 303 ms returned sat
[2020-05-26 19:49:45] [INFO ] [Real]Added 1010 Read/Feed constraints in 117 ms returned sat
[2020-05-26 19:49:45] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:49:45] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 19:49:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:49:46] [INFO ] [Nat]Absence check using state equation in 276 ms returned sat
[2020-05-26 19:49:46] [INFO ] [Nat]Added 1010 Read/Feed constraints in 122 ms returned sat
[2020-05-26 19:49:46] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 80 ms.
[2020-05-26 19:50:05] [INFO ] Added : 435 causal constraints over 87 iterations in 19545 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-26 19:50:05] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 19:50:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:50:06] [INFO ] [Real]Absence check using state equation in 296 ms returned sat
[2020-05-26 19:50:06] [INFO ] [Real]Added 1010 Read/Feed constraints in 145 ms returned sat
[2020-05-26 19:50:06] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:50:06] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 19:50:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:50:06] [INFO ] [Nat]Absence check using state equation in 279 ms returned sat
[2020-05-26 19:50:06] [INFO ] [Nat]Added 1010 Read/Feed constraints in 114 ms returned sat
[2020-05-26 19:50:06] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 94 ms.
[2020-05-26 19:50:26] [INFO ] Added : 505 causal constraints over 101 iterations in 19557 ms. Result :unknown
[2020-05-26 19:50:26] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 19:50:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:50:26] [INFO ] [Real]Absence check using state equation in 278 ms returned sat
[2020-05-26 19:50:26] [INFO ] [Real]Added 1010 Read/Feed constraints in 129 ms returned sat
[2020-05-26 19:50:26] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:50:26] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 19:50:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:50:27] [INFO ] [Nat]Absence check using state equation in 261 ms returned sat
[2020-05-26 19:50:27] [INFO ] [Nat]Added 1010 Read/Feed constraints in 134 ms returned sat
[2020-05-26 19:50:27] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 71 ms.
[2020-05-26 19:50:46] [INFO ] Added : 505 causal constraints over 101 iterations in 19531 ms. Result :unknown
[2020-05-26 19:50:46] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 19:50:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:50:47] [INFO ] [Real]Absence check using state equation in 271 ms returned sat
[2020-05-26 19:50:47] [INFO ] [Real]Added 1010 Read/Feed constraints in 99 ms returned sat
[2020-05-26 19:50:47] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:50:47] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2020-05-26 19:50:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:50:47] [INFO ] [Nat]Absence check using state equation in 249 ms returned sat
[2020-05-26 19:50:47] [INFO ] [Nat]Added 1010 Read/Feed constraints in 91 ms returned sat
[2020-05-26 19:50:47] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 76 ms.
[2020-05-26 19:51:07] [INFO ] Added : 460 causal constraints over 92 iterations in 19613 ms. Result :unknown
[2020-05-26 19:51:07] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 19:51:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:51:07] [INFO ] [Real]Absence check using state equation in 248 ms returned sat
[2020-05-26 19:51:07] [INFO ] [Real]Added 1010 Read/Feed constraints in 108 ms returned sat
[2020-05-26 19:51:07] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:51:07] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 19:51:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:51:08] [INFO ] [Nat]Absence check using state equation in 317 ms returned sat
[2020-05-26 19:51:08] [INFO ] [Nat]Added 1010 Read/Feed constraints in 108 ms returned sat
[2020-05-26 19:51:08] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 76 ms.
[2020-05-26 19:51:27] [INFO ] Added : 485 causal constraints over 97 iterations in 19538 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-26 19:51:27] [INFO ] [Real]Absence check using 11 positive place invariants in 16 ms returned sat
[2020-05-26 19:51:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:51:28] [INFO ] [Real]Absence check using state equation in 289 ms returned sat
[2020-05-26 19:51:28] [INFO ] [Real]Added 1010 Read/Feed constraints in 112 ms returned sat
[2020-05-26 19:51:28] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:51:28] [INFO ] [Nat]Absence check using 11 positive place invariants in 24 ms returned sat
[2020-05-26 19:51:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:51:28] [INFO ] [Nat]Absence check using state equation in 273 ms returned sat
[2020-05-26 19:51:28] [INFO ] [Nat]Added 1010 Read/Feed constraints in 113 ms returned sat
[2020-05-26 19:51:28] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 73 ms.
[2020-05-26 19:51:48] [INFO ] Added : 505 causal constraints over 101 iterations in 19553 ms. Result :unknown
[2020-05-26 19:51:48] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 19:51:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:51:48] [INFO ] [Real]Absence check using state equation in 286 ms returned sat
[2020-05-26 19:51:48] [INFO ] [Real]Added 1010 Read/Feed constraints in 130 ms returned sat
[2020-05-26 19:51:48] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:51:48] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 19:51:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:51:49] [INFO ] [Nat]Absence check using state equation in 282 ms returned sat
[2020-05-26 19:51:49] [INFO ] [Nat]Added 1010 Read/Feed constraints in 112 ms returned sat
[2020-05-26 19:51:49] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 79 ms.
[2020-05-26 19:52:08] [INFO ] Added : 495 causal constraints over 99 iterations in 19564 ms. Result :unknown
[2020-05-26 19:52:08] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 19:52:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:52:09] [INFO ] [Real]Absence check using state equation in 253 ms returned sat
[2020-05-26 19:52:09] [INFO ] [Real]Added 1010 Read/Feed constraints in 126 ms returned sat
[2020-05-26 19:52:09] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:52:09] [INFO ] [Nat]Absence check using 11 positive place invariants in 23 ms returned sat
[2020-05-26 19:52:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:52:09] [INFO ] [Nat]Absence check using state equation in 276 ms returned sat
[2020-05-26 19:52:09] [INFO ] [Nat]Added 1010 Read/Feed constraints in 122 ms returned sat
[2020-05-26 19:52:09] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 53 ms.
[2020-05-26 19:52:29] [INFO ] Added : 475 causal constraints over 95 iterations in 19502 ms. Result :unknown
[2020-05-26 19:52:29] [INFO ] [Real]Absence check using 11 positive place invariants in 16 ms returned sat
[2020-05-26 19:52:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:52:29] [INFO ] [Real]Absence check using state equation in 285 ms returned sat
[2020-05-26 19:52:29] [INFO ] [Real]Added 1010 Read/Feed constraints in 130 ms returned sat
[2020-05-26 19:52:29] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:52:29] [INFO ] [Nat]Absence check using 11 positive place invariants in 19 ms returned sat
[2020-05-26 19:52:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:52:30] [INFO ] [Nat]Absence check using state equation in 255 ms returned sat
[2020-05-26 19:52:30] [INFO ] [Nat]Added 1010 Read/Feed constraints in 111 ms returned sat
[2020-05-26 19:52:30] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 73 ms.
[2020-05-26 19:52:49] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream closed (=> (> t500 0) (and (or (and (> t44 0) (< o44 o500)) (and (> t489 0) (< o489 o500)) (and (> t504 0) (< o504 o500)) (and (> t564 0) (< o564 o500)) (and (> t569 0) (< o569 o500)) (and (> t662 0) (< o662 o500)) (and (> t673 0) (< o673 o500)) (and (> t700 0) (< o700 o500)) (and (> t1024 0) (< o1024 o500)) (and (> t1068 0) (< o1068 o500))) (or (and (> t61 0) (< o61 o500)) (and (> t172 0) (< o172 o500)) (and (> t226 0) (< o226 o500)) (and (> t318 0) (< o318 o500)) (and (> t447 0) (< o447 o500)) (and (> t606 0) (< o606 o500)) (and (> t661 0) (< o661 o500)) (and (> t734 0) (< o734 o500)) (and (> t752 0) (< o752 o500)) (and (> t990 0) (< o990 o500)))))") while checking expression at index 115
[2020-05-26 19:52:50] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 19:52:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:52:50] [INFO ] [Real]Absence check using state equation in 276 ms returned sat
[2020-05-26 19:52:50] [INFO ] [Real]Added 1010 Read/Feed constraints in 114 ms returned sat
[2020-05-26 19:52:50] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:52:50] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 19:52:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:52:50] [INFO ] [Nat]Absence check using state equation in 325 ms returned sat
[2020-05-26 19:52:50] [INFO ] [Nat]Added 1010 Read/Feed constraints in 108 ms returned sat
[2020-05-26 19:52:51] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 70 ms.
[2020-05-26 19:53:10] [INFO ] Added : 500 causal constraints over 100 iterations in 19531 ms. Result :unknown
[2020-05-26 19:53:10] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 19:53:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:53:10] [INFO ] [Real]Absence check using state equation in 280 ms returned sat
[2020-05-26 19:53:10] [INFO ] [Real]Added 1010 Read/Feed constraints in 121 ms returned sat
[2020-05-26 19:53:10] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:53:11] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 19:53:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:53:11] [INFO ] [Nat]Absence check using state equation in 274 ms returned sat
[2020-05-26 19:53:11] [INFO ] [Nat]Added 1010 Read/Feed constraints in 109 ms returned sat
[2020-05-26 19:53:11] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 76 ms.
[2020-05-26 19:53:30] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream closed (=> (> t527 0) (and (or (and (> t217 0) (< o217 o527)) (and (> t368 0) (< o368 o527)) (and (> t516 0) (< o516 o527)) (and (> t550 0) (< o550 o527)) (and (> t652 0) (< o652 o527)) (and (> t855 0) (< o855 o527)) (and (> t895 0) (< o895 o527)) (and (> t924 0) (< o924 o527)) (and (> t1032 0) (< o1032 o527)) (and (> t1099 0) (< o1099 o527))) (or (and (> t82 0) (< o82 o527)) (and (> t86 0) (< o86 o527)) (and (> t124 0) (< o124 o527)) (and (> t269 0) (< o269 o527)) (and (> t306 0) (< o306 o527)) (and (> t388 0) (< o388 o527)) (and (> t490 0) (< o490 o527)) (and (> t520 0) (< o520 o527)) (and (> t897 0) (< o897 o527)) (and (> t1022 0) (< o1022 o527)))))") while checking expression at index 117
[2020-05-26 19:53:31] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 19:53:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:53:31] [INFO ] [Real]Absence check using state equation in 258 ms returned sat
[2020-05-26 19:53:31] [INFO ] [Real]Added 1010 Read/Feed constraints in 125 ms returned sat
[2020-05-26 19:53:31] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:53:31] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 19:53:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:53:31] [INFO ] [Nat]Absence check using state equation in 273 ms returned sat
[2020-05-26 19:53:31] [INFO ] [Nat]Added 1010 Read/Feed constraints in 95 ms returned sat
[2020-05-26 19:53:31] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 83 ms.
[2020-05-26 19:53:51] [INFO ] Added : 490 causal constraints over 98 iterations in 19585 ms. Result :unknown
[2020-05-26 19:53:51] [INFO ] [Real]Absence check using 11 positive place invariants in 17 ms returned sat
[2020-05-26 19:53:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:53:51] [INFO ] [Real]Absence check using state equation in 286 ms returned sat
[2020-05-26 19:53:51] [INFO ] [Real]Added 1010 Read/Feed constraints in 133 ms returned sat
[2020-05-26 19:53:51] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:53:52] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 19:53:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:53:52] [INFO ] [Nat]Absence check using state equation in 278 ms returned sat
[2020-05-26 19:53:52] [INFO ] [Nat]Added 1010 Read/Feed constraints in 138 ms returned sat
[2020-05-26 19:53:52] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 74 ms.
[2020-05-26 19:54:12] [INFO ] Added : 465 causal constraints over 93 iterations in 19531 ms. Result :unknown
[2020-05-26 19:54:12] [INFO ] [Real]Absence check using 11 positive place invariants in 17 ms returned sat
[2020-05-26 19:54:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:54:12] [INFO ] [Real]Absence check using state equation in 279 ms returned sat
[2020-05-26 19:54:12] [INFO ] [Real]Added 1010 Read/Feed constraints in 133 ms returned sat
[2020-05-26 19:54:12] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:54:12] [INFO ] [Nat]Absence check using 11 positive place invariants in 22 ms returned sat
[2020-05-26 19:54:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:54:12] [INFO ] [Nat]Absence check using state equation in 252 ms returned sat
[2020-05-26 19:54:12] [INFO ] [Nat]Added 1010 Read/Feed constraints in 106 ms returned sat
[2020-05-26 19:54:13] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 60 ms.
[2020-05-26 19:54:32] [INFO ] Added : 470 causal constraints over 94 iterations in 19583 ms. Result :unknown
[2020-05-26 19:54:32] [INFO ] [Real]Absence check using 11 positive place invariants in 19 ms returned sat
[2020-05-26 19:54:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:54:32] [INFO ] [Real]Absence check using state equation in 262 ms returned sat
[2020-05-26 19:54:33] [INFO ] [Real]Added 1010 Read/Feed constraints in 128 ms returned sat
[2020-05-26 19:54:33] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:54:33] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 19:54:33] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:54:33] [INFO ] [Nat]Absence check using state equation in 269 ms returned sat
[2020-05-26 19:54:33] [INFO ] [Nat]Added 1010 Read/Feed constraints in 110 ms returned sat
[2020-05-26 19:54:33] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 75 ms.
[2020-05-26 19:54:53] [INFO ] Added : 475 causal constraints over 95 iterations in 19569 ms. Result :unknown
[2020-05-26 19:54:53] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 19:54:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:54:53] [INFO ] [Real]Absence check using state equation in 277 ms returned sat
[2020-05-26 19:54:53] [INFO ] [Real]Added 1010 Read/Feed constraints in 124 ms returned sat
[2020-05-26 19:54:53] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:54:53] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 19:54:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:54:53] [INFO ] [Nat]Absence check using state equation in 275 ms returned sat
[2020-05-26 19:54:54] [INFO ] [Nat]Added 1010 Read/Feed constraints in 124 ms returned sat
[2020-05-26 19:54:54] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 79 ms.
[2020-05-26 19:55:13] [INFO ] Added : 465 causal constraints over 93 iterations in 19568 ms. Result :(error "Failed to check-sat")
[2020-05-26 19:55:13] [INFO ] [Real]Absence check using 11 positive place invariants in 24 ms returned sat
[2020-05-26 19:55:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:55:13] [INFO ] [Real]Absence check using state equation in 302 ms returned sat
[2020-05-26 19:55:14] [INFO ] [Real]Added 1010 Read/Feed constraints in 103 ms returned sat
[2020-05-26 19:55:14] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:55:14] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2020-05-26 19:55:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:55:14] [INFO ] [Nat]Absence check using state equation in 290 ms returned sat
[2020-05-26 19:55:14] [INFO ] [Nat]Added 1010 Read/Feed constraints in 115 ms returned sat
[2020-05-26 19:55:14] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 78 ms.
[2020-05-26 19:55:34] [INFO ] Added : 495 causal constraints over 99 iterations in 19545 ms. Result :unknown
[2020-05-26 19:55:34] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 19:55:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:55:34] [INFO ] [Real]Absence check using state equation in 292 ms returned sat
[2020-05-26 19:55:34] [INFO ] [Real]Added 1010 Read/Feed constraints in 135 ms returned sat
[2020-05-26 19:55:34] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:55:34] [INFO ] [Nat]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 19:55:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:55:34] [INFO ] [Nat]Absence check using state equation in 308 ms returned sat
[2020-05-26 19:55:35] [INFO ] [Nat]Added 1010 Read/Feed constraints in 122 ms returned sat
[2020-05-26 19:55:35] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 73 ms.
[2020-05-26 19:55:54] [INFO ] Added : 450 causal constraints over 90 iterations in 19519 ms. Result :unknown
[2020-05-26 19:55:54] [INFO ] [Real]Absence check using 11 positive place invariants in 30 ms returned sat
[2020-05-26 19:55:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:55:55] [INFO ] [Real]Absence check using state equation in 334 ms returned sat
[2020-05-26 19:55:55] [INFO ] [Real]Added 1010 Read/Feed constraints in 142 ms returned sat
[2020-05-26 19:55:55] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:55:55] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 19:55:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:55:55] [INFO ] [Nat]Absence check using state equation in 274 ms returned sat
[2020-05-26 19:55:55] [INFO ] [Nat]Added 1010 Read/Feed constraints in 134 ms returned sat
[2020-05-26 19:55:55] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 62 ms.
[2020-05-26 19:56:15] [INFO ] Added : 460 causal constraints over 92 iterations in 19539 ms. Result :unknown
[2020-05-26 19:56:15] [INFO ] [Real]Absence check using 11 positive place invariants in 22 ms returned sat
[2020-05-26 19:56:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:56:15] [INFO ] [Real]Absence check using state equation in 314 ms returned sat
[2020-05-26 19:56:15] [INFO ] [Real]Added 1010 Read/Feed constraints in 127 ms returned sat
[2020-05-26 19:56:15] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:56:15] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 19:56:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:56:16] [INFO ] [Nat]Absence check using state equation in 294 ms returned sat
[2020-05-26 19:56:16] [INFO ] [Nat]Added 1010 Read/Feed constraints in 135 ms returned sat
[2020-05-26 19:56:16] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 65 ms.
[2020-05-26 19:56:35] [INFO ] Added : 435 causal constraints over 87 iterations in 19528 ms. Result :unknown
[2020-05-26 19:56:35] [INFO ] [Real]Absence check using 11 positive place invariants in 24 ms returned sat
[2020-05-26 19:56:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:56:36] [INFO ] [Real]Absence check using state equation in 295 ms returned sat
[2020-05-26 19:56:36] [INFO ] [Real]Added 1010 Read/Feed constraints in 129 ms returned sat
[2020-05-26 19:56:36] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:56:36] [INFO ] [Nat]Absence check using 11 positive place invariants in 34 ms returned sat
[2020-05-26 19:56:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:56:36] [INFO ] [Nat]Absence check using state equation in 268 ms returned sat
[2020-05-26 19:56:36] [INFO ] [Nat]Added 1010 Read/Feed constraints in 131 ms returned sat
[2020-05-26 19:56:36] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 68 ms.
[2020-05-26 19:56:56] [INFO ] Added : 465 causal constraints over 93 iterations in 19534 ms. Result :unknown
[2020-05-26 19:56:56] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 19:56:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:56:56] [INFO ] [Real]Absence check using state equation in 268 ms returned sat
[2020-05-26 19:56:56] [INFO ] [Real]Added 1010 Read/Feed constraints in 121 ms returned sat
[2020-05-26 19:56:56] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:56:56] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 19:56:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:56:57] [INFO ] [Nat]Absence check using state equation in 281 ms returned sat
[2020-05-26 19:56:57] [INFO ] [Nat]Added 1010 Read/Feed constraints in 110 ms returned sat
[2020-05-26 19:56:57] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 80 ms.
[2020-05-26 19:57:16] [INFO ] Added : 470 causal constraints over 94 iterations in 19564 ms. Result :unknown
[2020-05-26 19:57:16] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 19:57:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:57:17] [INFO ] [Real]Absence check using state equation in 293 ms returned sat
[2020-05-26 19:57:17] [INFO ] [Real]Added 1010 Read/Feed constraints in 124 ms returned sat
[2020-05-26 19:57:17] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:57:17] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 19:57:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:57:17] [INFO ] [Nat]Absence check using state equation in 259 ms returned sat
[2020-05-26 19:57:17] [INFO ] [Nat]Added 1010 Read/Feed constraints in 96 ms returned sat
[2020-05-26 19:57:17] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 115 ms.
[2020-05-26 19:57:37] [INFO ] Added : 485 causal constraints over 97 iterations in 19600 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-26 19:57:37] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 19:57:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:57:37] [INFO ] [Real]Absence check using state equation in 247 ms returned sat
[2020-05-26 19:57:37] [INFO ] [Real]Added 1010 Read/Feed constraints in 135 ms returned sat
[2020-05-26 19:57:37] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:57:37] [INFO ] [Nat]Absence check using 11 positive place invariants in 20 ms returned sat
[2020-05-26 19:57:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:57:38] [INFO ] [Nat]Absence check using state equation in 290 ms returned sat
[2020-05-26 19:57:38] [INFO ] [Nat]Added 1010 Read/Feed constraints in 116 ms returned sat
[2020-05-26 19:57:38] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 57 ms.
[2020-05-26 19:57:57] [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 (=> (> t528 0) (and (or (and (> t46 0) (< o46 o528)) (and (> t95 0) (< o95 o528)) (and (> t213 0) (< o213 o528)) (and (> t249 0) (< o249 o528)) (and (> t375 0) (< o375 o528)) (and (> t458 0) (< o458 o528)) (and (> t477 0) (< o477 o528)) (and (> t629 0) (< o629 o528)) (and (> t638 0) (< o638 o528)) (and (> t836 0) (< o836 o528))) (or (and (> t2 0) (< o2 o528)) (and (> t288 0) (< o288 o528)) (and (> t356 0) (< o356 o528)) (and (> t418 0) (< o418 o528)) (and (> t437 0) (< o437 o528)) (and (> t443 0) (< o443 o528)) (and (> t449 0) (< o449 o528)) (and (> t760 0) (< o760 o528)) (and (> t984 0) (< o984 o528)) (and (> t1103 0) (< o1103 o528)))))") while checking expression at index 130
[2020-05-26 19:57:57] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 19:57:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:57:58] [INFO ] [Real]Absence check using state equation in 279 ms returned sat
[2020-05-26 19:57:58] [INFO ] [Real]Added 1010 Read/Feed constraints in 129 ms returned sat
[2020-05-26 19:57:58] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:57:58] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 19:57:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:57:58] [INFO ] [Nat]Absence check using state equation in 272 ms returned sat
[2020-05-26 19:57:58] [INFO ] [Nat]Added 1010 Read/Feed constraints in 123 ms returned sat
[2020-05-26 19:57:58] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 71 ms.
[2020-05-26 19:58:18] [INFO ] Added : 465 causal constraints over 93 iterations in 19564 ms. Result :unknown
[2020-05-26 19:58:18] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 19:58:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:58:18] [INFO ] [Real]Absence check using state equation in 261 ms returned sat
[2020-05-26 19:58:18] [INFO ] [Real]Added 1010 Read/Feed constraints in 124 ms returned sat
[2020-05-26 19:58:18] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:58:18] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 19:58:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:58:19] [INFO ] [Nat]Absence check using state equation in 286 ms returned sat
[2020-05-26 19:58:19] [INFO ] [Nat]Added 1010 Read/Feed constraints in 113 ms returned sat
[2020-05-26 19:58:19] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 87 ms.
[2020-05-26 19:58:38] [INFO ] Added : 480 causal constraints over 96 iterations in 19538 ms. Result :unknown
[2020-05-26 19:58:38] [INFO ] [Real]Absence check using 11 positive place invariants in 19 ms returned sat
[2020-05-26 19:58:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:58:39] [INFO ] [Real]Absence check using state equation in 320 ms returned sat
[2020-05-26 19:58:39] [INFO ] [Real]Added 1010 Read/Feed constraints in 130 ms returned sat
[2020-05-26 19:58:39] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:58:39] [INFO ] [Nat]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 19:58:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:58:39] [INFO ] [Nat]Absence check using state equation in 286 ms returned sat
[2020-05-26 19:58:39] [INFO ] [Nat]Added 1010 Read/Feed constraints in 113 ms returned sat
[2020-05-26 19:58:40] [INFO ] Deduced a trap composed of 65 places in 127 ms
[2020-05-26 19:58:40] [INFO ] Deduced a trap composed of 63 places in 109 ms
[2020-05-26 19:58:40] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 320 ms
[2020-05-26 19:58:40] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 60 ms.
[2020-05-26 19:58:59] [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 (=> (> t469 0) (and (or (and (> t24 0) (< o24 o469)) (and (> t114 0) (< o114 o469)) (and (> t165 0) (< o165 o469)) (and (> t326 0) (< o326 o469)) (and (> t514 0) (< o514 o469)) (and (> t600 0) (< o600 o469)) (and (> t724 0) (< o724 o469)) (and (> t837 0) (< o837 o469)) (and (> t938 0) (< o938 o469)) (and (> t1077 0) (< o1077 o469))) (or (and (> t42 0) (< o42 o469)) (and (> t134 0) (< o134 o469)) (and (> t294 0) (< o294 o469)) (and (> t452 0) (< o452 o469)) (and (> t665 0) (< o665 o469)) (and (> t775 0) (< o775 o469)) (and (> t863 0) (< o863 o469)) (and (> t906 0) (< o906 o469)) (and (> t996 0) (< o996 o469)) (and (> t1042 0) (< o1042 o469)))))") while checking expression at index 133
[2020-05-26 19:58:59] [INFO ] [Real]Absence check using 11 positive place invariants in 19 ms returned sat
[2020-05-26 19:58:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:58:59] [INFO ] [Real]Absence check using state equation in 274 ms returned sat
[2020-05-26 19:58:59] [INFO ] [Real]Added 1010 Read/Feed constraints in 129 ms returned sat
[2020-05-26 19:58:59] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:59:00] [INFO ] [Nat]Absence check using 11 positive place invariants in 28 ms returned sat
[2020-05-26 19:59:00] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:59:00] [INFO ] [Nat]Absence check using state equation in 319 ms returned sat
[2020-05-26 19:59:00] [INFO ] [Nat]Added 1010 Read/Feed constraints in 150 ms returned sat
[2020-05-26 19:59:00] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 76 ms.
[2020-05-26 19:59:19] [INFO ] Added : 470 causal constraints over 94 iterations in 19457 ms. Result :unknown
[2020-05-26 19:59:20] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 19:59:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:59:20] [INFO ] [Real]Absence check using state equation in 270 ms returned sat
[2020-05-26 19:59:20] [INFO ] [Real]Added 1010 Read/Feed constraints in 131 ms returned sat
[2020-05-26 19:59:20] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:59:20] [INFO ] [Nat]Absence check using 11 positive place invariants in 20 ms returned sat
[2020-05-26 19:59:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:59:20] [INFO ] [Nat]Absence check using state equation in 286 ms returned sat
[2020-05-26 19:59:20] [INFO ] [Nat]Added 1010 Read/Feed constraints in 127 ms returned sat
[2020-05-26 19:59:21] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 72 ms.
[2020-05-26 19:59:40] [INFO ] Added : 440 causal constraints over 88 iterations in 19534 ms. Result :unknown
[2020-05-26 19:59:40] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 19:59:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 19:59:40] [INFO ] [Real]Absence check using state equation in 322 ms returned sat
[2020-05-26 19:59:41] [INFO ] [Real]Added 1010 Read/Feed constraints in 168 ms returned sat
[2020-05-26 19:59:41] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 19:59:41] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2020-05-26 19:59:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 19:59:41] [INFO ] [Nat]Absence check using state equation in 277 ms returned sat
[2020-05-26 19:59:41] [INFO ] [Nat]Added 1010 Read/Feed constraints in 108 ms returned sat
[2020-05-26 19:59:41] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 84 ms.
[2020-05-26 20:00:01] [INFO ] Added : 440 causal constraints over 88 iterations in 19560 ms. Result :unknown
[2020-05-26 20:00:01] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 20:00:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 20:00:01] [INFO ] [Real]Absence check using state equation in 303 ms returned sat
[2020-05-26 20:00:01] [INFO ] [Real]Added 1010 Read/Feed constraints in 102 ms returned sat
[2020-05-26 20:00:01] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 20:00:01] [INFO ] [Nat]Absence check using 11 positive place invariants in 20 ms returned sat
[2020-05-26 20:00:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 20:00:02] [INFO ] [Nat]Absence check using state equation in 330 ms returned sat
[2020-05-26 20:00:02] [INFO ] [Nat]Added 1010 Read/Feed constraints in 145 ms returned sat
[2020-05-26 20:00:02] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 79 ms.
[2020-05-26 20:00:21] [INFO ] Added : 450 causal constraints over 90 iterations in 19476 ms. Result :unknown
[2020-05-26 20:00:21] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2020-05-26 20:00:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 20:00:21] [INFO ] [Real]Absence check using state equation in 304 ms returned sat
[2020-05-26 20:00:22] [INFO ] [Real]Added 1010 Read/Feed constraints in 99 ms returned sat
[2020-05-26 20:00:22] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 20:00:22] [INFO ] [Nat]Absence check using 11 positive place invariants in 19 ms returned sat
[2020-05-26 20:00:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 20:00:22] [INFO ] [Nat]Absence check using state equation in 270 ms returned sat
[2020-05-26 20:00:22] [INFO ] [Nat]Added 1010 Read/Feed constraints in 110 ms returned sat
[2020-05-26 20:00:22] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 76 ms.
[2020-05-26 20:00:42] [INFO ] Added : 455 causal constraints over 91 iterations in 19564 ms. Result :unknown
[2020-05-26 20:00:42] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 20:00:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 20:00:42] [INFO ] [Real]Absence check using state equation in 278 ms returned sat
[2020-05-26 20:00:42] [INFO ] [Real]Added 1010 Read/Feed constraints in 129 ms returned sat
[2020-05-26 20:00:42] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 20:00:42] [INFO ] [Nat]Absence check using 11 positive place invariants in 19 ms returned sat
[2020-05-26 20:00:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 20:00:43] [INFO ] [Nat]Absence check using state equation in 304 ms returned sat
[2020-05-26 20:00:43] [INFO ] [Nat]Added 1010 Read/Feed constraints in 97 ms returned sat
[2020-05-26 20:00:43] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 64 ms.
[2020-05-26 20:01:02] [INFO ] Added : 480 causal constraints over 96 iterations in 19557 ms. Result :unknown
[2020-05-26 20:01:02] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 20:01:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 20:01:03] [INFO ] [Real]Absence check using state equation in 318 ms returned sat
[2020-05-26 20:01:03] [INFO ] [Real]Added 1010 Read/Feed constraints in 138 ms returned sat
[2020-05-26 20:01:03] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 20:01:03] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 20:01:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 20:01:03] [INFO ] [Nat]Absence check using state equation in 285 ms returned sat
[2020-05-26 20:01:03] [INFO ] [Nat]Added 1010 Read/Feed constraints in 117 ms returned sat
[2020-05-26 20:01:03] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 64 ms.
[2020-05-26 20:01:23] [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 (=> (> t489 0) (or (and (> t146 0) (< o146 o489)) (and (> t151 0) (< o151 o489)) (and (> t343 0) (< o343 o489)) (and (> t519 0) (< o519 o489)) (and (> t547 0) (< o547 o489)) (and (> t591 0) (< o591 o489)) (and (> t768 0) (< o768 o489)) (and (> t793 0) (< o793 o489)) (and (> t1044 0) (< o1044 o489)) (and (> t1066 0) (< o1066 o489))))") while checking expression at index 140
[2020-05-26 20:01:23] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-05-26 20:01:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 20:01:23] [INFO ] [Real]Absence check using state equation in 258 ms returned sat
[2020-05-26 20:01:23] [INFO ] [Real]Added 1010 Read/Feed constraints in 91 ms returned sat
[2020-05-26 20:01:23] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 20:01:23] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2020-05-26 20:01:23] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 20:01:24] [INFO ] [Nat]Absence check using state equation in 335 ms returned sat
[2020-05-26 20:01:24] [INFO ] [Nat]Added 1010 Read/Feed constraints in 101 ms returned sat
[2020-05-26 20:01:24] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 58 ms.
[2020-05-26 20:01:43] [INFO ] Added : 450 causal constraints over 90 iterations in 19538 ms. Result :(error "Failed to check-sat")
[2020-05-26 20:01:43] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2020-05-26 20:01:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 20:01:44] [INFO ] [Real]Absence check using state equation in 305 ms returned sat
[2020-05-26 20:01:44] [INFO ] [Real]Added 1010 Read/Feed constraints in 110 ms returned sat
[2020-05-26 20:01:44] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 20:01:44] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 20:01:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 20:01:44] [INFO ] [Nat]Absence check using state equation in 288 ms returned sat
[2020-05-26 20:01:44] [INFO ] [Nat]Added 1010 Read/Feed constraints in 125 ms returned sat
[2020-05-26 20:01:44] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 53 ms.
[2020-05-26 20:02:04] [INFO ] Added : 460 causal constraints over 92 iterations in 19526 ms. Result :unknown
[2020-05-26 20:02:04] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 20:02:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 20:02:04] [INFO ] [Real]Absence check using state equation in 281 ms returned sat
[2020-05-26 20:02:04] [INFO ] [Real]Added 1010 Read/Feed constraints in 114 ms returned sat
[2020-05-26 20:02:04] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 20:02:04] [INFO ] [Nat]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-05-26 20:02:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 20:02:04] [INFO ] [Nat]Absence check using state equation in 258 ms returned sat
[2020-05-26 20:02:05] [INFO ] [Nat]Added 1010 Read/Feed constraints in 113 ms returned sat
[2020-05-26 20:02:05] [INFO ] Deduced a trap composed of 66 places in 139 ms
[2020-05-26 20:02:05] [INFO ] Deduced a trap composed of 67 places in 111 ms
[2020-05-26 20:02:05] [INFO ] Deduced a trap composed of 65 places in 107 ms
[2020-05-26 20:02:05] [INFO ] Deduced a trap composed of 66 places in 120 ms
[2020-05-26 20:02:05] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 614 ms
[2020-05-26 20:02:05] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 70 ms.
[2020-05-26 20:02:24] [INFO ] Added : 445 causal constraints over 89 iterations in 18996 ms. Result :unknown
[2020-05-26 20:02:24] [INFO ] [Real]Absence check using 11 positive place invariants in 16 ms returned sat
[2020-05-26 20:02:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 20:02:25] [INFO ] [Real]Absence check using state equation in 268 ms returned sat
[2020-05-26 20:02:25] [INFO ] [Real]Added 1010 Read/Feed constraints in 129 ms returned sat
[2020-05-26 20:02:25] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 20:02:25] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2020-05-26 20:02:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 20:02:25] [INFO ] [Nat]Absence check using state equation in 255 ms returned sat
[2020-05-26 20:02:25] [INFO ] [Nat]Added 1010 Read/Feed constraints in 105 ms returned sat
[2020-05-26 20:02:25] [INFO ] Deduced a trap composed of 65 places in 143 ms
[2020-05-26 20:02:25] [INFO ] Deduced a trap composed of 65 places in 100 ms
[2020-05-26 20:02:25] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 321 ms
[2020-05-26 20:02:25] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 72 ms.
[2020-05-26 20:02:45] [INFO ] Added : 450 causal constraints over 90 iterations in 19295 ms. Result :unknown
[2020-05-26 20:02:45] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 20:02:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 20:02:45] [INFO ] [Real]Absence check using state equation in 260 ms returned sat
[2020-05-26 20:02:45] [INFO ] [Real]Added 1010 Read/Feed constraints in 127 ms returned sat
[2020-05-26 20:02:45] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 20:02:45] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2020-05-26 20:02:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 20:02:45] [INFO ] [Nat]Absence check using state equation in 249 ms returned sat
[2020-05-26 20:02:46] [INFO ] [Nat]Added 1010 Read/Feed constraints in 112 ms returned sat
[2020-05-26 20:02:46] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 73 ms.
[2020-05-26 20:03:05] [INFO ] Added : 460 causal constraints over 92 iterations in 19583 ms. Result :unknown
[2020-05-26 20:03:05] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2020-05-26 20:03:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 20:03:05] [INFO ] [Real]Absence check using state equation in 270 ms returned sat
[2020-05-26 20:03:06] [INFO ] [Real]Added 1010 Read/Feed constraints in 123 ms returned sat
[2020-05-26 20:03:06] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 20:03:06] [INFO ] [Nat]Absence check using 11 positive place invariants in 19 ms returned sat
[2020-05-26 20:03:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 20:03:06] [INFO ] [Nat]Absence check using state equation in 269 ms returned sat
[2020-05-26 20:03:06] [INFO ] [Nat]Added 1010 Read/Feed constraints in 111 ms returned sat
[2020-05-26 20:03:06] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 72 ms.
[2020-05-26 20:03:26] [INFO ] Added : 465 causal constraints over 93 iterations in 19562 ms. Result :unknown
[2020-05-26 20:03:26] [INFO ] [Real]Absence check using 11 positive place invariants in 17 ms returned sat
[2020-05-26 20:03:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-26 20:03:26] [INFO ] [Real]Absence check using state equation in 229 ms returned sat
[2020-05-26 20:03:26] [INFO ] [Real]Added 1010 Read/Feed constraints in 111 ms returned sat
[2020-05-26 20:03:26] [INFO ] Solution in real domain found non-integer solution.
[2020-05-26 20:03:26] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2020-05-26 20:03:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-26 20:03:26] [INFO ] [Nat]Absence check using state equation in 212 ms returned sat
[2020-05-26 20:03:26] [INFO ] [Nat]Added 1010 Read/Feed constraints in 69 ms returned sat
[2020-05-26 20:03:27] [INFO ] Deduced a trap composed of 65 places in 94 ms
[2020-05-26 20:03:27] [INFO ] Deduced a trap composed of 65 places in 91 ms
[2020-05-26 20:03:27] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 236 ms
[2020-05-26 20:03:27] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 78 ms.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="TokenRing-PT-010"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is TokenRing-PT-010, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r193-csrt-159033388900482"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-PT-010.tgz
mv TokenRing-PT-010 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' 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 ;