About the Execution of 2020-gold for TokenRing-PT-010
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1476.031 | 3600000.00 | 3670376.00 | 11645.30 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r284-smll-162123894300046.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2021-input.qcow2 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 gold2020
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 r284-smll-162123894300046
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 11M
-rw-r--r-- 1 mcc users 95K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 494K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 1.1M May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 4.2M May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.6K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 68K Mar 28 16:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 249K Mar 28 16:46 LTLCardinality.xml
-rw-r--r-- 1 mcc users 459K Mar 28 16:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 1.3M Mar 28 16:46 LTLFireability.xml
-rw-r--r-- 1 mcc users 52K Mar 27 14:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 173K Mar 27 14:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 438K Mar 25 20:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.3M Mar 25 20:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 15K Mar 22 08:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 35K Mar 22 08:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:52 equiv_col
-rw-r--r-- 1 mcc users 4 May 5 16:52 instance
-rw-r--r-- 1 mcc users 6 May 5 16:52 iscolored
-rw-r--r-- 1 mcc users 804K May 5 16:52 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 1621406834015
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-19 06:47:17] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2021-05-19 06:47:17] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-19 06:47:18] [INFO ] Load time of PNML (sax parser for PT used): 319 ms
[2021-05-19 06:47:18] [INFO ] Transformed 121 places.
[2021-05-19 06:47:18] [INFO ] Transformed 1111 transitions.
[2021-05-19 06:47:18] [INFO ] Found NUPN structural information;
[2021-05-19 06:47:18] [INFO ] Parsed PT model containing 121 places and 1111 transitions in 429 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 429 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 0 resets, run finished after 21449 ms. (steps per millisecond=4 ) properties seen :[1, 1, 0, 0, 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, 1, 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, 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 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, 0, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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, 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, 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, 0, 0, 0, 0, 0, 0, 0, 1, 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, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 1, 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, 1, 0, 0, 1, 1, 0, 0, 0, 0, 1, 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, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 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, 1, 1, 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, 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, 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, 1, 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, 1, 0, 0, 0, 0, 0, 1, 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, 1, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 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, 1, 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, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1]
// Phase 1: matrix 1111 rows 121 cols
[2021-05-19 06:47:40] [INFO ] Computed 11 place invariants in 30 ms
[2021-05-19 06:47:40] [INFO ] [Real]Absence check using 11 positive place invariants in 57 ms returned sat
[2021-05-19 06:47:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:47:40] [INFO ] [Real]Absence check using state equation in 499 ms returned sat
[2021-05-19 06:47:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:47:41] [INFO ] [Nat]Absence check using 11 positive place invariants in 64 ms returned unsat
[2021-05-19 06:47:42] [INFO ] [Real]Absence check using 11 positive place invariants in 826 ms returned unsat
[2021-05-19 06:47:42] [INFO ] [Real]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 06:47:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:47:42] [INFO ] [Real]Absence check using state equation in 540 ms returned sat
[2021-05-19 06:47:42] [INFO ] State equation strengthened by 1010 read => feed constraints.
[2021-05-19 06:47:43] [INFO ] [Real]Added 1010 Read/Feed constraints in 238 ms returned sat
[2021-05-19 06:47:43] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:47:43] [INFO ] [Nat]Absence check using 11 positive place invariants in 121 ms returned sat
[2021-05-19 06:47:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:47:44] [INFO ] [Nat]Absence check using state equation in 795 ms returned sat
[2021-05-19 06:47:44] [INFO ] [Nat]Added 1010 Read/Feed constraints in 131 ms returned sat
[2021-05-19 06:47:44] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 225 ms.
[2021-05-19 06:48:03] [INFO ] Added : 380 causal constraints over 76 iterations in 18792 ms. Result :unknown
[2021-05-19 06:48:03] [INFO ] [Real]Absence check using 11 positive place invariants in 19 ms returned sat
[2021-05-19 06:48:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:48:03] [INFO ] [Real]Absence check using state equation in 551 ms returned sat
[2021-05-19 06:48:03] [INFO ] [Real]Added 1010 Read/Feed constraints in 191 ms returned sat
[2021-05-19 06:48:04] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:48:04] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 06:48:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:48:04] [INFO ] [Nat]Absence check using state equation in 481 ms returned sat
[2021-05-19 06:48:04] [INFO ] [Nat]Added 1010 Read/Feed constraints in 184 ms returned sat
[2021-05-19 06:48:04] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 161 ms.
[2021-05-19 06:48:24] [INFO ] Added : 425 causal constraints over 85 iterations in 19241 ms. Result :unknown
[2021-05-19 06:48:24] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 06:48:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:48:24] [INFO ] [Real]Absence check using state equation in 496 ms returned sat
[2021-05-19 06:48:24] [INFO ] [Real]Added 1010 Read/Feed constraints in 206 ms returned sat
[2021-05-19 06:48:24] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:48:24] [INFO ] [Nat]Absence check using 11 positive place invariants in 21 ms returned sat
[2021-05-19 06:48:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:48:25] [INFO ] [Nat]Absence check using state equation in 498 ms returned sat
[2021-05-19 06:48:25] [INFO ] [Nat]Added 1010 Read/Feed constraints in 209 ms returned sat
[2021-05-19 06:48:25] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 142 ms.
[2021-05-19 06:48:44] [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 (=> (> t425 0) (or (and (> t66 0) (< o66 o425)) (and (> t100 0) (< o100 o425)) (and (> t192 0) (< o192 o425)) (and (> t374 0) (< o374 o425)) (and (> t406 0) (< o406 o425)) (and (> t426 0) (< o426 o425)) (and (> t480 0) (< o480 o425)) (and (> t693 0) (< o693 o425)) (and (> t851 0) (< o851 o425)) (and (> t958 0) (< o958 o425))))") while checking expression at index 4
[2021-05-19 06:48:45] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 06:48:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:48:45] [INFO ] [Real]Absence check using state equation in 513 ms returned sat
[2021-05-19 06:48:45] [INFO ] [Real]Added 1010 Read/Feed constraints in 203 ms returned sat
[2021-05-19 06:48:45] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:48:45] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 06:48:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:48:46] [INFO ] [Nat]Absence check using state equation in 462 ms returned sat
[2021-05-19 06:48:46] [INFO ] [Nat]Added 1010 Read/Feed constraints in 174 ms returned sat
[2021-05-19 06:48:46] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 111 ms.
[2021-05-19 06:49:05] [INFO ] Added : 415 causal constraints over 83 iterations in 19271 ms. Result :unknown
[2021-05-19 06:49:05] [INFO ] [Real]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 06:49:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:49:06] [INFO ] [Real]Absence check using state equation in 497 ms returned sat
[2021-05-19 06:49:06] [INFO ] [Real]Added 1010 Read/Feed constraints in 198 ms returned sat
[2021-05-19 06:49:06] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:49:06] [INFO ] [Nat]Absence check using 11 positive place invariants in 21 ms returned sat
[2021-05-19 06:49:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:49:07] [INFO ] [Nat]Absence check using state equation in 508 ms returned sat
[2021-05-19 06:49:07] [INFO ] [Nat]Added 1010 Read/Feed constraints in 184 ms returned sat
[2021-05-19 06:49:07] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 114 ms.
[2021-05-19 06:49:26] [INFO ] Added : 410 causal constraints over 82 iterations in 19218 ms. Result :unknown
[2021-05-19 06:49:26] [INFO ] [Real]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 06:49:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:49:27] [INFO ] [Real]Absence check using state equation in 478 ms returned sat
[2021-05-19 06:49:27] [INFO ] [Real]Added 1010 Read/Feed constraints in 179 ms returned sat
[2021-05-19 06:49:27] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:49:27] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 06:49:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:49:27] [INFO ] [Nat]Absence check using state equation in 462 ms returned sat
[2021-05-19 06:49:28] [INFO ] [Nat]Added 1010 Read/Feed constraints in 158 ms returned sat
[2021-05-19 06:49:28] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 100 ms.
[2021-05-19 06:49:47] [INFO ] Added : 425 causal constraints over 85 iterations in 19305 ms. Result :unknown
[2021-05-19 06:49:47] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2021-05-19 06:49:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:49:47] [INFO ] [Real]Absence check using state equation in 356 ms returned sat
[2021-05-19 06:49:48] [INFO ] [Real]Added 1010 Read/Feed constraints in 205 ms returned sat
[2021-05-19 06:49:48] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:49:48] [INFO ] [Nat]Absence check using 11 positive place invariants in 34 ms returned sat
[2021-05-19 06:49:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:49:48] [INFO ] [Nat]Absence check using state equation in 520 ms returned sat
[2021-05-19 06:49:48] [INFO ] [Nat]Added 1010 Read/Feed constraints in 183 ms returned sat
[2021-05-19 06:49:49] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 163 ms.
[2021-05-19 06:50:08] [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 (=> (> t435 0) (and (or (and (> t296 0) (< o296 o435)) (and (> t409 0) (< o409 o435)) (and (> t479 0) (< o479 o435)) (and (> t518 0) (< o518 o435)) (and (> t558 0) (< o558 o435)) (and (> t680 0) (< o680 o435)) (and (> t788 0) (< o788 o435)) (and (> t876 0) (< o876 o435)) (and (> t1030 0) (< o1030 o435)) (and (> t1046 0) (< o1046 o435))) (or (and (> t89 0) (< o89 o435)) (and (> t416 0) (< o416 o435)) (and (> t465 0) (< o465 o435)) (and (> t491 0) (< o491 o435)) (and (> t557 0) (< o557 o435)) (and (> t677 0) (< o677 o435)) (and (> t690 0) (< o690 o435)) (and (> t831 0) (< o831 o435)) (and (> t1045 0) (< o1045 o435)) (and (> t1108 0) (< o1108 o435)))))") while checking expression at index 8
[2021-05-19 06:50:08] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 06:50:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:50:08] [INFO ] [Real]Absence check using state equation in 505 ms returned sat
[2021-05-19 06:50:08] [INFO ] [Real]Added 1010 Read/Feed constraints in 185 ms returned sat
[2021-05-19 06:50:08] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:50:09] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 06:50:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:50:09] [INFO ] [Nat]Absence check using state equation in 485 ms returned sat
[2021-05-19 06:50:09] [INFO ] [Nat]Added 1010 Read/Feed constraints in 192 ms returned sat
[2021-05-19 06:50:09] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 140 ms.
[2021-05-19 06:50:28] [INFO ] Added : 415 causal constraints over 83 iterations in 19242 ms. Result :unknown
[2021-05-19 06:50:29] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2021-05-19 06:50:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:50:29] [INFO ] [Real]Absence check using state equation in 373 ms returned sat
[2021-05-19 06:50:29] [INFO ] [Real]Added 1010 Read/Feed constraints in 154 ms returned sat
[2021-05-19 06:50:29] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:50:29] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 06:50:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:50:30] [INFO ] [Nat]Absence check using state equation in 417 ms returned sat
[2021-05-19 06:50:30] [INFO ] [Nat]Added 1010 Read/Feed constraints in 158 ms returned sat
[2021-05-19 06:50:30] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 102 ms.
[2021-05-19 06:50:49] [INFO ] Added : 440 causal constraints over 88 iterations in 19342 ms. Result :unknown
[2021-05-19 06:50:49] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 06:50:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:50:50] [INFO ] [Real]Absence check using state equation in 447 ms returned sat
[2021-05-19 06:50:50] [INFO ] [Real]Added 1010 Read/Feed constraints in 200 ms returned sat
[2021-05-19 06:50:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:50:50] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 06:50:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:50:50] [INFO ] [Nat]Absence check using state equation in 495 ms returned sat
[2021-05-19 06:50:51] [INFO ] [Nat]Added 1010 Read/Feed constraints in 179 ms returned sat
[2021-05-19 06:50:51] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 115 ms.
[2021-05-19 06:51:10] [INFO ] Added : 370 causal constraints over 74 iterations in 19244 ms. Result :unknown
[2021-05-19 06:51:10] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 06:51:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:51:10] [INFO ] [Real]Absence check using state equation in 497 ms returned sat
[2021-05-19 06:51:11] [INFO ] [Real]Added 1010 Read/Feed constraints in 203 ms returned sat
[2021-05-19 06:51:11] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:51:11] [INFO ] [Nat]Absence check using 11 positive place invariants in 21 ms returned sat
[2021-05-19 06:51:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:51:11] [INFO ] [Nat]Absence check using state equation in 525 ms returned sat
[2021-05-19 06:51:12] [INFO ] [Nat]Added 1010 Read/Feed constraints in 182 ms returned sat
[2021-05-19 06:51:12] [INFO ] Deduced a trap composed of 66 places in 276 ms
[2021-05-19 06:51:12] [INFO ] Deduced a trap composed of 67 places in 256 ms
[2021-05-19 06:51:12] [INFO ] Deduced a trap composed of 66 places in 239 ms
[2021-05-19 06:51:13] [INFO ] Deduced a trap composed of 66 places in 248 ms
[2021-05-19 06:51:13] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 1274 ms
[2021-05-19 06:51:13] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 133 ms.
[2021-05-19 06:51:31] [INFO ] Added : 420 causal constraints over 84 iterations in 17966 ms. Result :(error "Failed to check-sat")
[2021-05-19 06:51:31] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 06:51:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:51:31] [INFO ] [Real]Absence check using state equation in 328 ms returned sat
[2021-05-19 06:51:31] [INFO ] [Real]Added 1010 Read/Feed constraints in 140 ms returned sat
[2021-05-19 06:51:31] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:51:31] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 06:51:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:51:32] [INFO ] [Nat]Absence check using state equation in 484 ms returned sat
[2021-05-19 06:51:32] [INFO ] [Nat]Added 1010 Read/Feed constraints in 203 ms returned sat
[2021-05-19 06:51:32] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 137 ms.
[2021-05-19 06:51:51] [INFO ] Added : 415 causal constraints over 83 iterations in 19229 ms. Result :unknown
[2021-05-19 06:51:51] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 06:51:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:51:52] [INFO ] [Real]Absence check using state equation in 522 ms returned sat
[2021-05-19 06:51:52] [INFO ] [Real]Added 1010 Read/Feed constraints in 206 ms returned sat
[2021-05-19 06:51:52] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:51:52] [INFO ] [Nat]Absence check using 11 positive place invariants in 19 ms returned sat
[2021-05-19 06:51:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:51:53] [INFO ] [Nat]Absence check using state equation in 517 ms returned sat
[2021-05-19 06:51:53] [INFO ] [Nat]Added 1010 Read/Feed constraints in 194 ms returned sat
[2021-05-19 06:51:53] [INFO ] Deduced a trap composed of 66 places in 248 ms
[2021-05-19 06:51:53] [INFO ] Deduced a trap composed of 66 places in 213 ms
[2021-05-19 06:51:54] [INFO ] Deduced a trap composed of 66 places in 208 ms
[2021-05-19 06:51:54] [INFO ] Deduced a trap composed of 67 places in 231 ms
[2021-05-19 06:51:54] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 1138 ms
[2021-05-19 06:51:54] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 132 ms.
[2021-05-19 06:52: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 (=> (> t414 0) (and (or (and (> t319 0) (< o319 o414)) (and (> t333 0) (< o333 o414)) (and (> t422 0) (< o422 o414)) (and (> t603 0) (< o603 o414)) (and (> t647 0) (< o647 o414)) (and (> t873 0) (< o873 o414)) (and (> t962 0) (< o962 o414)) (and (> t977 0) (< o977 o414)) (and (> t991 0) (< o991 o414)) (and (> t1047 0) (< o1047 o414))) (or (and (> t11 0) (< o11 o414)) (and (> t115 0) (< o115 o414)) (and (> t234 0) (< o234 o414)) (and (> t314 0) (< o314 o414)) (and (> t551 0) (< o551 o414)) (and (> t594 0) (< o594 o414)) (and (> t651 0) (< o651 o414)) (and (> t741 0) (< o741 o414)) (and (> t785 0) (< o785 o414)) (and (> t1031 0) (< o1031 o414)))))") while checking expression at index 14
[2021-05-19 06:52:12] [INFO ] [Real]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 06:52:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:52:13] [INFO ] [Real]Absence check using state equation in 507 ms returned sat
[2021-05-19 06:52:13] [INFO ] [Real]Added 1010 Read/Feed constraints in 190 ms returned sat
[2021-05-19 06:52:13] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:52:13] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 06:52:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:52:14] [INFO ] [Nat]Absence check using state equation in 469 ms returned sat
[2021-05-19 06:52:14] [INFO ] [Nat]Added 1010 Read/Feed constraints in 177 ms returned sat
[2021-05-19 06:52:14] [INFO ] Deduced a trap composed of 65 places in 225 ms
[2021-05-19 06:52:14] [INFO ] Deduced a trap composed of 66 places in 220 ms
[2021-05-19 06:52:14] [INFO ] Deduced a trap composed of 65 places in 200 ms
[2021-05-19 06:52:15] [INFO ] Deduced a trap composed of 66 places in 234 ms
[2021-05-19 06:52:15] [INFO ] Deduced a trap composed of 66 places in 242 ms
[2021-05-19 06:52:15] [INFO ] Deduced a trap composed of 64 places in 215 ms
[2021-05-19 06:52:15] [INFO ] Trap strengthening (SAT) tested/added 7/6 trap constraints in 1679 ms
[2021-05-19 06:52:16] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 151 ms.
[2021-05-19 06:52:33] [INFO ] Added : 400 causal constraints over 80 iterations in 17632 ms. Result :unknown
[2021-05-19 06:52:33] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 06:52:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:52:34] [INFO ] [Real]Absence check using state equation in 500 ms returned sat
[2021-05-19 06:52:34] [INFO ] [Real]Added 1010 Read/Feed constraints in 192 ms returned sat
[2021-05-19 06:52:34] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:52:34] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 06:52:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:52:34] [INFO ] [Nat]Absence check using state equation in 467 ms returned sat
[2021-05-19 06:52:35] [INFO ] [Nat]Added 1010 Read/Feed constraints in 190 ms returned sat
[2021-05-19 06:52:35] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 128 ms.
[2021-05-19 06:52:54] [INFO ] Added : 420 causal constraints over 84 iterations in 19264 ms. Result :unknown
[2021-05-19 06:52:54] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2021-05-19 06:52:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:52:54] [INFO ] [Real]Absence check using state equation in 375 ms returned sat
[2021-05-19 06:52:54] [INFO ] [Real]Added 1010 Read/Feed constraints in 126 ms returned sat
[2021-05-19 06:52:54] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:52:54] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2021-05-19 06:52:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:52:55] [INFO ] [Nat]Absence check using state equation in 346 ms returned sat
[2021-05-19 06:52:55] [INFO ] [Nat]Added 1010 Read/Feed constraints in 195 ms returned sat
[2021-05-19 06:52:55] [INFO ] Deduced a trap composed of 66 places in 205 ms
[2021-05-19 06:52:56] [INFO ] Deduced a trap composed of 67 places in 216 ms
[2021-05-19 06:52:56] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 550 ms
[2021-05-19 06:52:56] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 127 ms.
[2021-05-19 06:53:14] [INFO ] Added : 415 causal constraints over 83 iterations in 18879 ms. Result :unknown
[2021-05-19 06:53:14] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2021-05-19 06:53:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:53:15] [INFO ] [Real]Absence check using state equation in 400 ms returned sat
[2021-05-19 06:53:15] [INFO ] [Real]Added 1010 Read/Feed constraints in 212 ms returned sat
[2021-05-19 06:53:15] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:53:15] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 06:53:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:53:16] [INFO ] [Nat]Absence check using state equation in 508 ms returned sat
[2021-05-19 06:53:16] [INFO ] [Nat]Added 1010 Read/Feed constraints in 119 ms returned sat
[2021-05-19 06:53:16] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 106 ms.
[2021-05-19 06:53:35] [INFO ] Added : 415 causal constraints over 83 iterations in 19305 ms. Result :unknown
[2021-05-19 06:53:35] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2021-05-19 06:53:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:53:36] [INFO ] [Real]Absence check using state equation in 312 ms returned sat
[2021-05-19 06:53:36] [INFO ] [Real]Added 1010 Read/Feed constraints in 125 ms returned sat
[2021-05-19 06:53:36] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:53:36] [INFO ] [Nat]Absence check using 11 positive place invariants in 13 ms returned sat
[2021-05-19 06:53:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:53:36] [INFO ] [Nat]Absence check using state equation in 494 ms returned sat
[2021-05-19 06:53:36] [INFO ] [Nat]Added 1010 Read/Feed constraints in 114 ms returned sat
[2021-05-19 06:53:37] [INFO ] Deduced a trap composed of 64 places in 133 ms
[2021-05-19 06:53:37] [INFO ] Deduced a trap composed of 65 places in 142 ms
[2021-05-19 06:53:37] [INFO ] Deduced a trap composed of 64 places in 200 ms
[2021-05-19 06:53:37] [INFO ] Deduced a trap composed of 66 places in 243 ms
[2021-05-19 06:53:37] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 909 ms
[2021-05-19 06:53:37] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 123 ms.
[2021-05-19 06:53:56] [INFO ] Added : 410 causal constraints over 82 iterations in 18455 ms. Result :unknown
[2021-05-19 06:53:56] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 06:53:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:53:56] [INFO ] [Real]Absence check using state equation in 494 ms returned sat
[2021-05-19 06:53:57] [INFO ] [Real]Added 1010 Read/Feed constraints in 203 ms returned sat
[2021-05-19 06:53:57] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:53:57] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 06:53:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:53:57] [INFO ] [Nat]Absence check using state equation in 500 ms returned sat
[2021-05-19 06:53:57] [INFO ] [Nat]Added 1010 Read/Feed constraints in 171 ms returned sat
[2021-05-19 06:53:57] [INFO ] Deduced a trap composed of 66 places in 125 ms
[2021-05-19 06:53:58] [INFO ] Deduced a trap composed of 64 places in 147 ms
[2021-05-19 06:53:58] [INFO ] Deduced a trap composed of 65 places in 153 ms
[2021-05-19 06:53:58] [INFO ] Deduced a trap composed of 65 places in 226 ms
[2021-05-19 06:53:58] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 848 ms
[2021-05-19 06:53:58] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 146 ms.
[2021-05-19 06:54:17] [INFO ] Added : 425 causal constraints over 85 iterations in 18431 ms. Result :unknown
[2021-05-19 06:54:17] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 06:54:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:54:17] [INFO ] [Real]Absence check using state equation in 469 ms returned sat
[2021-05-19 06:54:17] [INFO ] [Real]Added 1010 Read/Feed constraints in 189 ms returned sat
[2021-05-19 06:54:17] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:54:17] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 06:54:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:54:18] [INFO ] [Nat]Absence check using state equation in 428 ms returned sat
[2021-05-19 06:54:18] [INFO ] [Nat]Added 1010 Read/Feed constraints in 156 ms returned sat
[2021-05-19 06:54:18] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 103 ms.
[2021-05-19 06:54:37] [INFO ] Added : 400 causal constraints over 80 iterations in 19345 ms. Result :unknown
[2021-05-19 06:54:37] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 06:54:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:54:38] [INFO ] [Real]Absence check using state equation in 305 ms returned sat
[2021-05-19 06:54:38] [INFO ] [Real]Added 1010 Read/Feed constraints in 121 ms returned sat
[2021-05-19 06:54:38] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:54:38] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2021-05-19 06:54:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:54:38] [INFO ] [Nat]Absence check using state equation in 307 ms returned sat
[2021-05-19 06:54:38] [INFO ] [Nat]Added 1010 Read/Feed constraints in 157 ms returned sat
[2021-05-19 06:54:39] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 166 ms.
[2021-05-19 06:54:58] [INFO ] Added : 435 causal constraints over 87 iterations in 19455 ms. Result :unknown
[2021-05-19 06:54:58] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 06:54:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:54:58] [INFO ] [Real]Absence check using state equation in 489 ms returned sat
[2021-05-19 06:54:59] [INFO ] [Real]Added 1010 Read/Feed constraints in 196 ms returned sat
[2021-05-19 06:54:59] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:54:59] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 06:54:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:54:59] [INFO ] [Nat]Absence check using state equation in 502 ms returned sat
[2021-05-19 06:54:59] [INFO ] [Nat]Added 1010 Read/Feed constraints in 133 ms returned sat
[2021-05-19 06:54:59] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 75 ms.
[2021-05-19 06:55:19] [INFO ] Added : 410 causal constraints over 82 iterations in 19305 ms. Result :unknown
[2021-05-19 06:55:19] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 06:55:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:55:19] [INFO ] [Real]Absence check using state equation in 498 ms returned sat
[2021-05-19 06:55:19] [INFO ] [Real]Added 1010 Read/Feed constraints in 129 ms returned sat
[2021-05-19 06:55:19] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:55:19] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2021-05-19 06:55:19] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:55:20] [INFO ] [Nat]Absence check using state equation in 484 ms returned sat
[2021-05-19 06:55:20] [INFO ] [Nat]Added 1010 Read/Feed constraints in 201 ms returned sat
[2021-05-19 06:55:20] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 130 ms.
[2021-05-19 06:55:39] [INFO ] Added : 405 causal constraints over 81 iterations in 19268 ms. Result :(error "Failed to check-sat")
[2021-05-19 06:55:39] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 06:55:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:55:40] [INFO ] [Real]Absence check using state equation in 480 ms returned sat
[2021-05-19 06:55:40] [INFO ] [Real]Added 1010 Read/Feed constraints in 203 ms returned sat
[2021-05-19 06:55:40] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:55:40] [INFO ] [Nat]Absence check using 11 positive place invariants in 31 ms returned sat
[2021-05-19 06:55:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:55:41] [INFO ] [Nat]Absence check using state equation in 497 ms returned sat
[2021-05-19 06:55:41] [INFO ] [Nat]Added 1010 Read/Feed constraints in 118 ms returned sat
[2021-05-19 06:55:41] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 87 ms.
[2021-05-19 06:56:00] [INFO ] Added : 425 causal constraints over 85 iterations in 19312 ms. Result :unknown
[2021-05-19 06:56:00] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 06:56:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:56:01] [INFO ] [Real]Absence check using state equation in 498 ms returned sat
[2021-05-19 06:56:01] [INFO ] [Real]Added 1010 Read/Feed constraints in 197 ms returned sat
[2021-05-19 06:56:01] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:56:01] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 06:56:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:56:02] [INFO ] [Nat]Absence check using state equation in 486 ms returned sat
[2021-05-19 06:56:02] [INFO ] [Nat]Added 1010 Read/Feed constraints in 159 ms returned sat
[2021-05-19 06:56:02] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 76 ms.
[2021-05-19 06:56:21] [INFO ] Added : 415 causal constraints over 83 iterations in 19291 ms. Result :unknown
[2021-05-19 06:56:21] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 06:56:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:56:22] [INFO ] [Real]Absence check using state equation in 501 ms returned sat
[2021-05-19 06:56:22] [INFO ] [Real]Added 1010 Read/Feed constraints in 192 ms returned sat
[2021-05-19 06:56:22] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:56:22] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 06:56:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:56:22] [INFO ] [Nat]Absence check using state equation in 485 ms returned sat
[2021-05-19 06:56:23] [INFO ] [Nat]Added 1010 Read/Feed constraints in 192 ms returned sat
[2021-05-19 06:56:23] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 147 ms.
[2021-05-19 06:56:42] [INFO ] Added : 415 causal constraints over 83 iterations in 19243 ms. Result :unknown
[2021-05-19 06:56:42] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2021-05-19 06:56:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:56:42] [INFO ] [Real]Absence check using state equation in 465 ms returned sat
[2021-05-19 06:56:43] [INFO ] [Real]Added 1010 Read/Feed constraints in 197 ms returned sat
[2021-05-19 06:56:43] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:56:43] [INFO ] [Nat]Absence check using 11 positive place invariants in 19 ms returned sat
[2021-05-19 06:56:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:56:43] [INFO ] [Nat]Absence check using state equation in 487 ms returned sat
[2021-05-19 06:56:43] [INFO ] [Nat]Added 1010 Read/Feed constraints in 123 ms returned sat
[2021-05-19 06:56:43] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 77 ms.
[2021-05-19 06:57:03] [INFO ] Added : 415 causal constraints over 83 iterations in 19313 ms. Result :unknown
[2021-05-19 06:57:03] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 06:57:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:57:03] [INFO ] [Real]Absence check using state equation in 502 ms returned sat
[2021-05-19 06:57:04] [INFO ] [Real]Added 1010 Read/Feed constraints in 194 ms returned sat
[2021-05-19 06:57:04] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:57:04] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 06:57:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:57:04] [INFO ] [Nat]Absence check using state equation in 499 ms returned sat
[2021-05-19 06:57:04] [INFO ] [Nat]Added 1010 Read/Feed constraints in 192 ms returned sat
[2021-05-19 06:57:04] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 122 ms.
[2021-05-19 06:57:24] [INFO ] Added : 395 causal constraints over 79 iterations in 19232 ms. Result :unknown
[2021-05-19 06:57:24] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 06:57:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:57:24] [INFO ] [Real]Absence check using state equation in 496 ms returned sat
[2021-05-19 06:57:24] [INFO ] [Real]Added 1010 Read/Feed constraints in 198 ms returned sat
[2021-05-19 06:57:24] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:57:24] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 06:57:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:57:25] [INFO ] [Nat]Absence check using state equation in 476 ms returned sat
[2021-05-19 06:57:25] [INFO ] [Nat]Added 1010 Read/Feed constraints in 191 ms returned sat
[2021-05-19 06:57:25] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 127 ms.
[2021-05-19 06:57:44] [INFO ] Added : 375 causal constraints over 75 iterations in 19245 ms. Result :unknown
[2021-05-19 06:57:44] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 06:57:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:57:45] [INFO ] [Real]Absence check using state equation in 508 ms returned sat
[2021-05-19 06:57:45] [INFO ] [Real]Added 1010 Read/Feed constraints in 214 ms returned sat
[2021-05-19 06:57:45] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:57:45] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 06:57:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:57:46] [INFO ] [Nat]Absence check using state equation in 488 ms returned sat
[2021-05-19 06:57:46] [INFO ] [Nat]Added 1010 Read/Feed constraints in 125 ms returned sat
[2021-05-19 06:57:46] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 80 ms.
[2021-05-19 06:58:05] [INFO ] Added : 425 causal constraints over 85 iterations in 19318 ms. Result :unknown
[2021-05-19 06:58:05] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 06:58:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:58:06] [INFO ] [Real]Absence check using state equation in 318 ms returned sat
[2021-05-19 06:58:06] [INFO ] [Real]Added 1010 Read/Feed constraints in 129 ms returned sat
[2021-05-19 06:58:06] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:58:06] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2021-05-19 06:58:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:58:06] [INFO ] [Nat]Absence check using state equation in 318 ms returned sat
[2021-05-19 06:58:06] [INFO ] [Nat]Added 1010 Read/Feed constraints in 122 ms returned sat
[2021-05-19 06:58:06] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 119 ms.
[2021-05-19 06:58:26] [INFO ] Added : 405 causal constraints over 81 iterations in 19476 ms. Result :unknown
[2021-05-19 06:58:26] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 06:58:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:58:26] [INFO ] [Real]Absence check using state equation in 500 ms returned sat
[2021-05-19 06:58:27] [INFO ] [Real]Added 1010 Read/Feed constraints in 203 ms returned sat
[2021-05-19 06:58:27] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:58:27] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 06:58:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:58:27] [INFO ] [Nat]Absence check using state equation in 507 ms returned sat
[2021-05-19 06:58:27] [INFO ] [Nat]Added 1010 Read/Feed constraints in 147 ms returned sat
[2021-05-19 06:58:27] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 72 ms.
[2021-05-19 06:58:47] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe (=> (> t440 0) (and (or (and (> t7 0) (< o7 o440)) (and (> t93 0) (< o93 o440)) (and (> t238 0) (< o238 o440)) (and (> t239 0) (< o239 o440)) (and (> t293 0) (< o293 o440)) (and (> t303 0) (< o303 o440)) (and (> t428 0) (< o428 o440)) (and (> t543 0) (< o543 o440)) (and (> t580 0) (< o580 o440)) (and (> t875 0) (< o875 o440))) (or (and (> t82 0) (< o82 o440)) (and (> t86 0) (< o86 o440)) (and (> t124 0) (< o124 o440)) (and (> t269 0) (< o269 o440)) (and (> t306 0) (< o306 o440)) (and (> t388 0) (< o388 o440)) (and (> t490 0) (< o490 o440)) (and (> t520 0) (< o520 o440)) (and (> t897 0) (< o897 o440)) (and (> t1022 0) (< o1022 o440)))))") while checking expression at index 33
[2021-05-19 06:58:47] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 06:58:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:58:47] [INFO ] [Real]Absence check using state equation in 509 ms returned sat
[2021-05-19 06:58:47] [INFO ] [Real]Added 1010 Read/Feed constraints in 194 ms returned sat
[2021-05-19 06:58:47] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:58:47] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 06:58:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:58:48] [INFO ] [Nat]Absence check using state equation in 486 ms returned sat
[2021-05-19 06:58:48] [INFO ] [Nat]Added 1010 Read/Feed constraints in 178 ms returned sat
[2021-05-19 06:58:48] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 145 ms.
[2021-05-19 06:59:07] [INFO ] Added : 430 causal constraints over 86 iterations in 19260 ms. Result :unknown
[2021-05-19 06:59:08] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2021-05-19 06:59:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:59:08] [INFO ] [Real]Absence check using state equation in 427 ms returned sat
[2021-05-19 06:59:08] [INFO ] [Real]Added 1010 Read/Feed constraints in 189 ms returned sat
[2021-05-19 06:59:08] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:59:08] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 06:59:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:59:09] [INFO ] [Nat]Absence check using state equation in 498 ms returned sat
[2021-05-19 06:59:09] [INFO ] [Nat]Added 1010 Read/Feed constraints in 120 ms returned sat
[2021-05-19 06:59:09] [INFO ] Deduced a trap composed of 69 places in 129 ms
[2021-05-19 06:59:09] [INFO ] Deduced a trap composed of 69 places in 142 ms
[2021-05-19 06:59:09] [INFO ] Deduced a trap composed of 65 places in 162 ms
[2021-05-19 06:59:10] [INFO ] Deduced a trap composed of 67 places in 159 ms
[2021-05-19 06:59:10] [INFO ] Deduced a trap composed of 66 places in 169 ms
[2021-05-19 06:59:10] [INFO ] Deduced a trap composed of 65 places in 199 ms
[2021-05-19 06:59:10] [INFO ] Deduced a trap composed of 64 places in 235 ms
[2021-05-19 06:59:11] [INFO ] Deduced a trap composed of 67 places in 253 ms
[2021-05-19 06:59:11] [INFO ] Deduced a trap composed of 66 places in 227 ms
[2021-05-19 06:59:11] [INFO ] Deduced a trap composed of 66 places in 230 ms
[2021-05-19 06:59:12] [INFO ] Deduced a trap composed of 67 places in 248 ms
[2021-05-19 06:59:12] [INFO ] Trap strengthening (SAT) tested/added 12/11 trap constraints in 2714 ms
[2021-05-19 06:59:12] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 127 ms.
[2021-05-19 06:59:28] [INFO ] Added : 355 causal constraints over 71 iterations in 16619 ms. Result :unknown
[2021-05-19 06:59:28] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 06:59:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:59:29] [INFO ] [Real]Absence check using state equation in 350 ms returned sat
[2021-05-19 06:59:29] [INFO ] [Real]Added 1010 Read/Feed constraints in 139 ms returned sat
[2021-05-19 06:59:29] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:59:29] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 06:59:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:59:29] [INFO ] [Nat]Absence check using state equation in 497 ms returned sat
[2021-05-19 06:59:30] [INFO ] [Nat]Added 1010 Read/Feed constraints in 180 ms returned sat
[2021-05-19 06:59:30] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 113 ms.
[2021-05-19 06:59:49] [INFO ] Added : 405 causal constraints over 81 iterations in 19261 ms. Result :(error "Failed to check-sat")
[2021-05-19 06:59:49] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 06:59:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 06:59:49] [INFO ] [Real]Absence check using state equation in 499 ms returned sat
[2021-05-19 06:59:50] [INFO ] [Real]Added 1010 Read/Feed constraints in 206 ms returned sat
[2021-05-19 06:59:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 06:59:50] [INFO ] [Nat]Absence check using 11 positive place invariants in 25 ms returned sat
[2021-05-19 06:59:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 06:59:50] [INFO ] [Nat]Absence check using state equation in 492 ms returned sat
[2021-05-19 06:59:50] [INFO ] [Nat]Added 1010 Read/Feed constraints in 178 ms returned sat
[2021-05-19 06:59:51] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 119 ms.
[2021-05-19 07:00:10] [INFO ] Added : 405 causal constraints over 81 iterations in 19213 ms. Result :unknown
[2021-05-19 07:00:10] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:00:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:00:10] [INFO ] [Real]Absence check using state equation in 310 ms returned sat
[2021-05-19 07:00:10] [INFO ] [Real]Added 1010 Read/Feed constraints in 128 ms returned sat
[2021-05-19 07:00:10] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:00:10] [INFO ] [Nat]Absence check using 11 positive place invariants in 19 ms returned sat
[2021-05-19 07:00:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:00:11] [INFO ] [Nat]Absence check using state equation in 495 ms returned sat
[2021-05-19 07:00:11] [INFO ] [Nat]Added 1010 Read/Feed constraints in 117 ms returned sat
[2021-05-19 07:00:11] [INFO ] Deduced a trap composed of 64 places in 224 ms
[2021-05-19 07:00:11] [INFO ] Deduced a trap composed of 64 places in 169 ms
[2021-05-19 07:00:11] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 497 ms
[2021-05-19 07:00:12] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 143 ms.
[2021-05-19 07:00:30] [INFO ] Added : 415 causal constraints over 83 iterations in 18854 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-19 07:00:30] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 07:00:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:00:31] [INFO ] [Real]Absence check using state equation in 489 ms returned sat
[2021-05-19 07:00:31] [INFO ] [Real]Added 1010 Read/Feed constraints in 188 ms returned sat
[2021-05-19 07:00:31] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:00:31] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 07:00:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:00:32] [INFO ] [Nat]Absence check using state equation in 491 ms returned sat
[2021-05-19 07:00:32] [INFO ] [Nat]Added 1010 Read/Feed constraints in 187 ms returned sat
[2021-05-19 07:00:32] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 74 ms.
[2021-05-19 07:00:51] [INFO ] Added : 440 causal constraints over 88 iterations in 19257 ms. Result :unknown
[2021-05-19 07:00:51] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:00:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:00:51] [INFO ] [Real]Absence check using state equation in 372 ms returned sat
[2021-05-19 07:00:52] [INFO ] [Real]Added 1010 Read/Feed constraints in 194 ms returned sat
[2021-05-19 07:00:52] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:00:52] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 07:00:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:00:52] [INFO ] [Nat]Absence check using state equation in 465 ms returned sat
[2021-05-19 07:00:52] [INFO ] [Nat]Added 1010 Read/Feed constraints in 129 ms returned sat
[2021-05-19 07:00:52] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 77 ms.
[2021-05-19 07:01:12] [INFO ] Added : 400 causal constraints over 80 iterations in 19340 ms. Result :unknown
[2021-05-19 07:01:12] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 07:01:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:01:12] [INFO ] [Real]Absence check using state equation in 505 ms returned sat
[2021-05-19 07:01:12] [INFO ] [Real]Added 1010 Read/Feed constraints in 188 ms returned sat
[2021-05-19 07:01:12] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:01:13] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 07:01:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:01:13] [INFO ] [Nat]Absence check using state equation in 473 ms returned sat
[2021-05-19 07:01:13] [INFO ] [Nat]Added 1010 Read/Feed constraints in 180 ms returned sat
[2021-05-19 07:01:13] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 125 ms.
[2021-05-19 07:01:33] [INFO ] Added : 410 causal constraints over 82 iterations in 19266 ms. Result :unknown
[2021-05-19 07:01:33] [INFO ] [Real]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 07:01:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:01:33] [INFO ] [Real]Absence check using state equation in 490 ms returned sat
[2021-05-19 07:01:33] [INFO ] [Real]Added 1010 Read/Feed constraints in 191 ms returned sat
[2021-05-19 07:01:33] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:01:33] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 07:01:33] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:01:34] [INFO ] [Nat]Absence check using state equation in 438 ms returned sat
[2021-05-19 07:01:34] [INFO ] [Nat]Added 1010 Read/Feed constraints in 159 ms returned sat
[2021-05-19 07:01:34] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 131 ms.
[2021-05-19 07:01:53] [INFO ] Added : 405 causal constraints over 81 iterations in 19368 ms. Result :(error "Failed to check-sat")
[2021-05-19 07:01:53] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2021-05-19 07:01:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:01:54] [INFO ] [Real]Absence check using state equation in 327 ms returned sat
[2021-05-19 07:01:54] [INFO ] [Real]Added 1010 Read/Feed constraints in 205 ms returned sat
[2021-05-19 07:01:54] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:01:54] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 07:01:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:01:55] [INFO ] [Nat]Absence check using state equation in 507 ms returned sat
[2021-05-19 07:01:55] [INFO ] [Nat]Added 1010 Read/Feed constraints in 182 ms returned sat
[2021-05-19 07:01:55] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 77 ms.
[2021-05-19 07:02:14] [INFO ] Added : 425 causal constraints over 85 iterations in 19245 ms. Result :unknown
[2021-05-19 07:02:14] [INFO ] [Real]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 07:02:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:02:15] [INFO ] [Real]Absence check using state equation in 479 ms returned sat
[2021-05-19 07:02:15] [INFO ] [Real]Added 1010 Read/Feed constraints in 186 ms returned sat
[2021-05-19 07:02:15] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:02:15] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 07:02:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:02:15] [INFO ] [Nat]Absence check using state equation in 433 ms returned sat
[2021-05-19 07:02:15] [INFO ] [Nat]Added 1010 Read/Feed constraints in 157 ms returned sat
[2021-05-19 07:02:16] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 101 ms.
[2021-05-19 07:02:35] [INFO ] Added : 430 causal constraints over 86 iterations in 19332 ms. Result :unknown
[2021-05-19 07:02:35] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2021-05-19 07:02:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:02:35] [INFO ] [Real]Absence check using state equation in 434 ms returned sat
[2021-05-19 07:02:35] [INFO ] [Real]Added 1010 Read/Feed constraints in 166 ms returned sat
[2021-05-19 07:02:36] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:02:36] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 07:02:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:02:36] [INFO ] [Nat]Absence check using state equation in 461 ms returned sat
[2021-05-19 07:02:36] [INFO ] [Nat]Added 1010 Read/Feed constraints in 192 ms returned sat
[2021-05-19 07:02:36] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 113 ms.
[2021-05-19 07:02:56] [INFO ] Added : 420 causal constraints over 84 iterations in 19277 ms. Result :unknown
[2021-05-19 07:02:56] [INFO ] [Real]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 07:02:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:02:56] [INFO ] [Real]Absence check using state equation in 477 ms returned sat
[2021-05-19 07:02:56] [INFO ] [Real]Added 1010 Read/Feed constraints in 188 ms returned sat
[2021-05-19 07:02:56] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:02:56] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 07:02:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:02:57] [INFO ] [Nat]Absence check using state equation in 439 ms returned sat
[2021-05-19 07:02:57] [INFO ] [Nat]Added 1010 Read/Feed constraints in 179 ms returned sat
[2021-05-19 07:02:57] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 117 ms.
[2021-05-19 07:03:16] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream closed (=> (> t453 0) (and (or (and (> t23 0) (< o23 o453)) (and (> t132 0) (< o132 o453)) (and (> t218 0) (< o218 o453)) (and (> t305 0) (< o305 o453)) (and (> t329 0) (< o329 o453)) (and (> t350 0) (< o350 o453)) (and (> t610 0) (< o610 o453)) (and (> t646 0) (< o646 o453)) (and (> t974 0) (< o974 o453)) (and (> t980 0) (< o980 o453))) (or (and (> t61 0) (< o61 o453)) (and (> t172 0) (< o172 o453)) (and (> t226 0) (< o226 o453)) (and (> t318 0) (< o318 o453)) (and (> t447 0) (< o447 o453)) (and (> t606 0) (< o606 o453)) (and (> t661 0) (< o661 o453)) (and (> t734 0) (< o734 o453)) (and (> t752 0) (< o752 o453)) (and (> t990 0) (< o990 o453)))))") while checking expression at index 46
[2021-05-19 07:03:16] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 07:03:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:03:17] [INFO ] [Real]Absence check using state equation in 405 ms returned sat
[2021-05-19 07:03:17] [INFO ] [Real]Added 1010 Read/Feed constraints in 167 ms returned sat
[2021-05-19 07:03:17] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:03:17] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 07:03:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:03:17] [INFO ] [Nat]Absence check using state equation in 423 ms returned sat
[2021-05-19 07:03:18] [INFO ] [Nat]Added 1010 Read/Feed constraints in 172 ms returned sat
[2021-05-19 07:03:18] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 104 ms.
[2021-05-19 07:03:37] [INFO ] Added : 420 causal constraints over 84 iterations in 19341 ms. Result :unknown
[2021-05-19 07:03:37] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 07:03:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:03:38] [INFO ] [Real]Absence check using state equation in 501 ms returned sat
[2021-05-19 07:03:38] [INFO ] [Real]Added 1010 Read/Feed constraints in 204 ms returned sat
[2021-05-19 07:03:38] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:03:38] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 07:03:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:03:38] [INFO ] [Nat]Absence check using state equation in 489 ms returned sat
[2021-05-19 07:03:39] [INFO ] [Nat]Added 1010 Read/Feed constraints in 179 ms returned sat
[2021-05-19 07:03:39] [INFO ] Deduced a trap composed of 65 places in 225 ms
[2021-05-19 07:03:39] [INFO ] Deduced a trap composed of 66 places in 199 ms
[2021-05-19 07:03:39] [INFO ] Deduced a trap composed of 65 places in 201 ms
[2021-05-19 07:03:40] [INFO ] Deduced a trap composed of 66 places in 217 ms
[2021-05-19 07:03:40] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 1065 ms
[2021-05-19 07:03:40] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 122 ms.
[2021-05-19 07:03:58] [INFO ] Added : 405 causal constraints over 81 iterations in 18222 ms. Result :unknown
[2021-05-19 07:03:58] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2021-05-19 07:03:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:03:58] [INFO ] [Real]Absence check using state equation in 447 ms returned sat
[2021-05-19 07:03:59] [INFO ] [Real]Added 1010 Read/Feed constraints in 204 ms returned sat
[2021-05-19 07:03:59] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:03:59] [INFO ] [Nat]Absence check using 11 positive place invariants in 20 ms returned sat
[2021-05-19 07:03:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:03:59] [INFO ] [Nat]Absence check using state equation in 506 ms returned sat
[2021-05-19 07:03:59] [INFO ] [Nat]Added 1010 Read/Feed constraints in 133 ms returned sat
[2021-05-19 07:03:59] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 78 ms.
[2021-05-19 07:04:19] [INFO ] Added : 445 causal constraints over 89 iterations in 19291 ms. Result :unknown
[2021-05-19 07:04:19] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2021-05-19 07:04:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:04:19] [INFO ] [Real]Absence check using state equation in 498 ms returned sat
[2021-05-19 07:04:19] [INFO ] [Real]Added 1010 Read/Feed constraints in 194 ms returned sat
[2021-05-19 07:04:19] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:04:19] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 07:04:19] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:04:20] [INFO ] [Nat]Absence check using state equation in 452 ms returned sat
[2021-05-19 07:04:20] [INFO ] [Nat]Added 1010 Read/Feed constraints in 168 ms returned sat
[2021-05-19 07:04:20] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 108 ms.
[2021-05-19 07:04:39] [INFO ] Added : 395 causal constraints over 79 iterations in 19305 ms. Result :unknown
[2021-05-19 07:04:39] [INFO ] [Real]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 07:04:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:04:40] [INFO ] [Real]Absence check using state equation in 463 ms returned sat
[2021-05-19 07:04:40] [INFO ] [Real]Added 1010 Read/Feed constraints in 192 ms returned sat
[2021-05-19 07:04:40] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:04:40] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 07:04:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:04:41] [INFO ] [Nat]Absence check using state equation in 494 ms returned sat
[2021-05-19 07:04:41] [INFO ] [Nat]Added 1010 Read/Feed constraints in 184 ms returned sat
[2021-05-19 07:04:41] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 145 ms.
[2021-05-19 07:05:00] [INFO ] Added : 385 causal constraints over 77 iterations in 19237 ms. Result :unknown
[2021-05-19 07:05:00] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:05:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:05:01] [INFO ] [Real]Absence check using state equation in 315 ms returned sat
[2021-05-19 07:05:01] [INFO ] [Real]Added 1010 Read/Feed constraints in 123 ms returned sat
[2021-05-19 07:05:01] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:05:01] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 07:05:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:05:01] [INFO ] [Nat]Absence check using state equation in 495 ms returned sat
[2021-05-19 07:05:01] [INFO ] [Nat]Added 1010 Read/Feed constraints in 178 ms returned sat
[2021-05-19 07:05:02] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 117 ms.
[2021-05-19 07:05:21] [INFO ] Added : 415 causal constraints over 83 iterations in 19249 ms. Result :unknown
[2021-05-19 07:05:21] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 07:05:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:05:21] [INFO ] [Real]Absence check using state equation in 478 ms returned sat
[2021-05-19 07:05:22] [INFO ] [Real]Added 1010 Read/Feed constraints in 203 ms returned sat
[2021-05-19 07:05:22] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:05:22] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 07:05:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:05:22] [INFO ] [Nat]Absence check using state equation in 496 ms returned sat
[2021-05-19 07:05:22] [INFO ] [Nat]Added 1010 Read/Feed constraints in 158 ms returned sat
[2021-05-19 07:05:22] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 72 ms.
[2021-05-19 07:05:42] [INFO ] Added : 420 causal constraints over 84 iterations in 19280 ms. Result :unknown
[2021-05-19 07:05:42] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2021-05-19 07:05:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:05:42] [INFO ] [Real]Absence check using state equation in 393 ms returned sat
[2021-05-19 07:05:42] [INFO ] [Real]Added 1010 Read/Feed constraints in 154 ms returned sat
[2021-05-19 07:05:42] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:05:42] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 07:05:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:05:43] [INFO ] [Nat]Absence check using state equation in 414 ms returned sat
[2021-05-19 07:05:43] [INFO ] [Nat]Added 1010 Read/Feed constraints in 159 ms returned sat
[2021-05-19 07:05:43] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 99 ms.
[2021-05-19 07:06:02] [INFO ] Added : 410 causal constraints over 82 iterations in 19363 ms. Result :unknown
[2021-05-19 07:06:02] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 07:06:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:06:03] [INFO ] [Real]Absence check using state equation in 504 ms returned sat
[2021-05-19 07:06:03] [INFO ] [Real]Added 1010 Read/Feed constraints in 195 ms returned sat
[2021-05-19 07:06:03] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:06:03] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 07:06:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:06:04] [INFO ] [Nat]Absence check using state equation in 449 ms returned sat
[2021-05-19 07:06:04] [INFO ] [Nat]Added 1010 Read/Feed constraints in 170 ms returned sat
[2021-05-19 07:06:04] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 129 ms.
[2021-05-19 07:06:23] [INFO ] Added : 400 causal constraints over 80 iterations in 19306 ms. Result :unknown
[2021-05-19 07:06:23] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 07:06:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:06:24] [INFO ] [Real]Absence check using state equation in 507 ms returned sat
[2021-05-19 07:06:24] [INFO ] [Real]Added 1010 Read/Feed constraints in 196 ms returned sat
[2021-05-19 07:06:24] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:06:24] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 07:06:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:06:24] [INFO ] [Nat]Absence check using state equation in 489 ms returned sat
[2021-05-19 07:06:25] [INFO ] [Nat]Added 1010 Read/Feed constraints in 195 ms returned sat
[2021-05-19 07:06:25] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 152 ms.
[2021-05-19 07:06:44] [INFO ] Added : 380 causal constraints over 76 iterations in 19246 ms. Result :(error "Failed to check-sat")
[2021-05-19 07:06:44] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:06:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:06:44] [INFO ] [Real]Absence check using state equation in 343 ms returned sat
[2021-05-19 07:06:44] [INFO ] [Real]Added 1010 Read/Feed constraints in 131 ms returned sat
[2021-05-19 07:06:44] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:06:44] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2021-05-19 07:06:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:06:45] [INFO ] [Nat]Absence check using state equation in 369 ms returned sat
[2021-05-19 07:06:45] [INFO ] [Nat]Added 1010 Read/Feed constraints in 193 ms returned sat
[2021-05-19 07:06:45] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 124 ms.
[2021-05-19 07:07:04] [INFO ] Added : 425 causal constraints over 85 iterations in 19379 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-19 07:07:05] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 07:07:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:07:05] [INFO ] [Real]Absence check using state equation in 469 ms returned sat
[2021-05-19 07:07:05] [INFO ] [Real]Added 1010 Read/Feed constraints in 190 ms returned sat
[2021-05-19 07:07:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:07:05] [INFO ] [Nat]Absence check using 11 positive place invariants in 19 ms returned sat
[2021-05-19 07:07:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:07:06] [INFO ] [Nat]Absence check using state equation in 524 ms returned sat
[2021-05-19 07:07:06] [INFO ] [Nat]Added 1010 Read/Feed constraints in 203 ms returned sat
[2021-05-19 07:07:06] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 180 ms.
[2021-05-19 07:07:25] [INFO ] Added : 425 causal constraints over 85 iterations in 19189 ms. Result :unknown
[2021-05-19 07:07:25] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:07:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:07:26] [INFO ] [Real]Absence check using state equation in 315 ms returned sat
[2021-05-19 07:07:26] [INFO ] [Real]Added 1010 Read/Feed constraints in 140 ms returned sat
[2021-05-19 07:07:26] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:07:26] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 07:07:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:07:26] [INFO ] [Nat]Absence check using state equation in 484 ms returned sat
[2021-05-19 07:07:27] [INFO ] [Nat]Added 1010 Read/Feed constraints in 178 ms returned sat
[2021-05-19 07:07:27] [INFO ] Deduced a trap composed of 64 places in 219 ms
[2021-05-19 07:07:27] [INFO ] Deduced a trap composed of 64 places in 244 ms
[2021-05-19 07:07:27] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 594 ms
[2021-05-19 07:07:27] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 172 ms.
[2021-05-19 07:07:46] [INFO ] Added : 450 causal constraints over 90 iterations in 18696 ms. Result :unknown
[2021-05-19 07:07:46] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:07:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:07:46] [INFO ] [Real]Absence check using state equation in 323 ms returned sat
[2021-05-19 07:07:46] [INFO ] [Real]Added 1010 Read/Feed constraints in 170 ms returned sat
[2021-05-19 07:07:46] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:07:46] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 07:07:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:07:47] [INFO ] [Nat]Absence check using state equation in 482 ms returned sat
[2021-05-19 07:07:47] [INFO ] [Nat]Added 1010 Read/Feed constraints in 193 ms returned sat
[2021-05-19 07:07:47] [INFO ] Deduced a trap composed of 65 places in 216 ms
[2021-05-19 07:07:48] [INFO ] Deduced a trap composed of 65 places in 224 ms
[2021-05-19 07:07:48] [INFO ] Deduced a trap composed of 64 places in 210 ms
[2021-05-19 07:07:48] [INFO ] Deduced a trap composed of 67 places in 206 ms
[2021-05-19 07:07:48] [INFO ] Deduced a trap composed of 66 places in 208 ms
[2021-05-19 07:07:48] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 1358 ms
[2021-05-19 07:07:49] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 155 ms.
[2021-05-19 07:08:06] [INFO ] Added : 385 causal constraints over 77 iterations in 17929 ms. Result :unknown
[2021-05-19 07:08:06] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 07:08:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:08:07] [INFO ] [Real]Absence check using state equation in 500 ms returned sat
[2021-05-19 07:08:07] [INFO ] [Real]Added 1010 Read/Feed constraints in 202 ms returned sat
[2021-05-19 07:08:07] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:08:07] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 07:08:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:08:08] [INFO ] [Nat]Absence check using state equation in 517 ms returned sat
[2021-05-19 07:08:08] [INFO ] [Nat]Added 1010 Read/Feed constraints in 200 ms returned sat
[2021-05-19 07:08:08] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 124 ms.
[2021-05-19 07:08:27] [INFO ] Added : 430 causal constraints over 86 iterations in 19202 ms. Result :unknown
[2021-05-19 07:08:27] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2021-05-19 07:08:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:08:28] [INFO ] [Real]Absence check using state equation in 317 ms returned sat
[2021-05-19 07:08:28] [INFO ] [Real]Added 1010 Read/Feed constraints in 131 ms returned sat
[2021-05-19 07:08:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:08:28] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2021-05-19 07:08:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:08:28] [INFO ] [Nat]Absence check using state equation in 312 ms returned sat
[2021-05-19 07:08:28] [INFO ] [Nat]Added 1010 Read/Feed constraints in 124 ms returned sat
[2021-05-19 07:08:28] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 76 ms.
[2021-05-19 07:08:48] [INFO ] Added : 445 causal constraints over 89 iterations in 19519 ms. Result :unknown
[2021-05-19 07:08:48] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 07:08:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:08:48] [INFO ] [Real]Absence check using state equation in 466 ms returned sat
[2021-05-19 07:08:48] [INFO ] [Real]Added 1010 Read/Feed constraints in 126 ms returned sat
[2021-05-19 07:08:48] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:08:48] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2021-05-19 07:08:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:08:49] [INFO ] [Nat]Absence check using state equation in 340 ms returned sat
[2021-05-19 07:08:49] [INFO ] [Nat]Added 1010 Read/Feed constraints in 189 ms returned sat
[2021-05-19 07:08:49] [INFO ] Deduced a trap composed of 65 places in 226 ms
[2021-05-19 07:08:50] [INFO ] Deduced a trap composed of 64 places in 239 ms
[2021-05-19 07:08:50] [INFO ] Deduced a trap composed of 62 places in 245 ms
[2021-05-19 07:08:50] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 895 ms
[2021-05-19 07:08:50] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 124 ms.
[2021-05-19 07:09:08] [INFO ] Added : 410 causal constraints over 82 iterations in 18555 ms. Result :(error "Failed to check-sat")
[2021-05-19 07:09:08] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:09:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:09:09] [INFO ] [Real]Absence check using state equation in 356 ms returned sat
[2021-05-19 07:09:09] [INFO ] [Real]Added 1010 Read/Feed constraints in 195 ms returned sat
[2021-05-19 07:09:09] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:09:09] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 07:09:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:09:10] [INFO ] [Nat]Absence check using state equation in 494 ms returned sat
[2021-05-19 07:09:10] [INFO ] [Nat]Added 1010 Read/Feed constraints in 186 ms returned sat
[2021-05-19 07:09:10] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 115 ms.
[2021-05-19 07:09:29] [INFO ] Added : 425 causal constraints over 85 iterations in 19253 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-19 07:09:29] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2021-05-19 07:09:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:09:30] [INFO ] [Real]Absence check using state equation in 437 ms returned sat
[2021-05-19 07:09:30] [INFO ] [Real]Added 1010 Read/Feed constraints in 172 ms returned sat
[2021-05-19 07:09:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:09:30] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 07:09:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:09:30] [INFO ] [Nat]Absence check using state equation in 402 ms returned sat
[2021-05-19 07:09:30] [INFO ] [Nat]Added 1010 Read/Feed constraints in 154 ms returned sat
[2021-05-19 07:09:31] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 97 ms.
[2021-05-19 07:09:50] [INFO ] Added : 450 causal constraints over 90 iterations in 19385 ms. Result :unknown
[2021-05-19 07:09:50] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 07:09:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:09:50] [INFO ] [Real]Absence check using state equation in 493 ms returned sat
[2021-05-19 07:09:51] [INFO ] [Real]Added 1010 Read/Feed constraints in 203 ms returned sat
[2021-05-19 07:09:51] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:09:51] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 07:09:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:09:51] [INFO ] [Nat]Absence check using state equation in 494 ms returned sat
[2021-05-19 07:09:51] [INFO ] [Nat]Added 1010 Read/Feed constraints in 125 ms returned sat
[2021-05-19 07:09:51] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 76 ms.
[2021-05-19 07:10:11] [INFO ] Added : 390 causal constraints over 78 iterations in 19321 ms. Result :(error "Failed to check-sat")
[2021-05-19 07:10:11] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2021-05-19 07:10:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:10:11] [INFO ] [Real]Absence check using state equation in 405 ms returned sat
[2021-05-19 07:10:11] [INFO ] [Real]Added 1010 Read/Feed constraints in 161 ms returned sat
[2021-05-19 07:10:11] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:10:11] [INFO ] [Nat]Absence check using 11 positive place invariants in 13 ms returned sat
[2021-05-19 07:10:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:10:12] [INFO ] [Nat]Absence check using state equation in 382 ms returned sat
[2021-05-19 07:10:12] [INFO ] [Nat]Added 1010 Read/Feed constraints in 138 ms returned sat
[2021-05-19 07:10:12] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 87 ms.
[2021-05-19 07:10:31] [INFO ] Added : 415 causal constraints over 83 iterations in 19424 ms. Result :unknown
[2021-05-19 07:10:31] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 07:10:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:10:32] [INFO ] [Real]Absence check using state equation in 489 ms returned sat
[2021-05-19 07:10:32] [INFO ] [Real]Added 1010 Read/Feed constraints in 195 ms returned sat
[2021-05-19 07:10:32] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:10:32] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 07:10:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:10:33] [INFO ] [Nat]Absence check using state equation in 443 ms returned sat
[2021-05-19 07:10:33] [INFO ] [Nat]Added 1010 Read/Feed constraints in 145 ms returned sat
[2021-05-19 07:10:33] [INFO ] Deduced a trap composed of 65 places in 131 ms
[2021-05-19 07:10:33] [INFO ] Deduced a trap composed of 66 places in 139 ms
[2021-05-19 07:10:33] [INFO ] Deduced a trap composed of 64 places in 178 ms
[2021-05-19 07:10:33] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 581 ms
[2021-05-19 07:10:33] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 123 ms.
[2021-05-19 07:10:52] [INFO ] Added : 410 causal constraints over 82 iterations in 18785 ms. Result :unknown
[2021-05-19 07:10:52] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:10:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:10:53] [INFO ] [Real]Absence check using state equation in 475 ms returned sat
[2021-05-19 07:10:53] [INFO ] [Real]Added 1010 Read/Feed constraints in 193 ms returned sat
[2021-05-19 07:10:53] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:10:53] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 07:10:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:10:53] [INFO ] [Nat]Absence check using state equation in 483 ms returned sat
[2021-05-19 07:10:54] [INFO ] [Nat]Added 1010 Read/Feed constraints in 191 ms returned sat
[2021-05-19 07:10:54] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 115 ms.
[2021-05-19 07:11:13] [INFO ] Added : 430 causal constraints over 86 iterations in 19261 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-19 07:11:13] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 07:11:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:11:13] [INFO ] [Real]Absence check using state equation in 500 ms returned sat
[2021-05-19 07:11:14] [INFO ] [Real]Added 1010 Read/Feed constraints in 201 ms returned sat
[2021-05-19 07:11:14] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:11:14] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 07:11:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:11:14] [INFO ] [Nat]Absence check using state equation in 462 ms returned sat
[2021-05-19 07:11:14] [INFO ] [Nat]Added 1010 Read/Feed constraints in 178 ms returned sat
[2021-05-19 07:11:15] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 115 ms.
[2021-05-19 07:11:34] [INFO ] Added : 415 causal constraints over 83 iterations in 19291 ms. Result :unknown
[2021-05-19 07:11:34] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2021-05-19 07:11:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:11:34] [INFO ] [Real]Absence check using state equation in 404 ms returned sat
[2021-05-19 07:11:34] [INFO ] [Real]Added 1010 Read/Feed constraints in 167 ms returned sat
[2021-05-19 07:11:34] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:11:34] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 07:11:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:11:35] [INFO ] [Nat]Absence check using state equation in 397 ms returned sat
[2021-05-19 07:11:35] [INFO ] [Nat]Added 1010 Read/Feed constraints in 148 ms returned sat
[2021-05-19 07:11:35] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 93 ms.
[2021-05-19 07:11:54] [INFO ] Added : 430 causal constraints over 86 iterations in 19393 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-19 07:11:54] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 07:11:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:11:55] [INFO ] [Real]Absence check using state equation in 476 ms returned sat
[2021-05-19 07:11:55] [INFO ] [Real]Added 1010 Read/Feed constraints in 192 ms returned sat
[2021-05-19 07:11:55] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:11:55] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 07:11:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:11:56] [INFO ] [Nat]Absence check using state equation in 433 ms returned sat
[2021-05-19 07:11:56] [INFO ] [Nat]Added 1010 Read/Feed constraints in 169 ms returned sat
[2021-05-19 07:11:56] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 105 ms.
[2021-05-19 07:12:15] [INFO ] Added : 430 causal constraints over 86 iterations in 19327 ms. Result :unknown
[2021-05-19 07:12:15] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:12:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:12:16] [INFO ] [Real]Absence check using state equation in 308 ms returned sat
[2021-05-19 07:12:16] [INFO ] [Real]Added 1010 Read/Feed constraints in 128 ms returned sat
[2021-05-19 07:12:16] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:12:16] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2021-05-19 07:12:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:12:16] [INFO ] [Nat]Absence check using state equation in 317 ms returned sat
[2021-05-19 07:12:16] [INFO ] [Nat]Added 1010 Read/Feed constraints in 120 ms returned sat
[2021-05-19 07:12:16] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 138 ms.
[2021-05-19 07:12:36] [INFO ] Added : 385 causal constraints over 77 iterations in 19504 ms. Result :unknown
[2021-05-19 07:12:36] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2021-05-19 07:12:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:12:36] [INFO ] [Real]Absence check using state equation in 429 ms returned sat
[2021-05-19 07:12:36] [INFO ] [Real]Added 1010 Read/Feed constraints in 166 ms returned sat
[2021-05-19 07:12:36] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:12:36] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 07:12:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:12:37] [INFO ] [Nat]Absence check using state equation in 434 ms returned sat
[2021-05-19 07:12:37] [INFO ] [Nat]Added 1010 Read/Feed constraints in 179 ms returned sat
[2021-05-19 07:12:37] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 109 ms.
[2021-05-19 07:12:56] [INFO ] Added : 405 causal constraints over 81 iterations in 19317 ms. Result :unknown
[2021-05-19 07:12:56] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:12:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:12:57] [INFO ] [Real]Absence check using state equation in 321 ms returned sat
[2021-05-19 07:12:57] [INFO ] [Real]Added 1010 Read/Feed constraints in 144 ms returned sat
[2021-05-19 07:12:57] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:12:57] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2021-05-19 07:12:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:12:57] [INFO ] [Nat]Absence check using state equation in 429 ms returned sat
[2021-05-19 07:12:58] [INFO ] [Nat]Added 1010 Read/Feed constraints in 191 ms returned sat
[2021-05-19 07:12:58] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 121 ms.
[2021-05-19 07:13:17] [INFO ] Added : 415 causal constraints over 83 iterations in 19312 ms. Result :unknown
[2021-05-19 07:13:17] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:13:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:13:17] [INFO ] [Real]Absence check using state equation in 399 ms returned sat
[2021-05-19 07:13:18] [INFO ] [Real]Added 1010 Read/Feed constraints in 203 ms returned sat
[2021-05-19 07:13:18] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:13:18] [INFO ] [Nat]Absence check using 11 positive place invariants in 49 ms returned sat
[2021-05-19 07:13:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:13:18] [INFO ] [Nat]Absence check using state equation in 486 ms returned sat
[2021-05-19 07:13:18] [INFO ] [Nat]Added 1010 Read/Feed constraints in 195 ms returned sat
[2021-05-19 07:13:19] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 124 ms.
[2021-05-19 07:13:38] [INFO ] Added : 445 causal constraints over 89 iterations in 19200 ms. Result :unknown
[2021-05-19 07:13:38] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 07:13:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:13:38] [INFO ] [Real]Absence check using state equation in 452 ms returned sat
[2021-05-19 07:13:38] [INFO ] [Real]Added 1010 Read/Feed constraints in 123 ms returned sat
[2021-05-19 07:13:38] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:13:38] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2021-05-19 07:13:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:13:39] [INFO ] [Nat]Absence check using state equation in 313 ms returned sat
[2021-05-19 07:13:39] [INFO ] [Nat]Added 1010 Read/Feed constraints in 188 ms returned sat
[2021-05-19 07:13:39] [INFO ] Deduced a trap composed of 64 places in 231 ms
[2021-05-19 07:13:39] [INFO ] Deduced a trap composed of 64 places in 228 ms
[2021-05-19 07:13:40] [INFO ] Deduced a trap composed of 64 places in 230 ms
[2021-05-19 07:13:40] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 874 ms
[2021-05-19 07:13:40] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 121 ms.
[2021-05-19 07:13:58] [INFO ] Added : 395 causal constraints over 79 iterations in 18599 ms. Result :unknown
[2021-05-19 07:13:58] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 07:13:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:13:59] [INFO ] [Real]Absence check using state equation in 498 ms returned sat
[2021-05-19 07:13:59] [INFO ] [Real]Added 1010 Read/Feed constraints in 204 ms returned sat
[2021-05-19 07:13:59] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:13:59] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 07:13:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:14:00] [INFO ] [Nat]Absence check using state equation in 461 ms returned sat
[2021-05-19 07:14:00] [INFO ] [Nat]Added 1010 Read/Feed constraints in 167 ms returned sat
[2021-05-19 07:14:00] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 107 ms.
[2021-05-19 07:14:19] [INFO ] Added : 410 causal constraints over 82 iterations in 19300 ms. Result :unknown
[2021-05-19 07:14:19] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 07:14:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:14:20] [INFO ] [Real]Absence check using state equation in 500 ms returned sat
[2021-05-19 07:14:20] [INFO ] [Real]Added 1010 Read/Feed constraints in 190 ms returned sat
[2021-05-19 07:14:20] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:14:20] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 07:14:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:14:21] [INFO ] [Nat]Absence check using state equation in 485 ms returned sat
[2021-05-19 07:14:21] [INFO ] [Nat]Added 1010 Read/Feed constraints in 171 ms returned sat
[2021-05-19 07:14:21] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 72 ms.
[2021-05-19 07:14:40] [INFO ] Added : 410 causal constraints over 82 iterations in 19283 ms. Result :unknown
[2021-05-19 07:14:40] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 07:14:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:14:41] [INFO ] [Real]Absence check using state equation in 472 ms returned sat
[2021-05-19 07:14:41] [INFO ] [Real]Added 1010 Read/Feed constraints in 191 ms returned sat
[2021-05-19 07:14:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:14:41] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 07:14:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:14:41] [INFO ] [Nat]Absence check using state equation in 429 ms returned sat
[2021-05-19 07:14:41] [INFO ] [Nat]Added 1010 Read/Feed constraints in 154 ms returned sat
[2021-05-19 07:14:42] [INFO ] Deduced a trap composed of 65 places in 178 ms
[2021-05-19 07:14:42] [INFO ] Deduced a trap composed of 66 places in 226 ms
[2021-05-19 07:14:42] [INFO ] Deduced a trap composed of 66 places in 237 ms
[2021-05-19 07:14:42] [INFO ] Deduced a trap composed of 67 places in 222 ms
[2021-05-19 07:14:43] [INFO ] Deduced a trap composed of 64 places in 222 ms
[2021-05-19 07:14:43] [INFO ] Deduced a trap composed of 68 places in 229 ms
[2021-05-19 07:14:43] [INFO ] Deduced a trap composed of 63 places in 234 ms
[2021-05-19 07:14:44] [INFO ] Deduced a trap composed of 69 places in 226 ms
[2021-05-19 07:14:44] [INFO ] Deduced a trap composed of 66 places in 223 ms
[2021-05-19 07:14:44] [INFO ] Deduced a trap composed of 65 places in 219 ms
[2021-05-19 07:14:44] [INFO ] Deduced a trap composed of 66 places in 219 ms
[2021-05-19 07:14:45] [INFO ] Deduced a trap composed of 63 places in 230 ms
[2021-05-19 07:14:45] [INFO ] Deduced a trap composed of 65 places in 230 ms
[2021-05-19 07:14:45] [INFO ] Deduced a trap composed of 66 places in 235 ms
[2021-05-19 07:14:46] [INFO ] Deduced a trap composed of 65 places in 232 ms
[2021-05-19 07:14:46] [INFO ] Trap strengthening (SAT) tested/added 16/15 trap constraints in 4250 ms
[2021-05-19 07:14:46] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 123 ms.
[2021-05-19 07:15:01] [INFO ] Added : 320 causal constraints over 64 iterations in 15124 ms. Result :unknown
[2021-05-19 07:15:01] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2021-05-19 07:15:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:15:01] [INFO ] [Real]Absence check using state equation in 404 ms returned sat
[2021-05-19 07:15:01] [INFO ] [Real]Added 1010 Read/Feed constraints in 159 ms returned sat
[2021-05-19 07:15:01] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:15:02] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 07:15:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:15:02] [INFO ] [Nat]Absence check using state equation in 446 ms returned sat
[2021-05-19 07:15:02] [INFO ] [Nat]Added 1010 Read/Feed constraints in 193 ms returned sat
[2021-05-19 07:15:02] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 118 ms.
[2021-05-19 07:15:22] [INFO ] Added : 425 causal constraints over 85 iterations in 19300 ms. Result :(error "Failed to check-sat")
[2021-05-19 07:15:22] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 07:15:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:15:22] [INFO ] [Real]Absence check using state equation in 419 ms returned sat
[2021-05-19 07:15:22] [INFO ] [Real]Added 1010 Read/Feed constraints in 165 ms returned sat
[2021-05-19 07:15:22] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:15:22] [INFO ] [Nat]Absence check using 11 positive place invariants in 19 ms returned sat
[2021-05-19 07:15:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:15:23] [INFO ] [Nat]Absence check using state equation in 497 ms returned sat
[2021-05-19 07:15:23] [INFO ] [Nat]Added 1010 Read/Feed constraints in 158 ms returned sat
[2021-05-19 07:15:23] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 121 ms.
[2021-05-19 07:15:42] [INFO ] Added : 380 causal constraints over 76 iterations in 19276 ms. Result :unknown
[2021-05-19 07:15:42] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:15:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:15:43] [INFO ] [Real]Absence check using state equation in 309 ms returned sat
[2021-05-19 07:15:43] [INFO ] [Real]Added 1010 Read/Feed constraints in 125 ms returned sat
[2021-05-19 07:15:43] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:15:43] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 07:15:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:15:43] [INFO ] [Nat]Absence check using state equation in 495 ms returned sat
[2021-05-19 07:15:43] [INFO ] [Nat]Added 1010 Read/Feed constraints in 182 ms returned sat
[2021-05-19 07:15:44] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 114 ms.
[2021-05-19 07:16:03] [INFO ] Added : 445 causal constraints over 89 iterations in 19245 ms. Result :(error "Failed to check-sat")
[2021-05-19 07:16:03] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:16:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:16:03] [INFO ] [Real]Absence check using state equation in 304 ms returned sat
[2021-05-19 07:16:03] [INFO ] [Real]Added 1010 Read/Feed constraints in 124 ms returned sat
[2021-05-19 07:16:03] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:16:03] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 07:16:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:16:04] [INFO ] [Nat]Absence check using state equation in 462 ms returned sat
[2021-05-19 07:16:04] [INFO ] [Nat]Added 1010 Read/Feed constraints in 167 ms returned sat
[2021-05-19 07:16:04] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 108 ms.
[2021-05-19 07:16:23] [INFO ] Added : 455 causal constraints over 91 iterations in 19296 ms. Result :unknown
[2021-05-19 07:16:23] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:16:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:16:24] [INFO ] [Real]Absence check using state equation in 308 ms returned sat
[2021-05-19 07:16:24] [INFO ] [Real]Added 1010 Read/Feed constraints in 130 ms returned sat
[2021-05-19 07:16:24] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:16:24] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2021-05-19 07:16:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:16:24] [INFO ] [Nat]Absence check using state equation in 308 ms returned sat
[2021-05-19 07:16:24] [INFO ] [Nat]Added 1010 Read/Feed constraints in 119 ms returned sat
[2021-05-19 07:16:24] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 72 ms.
[2021-05-19 07:16:44] [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 (=> (> t435 0) (and (or (and (> t296 0) (< o296 o435)) (and (> t409 0) (< o409 o435)) (and (> t479 0) (< o479 o435)) (and (> t518 0) (< o518 o435)) (and (> t558 0) (< o558 o435)) (and (> t680 0) (< o680 o435)) (and (> t788 0) (< o788 o435)) (and (> t876 0) (< o876 o435)) (and (> t1030 0) (< o1030 o435)) (and (> t1046 0) (< o1046 o435))) (or (and (> t89 0) (< o89 o435)) (and (> t416 0) (< o416 o435)) (and (> t465 0) (< o465 o435)) (and (> t491 0) (< o491 o435)) (and (> t557 0) (< o557 o435)) (and (> t677 0) (< o677 o435)) (and (> t690 0) (< o690 o435)) (and (> t831 0) (< o831 o435)) (and (> t1045 0) (< o1045 o435)) (and (> t1108 0) (< o1108 o435)))))") while checking expression at index 85
[2021-05-19 07:16:44] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2021-05-19 07:16:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:16:44] [INFO ] [Real]Absence check using state equation in 436 ms returned sat
[2021-05-19 07:16:44] [INFO ] [Real]Added 1010 Read/Feed constraints in 193 ms returned sat
[2021-05-19 07:16:45] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:16:45] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 07:16:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:16:45] [INFO ] [Nat]Absence check using state equation in 488 ms returned sat
[2021-05-19 07:16:45] [INFO ] [Nat]Added 1010 Read/Feed constraints in 175 ms returned sat
[2021-05-19 07:16:45] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 73 ms.
[2021-05-19 07:17:05] [INFO ] Added : 440 causal constraints over 88 iterations in 19278 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-19 07:17:05] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 07:17:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:17:05] [INFO ] [Real]Absence check using state equation in 501 ms returned sat
[2021-05-19 07:17:05] [INFO ] [Real]Added 1010 Read/Feed constraints in 197 ms returned sat
[2021-05-19 07:17:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:17:05] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 07:17:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:17:06] [INFO ] [Nat]Absence check using state equation in 457 ms returned sat
[2021-05-19 07:17:06] [INFO ] [Nat]Added 1010 Read/Feed constraints in 168 ms returned sat
[2021-05-19 07:17:06] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 107 ms.
[2021-05-19 07:17:25] [INFO ] Added : 380 causal constraints over 76 iterations in 19303 ms. Result :unknown
[2021-05-19 07:17:25] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2021-05-19 07:17:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:17:26] [INFO ] [Real]Absence check using state equation in 457 ms returned sat
[2021-05-19 07:17:26] [INFO ] [Real]Added 1010 Read/Feed constraints in 200 ms returned sat
[2021-05-19 07:17:26] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:17:26] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 07:17:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:17:27] [INFO ] [Nat]Absence check using state equation in 495 ms returned sat
[2021-05-19 07:17:27] [INFO ] [Nat]Added 1010 Read/Feed constraints in 118 ms returned sat
[2021-05-19 07:17:27] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 72 ms.
[2021-05-19 07:17:46] [INFO ] Added : 450 causal constraints over 90 iterations in 19319 ms. Result :unknown
[2021-05-19 07:17:46] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2021-05-19 07:17:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:17:46] [INFO ] [Real]Absence check using state equation in 307 ms returned sat
[2021-05-19 07:17:47] [INFO ] [Real]Added 1010 Read/Feed constraints in 127 ms returned sat
[2021-05-19 07:17:47] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:17:47] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2021-05-19 07:17:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:17:47] [INFO ] [Nat]Absence check using state equation in 499 ms returned sat
[2021-05-19 07:17:47] [INFO ] [Nat]Added 1010 Read/Feed constraints in 124 ms returned sat
[2021-05-19 07:17:47] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 74 ms.
[2021-05-19 07:18:07] [INFO ] Added : 420 causal constraints over 84 iterations in 19328 ms. Result :unknown
[2021-05-19 07:18:07] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2021-05-19 07:18:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:18:07] [INFO ] [Real]Absence check using state equation in 293 ms returned sat
[2021-05-19 07:18:07] [INFO ] [Real]Added 1010 Read/Feed constraints in 123 ms returned sat
[2021-05-19 07:18:07] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:18:07] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2021-05-19 07:18:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:18:07] [INFO ] [Nat]Absence check using state equation in 300 ms returned sat
[2021-05-19 07:18:08] [INFO ] [Nat]Added 1010 Read/Feed constraints in 121 ms returned sat
[2021-05-19 07:18:08] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 90 ms.
[2021-05-19 07:18:27] [INFO ] Added : 435 causal constraints over 87 iterations in 19532 ms. Result :unknown
[2021-05-19 07:18:27] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:18:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:18:28] [INFO ] [Real]Absence check using state equation in 310 ms returned sat
[2021-05-19 07:18:28] [INFO ] [Real]Added 1010 Read/Feed constraints in 125 ms returned sat
[2021-05-19 07:18:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:18:28] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 07:18:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:18:28] [INFO ] [Nat]Absence check using state equation in 468 ms returned sat
[2021-05-19 07:18:28] [INFO ] [Nat]Added 1010 Read/Feed constraints in 196 ms returned sat
[2021-05-19 07:18:29] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 125 ms.
[2021-05-19 07:18:48] [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 (=> (> t463 0) (and (or (and (> t102 0) (< o102 o463)) (and (> t157 0) (< o157 o463)) (and (> t171 0) (< o171 o463)) (and (> t191 0) (< o191 o463)) (and (> t248 0) (< o248 o463)) (and (> t285 0) (< o285 o463)) (and (> t292 0) (< o292 o463)) (and (> t373 0) (< o373 o463)) (and (> t475 0) (< o475 o463)) (and (> t1110 0) (< o1110 o463))) (or (and (> t65 0) (< o65 o463)) (and (> t265 0) (< o265 o463)) (and (> t515 0) (< o515 o463)) (and (> t535 0) (< o535 o463)) (and (> t671 0) (< o671 o463)) (and (> t730 0) (< o730 o463)) (and (> t880 0) (< o880 o463)) (and (> t904 0) (< o904 o463)) (and (> t981 0) (< o981 o463)) (and (> t1074 0) (< o1074 o463)))))") while checking expression at index 91
[2021-05-19 07:18:48] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2021-05-19 07:18:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:18:48] [INFO ] [Real]Absence check using state equation in 416 ms returned sat
[2021-05-19 07:18:48] [INFO ] [Real]Added 1010 Read/Feed constraints in 158 ms returned sat
[2021-05-19 07:18:48] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:18:48] [INFO ] [Nat]Absence check using 11 positive place invariants in 19 ms returned sat
[2021-05-19 07:18:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:18:49] [INFO ] [Nat]Absence check using state equation in 505 ms returned sat
[2021-05-19 07:18:49] [INFO ] [Nat]Added 1010 Read/Feed constraints in 211 ms returned sat
[2021-05-19 07:18:49] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 131 ms.
[2021-05-19 07:19:08] [INFO ] Added : 445 causal constraints over 89 iterations in 19204 ms. Result :unknown
[2021-05-19 07:19:08] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2021-05-19 07:19:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:19:09] [INFO ] [Real]Absence check using state equation in 460 ms returned sat
[2021-05-19 07:19:09] [INFO ] [Real]Added 1010 Read/Feed constraints in 202 ms returned sat
[2021-05-19 07:19:09] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:19:09] [INFO ] [Nat]Absence check using 11 positive place invariants in 19 ms returned sat
[2021-05-19 07:19:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:19:10] [INFO ] [Nat]Absence check using state equation in 487 ms returned sat
[2021-05-19 07:19:10] [INFO ] [Nat]Added 1010 Read/Feed constraints in 123 ms returned sat
[2021-05-19 07:19:10] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 74 ms.
[2021-05-19 07:19:29] [INFO ] Added : 465 causal constraints over 93 iterations in 19320 ms. Result :unknown
[2021-05-19 07:19:29] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2021-05-19 07:19:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:19:30] [INFO ] [Real]Absence check using state equation in 349 ms returned sat
[2021-05-19 07:19:30] [INFO ] [Real]Added 1010 Read/Feed constraints in 136 ms returned sat
[2021-05-19 07:19:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:19:30] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2021-05-19 07:19:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:19:30] [INFO ] [Nat]Absence check using state equation in 313 ms returned sat
[2021-05-19 07:19:30] [INFO ] [Nat]Added 1010 Read/Feed constraints in 119 ms returned sat
[2021-05-19 07:19:30] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 73 ms.
[2021-05-19 07:19:50] [INFO ] Added : 445 causal constraints over 89 iterations in 19520 ms. Result :unknown
[2021-05-19 07:19:50] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2021-05-19 07:19:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:19:50] [INFO ] [Real]Absence check using state equation in 310 ms returned sat
[2021-05-19 07:19:50] [INFO ] [Real]Added 1010 Read/Feed constraints in 126 ms returned sat
[2021-05-19 07:19:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:19:50] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2021-05-19 07:19:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:19:51] [INFO ] [Nat]Absence check using state equation in 310 ms returned sat
[2021-05-19 07:19:51] [INFO ] [Nat]Added 1010 Read/Feed constraints in 129 ms returned sat
[2021-05-19 07:19:51] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 89 ms.
[2021-05-19 07:20:10] [INFO ] Added : 410 causal constraints over 82 iterations in 19509 ms. Result :unknown
[2021-05-19 07:20:10] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 07:20:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:20:11] [INFO ] [Real]Absence check using state equation in 506 ms returned sat
[2021-05-19 07:20:11] [INFO ] [Real]Added 1010 Read/Feed constraints in 203 ms returned sat
[2021-05-19 07:20:11] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:20:11] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 07:20:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:20:12] [INFO ] [Nat]Absence check using state equation in 494 ms returned sat
[2021-05-19 07:20:12] [INFO ] [Nat]Added 1010 Read/Feed constraints in 186 ms returned sat
[2021-05-19 07:20:12] [INFO ] Deduced a trap composed of 65 places in 200 ms
[2021-05-19 07:20:12] [INFO ] Deduced a trap composed of 67 places in 208 ms
[2021-05-19 07:20:13] [INFO ] Deduced a trap composed of 65 places in 213 ms
[2021-05-19 07:20:13] [INFO ] Deduced a trap composed of 64 places in 211 ms
[2021-05-19 07:20:13] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 1061 ms
[2021-05-19 07:20:13] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 126 ms.
[2021-05-19 07:20:31] [INFO ] Added : 455 causal constraints over 91 iterations in 18212 ms. Result :unknown
[2021-05-19 07:20:31] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 07:20:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:20:32] [INFO ] [Real]Absence check using state equation in 467 ms returned sat
[2021-05-19 07:20:32] [INFO ] [Real]Added 1010 Read/Feed constraints in 180 ms returned sat
[2021-05-19 07:20:32] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:20:32] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 07:20:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:20:32] [INFO ] [Nat]Absence check using state equation in 428 ms returned sat
[2021-05-19 07:20:32] [INFO ] [Nat]Added 1010 Read/Feed constraints in 160 ms returned sat
[2021-05-19 07:20:33] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 101 ms.
[2021-05-19 07:20:52] [INFO ] Added : 450 causal constraints over 90 iterations in 19344 ms. Result :unknown
[2021-05-19 07:20:52] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2021-05-19 07:20:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:20:52] [INFO ] [Real]Absence check using state equation in 422 ms returned sat
[2021-05-19 07:20:53] [INFO ] [Real]Added 1010 Read/Feed constraints in 168 ms returned sat
[2021-05-19 07:20:53] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:20:53] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 07:20:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:20:53] [INFO ] [Nat]Absence check using state equation in 472 ms returned sat
[2021-05-19 07:20:53] [INFO ] [Nat]Added 1010 Read/Feed constraints in 165 ms returned sat
[2021-05-19 07:20:53] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 74 ms.
[2021-05-19 07:21:13] [INFO ] Added : 430 causal constraints over 86 iterations in 19315 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-19 07:21:13] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:21:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:21:13] [INFO ] [Real]Absence check using state equation in 439 ms returned sat
[2021-05-19 07:21:13] [INFO ] [Real]Added 1010 Read/Feed constraints in 194 ms returned sat
[2021-05-19 07:21:13] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:21:13] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 07:21:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:21:14] [INFO ] [Nat]Absence check using state equation in 476 ms returned sat
[2021-05-19 07:21:14] [INFO ] [Nat]Added 1010 Read/Feed constraints in 190 ms returned sat
[2021-05-19 07:21:14] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 123 ms.
[2021-05-19 07:21:33] [INFO ] Added : 425 causal constraints over 85 iterations in 19258 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-19 07:21:33] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2021-05-19 07:21:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:21:34] [INFO ] [Real]Absence check using state equation in 413 ms returned sat
[2021-05-19 07:21:34] [INFO ] [Real]Added 1010 Read/Feed constraints in 165 ms returned sat
[2021-05-19 07:21:34] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:21:34] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 07:21:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:21:34] [INFO ] [Nat]Absence check using state equation in 423 ms returned sat
[2021-05-19 07:21:35] [INFO ] [Nat]Added 1010 Read/Feed constraints in 165 ms returned sat
[2021-05-19 07:21:35] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 114 ms.
[2021-05-19 07:21:54] [INFO ] Added : 425 causal constraints over 85 iterations in 19347 ms. Result :unknown
[2021-05-19 07:21:54] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 07:21:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:21:55] [INFO ] [Real]Absence check using state equation in 500 ms returned sat
[2021-05-19 07:21:55] [INFO ] [Real]Added 1010 Read/Feed constraints in 205 ms returned sat
[2021-05-19 07:21:55] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:21:55] [INFO ] [Nat]Absence check using 11 positive place invariants in 20 ms returned sat
[2021-05-19 07:21:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:21:55] [INFO ] [Nat]Absence check using state equation in 496 ms returned sat
[2021-05-19 07:21:56] [INFO ] [Nat]Added 1010 Read/Feed constraints in 190 ms returned sat
[2021-05-19 07:21:56] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 116 ms.
[2021-05-19 07:22:15] [INFO ] Added : 405 causal constraints over 81 iterations in 19241 ms. Result :unknown
[2021-05-19 07:22:15] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:22:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:22:15] [INFO ] [Real]Absence check using state equation in 332 ms returned sat
[2021-05-19 07:22:15] [INFO ] [Real]Added 1010 Read/Feed constraints in 204 ms returned sat
[2021-05-19 07:22:15] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:22:16] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 07:22:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:22:16] [INFO ] [Nat]Absence check using state equation in 500 ms returned sat
[2021-05-19 07:22:16] [INFO ] [Nat]Added 1010 Read/Feed constraints in 171 ms returned sat
[2021-05-19 07:22:16] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 73 ms.
[2021-05-19 07:22:36] [INFO ] Added : 420 causal constraints over 84 iterations in 19260 ms. Result :unknown
[2021-05-19 07:22:36] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:22:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:22:36] [INFO ] [Real]Absence check using state equation in 406 ms returned sat
[2021-05-19 07:22:36] [INFO ] [Real]Added 1010 Read/Feed constraints in 200 ms returned sat
[2021-05-19 07:22:36] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:22:36] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 07:22:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:22:37] [INFO ] [Nat]Absence check using state equation in 460 ms returned sat
[2021-05-19 07:22:37] [INFO ] [Nat]Added 1010 Read/Feed constraints in 164 ms returned sat
[2021-05-19 07:22:37] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 104 ms.
[2021-05-19 07:22:56] [INFO ] Added : 445 causal constraints over 89 iterations in 19300 ms. Result :unknown
[2021-05-19 07:22:56] [INFO ] [Real]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 07:22:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:22:57] [INFO ] [Real]Absence check using state equation in 533 ms returned sat
[2021-05-19 07:22:57] [INFO ] [Real]Added 1010 Read/Feed constraints in 215 ms returned sat
[2021-05-19 07:22:57] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:22:57] [INFO ] [Nat]Absence check using 11 positive place invariants in 19 ms returned sat
[2021-05-19 07:22:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:22:58] [INFO ] [Nat]Absence check using state equation in 516 ms returned sat
[2021-05-19 07:22:58] [INFO ] [Nat]Added 1010 Read/Feed constraints in 152 ms returned sat
[2021-05-19 07:22:58] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 112 ms.
[2021-05-19 07:23:17] [INFO ] Added : 440 causal constraints over 88 iterations in 19255 ms. Result :unknown
[2021-05-19 07:23:17] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2021-05-19 07:23:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:23:18] [INFO ] [Real]Absence check using state equation in 490 ms returned sat
[2021-05-19 07:23:18] [INFO ] [Real]Added 1010 Read/Feed constraints in 189 ms returned sat
[2021-05-19 07:23:18] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:23:18] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 07:23:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:23:18] [INFO ] [Nat]Absence check using state equation in 461 ms returned sat
[2021-05-19 07:23:19] [INFO ] [Nat]Added 1010 Read/Feed constraints in 182 ms returned sat
[2021-05-19 07:23:19] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 112 ms.
[2021-05-19 07:23:38] [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 (=> (> t460 0) (and (or (and (> t0 0) (< o0 o460)) (and (> t22 0) (< o22 o460)) (and (> t253 0) (< o253 o460)) (and (> t441 0) (< o441 o460)) (and (> t631 0) (< o631 o460)) (and (> t763 0) (< o763 o460)) (and (> t888 0) (< o888 o460)) (and (> t1037 0) (< o1037 o460)) (and (> t1058 0) (< o1058 o460)) (and (> t1063 0) (< o1063 o460))) (or (and (> t101 0) (< o101 o460)) (and (> t145 0) (< o145 o460)) (and (> t283 0) (< o283 o460)) (and (> t339 0) (< o339 o460)) (and (> t381 0) (< o381 o460)) (and (> t445 0) (< o445 o460)) (and (> t485 0) (< o485 o460)) (and (> t920 0) (< o920 o460)) (and (> t1002 0) (< o1002 o460)) (and (> t1081 0) (< o1081 o460)))))") while checking expression at index 105
[2021-05-19 07:23:38] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2021-05-19 07:23:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:23:38] [INFO ] [Real]Absence check using state equation in 395 ms returned sat
[2021-05-19 07:23:39] [INFO ] [Real]Added 1010 Read/Feed constraints in 154 ms returned sat
[2021-05-19 07:23:39] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:23:39] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 07:23:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:23:39] [INFO ] [Nat]Absence check using state equation in 368 ms returned sat
[2021-05-19 07:23:39] [INFO ] [Nat]Added 1010 Read/Feed constraints in 138 ms returned sat
[2021-05-19 07:23:39] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 86 ms.
[2021-05-19 07:23:59] [INFO ] Added : 410 causal constraints over 82 iterations in 19435 ms. Result :unknown
[2021-05-19 07:23:59] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2021-05-19 07:23:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:23:59] [INFO ] [Real]Absence check using state equation in 438 ms returned sat
[2021-05-19 07:23:59] [INFO ] [Real]Added 1010 Read/Feed constraints in 199 ms returned sat
[2021-05-19 07:23:59] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:23:59] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 07:23:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:24:00] [INFO ] [Nat]Absence check using state equation in 521 ms returned sat
[2021-05-19 07:24:00] [INFO ] [Nat]Added 1010 Read/Feed constraints in 193 ms returned sat
[2021-05-19 07:24:00] [INFO ] Deduced a trap composed of 65 places in 224 ms
[2021-05-19 07:24:01] [INFO ] Deduced a trap composed of 67 places in 203 ms
[2021-05-19 07:24:01] [INFO ] Deduced a trap composed of 65 places in 210 ms
[2021-05-19 07:24:01] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 818 ms
[2021-05-19 07:24:01] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 121 ms.
[2021-05-19 07:24:19] [INFO ] Added : 405 causal constraints over 81 iterations in 18421 ms. Result :unknown
[2021-05-19 07:24:19] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2021-05-19 07:24:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:24:20] [INFO ] [Real]Absence check using state equation in 450 ms returned sat
[2021-05-19 07:24:20] [INFO ] [Real]Added 1010 Read/Feed constraints in 204 ms returned sat
[2021-05-19 07:24:20] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:24:20] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 07:24:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:24:21] [INFO ] [Nat]Absence check using state equation in 504 ms returned sat
[2021-05-19 07:24:21] [INFO ] [Nat]Added 1010 Read/Feed constraints in 139 ms returned sat
[2021-05-19 07:24:21] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 74 ms.
[2021-05-19 07:24:40] [INFO ] Added : 405 causal constraints over 81 iterations in 19286 ms. Result :unknown
[2021-05-19 07:24:40] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:24:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:24:41] [INFO ] [Real]Absence check using state equation in 442 ms returned sat
[2021-05-19 07:24:41] [INFO ] [Real]Added 1010 Read/Feed constraints in 199 ms returned sat
[2021-05-19 07:24:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:24:41] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 07:24:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:24:41] [INFO ] [Nat]Absence check using state equation in 460 ms returned sat
[2021-05-19 07:24:41] [INFO ] [Nat]Added 1010 Read/Feed constraints in 168 ms returned sat
[2021-05-19 07:24:42] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 124 ms.
[2021-05-19 07:25:01] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream closed (=> (> t402 0) (and (or (and (> t12 0) (< o12 o402)) (and (> t56 0) (< o56 o402)) (and (> t167 0) (< o167 o402)) (and (> t190 0) (< o190 o402)) (and (> t276 0) (< o276 o402)) (and (> t649 0) (< o649 o402)) (and (> t692 0) (< o692 o402)) (and (> t792 0) (< o792 o402)) (and (> t957 0) (< o957 o402)) (and (> t1084 0) (< o1084 o402))) (or (and (> t37 0) (< o37 o402)) (and (> t143 0) (< o143 o402)) (and (> t147 0) (< o147 o402)) (and (> t160 0) (< o160 o402)) (and (> t242 0) (< o242 o402)) (and (> t397 0) (< o397 o402)) (and (> t459 0) (< o459 o402)) (and (> t470 0) (< o470 o402)) (and (> t959 0) (< o959 o402)) (and (> t1001 0) (< o1001 o402)))))") while checking expression at index 109
[2021-05-19 07:25:01] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:25:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:25:01] [INFO ] [Real]Absence check using state equation in 327 ms returned sat
[2021-05-19 07:25:01] [INFO ] [Real]Added 1010 Read/Feed constraints in 190 ms returned sat
[2021-05-19 07:25:01] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:25:02] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 07:25:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:25:02] [INFO ] [Nat]Absence check using state equation in 488 ms returned sat
[2021-05-19 07:25:02] [INFO ] [Nat]Added 1010 Read/Feed constraints in 195 ms returned sat
[2021-05-19 07:25:02] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 124 ms.
[2021-05-19 07:25:21] [INFO ] Added : 420 causal constraints over 84 iterations in 19240 ms. Result :unknown
[2021-05-19 07:25:22] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2021-05-19 07:25:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:25:22] [INFO ] [Real]Absence check using state equation in 475 ms returned sat
[2021-05-19 07:25:22] [INFO ] [Real]Added 1010 Read/Feed constraints in 200 ms returned sat
[2021-05-19 07:25:22] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:25:22] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 07:25:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:25:23] [INFO ] [Nat]Absence check using state equation in 455 ms returned sat
[2021-05-19 07:25:23] [INFO ] [Nat]Added 1010 Read/Feed constraints in 123 ms returned sat
[2021-05-19 07:25:23] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 75 ms.
[2021-05-19 07:25: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: Stream closed (=> (> t449 0) (and (or (and (> t62 0) (< o62 o449)) (and (> t266 0) (< o266 o449)) (and (> t429 0) (< o429 o449)) (and (> t667 0) (< o667 o449)) (and (> t696 0) (< o696 o449)) (and (> t819 0) (< o819 o449)) (and (> t885 0) (< o885 o449)) (and (> t923 0) (< o923 o449)) (and (> t1010 0) (< o1010 o449)) (and (> t1025 0) (< o1025 o449))) (or (and (> t28 0) (< o28 o449)) (and (> t144 0) (< o144 o449)) (and (> t362 0) (< o362 o449)) (and (> t378 0) (< o378 o449)) (and (> t455 0) (< o455 o449)) (and (> t533 0) (< o533 o449)) (and (> t626 0) (< o626 o449)) (and (> t735 0) (< o735 o449)) (and (> t1050 0) (< o1050 o449)) (and (> t1089 0) (< o1089 o449)))))") while checking expression at index 111
[2021-05-19 07:25:42] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:25:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:25:43] [INFO ] [Real]Absence check using state equation in 321 ms returned sat
[2021-05-19 07:25:43] [INFO ] [Real]Added 1010 Read/Feed constraints in 189 ms returned sat
[2021-05-19 07:25:43] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:25:43] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 07:25:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:25:43] [INFO ] [Nat]Absence check using state equation in 504 ms returned sat
[2021-05-19 07:25:44] [INFO ] [Nat]Added 1010 Read/Feed constraints in 193 ms returned sat
[2021-05-19 07:25:44] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 115 ms.
[2021-05-19 07:26:03] [INFO ] Added : 365 causal constraints over 73 iterations in 19237 ms. Result :(error "Failed to check-sat")
[2021-05-19 07:26:03] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 07:26:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:26:03] [INFO ] [Real]Absence check using state equation in 490 ms returned sat
[2021-05-19 07:26:04] [INFO ] [Real]Added 1010 Read/Feed constraints in 199 ms returned sat
[2021-05-19 07:26:04] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:26:04] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 07:26:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:26:04] [INFO ] [Nat]Absence check using state equation in 465 ms returned sat
[2021-05-19 07:26:04] [INFO ] [Nat]Added 1010 Read/Feed constraints in 172 ms returned sat
[2021-05-19 07:26:05] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 115 ms.
[2021-05-19 07:26:24] [INFO ] Added : 445 causal constraints over 89 iterations in 19306 ms. Result :(error "Failed to check-sat")
[2021-05-19 07:26:24] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2021-05-19 07:26:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:26:24] [INFO ] [Real]Absence check using state equation in 387 ms returned sat
[2021-05-19 07:26:24] [INFO ] [Real]Added 1010 Read/Feed constraints in 159 ms returned sat
[2021-05-19 07:26:24] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:26:24] [INFO ] [Nat]Absence check using 11 positive place invariants in 13 ms returned sat
[2021-05-19 07:26:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:26:25] [INFO ] [Nat]Absence check using state equation in 363 ms returned sat
[2021-05-19 07:26:25] [INFO ] [Nat]Added 1010 Read/Feed constraints in 119 ms returned sat
[2021-05-19 07:26:25] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 75 ms.
[2021-05-19 07:26:44] [INFO ] Added : 425 causal constraints over 85 iterations in 19467 ms. Result :unknown
[2021-05-19 07:26:44] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2021-05-19 07:26:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:26:45] [INFO ] [Real]Absence check using state equation in 430 ms returned sat
[2021-05-19 07:26:45] [INFO ] [Real]Added 1010 Read/Feed constraints in 189 ms returned sat
[2021-05-19 07:26:45] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:26:45] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 07:26:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:26:46] [INFO ] [Nat]Absence check using state equation in 431 ms returned sat
[2021-05-19 07:26:46] [INFO ] [Nat]Added 1010 Read/Feed constraints in 146 ms returned sat
[2021-05-19 07:26:46] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 72 ms.
[2021-05-19 07:27:05] [INFO ] Added : 450 causal constraints over 90 iterations in 19361 ms. Result :unknown
[2021-05-19 07:27:05] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2021-05-19 07:27:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:27:05] [INFO ] [Real]Absence check using state equation in 304 ms returned sat
[2021-05-19 07:27:06] [INFO ] [Real]Added 1010 Read/Feed constraints in 126 ms returned sat
[2021-05-19 07:27:06] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:27:06] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2021-05-19 07:27:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:27:06] [INFO ] [Nat]Absence check using state equation in 302 ms returned sat
[2021-05-19 07:27:06] [INFO ] [Nat]Added 1010 Read/Feed constraints in 115 ms returned sat
[2021-05-19 07:27:06] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 73 ms.
[2021-05-19 07:27:26] [INFO ] Added : 405 causal constraints over 81 iterations in 19539 ms. Result :unknown
[2021-05-19 07:27:26] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:27:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:27:26] [INFO ] [Real]Absence check using state equation in 303 ms returned sat
[2021-05-19 07:27:26] [INFO ] [Real]Added 1010 Read/Feed constraints in 121 ms returned sat
[2021-05-19 07:27:26] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:27:26] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2021-05-19 07:27:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:27:26] [INFO ] [Nat]Absence check using state equation in 305 ms returned sat
[2021-05-19 07:27:27] [INFO ] [Nat]Added 1010 Read/Feed constraints in 118 ms returned sat
[2021-05-19 07:27:27] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 73 ms.
[2021-05-19 07:27:46] [INFO ] Added : 430 causal constraints over 86 iterations in 19533 ms. Result :unknown
[2021-05-19 07:27:46] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2021-05-19 07:27:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:27:47] [INFO ] [Real]Absence check using state equation in 386 ms returned sat
[2021-05-19 07:27:47] [INFO ] [Real]Added 1010 Read/Feed constraints in 156 ms returned sat
[2021-05-19 07:27:47] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:27:47] [INFO ] [Nat]Absence check using 11 positive place invariants in 13 ms returned sat
[2021-05-19 07:27:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:27:47] [INFO ] [Nat]Absence check using state equation in 366 ms returned sat
[2021-05-19 07:27:47] [INFO ] [Nat]Added 1010 Read/Feed constraints in 156 ms returned sat
[2021-05-19 07:27:47] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 99 ms.
[2021-05-19 07:28:07] [INFO ] Added : 450 causal constraints over 90 iterations in 19421 ms. Result :unknown
[2021-05-19 07:28:07] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 07:28:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:28:07] [INFO ] [Real]Absence check using state equation in 465 ms returned sat
[2021-05-19 07:28:08] [INFO ] [Real]Added 1010 Read/Feed constraints in 198 ms returned sat
[2021-05-19 07:28:08] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:28:08] [INFO ] [Nat]Absence check using 11 positive place invariants in 20 ms returned sat
[2021-05-19 07:28:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:28:08] [INFO ] [Nat]Absence check using state equation in 493 ms returned sat
[2021-05-19 07:28:08] [INFO ] [Nat]Added 1010 Read/Feed constraints in 150 ms returned sat
[2021-05-19 07:28:08] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 82 ms.
[2021-05-19 07:28:28] [INFO ] Added : 440 causal constraints over 88 iterations in 19288 ms. Result :unknown
[2021-05-19 07:28:28] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2021-05-19 07:28:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:28:28] [INFO ] [Real]Absence check using state equation in 487 ms returned sat
[2021-05-19 07:28:28] [INFO ] [Real]Added 1010 Read/Feed constraints in 202 ms returned sat
[2021-05-19 07:28:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:28:28] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 07:28:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:28:29] [INFO ] [Nat]Absence check using state equation in 497 ms returned sat
[2021-05-19 07:28:29] [INFO ] [Nat]Added 1010 Read/Feed constraints in 192 ms returned sat
[2021-05-19 07:28:29] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 118 ms.
[2021-05-19 07:28:48] [INFO ] Added : 430 causal constraints over 86 iterations in 19233 ms. Result :unknown
[2021-05-19 07:28:48] [INFO ] [Real]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 07:28:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:28:49] [INFO ] [Real]Absence check using state equation in 500 ms returned sat
[2021-05-19 07:28:49] [INFO ] [Real]Added 1010 Read/Feed constraints in 215 ms returned sat
[2021-05-19 07:28:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:28:49] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 07:28:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:28:50] [INFO ] [Nat]Absence check using state equation in 455 ms returned sat
[2021-05-19 07:28:50] [INFO ] [Nat]Added 1010 Read/Feed constraints in 165 ms returned sat
[2021-05-19 07:28:50] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 124 ms.
[2021-05-19 07:29:09] [INFO ] Added : 450 causal constraints over 90 iterations in 19312 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-19 07:29:09] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 07:29:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:29:10] [INFO ] [Real]Absence check using state equation in 495 ms returned sat
[2021-05-19 07:29:10] [INFO ] [Real]Added 1010 Read/Feed constraints in 187 ms returned sat
[2021-05-19 07:29:10] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:29:10] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 07:29:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:29:10] [INFO ] [Nat]Absence check using state equation in 441 ms returned sat
[2021-05-19 07:29:11] [INFO ] [Nat]Added 1010 Read/Feed constraints in 165 ms returned sat
[2021-05-19 07:29:11] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 75 ms.
[2021-05-19 07:29:30] [INFO ] Added : 470 causal constraints over 94 iterations in 19328 ms. Result :unknown
[2021-05-19 07:29:30] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:29:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:29:30] [INFO ] [Real]Absence check using state equation in 411 ms returned sat
[2021-05-19 07:29:31] [INFO ] [Real]Added 1010 Read/Feed constraints in 198 ms returned sat
[2021-05-19 07:29:31] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:29:31] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 07:29:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:29:31] [INFO ] [Nat]Absence check using state equation in 490 ms returned sat
[2021-05-19 07:29:31] [INFO ] [Nat]Added 1010 Read/Feed constraints in 177 ms returned sat
[2021-05-19 07:29:32] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 112 ms.
[2021-05-19 07:29:51] [INFO ] Added : 440 causal constraints over 88 iterations in 19254 ms. Result :unknown
[2021-05-19 07:29:51] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2021-05-19 07:29:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:29:51] [INFO ] [Real]Absence check using state equation in 463 ms returned sat
[2021-05-19 07:29:51] [INFO ] [Real]Added 1010 Read/Feed constraints in 189 ms returned sat
[2021-05-19 07:29:51] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:29:52] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 07:29:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:29:52] [INFO ] [Nat]Absence check using state equation in 491 ms returned sat
[2021-05-19 07:29:52] [INFO ] [Nat]Added 1010 Read/Feed constraints in 172 ms returned sat
[2021-05-19 07:29:52] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 74 ms.
[2021-05-19 07:30:11] [INFO ] Added : 475 causal constraints over 95 iterations in 19275 ms. Result :unknown
[2021-05-19 07:30:12] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:30:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:30:12] [INFO ] [Real]Absence check using state equation in 382 ms returned sat
[2021-05-19 07:30:12] [INFO ] [Real]Added 1010 Read/Feed constraints in 192 ms returned sat
[2021-05-19 07:30:12] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:30:12] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 07:30:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:30:13] [INFO ] [Nat]Absence check using state equation in 510 ms returned sat
[2021-05-19 07:30:13] [INFO ] [Nat]Added 1010 Read/Feed constraints in 193 ms returned sat
[2021-05-19 07:30:13] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 124 ms.
[2021-05-19 07:30:32] [INFO ] Added : 445 causal constraints over 89 iterations in 19218 ms. Result :unknown
[2021-05-19 07:30:32] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:30:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:30:33] [INFO ] [Real]Absence check using state equation in 314 ms returned sat
[2021-05-19 07:30:33] [INFO ] [Real]Added 1010 Read/Feed constraints in 126 ms returned sat
[2021-05-19 07:30:33] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:30:33] [INFO ] [Nat]Absence check using 11 positive place invariants in 19 ms returned sat
[2021-05-19 07:30:33] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:30:33] [INFO ] [Nat]Absence check using state equation in 491 ms returned sat
[2021-05-19 07:30:33] [INFO ] [Nat]Added 1010 Read/Feed constraints in 177 ms returned sat
[2021-05-19 07:30:34] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 112 ms.
[2021-05-19 07:30:53] [INFO ] Added : 410 causal constraints over 82 iterations in 19251 ms. Result :unknown
[2021-05-19 07:30:53] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2021-05-19 07:30:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:30:53] [INFO ] [Real]Absence check using state equation in 401 ms returned sat
[2021-05-19 07:30:53] [INFO ] [Real]Added 1010 Read/Feed constraints in 124 ms returned sat
[2021-05-19 07:30:53] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:30:53] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2021-05-19 07:30:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:30:54] [INFO ] [Nat]Absence check using state equation in 305 ms returned sat
[2021-05-19 07:30:54] [INFO ] [Nat]Added 1010 Read/Feed constraints in 190 ms returned sat
[2021-05-19 07:30:54] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 120 ms.
[2021-05-19 07:31:13] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream closed (=> (> t462 0) (and (or (and (> t208 0) (< o208 o462)) (and (> t255 0) (< o255 o462)) (and (> t286 0) (< o286 o462)) (and (> t394 0) (< o394 o462)) (and (> t400 0) (< o400 o462)) (and (> t749 0) (< o749 o462)) (and (> t797 0) (< o797 o462)) (and (> t842 0) (< o842 o462)) (and (> t935 0) (< o935 o462)) (and (> t1057 0) (< o1057 o462))) (or (and (> t101 0) (< o101 o462)) (and (> t145 0) (< o145 o462)) (and (> t283 0) (< o283 o462)) (and (> t339 0) (< o339 o462)) (and (> t381 0) (< o381 o462)) (and (> t445 0) (< o445 o462)) (and (> t485 0) (< o485 o462)) (and (> t920 0) (< o920 o462)) (and (> t1002 0) (< o1002 o462)) (and (> t1081 0) (< o1081 o462)))))") while checking expression at index 127
[2021-05-19 07:31:13] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 07:31:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:31:14] [INFO ] [Real]Absence check using state equation in 494 ms returned sat
[2021-05-19 07:31:14] [INFO ] [Real]Added 1010 Read/Feed constraints in 196 ms returned sat
[2021-05-19 07:31:14] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:31:14] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 07:31:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:31:15] [INFO ] [Nat]Absence check using state equation in 484 ms returned sat
[2021-05-19 07:31:15] [INFO ] [Nat]Added 1010 Read/Feed constraints in 118 ms returned sat
[2021-05-19 07:31:15] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 73 ms.
[2021-05-19 07:31:34] [INFO ] Added : 430 causal constraints over 86 iterations in 19329 ms. Result :unknown
[2021-05-19 07:31:34] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:31:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:31:35] [INFO ] [Real]Absence check using state equation in 311 ms returned sat
[2021-05-19 07:31:35] [INFO ] [Real]Added 1010 Read/Feed constraints in 125 ms returned sat
[2021-05-19 07:31:35] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:31:35] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 07:31:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:31:35] [INFO ] [Nat]Absence check using state equation in 459 ms returned sat
[2021-05-19 07:31:35] [INFO ] [Nat]Added 1010 Read/Feed constraints in 166 ms returned sat
[2021-05-19 07:31:35] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 105 ms.
[2021-05-19 07:31:55] [INFO ] Added : 455 causal constraints over 91 iterations in 19306 ms. Result :unknown
[2021-05-19 07:31:55] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 07:31:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:31:55] [INFO ] [Real]Absence check using state equation in 488 ms returned sat
[2021-05-19 07:31:55] [INFO ] [Real]Added 1010 Read/Feed constraints in 188 ms returned sat
[2021-05-19 07:31:55] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:31:56] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 07:31:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:31:56] [INFO ] [Nat]Absence check using state equation in 492 ms returned sat
[2021-05-19 07:31:56] [INFO ] [Nat]Added 1010 Read/Feed constraints in 174 ms returned sat
[2021-05-19 07:31:56] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 76 ms.
[2021-05-19 07:32:15] [INFO ] Added : 460 causal constraints over 92 iterations in 19271 ms. Result :unknown
[2021-05-19 07:32:16] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:32:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:32:16] [INFO ] [Real]Absence check using state equation in 323 ms returned sat
[2021-05-19 07:32:16] [INFO ] [Real]Added 1010 Read/Feed constraints in 129 ms returned sat
[2021-05-19 07:32:16] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:32:16] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2021-05-19 07:32:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:32:16] [INFO ] [Nat]Absence check using state equation in 439 ms returned sat
[2021-05-19 07:32:17] [INFO ] [Nat]Added 1010 Read/Feed constraints in 185 ms returned sat
[2021-05-19 07:32:17] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 93 ms.
[2021-05-19 07:32:36] [INFO ] Added : 410 causal constraints over 82 iterations in 19329 ms. Result :unknown
[2021-05-19 07:32:36] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2021-05-19 07:32:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:32:37] [INFO ] [Real]Absence check using state equation in 436 ms returned sat
[2021-05-19 07:32:37] [INFO ] [Real]Added 1010 Read/Feed constraints in 173 ms returned sat
[2021-05-19 07:32:37] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:32:37] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 07:32:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:32:37] [INFO ] [Nat]Absence check using state equation in 411 ms returned sat
[2021-05-19 07:32:37] [INFO ] [Nat]Added 1010 Read/Feed constraints in 149 ms returned sat
[2021-05-19 07:32:37] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 93 ms.
[2021-05-19 07:32:57] [INFO ] Added : 395 causal constraints over 79 iterations in 19365 ms. Result :unknown
[2021-05-19 07:32:57] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:32:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:32:57] [INFO ] [Real]Absence check using state equation in 317 ms returned sat
[2021-05-19 07:32:57] [INFO ] [Real]Added 1010 Read/Feed constraints in 182 ms returned sat
[2021-05-19 07:32:57] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:32:57] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 07:32:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:32:58] [INFO ] [Nat]Absence check using state equation in 504 ms returned sat
[2021-05-19 07:32:58] [INFO ] [Nat]Added 1010 Read/Feed constraints in 190 ms returned sat
[2021-05-19 07:32:58] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 117 ms.
[2021-05-19 07:33:17] [INFO ] Added : 430 causal constraints over 86 iterations in 19224 ms. Result :unknown
[2021-05-19 07:33:17] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 07:33:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:33:18] [INFO ] [Real]Absence check using state equation in 506 ms returned sat
[2021-05-19 07:33:18] [INFO ] [Real]Added 1010 Read/Feed constraints in 208 ms returned sat
[2021-05-19 07:33:18] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:33:18] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 07:33:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:33:19] [INFO ] [Nat]Absence check using state equation in 496 ms returned sat
[2021-05-19 07:33:19] [INFO ] [Nat]Added 1010 Read/Feed constraints in 176 ms returned sat
[2021-05-19 07:33:19] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 116 ms.
[2021-05-19 07:33:38] [INFO ] Added : 445 causal constraints over 89 iterations in 19252 ms. Result :unknown
[2021-05-19 07:33:38] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 07:33:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:33:39] [INFO ] [Real]Absence check using state equation in 467 ms returned sat
[2021-05-19 07:33:39] [INFO ] [Real]Added 1010 Read/Feed constraints in 180 ms returned sat
[2021-05-19 07:33:39] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:33:39] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 07:33:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:33:39] [INFO ] [Nat]Absence check using state equation in 481 ms returned sat
[2021-05-19 07:33:40] [INFO ] [Nat]Added 1010 Read/Feed constraints in 191 ms returned sat
[2021-05-19 07:33:40] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 112 ms.
[2021-05-19 07:33:59] [INFO ] Added : 415 causal constraints over 83 iterations in 19253 ms. Result :unknown
[2021-05-19 07:33:59] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2021-05-19 07:33:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:33:59] [INFO ] [Real]Absence check using state equation in 492 ms returned sat
[2021-05-19 07:34:00] [INFO ] [Real]Added 1010 Read/Feed constraints in 198 ms returned sat
[2021-05-19 07:34:00] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:34:00] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 07:34:00] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:34:00] [INFO ] [Nat]Absence check using state equation in 478 ms returned sat
[2021-05-19 07:34:00] [INFO ] [Nat]Added 1010 Read/Feed constraints in 191 ms returned sat
[2021-05-19 07:34:01] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 124 ms.
[2021-05-19 07:34:20] [INFO ] Added : 430 causal constraints over 86 iterations in 19252 ms. Result :unknown
[2021-05-19 07:34:20] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2021-05-19 07:34:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:34:20] [INFO ] [Real]Absence check using state equation in 445 ms returned sat
[2021-05-19 07:34:20] [INFO ] [Real]Added 1010 Read/Feed constraints in 186 ms returned sat
[2021-05-19 07:34:20] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:34:21] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 07:34:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:34:21] [INFO ] [Nat]Absence check using state equation in 463 ms returned sat
[2021-05-19 07:34:21] [INFO ] [Nat]Added 1010 Read/Feed constraints in 171 ms returned sat
[2021-05-19 07:34:21] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 77 ms.
[2021-05-19 07:34:41] [INFO ] Added : 400 causal constraints over 80 iterations in 19304 ms. Result :unknown
[2021-05-19 07:34:41] [INFO ] [Real]Absence check using 11 positive place invariants in 11 ms returned sat
[2021-05-19 07:34:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:34:41] [INFO ] [Real]Absence check using state equation in 389 ms returned sat
[2021-05-19 07:34:41] [INFO ] [Real]Added 1010 Read/Feed constraints in 158 ms returned sat
[2021-05-19 07:34:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:34:41] [INFO ] [Nat]Absence check using 11 positive place invariants in 12 ms returned sat
[2021-05-19 07:34:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:34:42] [INFO ] [Nat]Absence check using state equation in 364 ms returned sat
[2021-05-19 07:34:42] [INFO ] [Nat]Added 1010 Read/Feed constraints in 136 ms returned sat
[2021-05-19 07:34:42] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 99 ms.
[2021-05-19 07:35:01] [INFO ] Added : 450 causal constraints over 90 iterations in 19445 ms. Result :unknown
[2021-05-19 07:35:01] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2021-05-19 07:35:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:35:02] [INFO ] [Real]Absence check using state equation in 351 ms returned sat
[2021-05-19 07:35:02] [INFO ] [Real]Added 1010 Read/Feed constraints in 135 ms returned sat
[2021-05-19 07:35:02] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:35:02] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2021-05-19 07:35:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:35:02] [INFO ] [Nat]Absence check using state equation in 314 ms returned sat
[2021-05-19 07:35:02] [INFO ] [Nat]Added 1010 Read/Feed constraints in 138 ms returned sat
[2021-05-19 07:35:02] [INFO ] Deduced a trap composed of 65 places in 199 ms
[2021-05-19 07:35:03] [INFO ] Deduced a trap composed of 63 places in 199 ms
[2021-05-19 07:35:03] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 530 ms
[2021-05-19 07:35:03] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 130 ms.
[2021-05-19 07:35:22] [INFO ] Added : 435 causal constraints over 87 iterations in 18991 ms. Result :unknown
[2021-05-19 07:35:22] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 07:35:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:35:22] [INFO ] [Real]Absence check using state equation in 500 ms returned sat
[2021-05-19 07:35:23] [INFO ] [Real]Added 1010 Read/Feed constraints in 204 ms returned sat
[2021-05-19 07:35:23] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:35:23] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 07:35:23] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:35:23] [INFO ] [Nat]Absence check using state equation in 497 ms returned sat
[2021-05-19 07:35:23] [INFO ] [Nat]Added 1010 Read/Feed constraints in 144 ms returned sat
[2021-05-19 07:35:23] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 77 ms.
[2021-05-19 07:35:43] [INFO ] Added : 440 causal constraints over 88 iterations in 19290 ms. Result :unknown
[2021-05-19 07:35:43] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:35:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:35:43] [INFO ] [Real]Absence check using state equation in 461 ms returned sat
[2021-05-19 07:35:43] [INFO ] [Real]Added 1010 Read/Feed constraints in 197 ms returned sat
[2021-05-19 07:35:43] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:35:43] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 07:35:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:35:44] [INFO ] [Nat]Absence check using state equation in 457 ms returned sat
[2021-05-19 07:35:44] [INFO ] [Nat]Added 1010 Read/Feed constraints in 165 ms returned sat
[2021-05-19 07:35:44] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 107 ms.
[2021-05-19 07:36:03] [INFO ] Added : 395 causal constraints over 79 iterations in 19303 ms. Result :unknown
[2021-05-19 07:36:03] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2021-05-19 07:36:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:36:04] [INFO ] [Real]Absence check using state equation in 385 ms returned sat
[2021-05-19 07:36:04] [INFO ] [Real]Added 1010 Read/Feed constraints in 205 ms returned sat
[2021-05-19 07:36:04] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:36:04] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 07:36:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:36:05] [INFO ] [Nat]Absence check using state equation in 502 ms returned sat
[2021-05-19 07:36:05] [INFO ] [Nat]Added 1010 Read/Feed constraints in 153 ms returned sat
[2021-05-19 07:36:05] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 77 ms.
[2021-05-19 07:36:24] [INFO ] Added : 435 causal constraints over 87 iterations in 19276 ms. Result :unknown
[2021-05-19 07:36:24] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:36:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:36:24] [INFO ] [Real]Absence check using state equation in 425 ms returned sat
[2021-05-19 07:36:25] [INFO ] [Real]Added 1010 Read/Feed constraints in 188 ms returned sat
[2021-05-19 07:36:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:36:25] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 07:36:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:36:25] [INFO ] [Nat]Absence check using state equation in 437 ms returned sat
[2021-05-19 07:36:25] [INFO ] [Nat]Added 1010 Read/Feed constraints in 157 ms returned sat
[2021-05-19 07:36:26] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 101 ms.
[2021-05-19 07:36:45] [INFO ] Added : 420 causal constraints over 84 iterations in 19336 ms. Result :unknown
[2021-05-19 07:36:45] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2021-05-19 07:36:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:36:45] [INFO ] [Real]Absence check using state equation in 448 ms returned sat
[2021-05-19 07:36:45] [INFO ] [Real]Added 1010 Read/Feed constraints in 203 ms returned sat
[2021-05-19 07:36:46] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:36:46] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 07:36:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:36:46] [INFO ] [Nat]Absence check using state equation in 503 ms returned sat
[2021-05-19 07:36:46] [INFO ] [Nat]Added 1010 Read/Feed constraints in 191 ms returned sat
[2021-05-19 07:36:46] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 123 ms.
[2021-05-19 07:37:06] [INFO ] Added : 430 causal constraints over 86 iterations in 19223 ms. Result :unknown
[2021-05-19 07:37:06] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 07:37:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:37:06] [INFO ] [Real]Absence check using state equation in 502 ms returned sat
[2021-05-19 07:37:06] [INFO ] [Real]Added 1010 Read/Feed constraints in 190 ms returned sat
[2021-05-19 07:37:06] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:37:06] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 07:37:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:37:07] [INFO ] [Nat]Absence check using state equation in 485 ms returned sat
[2021-05-19 07:37:07] [INFO ] [Nat]Added 1010 Read/Feed constraints in 192 ms returned sat
[2021-05-19 07:37:07] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 127 ms.
[2021-05-19 07:37:26] [INFO ] Added : 445 causal constraints over 89 iterations in 19245 ms. Result :unknown
[2021-05-19 07:37:26] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 07:37:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:37:27] [INFO ] [Real]Absence check using state equation in 412 ms returned sat
[2021-05-19 07:37:27] [INFO ] [Real]Added 1010 Read/Feed constraints in 128 ms returned sat
[2021-05-19 07:37:27] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:37:27] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2021-05-19 07:37:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:37:27] [INFO ] [Nat]Absence check using state equation in 421 ms returned sat
[2021-05-19 07:37:28] [INFO ] [Nat]Added 1010 Read/Feed constraints in 194 ms returned sat
[2021-05-19 07:37:28] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 115 ms.
[2021-05-19 07:37:47] [INFO ] Added : 400 causal constraints over 80 iterations in 19325 ms. Result :unknown
[2021-05-19 07:37:47] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2021-05-19 07:37:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:37:47] [INFO ] [Real]Absence check using state equation in 420 ms returned sat
[2021-05-19 07:37:48] [INFO ] [Real]Added 1010 Read/Feed constraints in 204 ms returned sat
[2021-05-19 07:37:48] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:37:48] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 07:37:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:37:48] [INFO ] [Nat]Absence check using state equation in 473 ms returned sat
[2021-05-19 07:37:48] [INFO ] [Nat]Added 1010 Read/Feed constraints in 184 ms returned sat
[2021-05-19 07:37:49] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 115 ms.
[2021-05-19 07:38:08] [INFO ] Added : 435 causal constraints over 87 iterations in 19274 ms. Result :(error "Failed to check-sat")
[2021-05-19 07:38:08] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:38:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:38:08] [INFO ] [Real]Absence check using state equation in 327 ms returned sat
[2021-05-19 07:38:08] [INFO ] [Real]Added 1010 Read/Feed constraints in 176 ms returned sat
[2021-05-19 07:38:08] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:38:08] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 07:38:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:38:09] [INFO ] [Nat]Absence check using state equation in 496 ms returned sat
[2021-05-19 07:38:09] [INFO ] [Nat]Added 1010 Read/Feed constraints in 183 ms returned sat
[2021-05-19 07:38:09] [INFO ] Deduced a trap composed of 66 places in 223 ms
[2021-05-19 07:38:10] [INFO ] Deduced a trap composed of 67 places in 237 ms
[2021-05-19 07:38:10] [INFO ] Deduced a trap composed of 65 places in 221 ms
[2021-05-19 07:38:10] [INFO ] Deduced a trap composed of 66 places in 232 ms
[2021-05-19 07:38:10] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 1144 ms
[2021-05-19 07:38:10] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 124 ms.
[2021-05-19 07:38:28] [INFO ] Added : 415 causal constraints over 83 iterations in 18139 ms. Result :(error "Failed to check-sat")
[2021-05-19 07:38:28] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:38:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:38:29] [INFO ] [Real]Absence check using state equation in 351 ms returned sat
[2021-05-19 07:38:29] [INFO ] [Real]Added 1010 Read/Feed constraints in 206 ms returned sat
[2021-05-19 07:38:29] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:38:29] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 07:38:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:38:30] [INFO ] [Nat]Absence check using state equation in 502 ms returned sat
[2021-05-19 07:38:30] [INFO ] [Nat]Added 1010 Read/Feed constraints in 194 ms returned sat
[2021-05-19 07:38:30] [INFO ] Deduced a trap composed of 65 places in 216 ms
[2021-05-19 07:38:30] [INFO ] Deduced a trap composed of 65 places in 208 ms
[2021-05-19 07:38:30] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 559 ms
[2021-05-19 07:38:30] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 163 ms.
[2021-05-19 07:38:49] [INFO ] Added : 410 causal constraints over 82 iterations in 18696 ms. Result :unknown
[2021-05-19 07:38:49] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:38:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:38:49] [INFO ] [Real]Absence check using state equation in 435 ms returned sat
[2021-05-19 07:38:50] [INFO ] [Real]Added 1010 Read/Feed constraints in 201 ms returned sat
[2021-05-19 07:38:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:38:50] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 07:38:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:38:50] [INFO ] [Nat]Absence check using state equation in 471 ms returned sat
[2021-05-19 07:38:50] [INFO ] [Nat]Added 1010 Read/Feed constraints in 193 ms returned sat
[2021-05-19 07:38:51] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 122 ms.
[2021-05-19 07:39:10] [INFO ] Added : 450 causal constraints over 90 iterations in 19257 ms. Result :unknown
[2021-05-19 07:39:10] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:39:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:39:10] [INFO ] [Real]Absence check using state equation in 321 ms returned sat
[2021-05-19 07:39:10] [INFO ] [Real]Added 1010 Read/Feed constraints in 190 ms returned sat
[2021-05-19 07:39:10] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:39:10] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 07:39:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:39:11] [INFO ] [Nat]Absence check using state equation in 501 ms returned sat
[2021-05-19 07:39:11] [INFO ] [Nat]Added 1010 Read/Feed constraints in 195 ms returned sat
[2021-05-19 07:39:11] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 127 ms.
[2021-05-19 07:39:30] [INFO ] Added : 430 causal constraints over 86 iterations in 19222 ms. Result :unknown
[2021-05-19 07:39:30] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:39:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:39:31] [INFO ] [Real]Absence check using state equation in 318 ms returned sat
[2021-05-19 07:39:31] [INFO ] [Real]Added 1010 Read/Feed constraints in 133 ms returned sat
[2021-05-19 07:39:31] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:39:31] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2021-05-19 07:39:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:39:31] [INFO ] [Nat]Absence check using state equation in 336 ms returned sat
[2021-05-19 07:39:31] [INFO ] [Nat]Added 1010 Read/Feed constraints in 150 ms returned sat
[2021-05-19 07:39:32] [INFO ] Deduced a trap composed of 65 places in 157 ms
[2021-05-19 07:39:32] [INFO ] Deduced a trap composed of 65 places in 196 ms
[2021-05-19 07:39:32] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 469 ms
[2021-05-19 07:39:32] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 117 ms.
[2021-05-19 07:39:51] [INFO ] Added : 430 causal constraints over 86 iterations in 19019 ms. Result :unknown
[2021-05-19 07:39:51] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2021-05-19 07:39:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:39:51] [INFO ] [Real]Absence check using state equation in 440 ms returned sat
[2021-05-19 07:39:52] [INFO ] [Real]Added 1010 Read/Feed constraints in 175 ms returned sat
[2021-05-19 07:39:52] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:39:52] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 07:39:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:39:52] [INFO ] [Nat]Absence check using state equation in 444 ms returned sat
[2021-05-19 07:39:52] [INFO ] [Nat]Added 1010 Read/Feed constraints in 139 ms returned sat
[2021-05-19 07:39:52] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 75 ms.
[2021-05-19 07:40:12] [INFO ] Added : 430 causal constraints over 86 iterations in 19356 ms. Result :(error "Failed to check-sat")
[2021-05-19 07:40:12] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2021-05-19 07:40:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:40:12] [INFO ] [Real]Absence check using state equation in 320 ms returned sat
[2021-05-19 07:40:12] [INFO ] [Real]Added 1010 Read/Feed constraints in 128 ms returned sat
[2021-05-19 07:40:12] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:40:12] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 07:40:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:40:13] [INFO ] [Nat]Absence check using state equation in 470 ms returned sat
[2021-05-19 07:40:13] [INFO ] [Nat]Added 1010 Read/Feed constraints in 180 ms returned sat
[2021-05-19 07:40:13] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 114 ms.
[2021-05-19 07:40:32] [INFO ] Added : 400 causal constraints over 80 iterations in 19276 ms. Result :unknown
[2021-05-19 07:40:32] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:40:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:40:33] [INFO ] [Real]Absence check using state equation in 321 ms returned sat
[2021-05-19 07:40:33] [INFO ] [Real]Added 1010 Read/Feed constraints in 130 ms returned sat
[2021-05-19 07:40:33] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:40:33] [INFO ] [Nat]Absence check using 11 positive place invariants in 10 ms returned sat
[2021-05-19 07:40:33] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:40:33] [INFO ] [Nat]Absence check using state equation in 321 ms returned sat
[2021-05-19 07:40:33] [INFO ] [Nat]Added 1010 Read/Feed constraints in 130 ms returned sat
[2021-05-19 07:40:33] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 113 ms.
[2021-05-19 07:40:53] [INFO ] Added : 435 causal constraints over 87 iterations in 19490 ms. Result :unknown
[2021-05-19 07:40:53] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:40:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:40:53] [INFO ] [Real]Absence check using state equation in 317 ms returned sat
[2021-05-19 07:40:53] [INFO ] [Real]Added 1010 Read/Feed constraints in 152 ms returned sat
[2021-05-19 07:40:53] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:40:53] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 07:40:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:40:54] [INFO ] [Nat]Absence check using state equation in 515 ms returned sat
[2021-05-19 07:40:54] [INFO ] [Nat]Added 1010 Read/Feed constraints in 195 ms returned sat
[2021-05-19 07:40:54] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 124 ms.
[2021-05-19 07:41:13] [INFO ] Added : 480 causal constraints over 96 iterations in 19209 ms. Result :unknown
[2021-05-19 07:41:13] [INFO ] [Real]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 07:41:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:41:14] [INFO ] [Real]Absence check using state equation in 505 ms returned sat
[2021-05-19 07:41:14] [INFO ] [Real]Added 1010 Read/Feed constraints in 203 ms returned sat
[2021-05-19 07:41:14] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:41:14] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 07:41:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:41:15] [INFO ] [Nat]Absence check using state equation in 507 ms returned sat
[2021-05-19 07:41:15] [INFO ] [Nat]Added 1010 Read/Feed constraints in 129 ms returned sat
[2021-05-19 07:41:15] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 78 ms.
[2021-05-19 07:41:34] [INFO ] Added : 475 causal constraints over 95 iterations in 19295 ms. Result :unknown
[2021-05-19 07:41:34] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:41:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:41:35] [INFO ] [Real]Absence check using state equation in 468 ms returned sat
[2021-05-19 07:41:35] [INFO ] [Real]Added 1010 Read/Feed constraints in 184 ms returned sat
[2021-05-19 07:41:35] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:41:35] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 07:41:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:41:35] [INFO ] [Nat]Absence check using state equation in 470 ms returned sat
[2021-05-19 07:41:36] [INFO ] [Nat]Added 1010 Read/Feed constraints in 194 ms returned sat
[2021-05-19 07:41:36] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 117 ms.
[2021-05-19 07:41:55] [INFO ] Added : 450 causal constraints over 90 iterations in 19260 ms. Result :unknown
[2021-05-19 07:41:55] [INFO ] [Real]Absence check using 11 positive place invariants in 8 ms returned sat
[2021-05-19 07:41:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:41:55] [INFO ] [Real]Absence check using state equation in 350 ms returned sat
[2021-05-19 07:41:55] [INFO ] [Real]Added 1010 Read/Feed constraints in 204 ms returned sat
[2021-05-19 07:41:56] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:41:56] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 07:41:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:41:56] [INFO ] [Nat]Absence check using state equation in 493 ms returned sat
[2021-05-19 07:41:56] [INFO ] [Nat]Added 1010 Read/Feed constraints in 183 ms returned sat
[2021-05-19 07:41:56] [INFO ] Deduced a trap composed of 65 places in 224 ms
[2021-05-19 07:41:57] [INFO ] Deduced a trap composed of 64 places in 249 ms
[2021-05-19 07:41:57] [INFO ] Deduced a trap composed of 64 places in 223 ms
[2021-05-19 07:41:57] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 880 ms
[2021-05-19 07:41:57] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 125 ms.
[2021-05-19 07:42:16] [INFO ] Added : 405 causal constraints over 81 iterations in 18397 ms. Result :unknown
[2021-05-19 07:42:16] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:42:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:42:16] [INFO ] [Real]Absence check using state equation in 444 ms returned sat
[2021-05-19 07:42:16] [INFO ] [Real]Added 1010 Read/Feed constraints in 197 ms returned sat
[2021-05-19 07:42:16] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:42:16] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 07:42:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:42:17] [INFO ] [Nat]Absence check using state equation in 457 ms returned sat
[2021-05-19 07:42:17] [INFO ] [Nat]Added 1010 Read/Feed constraints in 167 ms returned sat
[2021-05-19 07:42:17] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 108 ms.
[2021-05-19 07:42:36] [INFO ] Added : 450 causal constraints over 90 iterations in 19305 ms. Result :unknown
[2021-05-19 07:42:36] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:42:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:42:37] [INFO ] [Real]Absence check using state equation in 321 ms returned sat
[2021-05-19 07:42:37] [INFO ] [Real]Added 1010 Read/Feed constraints in 202 ms returned sat
[2021-05-19 07:42:37] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:42:37] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 07:42:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:42:37] [INFO ] [Nat]Absence check using state equation in 509 ms returned sat
[2021-05-19 07:42:38] [INFO ] [Nat]Added 1010 Read/Feed constraints in 196 ms returned sat
[2021-05-19 07:42:38] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 80 ms.
[2021-05-19 07:42:57] [INFO ] Added : 440 causal constraints over 88 iterations in 19223 ms. Result :unknown
[2021-05-19 07:42:57] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:42:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:42:57] [INFO ] [Real]Absence check using state equation in 317 ms returned sat
[2021-05-19 07:42:57] [INFO ] [Real]Added 1010 Read/Feed constraints in 131 ms returned sat
[2021-05-19 07:42:57] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:42:57] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2021-05-19 07:42:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:42:58] [INFO ] [Nat]Absence check using state equation in 391 ms returned sat
[2021-05-19 07:42:58] [INFO ] [Nat]Added 1010 Read/Feed constraints in 192 ms returned sat
[2021-05-19 07:42:58] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 120 ms.
[2021-05-19 07:43:17] [INFO ] Added : 455 causal constraints over 91 iterations in 19367 ms. Result :(error "Failed to check-sat")
[2021-05-19 07:43:17] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 07:43:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:43:18] [INFO ] [Real]Absence check using state equation in 502 ms returned sat
[2021-05-19 07:43:18] [INFO ] [Real]Added 1010 Read/Feed constraints in 202 ms returned sat
[2021-05-19 07:43:18] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:43:18] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 07:43:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:43:19] [INFO ] [Nat]Absence check using state equation in 478 ms returned sat
[2021-05-19 07:43:19] [INFO ] [Nat]Added 1010 Read/Feed constraints in 191 ms returned sat
[2021-05-19 07:43:19] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 126 ms.
[2021-05-19 07:43:38] [INFO ] Added : 465 causal constraints over 93 iterations in 19255 ms. Result :unknown
[2021-05-19 07:43:38] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:43:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:43:39] [INFO ] [Real]Absence check using state equation in 318 ms returned sat
[2021-05-19 07:43:39] [INFO ] [Real]Added 1010 Read/Feed constraints in 180 ms returned sat
[2021-05-19 07:43:39] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:43:39] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 07:43:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:43:39] [INFO ] [Nat]Absence check using state equation in 453 ms returned sat
[2021-05-19 07:43:40] [INFO ] [Nat]Added 1010 Read/Feed constraints in 168 ms returned sat
[2021-05-19 07:43:40] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 103 ms.
[2021-05-19 07:43:59] [INFO ] Added : 390 causal constraints over 78 iterations in 19308 ms. Result :unknown
[2021-05-19 07:43:59] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 07:43:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:43:59] [INFO ] [Real]Absence check using state equation in 510 ms returned sat
[2021-05-19 07:44:00] [INFO ] [Real]Added 1010 Read/Feed constraints in 196 ms returned sat
[2021-05-19 07:44:00] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:44:00] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 07:44:00] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:44:00] [INFO ] [Nat]Absence check using state equation in 464 ms returned sat
[2021-05-19 07:44:00] [INFO ] [Nat]Added 1010 Read/Feed constraints in 167 ms returned sat
[2021-05-19 07:44:00] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 106 ms.
[2021-05-19 07:44:20] [INFO ] Added : 405 causal constraints over 81 iterations in 19299 ms. Result :unknown
[2021-05-19 07:44:20] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 07:44:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:44:20] [INFO ] [Real]Absence check using state equation in 523 ms returned sat
[2021-05-19 07:44:21] [INFO ] [Real]Added 1010 Read/Feed constraints in 209 ms returned sat
[2021-05-19 07:44:21] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:44:21] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 07:44:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:44:21] [INFO ] [Nat]Absence check using state equation in 519 ms returned sat
[2021-05-19 07:44:21] [INFO ] [Nat]Added 1010 Read/Feed constraints in 137 ms returned sat
[2021-05-19 07:44:21] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 80 ms.
[2021-05-19 07:44:41] [INFO ] Added : 430 causal constraints over 86 iterations in 19272 ms. Result :unknown
[2021-05-19 07:44:41] [INFO ] [Real]Absence check using 11 positive place invariants in 10 ms returned sat
[2021-05-19 07:44:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:44:41] [INFO ] [Real]Absence check using state equation in 473 ms returned sat
[2021-05-19 07:44:41] [INFO ] [Real]Added 1010 Read/Feed constraints in 202 ms returned sat
[2021-05-19 07:44:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:44:41] [INFO ] [Nat]Absence check using 11 positive place invariants in 17 ms returned sat
[2021-05-19 07:44:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:44:42] [INFO ] [Nat]Absence check using state equation in 451 ms returned sat
[2021-05-19 07:44:42] [INFO ] [Nat]Added 1010 Read/Feed constraints in 165 ms returned sat
[2021-05-19 07:44:42] [INFO ] Deduced a trap composed of 67 places in 210 ms
[2021-05-19 07:44:42] [INFO ] Deduced a trap composed of 67 places in 219 ms
[2021-05-19 07:44:43] [INFO ] Deduced a trap composed of 66 places in 221 ms
[2021-05-19 07:44:43] [INFO ] Deduced a trap composed of 66 places in 224 ms
[2021-05-19 07:44:43] [INFO ] Deduced a trap composed of 66 places in 228 ms
[2021-05-19 07:44:43] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 1377 ms
[2021-05-19 07:44:43] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 124 ms.
[2021-05-19 07:45:01] [INFO ] Added : 355 causal constraints over 71 iterations in 17962 ms. Result :unknown
[2021-05-19 07:45:01] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 07:45:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:45:02] [INFO ] [Real]Absence check using state equation in 487 ms returned sat
[2021-05-19 07:45:02] [INFO ] [Real]Added 1010 Read/Feed constraints in 188 ms returned sat
[2021-05-19 07:45:02] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:45:02] [INFO ] [Nat]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 07:45:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:45:03] [INFO ] [Nat]Absence check using state equation in 435 ms returned sat
[2021-05-19 07:45:03] [INFO ] [Nat]Added 1010 Read/Feed constraints in 171 ms returned sat
[2021-05-19 07:45:03] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 106 ms.
[2021-05-19 07:45:22] [INFO ] Added : 445 causal constraints over 89 iterations in 19323 ms. Result :unknown
[2021-05-19 07:45:22] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2021-05-19 07:45:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:45:23] [INFO ] [Real]Absence check using state equation in 469 ms returned sat
[2021-05-19 07:45:23] [INFO ] [Real]Added 1010 Read/Feed constraints in 134 ms returned sat
[2021-05-19 07:45:23] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:45:23] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2021-05-19 07:45:23] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:45:23] [INFO ] [Nat]Absence check using state equation in 346 ms returned sat
[2021-05-19 07:45:23] [INFO ] [Nat]Added 1010 Read/Feed constraints in 189 ms returned sat
[2021-05-19 07:45:24] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 145 ms.
[2021-05-19 07:45:43] [INFO ] Added : 405 causal constraints over 81 iterations in 19401 ms. Result :unknown
[2021-05-19 07:45:43] [INFO ] [Real]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 07:45:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:45:43] [INFO ] [Real]Absence check using state equation in 507 ms returned sat
[2021-05-19 07:45:44] [INFO ] [Real]Added 1010 Read/Feed constraints in 208 ms returned sat
[2021-05-19 07:45:44] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:45:44] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 07:45:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:45:44] [INFO ] [Nat]Absence check using state equation in 469 ms returned sat
[2021-05-19 07:45:44] [INFO ] [Nat]Added 1010 Read/Feed constraints in 164 ms returned sat
[2021-05-19 07:45:44] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 108 ms.
[2021-05-19 07:46:04] [INFO ] Added : 445 causal constraints over 89 iterations in 19294 ms. Result :unknown
[2021-05-19 07:46:04] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2021-05-19 07:46:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:46:04] [INFO ] [Real]Absence check using state equation in 319 ms returned sat
[2021-05-19 07:46:04] [INFO ] [Real]Added 1010 Read/Feed constraints in 153 ms returned sat
[2021-05-19 07:46:04] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:46:04] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 07:46:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:46:05] [INFO ] [Nat]Absence check using state equation in 501 ms returned sat
[2021-05-19 07:46:05] [INFO ] [Nat]Added 1010 Read/Feed constraints in 194 ms returned sat
[2021-05-19 07:46:05] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 109 ms.
[2021-05-19 07:46:24] [INFO ] Added : 415 causal constraints over 83 iterations in 19229 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-19 07:46:24] [INFO ] [Real]Absence check using 11 positive place invariants in 12 ms returned sat
[2021-05-19 07:46:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:46:25] [INFO ] [Real]Absence check using state equation in 441 ms returned sat
[2021-05-19 07:46:25] [INFO ] [Real]Added 1010 Read/Feed constraints in 167 ms returned sat
[2021-05-19 07:46:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:46:25] [INFO ] [Nat]Absence check using 11 positive place invariants in 14 ms returned sat
[2021-05-19 07:46:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:46:25] [INFO ] [Nat]Absence check using state equation in 426 ms returned sat
[2021-05-19 07:46:26] [INFO ] [Nat]Added 1010 Read/Feed constraints in 165 ms returned sat
[2021-05-19 07:46:26] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 99 ms.
[2021-05-19 07:46:45] [INFO ] Added : 410 causal constraints over 82 iterations in 19340 ms. Result :unknown
[2021-05-19 07:46:45] [INFO ] [Real]Absence check using 11 positive place invariants in 15 ms returned sat
[2021-05-19 07:46:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:46:46] [INFO ] [Real]Absence check using state equation in 482 ms returned sat
[2021-05-19 07:46:46] [INFO ] [Real]Added 1010 Read/Feed constraints in 186 ms returned sat
[2021-05-19 07:46:46] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:46:46] [INFO ] [Nat]Absence check using 11 positive place invariants in 16 ms returned sat
[2021-05-19 07:46:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:46:46] [INFO ] [Nat]Absence check using state equation in 429 ms returned sat
[2021-05-19 07:46:46] [INFO ] [Nat]Added 1010 Read/Feed constraints in 159 ms returned sat
[2021-05-19 07:46:47] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 98 ms.
[2021-05-19 07:47:06] [INFO ] Added : 415 causal constraints over 83 iterations in 19344 ms. Result :unknown
[2021-05-19 07:47:06] [INFO ] [Real]Absence check using 11 positive place invariants in 13 ms returned sat
[2021-05-19 07:47:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-19 07:47:06] [INFO ] [Real]Absence check using state equation in 450 ms returned sat
[2021-05-19 07:47:06] [INFO ] [Real]Added 1010 Read/Feed constraints in 200 ms returned sat
[2021-05-19 07:47:07] [INFO ] Solution in real domain found non-integer solution.
[2021-05-19 07:47:07] [INFO ] [Nat]Absence check using 11 positive place invariants in 18 ms returned sat
[2021-05-19 07:47:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-19 07:47:07] [INFO ] [Nat]Absence check using state equation in 494 ms returned sat
[2021-05-19 07:47:07] [INFO ] [Nat]Added 1010 Read/Feed constraints in 184 ms returned sat
[2021-05-19 07:47:07] [INFO ] Computed and/alt/rep : 1101/19210/1101 causal constraints in 123 ms.
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16427332 kB
MemFree: 14806360 kB
After kill :
MemTotal: 16427332 kB
MemFree: 16137932 kB
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="TokenRing-PT-010"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="gold2020"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool gold2020"
echo " Input is 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 r284-smll-162123894300046"
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 '
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 ;