Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r021-oct2-158897699000388.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-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 itstools
Input is BridgeAndVehicles-PT-V50P50N20, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r021-oct2-158897699000388
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.1M
-rw-r--r-- 1 mcc users 14K Mar 26 02:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 45K Mar 26 02:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 92K Mar 25 21:33 CTLFireability.txt
-rw-r--r-- 1 mcc users 262K Mar 25 21:33 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 11K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 46K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 113K Apr 8 14:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 328K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.6K Mar 25 17:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 31K Mar 25 17:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 131K Mar 25 13:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 380K Mar 25 13:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.1K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 8.5K Mar 25 17:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 2.6M Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589240107582

[2020-05-11 23:35:10] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -greatspnpath, /home/mcc/BenchKit//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2020-05-11 23:35:10] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-05-11 23:35:10] [INFO ] Load time of PNML (sax parser for PT used): 178 ms
[2020-05-11 23:35:10] [INFO ] Transformed 138 places.
[2020-05-11 23:35:10] [INFO ] Transformed 2348 transitions.
[2020-05-11 23:35:10] [INFO ] Parsed PT model containing 138 places and 2348 transitions in 223 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 112 ms.
Incomplete random walk after 100000 steps, including 231 resets, run finished after 3760 ms. (steps per millisecond=26 ) properties seen :[1, 0, 0, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 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, 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, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 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, 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, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 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, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 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, 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, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 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, 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, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 0, 0, 0, 0]
[2020-05-11 23:35:14] [INFO ] Flow matrix only has 290 transitions (discarded 2058 similar events)
// Phase 1: matrix 290 rows 138 cols
[2020-05-11 23:35:14] [INFO ] Computed 7 place invariants in 12 ms
[2020-05-11 23:35:14] [INFO ] [Real]Absence check using 7 positive place invariants in 30 ms returned unsat
[2020-05-11 23:35:14] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned unsat
[2020-05-11 23:35:14] [INFO ] [Real]Absence check using 7 positive place invariants in 54 ms returned sat
[2020-05-11 23:35:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:35:14] [INFO ] [Real]Absence check using state equation in 123 ms returned sat
[2020-05-11 23:35:15] [INFO ] State equation strengthened by 42 read => feed constraints.
[2020-05-11 23:35:15] [INFO ] [Real]Added 42 Read/Feed constraints in 45 ms returned sat
[2020-05-11 23:35:15] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:35:15] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2020-05-11 23:35:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:35:15] [INFO ] [Nat]Absence check using state equation in 139 ms returned sat
[2020-05-11 23:35:15] [INFO ] [Nat]Added 42 Read/Feed constraints in 409 ms returned sat
[2020-05-11 23:35:16] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 291 ms.
[2020-05-11 23:35:35] [INFO ] Added : 255 causal constraints over 51 iterations in 19359 ms. Result :unknown
[2020-05-11 23:35:35] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned sat
[2020-05-11 23:35:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:35:35] [INFO ] [Real]Absence check using state equation in 145 ms returned sat
[2020-05-11 23:35:35] [INFO ] [Real]Added 42 Read/Feed constraints in 22 ms returned sat
[2020-05-11 23:35:35] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:35:35] [INFO ] [Nat]Absence check using 7 positive place invariants in 6 ms returned sat
[2020-05-11 23:35:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:35:35] [INFO ] [Nat]Absence check using state equation in 99 ms returned sat
[2020-05-11 23:35:35] [INFO ] [Nat]Added 42 Read/Feed constraints in 175 ms returned sat
[2020-05-11 23:35:35] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 163 ms.
[2020-05-11 23:35:47] [INFO ] Added : 235 causal constraints over 47 iterations in 11961 ms. Result :sat
[2020-05-11 23:35:47] [INFO ] [Real]Absence check using 7 positive place invariants in 25 ms returned sat
[2020-05-11 23:35:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:35:47] [INFO ] [Real]Absence check using state equation in 85 ms returned sat
[2020-05-11 23:35:47] [INFO ] [Real]Added 42 Read/Feed constraints in 20 ms returned sat
[2020-05-11 23:35:47] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:35:47] [INFO ] [Nat]Absence check using 7 positive place invariants in 19 ms returned sat
[2020-05-11 23:35:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:35:48] [INFO ] [Nat]Absence check using state equation in 157 ms returned sat
[2020-05-11 23:35:48] [INFO ] [Nat]Added 42 Read/Feed constraints in 176 ms returned sat
[2020-05-11 23:35:48] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 118 ms.
[2020-05-11 23:36:00] [INFO ] Added : 240 causal constraints over 48 iterations in 12703 ms. Result :sat
[2020-05-11 23:36:01] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2020-05-11 23:36:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:36:01] [INFO ] [Real]Absence check using state equation in 93 ms returned sat
[2020-05-11 23:36:01] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:36:01] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2020-05-11 23:36:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:36:01] [INFO ] [Nat]Absence check using state equation in 175 ms returned sat
[2020-05-11 23:36:01] [INFO ] [Nat]Added 42 Read/Feed constraints in 361 ms returned sat
[2020-05-11 23:36:01] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 80 ms.
[2020-05-11 23:36:19] [INFO ] Added : 271 causal constraints over 55 iterations in 17429 ms. Result :sat
[2020-05-11 23:36:19] [INFO ] [Real]Absence check using 7 positive place invariants in 43 ms returned sat
[2020-05-11 23:36:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:36:19] [INFO ] [Real]Absence check using state equation in 239 ms returned sat
[2020-05-11 23:36:19] [INFO ] [Real]Added 42 Read/Feed constraints in 20 ms returned sat
[2020-05-11 23:36:19] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:36:19] [INFO ] [Nat]Absence check using 7 positive place invariants in 6 ms returned sat
[2020-05-11 23:36:19] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:36:19] [INFO ] [Nat]Absence check using state equation in 98 ms returned sat
[2020-05-11 23:36:19] [INFO ] [Nat]Added 42 Read/Feed constraints in 186 ms returned sat
[2020-05-11 23:36:20] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 101 ms.
[2020-05-11 23:36:31] [INFO ] Added : 210 causal constraints over 42 iterations in 11960 ms. Result :sat
[2020-05-11 23:36:31] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned sat
[2020-05-11 23:36:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:36:32] [INFO ] [Real]Absence check using state equation in 88 ms returned sat
[2020-05-11 23:36:32] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:36:32] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2020-05-11 23:36:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:36:32] [INFO ] [Nat]Absence check using state equation in 235 ms returned sat
[2020-05-11 23:36:32] [INFO ] [Nat]Added 42 Read/Feed constraints in 197 ms returned sat
[2020-05-11 23:36:32] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 133 ms.
[2020-05-11 23:36:46] [INFO ] Added : 266 causal constraints over 54 iterations in 14232 ms. Result :sat
[2020-05-11 23:36:46] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2020-05-11 23:36:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:36:46] [INFO ] [Real]Absence check using state equation in 94 ms returned sat
[2020-05-11 23:36:47] [INFO ] [Real]Added 42 Read/Feed constraints in 16 ms returned sat
[2020-05-11 23:36:47] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:36:47] [INFO ] [Nat]Absence check using 7 positive place invariants in 52 ms returned sat
[2020-05-11 23:36:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:36:47] [INFO ] [Nat]Absence check using state equation in 86 ms returned sat
[2020-05-11 23:36:47] [INFO ] [Nat]Added 42 Read/Feed constraints in 204 ms returned sat
[2020-05-11 23:36:47] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 124 ms.
[2020-05-11 23:37:04] [INFO ] Added : 220 causal constraints over 44 iterations in 16857 ms. Result :unknown
[2020-05-11 23:37:04] [INFO ] [Real]Absence check using 7 positive place invariants in 37 ms returned sat
[2020-05-11 23:37:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:37:05] [INFO ] [Real]Absence check using state equation in 1014 ms returned sat
[2020-05-11 23:37:05] [INFO ] [Real]Added 42 Read/Feed constraints in 55 ms returned sat
[2020-05-11 23:37:05] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:37:05] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2020-05-11 23:37:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:37:06] [INFO ] [Nat]Absence check using state equation in 763 ms returned sat
[2020-05-11 23:37:06] [INFO ] [Nat]Added 42 Read/Feed constraints in 400 ms returned sat
[2020-05-11 23:37:06] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 70 ms.
[2020-05-11 23:37:25] [INFO ] Added : 265 causal constraints over 53 iterations in 18755 ms. Result :unknown
[2020-05-11 23:37:25] [INFO ] [Real]Absence check using 7 positive place invariants in 31 ms returned sat
[2020-05-11 23:37:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:37:26] [INFO ] [Real]Absence check using state equation in 883 ms returned sat
[2020-05-11 23:37:26] [INFO ] [Real]Added 42 Read/Feed constraints in 26 ms returned sat
[2020-05-11 23:37:26] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:37:26] [INFO ] [Nat]Absence check using 7 positive place invariants in 19 ms returned sat
[2020-05-11 23:37:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:37:27] [INFO ] [Nat]Absence check using state equation in 816 ms returned sat
[2020-05-11 23:37:27] [INFO ] [Nat]Added 42 Read/Feed constraints in 385 ms returned sat
[2020-05-11 23:37:27] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 161 ms.
[2020-05-11 23:37:41] [INFO ] Added : 235 causal constraints over 47 iterations in 13449 ms. Result :sat
[2020-05-11 23:37:41] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned sat
[2020-05-11 23:37:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:37:41] [INFO ] [Real]Absence check using state equation in 86 ms returned sat
[2020-05-11 23:37:41] [INFO ] [Real]Added 42 Read/Feed constraints in 24 ms returned sat
[2020-05-11 23:37:41] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:37:41] [INFO ] [Nat]Absence check using 7 positive place invariants in 6 ms returned sat
[2020-05-11 23:37:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:37:41] [INFO ] [Nat]Absence check using state equation in 101 ms returned sat
[2020-05-11 23:37:41] [INFO ] [Nat]Added 42 Read/Feed constraints in 182 ms returned sat
[2020-05-11 23:37:41] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 86 ms.
[2020-05-11 23:37:52] [INFO ] Added : 242 causal constraints over 49 iterations in 11265 ms. Result :sat
[2020-05-11 23:37:53] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned sat
[2020-05-11 23:37:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:37:53] [INFO ] [Real]Absence check using state equation in 84 ms returned sat
[2020-05-11 23:37:53] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:37:53] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2020-05-11 23:37:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:37:53] [INFO ] [Nat]Absence check using state equation in 159 ms returned sat
[2020-05-11 23:37:53] [INFO ] [Nat]Added 42 Read/Feed constraints in 316 ms returned sat
[2020-05-11 23:37:54] [INFO ] Deduced a trap composed of 24 places in 857 ms
[2020-05-11 23:37:54] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 1 trap constraints in 866 ms
[2020-05-11 23:37:54] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2020-05-11 23:37:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:37:55] [INFO ] [Real]Absence check using state equation in 919 ms returned sat
[2020-05-11 23:37:55] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:37:55] [INFO ] [Nat]Absence check using 7 positive place invariants in 28 ms returned sat
[2020-05-11 23:37:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:37:55] [INFO ] [Nat]Absence check using state equation in 172 ms returned sat
[2020-05-11 23:37:55] [INFO ] [Nat]Added 42 Read/Feed constraints in 195 ms returned sat
[2020-05-11 23:37:56] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 104 ms.
[2020-05-11 23:38:05] [INFO ] Added : 236 causal constraints over 48 iterations in 9886 ms. Result :sat
[2020-05-11 23:38:05] [INFO ] [Real]Absence check using 7 positive place invariants in 17 ms returned sat
[2020-05-11 23:38:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:38:06] [INFO ] [Real]Absence check using state equation in 317 ms returned sat
[2020-05-11 23:38:06] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:38:06] [INFO ] [Nat]Absence check using 7 positive place invariants in 21 ms returned sat
[2020-05-11 23:38:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:38:06] [INFO ] [Nat]Absence check using state equation in 162 ms returned sat
[2020-05-11 23:38:06] [INFO ] [Nat]Added 42 Read/Feed constraints in 405 ms returned sat
[2020-05-11 23:38:07] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 137 ms.
[2020-05-11 23:38:26] [INFO ] Added : 254 causal constraints over 51 iterations in 19407 ms. Result :unknown
[2020-05-11 23:38:26] [INFO ] [Real]Absence check using 7 positive place invariants in 4 ms returned sat
[2020-05-11 23:38:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:38:26] [INFO ] [Real]Absence check using state equation in 156 ms returned sat
[2020-05-11 23:38:26] [INFO ] [Real]Added 42 Read/Feed constraints in 32 ms returned sat
[2020-05-11 23:38:26] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:38:26] [INFO ] [Nat]Absence check using 7 positive place invariants in 19 ms returned sat
[2020-05-11 23:38:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:38:26] [INFO ] [Nat]Absence check using state equation in 102 ms returned sat
[2020-05-11 23:38:26] [INFO ] [Nat]Added 42 Read/Feed constraints in 196 ms returned sat
[2020-05-11 23:38:27] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 168 ms.
[2020-05-11 23:38:31] [INFO ] Added : 179 causal constraints over 36 iterations in 4671 ms. Result :sat
[2020-05-11 23:38:31] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2020-05-11 23:38:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:38:31] [INFO ] [Real]Absence check using state equation in 150 ms returned sat
[2020-05-11 23:38:31] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:38:31] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2020-05-11 23:38:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:38:32] [INFO ] [Nat]Absence check using state equation in 376 ms returned sat
[2020-05-11 23:38:32] [INFO ] [Nat]Added 42 Read/Feed constraints in 198 ms returned sat
[2020-05-11 23:38:32] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 152 ms.
[2020-05-11 23:38:45] [INFO ] Added : 240 causal constraints over 48 iterations in 13137 ms. Result :sat
[2020-05-11 23:38:45] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2020-05-11 23:38:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:38:46] [INFO ] [Real]Absence check using state equation in 498 ms returned sat
[2020-05-11 23:38:46] [INFO ] [Real]Added 42 Read/Feed constraints in 73 ms returned sat
[2020-05-11 23:38:46] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:38:46] [INFO ] [Nat]Absence check using 7 positive place invariants in 20 ms returned sat
[2020-05-11 23:38:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:38:46] [INFO ] [Nat]Absence check using state equation in 353 ms returned sat
[2020-05-11 23:38:47] [INFO ] [Nat]Added 42 Read/Feed constraints in 389 ms returned sat
[2020-05-11 23:38:47] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 69 ms.
[2020-05-11 23:38:58] [INFO ] Added : 215 causal constraints over 43 iterations in 10884 ms. Result :sat
[2020-05-11 23:38:58] [INFO ] [Real]Absence check using 7 positive place invariants in 22 ms returned sat
[2020-05-11 23:38:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:38:58] [INFO ] [Real]Absence check using state equation in 489 ms returned sat
[2020-05-11 23:38:58] [INFO ] [Real]Added 42 Read/Feed constraints in 54 ms returned sat
[2020-05-11 23:38:58] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:38:58] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2020-05-11 23:38:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:38:59] [INFO ] [Nat]Absence check using state equation in 510 ms returned sat
[2020-05-11 23:38:59] [INFO ] [Nat]Added 42 Read/Feed constraints in 227 ms returned sat
[2020-05-11 23:38:59] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 63 ms.
[2020-05-11 23:39:15] [INFO ] Added : 237 causal constraints over 48 iterations in 15659 ms. Result :sat
[2020-05-11 23:39:15] [INFO ] [Real]Absence check using 7 positive place invariants in 34 ms returned sat
[2020-05-11 23:39:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:39:15] [INFO ] [Real]Absence check using state equation in 425 ms returned sat
[2020-05-11 23:39:15] [INFO ] [Real]Added 42 Read/Feed constraints in 58 ms returned sat
[2020-05-11 23:39:15] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:39:15] [INFO ] [Nat]Absence check using 7 positive place invariants in 46 ms returned sat
[2020-05-11 23:39:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:39:16] [INFO ] [Nat]Absence check using state equation in 434 ms returned sat
[2020-05-11 23:39:16] [INFO ] [Nat]Added 42 Read/Feed constraints in 397 ms returned sat
[2020-05-11 23:39:16] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 167 ms.
[2020-05-11 23:39:35] [INFO ] Added : 240 causal constraints over 48 iterations in 19066 ms. Result :unknown
[2020-05-11 23:39:35] [INFO ] [Real]Absence check using 7 positive place invariants in 17 ms returned sat
[2020-05-11 23:39:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:39:36] [INFO ] [Real]Absence check using state equation in 424 ms returned sat
[2020-05-11 23:39:36] [INFO ] [Real]Added 42 Read/Feed constraints in 51 ms returned sat
[2020-05-11 23:39:36] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 158 ms.
[2020-05-11 23:39:36] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:39:36] [INFO ] [Nat]Absence check using 7 positive place invariants in 22 ms returned sat
[2020-05-11 23:39:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:39:37] [INFO ] [Nat]Absence check using state equation in 628 ms returned sat
[2020-05-11 23:39:37] [INFO ] [Nat]Added 42 Read/Feed constraints in 412 ms returned sat
[2020-05-11 23:39:37] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 237 ms.
[2020-05-11 23:39:56] [INFO ] Added : 250 causal constraints over 50 iterations in 18865 ms. Result :unknown
[2020-05-11 23:39:56] [INFO ] [Real]Absence check using 7 positive place invariants in 23 ms returned sat
[2020-05-11 23:39:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:39:57] [INFO ] [Real]Absence check using state equation in 618 ms returned sat
[2020-05-11 23:39:57] [INFO ] [Real]Added 42 Read/Feed constraints in 54 ms returned sat
[2020-05-11 23:39:57] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 76 ms.
[2020-05-11 23:39:57] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:39:57] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2020-05-11 23:39:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:39:57] [INFO ] [Nat]Absence check using state equation in 364 ms returned sat
[2020-05-11 23:39:58] [INFO ] [Nat]Added 42 Read/Feed constraints in 345 ms returned sat
[2020-05-11 23:39:58] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 237 ms.
[2020-05-11 23:40:17] [INFO ] Added : 260 causal constraints over 52 iterations in 19255 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-11 23:40:17] [INFO ] [Real]Absence check using 7 positive place invariants in 17 ms returned sat
[2020-05-11 23:40:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:40:18] [INFO ] [Real]Absence check using state equation in 345 ms returned sat
[2020-05-11 23:40:18] [INFO ] [Real]Added 42 Read/Feed constraints in 61 ms returned sat
[2020-05-11 23:40:18] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 122 ms.
[2020-05-11 23:40:18] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:40:18] [INFO ] [Nat]Absence check using 7 positive place invariants in 62 ms returned sat
[2020-05-11 23:40:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:40:18] [INFO ] [Nat]Absence check using state equation in 412 ms returned sat
[2020-05-11 23:40:19] [INFO ] [Nat]Added 42 Read/Feed constraints in 406 ms returned sat
[2020-05-11 23:40:19] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 171 ms.
[2020-05-11 23:40:30] [INFO ] Added : 235 causal constraints over 47 iterations in 11584 ms. Result :sat
[2020-05-11 23:40:30] [INFO ] [Real]Absence check using 7 positive place invariants in 32 ms returned sat
[2020-05-11 23:40:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:40:31] [INFO ] [Real]Absence check using state equation in 625 ms returned sat
[2020-05-11 23:40:31] [INFO ] [Real]Added 42 Read/Feed constraints in 44 ms returned sat
[2020-05-11 23:40:31] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:40:31] [INFO ] [Nat]Absence check using 7 positive place invariants in 27 ms returned sat
[2020-05-11 23:40:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:40:32] [INFO ] [Nat]Absence check using state equation in 403 ms returned sat
[2020-05-11 23:40:32] [INFO ] [Nat]Added 42 Read/Feed constraints in 460 ms returned sat
[2020-05-11 23:40:32] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 65 ms.
[2020-05-11 23:40:47] [INFO ] Added : 250 causal constraints over 51 iterations in 15217 ms. Result :sat
[2020-05-11 23:40:47] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2020-05-11 23:40:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:40:48] [INFO ] [Real]Absence check using state equation in 491 ms returned sat
[2020-05-11 23:40:48] [INFO ] [Real]Added 42 Read/Feed constraints in 40 ms returned sat
[2020-05-11 23:40:48] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:40:48] [INFO ] [Nat]Absence check using 7 positive place invariants in 61 ms returned sat
[2020-05-11 23:40:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:40:48] [INFO ] [Nat]Absence check using state equation in 385 ms returned sat
[2020-05-11 23:40:49] [INFO ] [Nat]Added 42 Read/Feed constraints in 228 ms returned sat
[2020-05-11 23:40:49] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 68 ms.
[2020-05-11 23:41:07] [INFO ] Added : 260 causal constraints over 52 iterations in 18002 ms. Result :sat
[2020-05-11 23:41:07] [INFO ] [Real]Absence check using 7 positive place invariants in 27 ms returned sat
[2020-05-11 23:41:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:41:07] [INFO ] [Real]Absence check using state equation in 451 ms returned sat
[2020-05-11 23:41:07] [INFO ] [Real]Added 42 Read/Feed constraints in 62 ms returned sat
[2020-05-11 23:41:07] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:41:07] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2020-05-11 23:41:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:41:08] [INFO ] [Nat]Absence check using state equation in 493 ms returned sat
[2020-05-11 23:41:08] [INFO ] [Nat]Added 42 Read/Feed constraints in 240 ms returned sat
[2020-05-11 23:41:08] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 172 ms.
[2020-05-11 23:41:21] [INFO ] Added : 241 causal constraints over 49 iterations in 12832 ms. Result :sat
[2020-05-11 23:41:21] [INFO ] [Real]Absence check using 7 positive place invariants in 18 ms returned sat
[2020-05-11 23:41:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:41:21] [INFO ] [Real]Absence check using state equation in 348 ms returned sat
[2020-05-11 23:41:21] [INFO ] [Real]Added 42 Read/Feed constraints in 34 ms returned sat
[2020-05-11 23:41:21] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:41:21] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2020-05-11 23:41:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:41:22] [INFO ] [Nat]Absence check using state equation in 178 ms returned sat
[2020-05-11 23:41:22] [INFO ] [Nat]Added 42 Read/Feed constraints in 190 ms returned sat
[2020-05-11 23:41:22] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 106 ms.
[2020-05-11 23:41:41] [INFO ] Added : 250 causal constraints over 54 iterations in 19600 ms. Result :unknown
[2020-05-11 23:41:41] [INFO ] [Real]Absence check using 7 positive place invariants in 4 ms returned sat
[2020-05-11 23:41:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:41:41] [INFO ] [Real]Absence check using state equation in 76 ms returned sat
[2020-05-11 23:41:41] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:41:42] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2020-05-11 23:41:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:41:42] [INFO ] [Nat]Absence check using state equation in 90 ms returned sat
[2020-05-11 23:41:42] [INFO ] [Nat]Added 42 Read/Feed constraints in 325 ms returned sat
[2020-05-11 23:41:42] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 160 ms.
[2020-05-11 23:41:53] [INFO ] Added : 230 causal constraints over 46 iterations in 10884 ms. Result :sat
[2020-05-11 23:41:53] [INFO ] [Real]Absence check using 7 positive place invariants in 34 ms returned sat
[2020-05-11 23:41:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:41:53] [INFO ] [Real]Absence check using state equation in 411 ms returned sat
[2020-05-11 23:41:53] [INFO ] [Real]Added 42 Read/Feed constraints in 51 ms returned sat
[2020-05-11 23:41:53] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:41:53] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2020-05-11 23:41:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:41:54] [INFO ] [Nat]Absence check using state equation in 481 ms returned sat
[2020-05-11 23:41:54] [INFO ] [Nat]Added 42 Read/Feed constraints in 214 ms returned sat
[2020-05-11 23:41:54] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 59 ms.
[2020-05-11 23:42:09] [INFO ] Added : 260 causal constraints over 52 iterations in 15207 ms. Result :sat
[2020-05-11 23:42:10] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2020-05-11 23:42:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:42:10] [INFO ] [Real]Absence check using state equation in 503 ms returned sat
[2020-05-11 23:42:10] [INFO ] [Real]Added 42 Read/Feed constraints in 45 ms returned sat
[2020-05-11 23:42:10] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:42:10] [INFO ] [Nat]Absence check using 7 positive place invariants in 33 ms returned sat
[2020-05-11 23:42:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:42:11] [INFO ] [Nat]Absence check using state equation in 540 ms returned sat
[2020-05-11 23:42:11] [INFO ] [Nat]Added 42 Read/Feed constraints in 451 ms returned sat
[2020-05-11 23:42:11] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 62 ms.
[2020-05-11 23:42:27] [INFO ] Added : 230 causal constraints over 46 iterations in 15338 ms. Result :unknown
[2020-05-11 23:42:27] [INFO ] [Real]Absence check using 7 positive place invariants in 4 ms returned sat
[2020-05-11 23:42:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:42:27] [INFO ] [Real]Absence check using state equation in 84 ms returned sat
[2020-05-11 23:42:27] [INFO ] [Real]Added 42 Read/Feed constraints in 17 ms returned sat
[2020-05-11 23:42:27] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:42:27] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2020-05-11 23:42:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:42:27] [INFO ] [Nat]Absence check using state equation in 82 ms returned sat
[2020-05-11 23:42:27] [INFO ] [Nat]Added 42 Read/Feed constraints in 186 ms returned sat
[2020-05-11 23:42:27] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 71 ms.
[2020-05-11 23:42:46] [INFO ] Added : 260 causal constraints over 52 iterations in 19193 ms. Result :sat
[2020-05-11 23:42:46] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2020-05-11 23:42:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:42:47] [INFO ] [Real]Absence check using state equation in 420 ms returned sat
[2020-05-11 23:42:47] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:42:47] [INFO ] [Nat]Absence check using 7 positive place invariants in 84 ms returned sat
[2020-05-11 23:42:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:42:47] [INFO ] [Nat]Absence check using state equation in 541 ms returned sat
[2020-05-11 23:42:48] [INFO ] [Nat]Added 42 Read/Feed constraints in 239 ms returned sat
[2020-05-11 23:42:48] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 68 ms.
[2020-05-11 23:43:00] [INFO ] Added : 225 causal constraints over 45 iterations in 12395 ms. Result :sat
[2020-05-11 23:43:00] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2020-05-11 23:43:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:43:01] [INFO ] [Real]Absence check using state equation in 468 ms returned sat
[2020-05-11 23:43:01] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:43:01] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2020-05-11 23:43:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:43:01] [INFO ] [Nat]Absence check using state equation in 612 ms returned sat
[2020-05-11 23:43:01] [INFO ] [Nat]Added 42 Read/Feed constraints in 229 ms returned sat
[2020-05-11 23:43:02] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 163 ms.
[2020-05-11 23:43:15] [INFO ] Added : 225 causal constraints over 45 iterations in 13678 ms. Result :sat
[2020-05-11 23:43:15] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned sat
[2020-05-11 23:43:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:43:16] [INFO ] [Real]Absence check using state equation in 368 ms returned sat
[2020-05-11 23:43:16] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:43:16] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2020-05-11 23:43:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:43:16] [INFO ] [Nat]Absence check using state equation in 393 ms returned sat
[2020-05-11 23:43:17] [INFO ] [Nat]Added 42 Read/Feed constraints in 449 ms returned sat
[2020-05-11 23:43:17] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 239 ms.
[2020-05-11 23:43:36] [INFO ] Added : 275 causal constraints over 55 iterations in 19141 ms. Result :unknown
[2020-05-11 23:43:36] [INFO ] [Real]Absence check using 7 positive place invariants in 19 ms returned sat
[2020-05-11 23:43:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:43:36] [INFO ] [Real]Absence check using state equation in 453 ms returned sat
[2020-05-11 23:43:36] [INFO ] [Real]Added 42 Read/Feed constraints in 62 ms returned sat
[2020-05-11 23:43:36] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 105 ms.
[2020-05-11 23:43:36] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:43:37] [INFO ] [Nat]Absence check using 7 positive place invariants in 31 ms returned sat
[2020-05-11 23:43:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:43:37] [INFO ] [Nat]Absence check using state equation in 340 ms returned sat
[2020-05-11 23:43:37] [INFO ] [Nat]Added 42 Read/Feed constraints in 366 ms returned sat
[2020-05-11 23:43:37] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 62 ms.
[2020-05-11 23:43:53] [INFO ] Added : 230 causal constraints over 46 iterations in 15584 ms. Result :sat
[2020-05-11 23:43:53] [INFO ] [Real]Absence check using 7 positive place invariants in 55 ms returned sat
[2020-05-11 23:43:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:43:53] [INFO ] [Real]Absence check using state equation in 507 ms returned sat
[2020-05-11 23:43:54] [INFO ] [Real]Added 42 Read/Feed constraints in 32 ms returned sat
[2020-05-11 23:43:54] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:43:54] [INFO ] [Nat]Absence check using 7 positive place invariants in 52 ms returned sat
[2020-05-11 23:43:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:43:54] [INFO ] [Nat]Absence check using state equation in 171 ms returned sat
[2020-05-11 23:43:54] [INFO ] [Nat]Added 42 Read/Feed constraints in 324 ms returned sat
[2020-05-11 23:43:54] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 49 ms.
[2020-05-11 23:44:07] [INFO ] Added : 250 causal constraints over 50 iterations in 13376 ms. Result :sat
[2020-05-11 23:44:08] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2020-05-11 23:44:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:44:08] [INFO ] [Real]Absence check using state equation in 359 ms returned sat
[2020-05-11 23:44:08] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:44:08] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2020-05-11 23:44:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:44:09] [INFO ] [Nat]Absence check using state equation in 501 ms returned sat
[2020-05-11 23:44:09] [INFO ] [Nat]Added 42 Read/Feed constraints in 119 ms returned sat
[2020-05-11 23:44:09] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 115 ms.
[2020-05-11 23:44:22] [INFO ] Added : 230 causal constraints over 46 iterations in 13122 ms. Result :sat
[2020-05-11 23:44:22] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2020-05-11 23:44:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:44:22] [INFO ] [Real]Absence check using state equation in 444 ms returned sat
[2020-05-11 23:44:22] [INFO ] [Real]Added 42 Read/Feed constraints in 35 ms returned sat
[2020-05-11 23:44:22] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:44:22] [INFO ] [Nat]Absence check using 7 positive place invariants in 32 ms returned sat
[2020-05-11 23:44:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:44:24] [INFO ] [Nat]Absence check using state equation in 1238 ms returned sat
[2020-05-11 23:44:24] [INFO ] [Nat]Added 42 Read/Feed constraints in 219 ms returned sat
[2020-05-11 23:44:24] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 105 ms.
[2020-05-11 23:44:38] [INFO ] Added : 255 causal constraints over 51 iterations in 13637 ms. Result :sat
[2020-05-11 23:44:38] [INFO ] [Real]Absence check using 7 positive place invariants in 4 ms returned sat
[2020-05-11 23:44:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:44:38] [INFO ] [Real]Absence check using state equation in 82 ms returned sat
[2020-05-11 23:44:38] [INFO ] [Real]Added 42 Read/Feed constraints in 18 ms returned sat
[2020-05-11 23:44:38] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:44:38] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2020-05-11 23:44:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:44:38] [INFO ] [Nat]Absence check using state equation in 168 ms returned sat
[2020-05-11 23:44:38] [INFO ] [Nat]Added 42 Read/Feed constraints in 348 ms returned sat
[2020-05-11 23:44:38] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 50 ms.
[2020-05-11 23:44:54] [INFO ] Added : 245 causal constraints over 49 iterations in 15460 ms. Result :sat
[2020-05-11 23:44:54] [INFO ] [Real]Absence check using 7 positive place invariants in 29 ms returned sat
[2020-05-11 23:44:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:44:54] [INFO ] [Real]Absence check using state equation in 581 ms returned sat
[2020-05-11 23:44:54] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:44:54] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2020-05-11 23:44:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:44:55] [INFO ] [Nat]Absence check using state equation in 103 ms returned sat
[2020-05-11 23:44:55] [INFO ] [Nat]Added 42 Read/Feed constraints in 202 ms returned sat
[2020-05-11 23:44:55] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 50 ms.
[2020-05-11 23:45:10] [INFO ] Added : 230 causal constraints over 46 iterations in 14783 ms. Result :unknown
[2020-05-11 23:45:10] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2020-05-11 23:45:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:45:10] [INFO ] [Real]Absence check using state equation in 161 ms returned sat
[2020-05-11 23:45:10] [INFO ] [Real]Added 42 Read/Feed constraints in 30 ms returned sat
[2020-05-11 23:45:10] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:45:10] [INFO ] [Nat]Absence check using 7 positive place invariants in 6 ms returned sat
[2020-05-11 23:45:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:45:10] [INFO ] [Nat]Absence check using state equation in 142 ms returned sat
[2020-05-11 23:45:10] [INFO ] [Nat]Added 42 Read/Feed constraints in 415 ms returned sat
[2020-05-11 23:45:11] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 69 ms.
[2020-05-11 23:45:23] [INFO ] Added : 225 causal constraints over 45 iterations in 12893 ms. Result :sat
[2020-05-11 23:45:23] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2020-05-11 23:45:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:45:24] [INFO ] [Real]Absence check using state equation in 656 ms returned sat
[2020-05-11 23:45:24] [INFO ] [Real]Added 42 Read/Feed constraints in 43 ms returned sat
[2020-05-11 23:45:24] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:45:24] [INFO ] [Nat]Absence check using 7 positive place invariants in 31 ms returned sat
[2020-05-11 23:45:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:45:25] [INFO ] [Nat]Absence check using state equation in 472 ms returned sat
[2020-05-11 23:45:25] [INFO ] [Nat]Added 42 Read/Feed constraints in 337 ms returned sat
[2020-05-11 23:45:25] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 71 ms.
[2020-05-11 23:45:44] [INFO ] Added : 265 causal constraints over 53 iterations in 19127 ms. Result :(error "Failed to check-sat")
[2020-05-11 23:45:44] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned sat
[2020-05-11 23:45:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:45:44] [INFO ] [Real]Absence check using state equation in 83 ms returned sat
[2020-05-11 23:45:44] [INFO ] [Real]Added 42 Read/Feed constraints in 18 ms returned sat
[2020-05-11 23:45:44] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:45:44] [INFO ] [Nat]Absence check using 7 positive place invariants in 6 ms returned sat
[2020-05-11 23:45:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:45:45] [INFO ] [Nat]Absence check using state equation in 317 ms returned sat
[2020-05-11 23:45:45] [INFO ] [Nat]Added 42 Read/Feed constraints in 294 ms returned sat
[2020-05-11 23:45:45] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 120 ms.
[2020-05-11 23:46:04] [INFO ] Added : 270 causal constraints over 54 iterations in 19364 ms. Result :unknown
[2020-05-11 23:46:04] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2020-05-11 23:46:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:46:05] [INFO ] [Real]Absence check using state equation in 488 ms returned sat
[2020-05-11 23:46:05] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:46:05] [INFO ] [Nat]Absence check using 7 positive place invariants in 50 ms returned sat
[2020-05-11 23:46:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:46:05] [INFO ] [Nat]Absence check using state equation in 493 ms returned sat
[2020-05-11 23:46:06] [INFO ] [Nat]Added 42 Read/Feed constraints in 376 ms returned sat
[2020-05-11 23:46:06] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 171 ms.
[2020-05-11 23:46:19] [INFO ] Added : 230 causal constraints over 46 iterations in 12974 ms. Result :sat
[2020-05-11 23:46:19] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2020-05-11 23:46:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:46:20] [INFO ] [Real]Absence check using state equation in 693 ms returned sat
[2020-05-11 23:46:20] [INFO ] [Real]Added 42 Read/Feed constraints in 83 ms returned sat
[2020-05-11 23:46:20] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:46:20] [INFO ] [Nat]Absence check using 7 positive place invariants in 19 ms returned sat
[2020-05-11 23:46:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:46:20] [INFO ] [Nat]Absence check using state equation in 596 ms returned sat
[2020-05-11 23:46:21] [INFO ] [Nat]Added 42 Read/Feed constraints in 248 ms returned sat
[2020-05-11 23:46:21] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 162 ms.
[2020-05-11 23:46:37] [INFO ] Added : 239 causal constraints over 48 iterations in 15956 ms. Result :sat
[2020-05-11 23:46:37] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2020-05-11 23:46:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:46:37] [INFO ] [Real]Absence check using state equation in 294 ms returned sat
[2020-05-11 23:46:37] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:46:37] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2020-05-11 23:46:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:46:38] [INFO ] [Nat]Absence check using state equation in 524 ms returned sat
[2020-05-11 23:46:38] [INFO ] [Nat]Added 42 Read/Feed constraints in 449 ms returned sat
[2020-05-11 23:46:38] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 145 ms.
[2020-05-11 23:46:57] [INFO ] Added : 270 causal constraints over 54 iterations in 18989 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-11 23:46:57] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned sat
[2020-05-11 23:46:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:46:57] [INFO ] [Real]Absence check using state equation in 84 ms returned sat
[2020-05-11 23:46:57] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:46:57] [INFO ] [Nat]Absence check using 7 positive place invariants in 53 ms returned sat
[2020-05-11 23:46:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:46:57] [INFO ] [Nat]Absence check using state equation in 162 ms returned sat
[2020-05-11 23:46:58] [INFO ] [Nat]Added 42 Read/Feed constraints in 186 ms returned sat
[2020-05-11 23:46:58] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 219 ms.
[2020-05-11 23:47:15] [INFO ] Added : 240 causal constraints over 48 iterations in 16878 ms. Result :sat
[2020-05-11 23:47:15] [INFO ] [Real]Absence check using 7 positive place invariants in 56 ms returned sat
[2020-05-11 23:47:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:47:15] [INFO ] [Real]Absence check using state equation in 379 ms returned sat
[2020-05-11 23:47:15] [INFO ] [Real]Added 42 Read/Feed constraints in 60 ms returned sat
[2020-05-11 23:47:15] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:47:15] [INFO ] [Nat]Absence check using 7 positive place invariants in 29 ms returned sat
[2020-05-11 23:47:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:47:15] [INFO ] [Nat]Absence check using state equation in 152 ms returned sat
[2020-05-11 23:47:16] [INFO ] [Nat]Added 42 Read/Feed constraints in 191 ms returned sat
[2020-05-11 23:47:16] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 69 ms.
[2020-05-11 23:47:28] [INFO ] Added : 225 causal constraints over 45 iterations in 12263 ms. Result :sat
[2020-05-11 23:47:28] [INFO ] [Real]Absence check using 7 positive place invariants in 34 ms returned sat
[2020-05-11 23:47:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:47:28] [INFO ] [Real]Absence check using state equation in 448 ms returned sat
[2020-05-11 23:47:28] [INFO ] [Real]Added 42 Read/Feed constraints in 42 ms returned sat
[2020-05-11 23:47:28] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:47:29] [INFO ] [Nat]Absence check using 7 positive place invariants in 20 ms returned sat
[2020-05-11 23:47:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:47:29] [INFO ] [Nat]Absence check using state equation in 517 ms returned sat
[2020-05-11 23:47:29] [INFO ] [Nat]Added 42 Read/Feed constraints in 362 ms returned sat
[2020-05-11 23:47:30] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 207 ms.
[2020-05-11 23:47:45] [INFO ] Added : 225 causal constraints over 45 iterations in 15208 ms. Result :sat
[2020-05-11 23:47:45] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned sat
[2020-05-11 23:47:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:47:45] [INFO ] [Real]Absence check using state equation in 93 ms returned sat
[2020-05-11 23:47:45] [INFO ] [Real]Added 42 Read/Feed constraints in 19 ms returned sat
[2020-05-11 23:47:45] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:47:45] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2020-05-11 23:47:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:47:45] [INFO ] [Nat]Absence check using state equation in 163 ms returned sat
[2020-05-11 23:47:45] [INFO ] [Nat]Added 42 Read/Feed constraints in 247 ms returned sat
[2020-05-11 23:47:46] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 218 ms.
[2020-05-11 23:48:05] [INFO ] Added : 265 causal constraints over 53 iterations in 19570 ms. Result :unknown
[2020-05-11 23:48:05] [INFO ] [Real]Absence check using 7 positive place invariants in 26 ms returned sat
[2020-05-11 23:48:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:48:05] [INFO ] [Real]Absence check using state equation in 439 ms returned sat
[2020-05-11 23:48:05] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:48:05] [INFO ] [Nat]Absence check using 7 positive place invariants in 6 ms returned sat
[2020-05-11 23:48:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:48:06] [INFO ] [Nat]Absence check using state equation in 144 ms returned sat
[2020-05-11 23:48:06] [INFO ] [Nat]Added 42 Read/Feed constraints in 399 ms returned sat
[2020-05-11 23:48:06] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 120 ms.
[2020-05-11 23:48:25] [INFO ] Added : 245 causal constraints over 49 iterations in 19449 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-11 23:48:25] [INFO ] [Real]Absence check using 7 positive place invariants in 16 ms returned sat
[2020-05-11 23:48:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:48:26] [INFO ] [Real]Absence check using state equation in 762 ms returned sat
[2020-05-11 23:48:26] [INFO ] [Real]Added 42 Read/Feed constraints in 17 ms returned sat
[2020-05-11 23:48:26] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:48:26] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2020-05-11 23:48:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:48:27] [INFO ] [Nat]Absence check using state equation in 319 ms returned sat
[2020-05-11 23:48:27] [INFO ] [Nat]Added 42 Read/Feed constraints in 353 ms returned sat
[2020-05-11 23:48:27] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 50 ms.
[2020-05-11 23:48:46] [INFO ] Added : 265 causal constraints over 53 iterations in 19320 ms. Result :(error "Failed to check-sat")
[2020-05-11 23:48:46] [INFO ] [Real]Absence check using 7 positive place invariants in 25 ms returned sat
[2020-05-11 23:48:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:48:47] [INFO ] [Real]Absence check using state equation in 418 ms returned sat
[2020-05-11 23:48:47] [INFO ] [Real]Added 42 Read/Feed constraints in 23 ms returned sat
[2020-05-11 23:48:47] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:48:47] [INFO ] [Nat]Absence check using 7 positive place invariants in 6 ms returned sat
[2020-05-11 23:48:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:48:47] [INFO ] [Nat]Absence check using state equation in 150 ms returned sat
[2020-05-11 23:48:47] [INFO ] [Nat]Added 42 Read/Feed constraints in 198 ms returned sat
[2020-05-11 23:48:47] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 66 ms.
[2020-05-11 23:49:00] [INFO ] Added : 241 causal constraints over 49 iterations in 13010 ms. Result :sat
[2020-05-11 23:49:00] [INFO ] [Real]Absence check using 7 positive place invariants in 27 ms returned sat
[2020-05-11 23:49:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:49:01] [INFO ] [Real]Absence check using state equation in 182 ms returned sat
[2020-05-11 23:49:01] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:49:01] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2020-05-11 23:49:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:49:01] [INFO ] [Nat]Absence check using state equation in 167 ms returned sat
[2020-05-11 23:49:01] [INFO ] [Nat]Added 42 Read/Feed constraints in 351 ms returned sat
[2020-05-11 23:49:01] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 68 ms.
[2020-05-11 23:49:12] [INFO ] Added : 220 causal constraints over 44 iterations in 11263 ms. Result :sat
[2020-05-11 23:49:12] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2020-05-11 23:49:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:49:13] [INFO ] [Real]Absence check using state equation in 147 ms returned sat
[2020-05-11 23:49:13] [INFO ] [Real]Added 42 Read/Feed constraints in 32 ms returned sat
[2020-05-11 23:49:13] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:49:13] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2020-05-11 23:49:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:49:13] [INFO ] [Nat]Absence check using state equation in 122 ms returned sat
[2020-05-11 23:49:13] [INFO ] [Nat]Added 42 Read/Feed constraints in 337 ms returned sat
[2020-05-11 23:49:13] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 69 ms.
[2020-05-11 23:49:24] [INFO ] Added : 215 causal constraints over 43 iterations in 10612 ms. Result :sat
[2020-05-11 23:49:24] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned sat
[2020-05-11 23:49:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:49:24] [INFO ] [Real]Absence check using state equation in 80 ms returned sat
[2020-05-11 23:49:24] [INFO ] [Real]Added 42 Read/Feed constraints in 15 ms returned sat
[2020-05-11 23:49:24] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 71 ms.
[2020-05-11 23:49:24] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:49:24] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2020-05-11 23:49:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:49:24] [INFO ] [Nat]Absence check using state equation in 75 ms returned sat
[2020-05-11 23:49:24] [INFO ] [Nat]Added 42 Read/Feed constraints in 176 ms returned sat
[2020-05-11 23:49:24] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 97 ms.
[2020-05-11 23:49:37] [INFO ] Added : 240 causal constraints over 48 iterations in 12463 ms. Result :sat
[2020-05-11 23:49:37] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned sat
[2020-05-11 23:49:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:49:37] [INFO ] [Real]Absence check using state equation in 187 ms returned sat
[2020-05-11 23:49:37] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:49:37] [INFO ] [Nat]Absence check using 7 positive place invariants in 23 ms returned sat
[2020-05-11 23:49:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:49:38] [INFO ] [Nat]Absence check using state equation in 420 ms returned sat
[2020-05-11 23:49:38] [INFO ] [Nat]Added 42 Read/Feed constraints in 197 ms returned sat
[2020-05-11 23:49:38] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 134 ms.
[2020-05-11 23:49:50] [INFO ] Added : 253 causal constraints over 51 iterations in 12584 ms. Result :sat
[2020-05-11 23:49:50] [INFO ] [Real]Absence check using 7 positive place invariants in 21 ms returned sat
[2020-05-11 23:49:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:49:51] [INFO ] [Real]Absence check using state equation in 147 ms returned sat
[2020-05-11 23:49:51] [INFO ] [Real]Added 42 Read/Feed constraints in 39 ms returned sat
[2020-05-11 23:49:51] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:49:51] [INFO ] [Nat]Absence check using 7 positive place invariants in 30 ms returned sat
[2020-05-11 23:49:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:49:51] [INFO ] [Nat]Absence check using state equation in 160 ms returned sat
[2020-05-11 23:49:51] [INFO ] [Nat]Added 42 Read/Feed constraints in 197 ms returned sat
[2020-05-11 23:49:51] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 103 ms.
[2020-05-11 23:50:11] [INFO ] Added : 271 causal constraints over 55 iterations in 19604 ms. Result :(error "Failed to check-sat")
[2020-05-11 23:50:11] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2020-05-11 23:50:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:50:11] [INFO ] [Real]Absence check using state equation in 161 ms returned sat
[2020-05-11 23:50:11] [INFO ] [Real]Added 42 Read/Feed constraints in 24 ms returned sat
[2020-05-11 23:50:11] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:50:11] [INFO ] [Nat]Absence check using 7 positive place invariants in 6 ms returned sat
[2020-05-11 23:50:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:50:11] [INFO ] [Nat]Absence check using state equation in 100 ms returned sat
[2020-05-11 23:50:11] [INFO ] [Nat]Added 42 Read/Feed constraints in 341 ms returned sat
[2020-05-11 23:50:12] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 107 ms.
[2020-05-11 23:50:25] [INFO ] Added : 253 causal constraints over 51 iterations in 13216 ms. Result :sat
[2020-05-11 23:50:25] [INFO ] [Real]Absence check using 7 positive place invariants in 42 ms returned sat
[2020-05-11 23:50:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:50:25] [INFO ] [Real]Absence check using state equation in 421 ms returned sat
[2020-05-11 23:50:25] [INFO ] [Real]Added 42 Read/Feed constraints in 60 ms returned sat
[2020-05-11 23:50:25] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:50:25] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2020-05-11 23:50:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:50:26] [INFO ] [Nat]Absence check using state equation in 399 ms returned sat
[2020-05-11 23:50:26] [INFO ] [Nat]Added 42 Read/Feed constraints in 230 ms returned sat
[2020-05-11 23:50:26] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 224 ms.
[2020-05-11 23:50:36] [INFO ] Added : 242 causal constraints over 49 iterations in 10233 ms. Result :sat
[2020-05-11 23:50:36] [INFO ] [Real]Absence check using 7 positive place invariants in 22 ms returned sat
[2020-05-11 23:50:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:50:37] [INFO ] [Real]Absence check using state equation in 567 ms returned sat
[2020-05-11 23:50:37] [INFO ] [Real]Added 42 Read/Feed constraints in 45 ms returned sat
[2020-05-11 23:50:37] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:50:37] [INFO ] [Nat]Absence check using 7 positive place invariants in 21 ms returned sat
[2020-05-11 23:50:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:50:37] [INFO ] [Nat]Absence check using state equation in 436 ms returned sat
[2020-05-11 23:50:38] [INFO ] [Nat]Added 42 Read/Feed constraints in 218 ms returned sat
[2020-05-11 23:50:38] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 68 ms.
[2020-05-11 23:50:55] [INFO ] Added : 245 causal constraints over 49 iterations in 17767 ms. Result :sat
[2020-05-11 23:50:56] [INFO ] [Real]Absence check using 7 positive place invariants in 17 ms returned sat
[2020-05-11 23:50:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:50:56] [INFO ] [Real]Absence check using state equation in 608 ms returned sat
[2020-05-11 23:50:56] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:50:56] [INFO ] [Nat]Absence check using 7 positive place invariants in 22 ms returned sat
[2020-05-11 23:50:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:50:57] [INFO ] [Nat]Absence check using state equation in 450 ms returned sat
[2020-05-11 23:50:57] [INFO ] [Nat]Added 42 Read/Feed constraints in 442 ms returned sat
[2020-05-11 23:50:59] [INFO ] Deduced a trap composed of 24 places in 1574 ms
[2020-05-11 23:50:59] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 1 trap constraints in 1586 ms
[2020-05-11 23:50:59] [INFO ] [Real]Absence check using 7 positive place invariants in 20 ms returned sat
[2020-05-11 23:50:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:50:59] [INFO ] [Real]Absence check using state equation in 670 ms returned sat
[2020-05-11 23:50:59] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:51:00] [INFO ] [Nat]Absence check using 7 positive place invariants in 38 ms returned sat
[2020-05-11 23:51:00] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:51:00] [INFO ] [Nat]Absence check using state equation in 481 ms returned sat
[2020-05-11 23:51:00] [INFO ] [Nat]Added 42 Read/Feed constraints in 243 ms returned sat
[2020-05-11 23:51:02] [INFO ] Deduced a trap composed of 24 places in 1623 ms
[2020-05-11 23:51:02] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 1 trap constraints in 1640 ms
[2020-05-11 23:51:02] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2020-05-11 23:51:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:51:02] [INFO ] [Real]Absence check using state equation in 512 ms returned sat
[2020-05-11 23:51:03] [INFO ] [Real]Added 42 Read/Feed constraints in 61 ms returned sat
[2020-05-11 23:51:03] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:51:03] [INFO ] [Nat]Absence check using 7 positive place invariants in 42 ms returned sat
[2020-05-11 23:51:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:51:03] [INFO ] [Nat]Absence check using state equation in 550 ms returned sat
[2020-05-11 23:51:04] [INFO ] [Nat]Added 42 Read/Feed constraints in 443 ms returned sat
[2020-05-11 23:51:04] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 70 ms.
[2020-05-11 23:51:23] [INFO ] Added : 259 causal constraints over 52 iterations in 18937 ms. Result :unknown
[2020-05-11 23:51:23] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2020-05-11 23:51:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:51:23] [INFO ] [Real]Absence check using state equation in 500 ms returned sat
[2020-05-11 23:51:23] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:51:23] [INFO ] [Nat]Absence check using 7 positive place invariants in 6 ms returned sat
[2020-05-11 23:51:23] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:51:24] [INFO ] [Nat]Absence check using state equation in 349 ms returned sat
[2020-05-11 23:51:24] [INFO ] [Nat]Added 42 Read/Feed constraints in 237 ms returned sat
[2020-05-11 23:51:24] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 183 ms.
[2020-05-11 23:51:37] [INFO ] Added : 237 causal constraints over 48 iterations in 12736 ms. Result :sat
[2020-05-11 23:51:37] [INFO ] [Real]Absence check using 7 positive place invariants in 28 ms returned sat
[2020-05-11 23:51:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:51:37] [INFO ] [Real]Absence check using state equation in 603 ms returned sat
[2020-05-11 23:51:37] [INFO ] [Real]Added 42 Read/Feed constraints in 58 ms returned sat
[2020-05-11 23:51:37] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:51:37] [INFO ] [Nat]Absence check using 7 positive place invariants in 44 ms returned sat
[2020-05-11 23:51:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:51:38] [INFO ] [Nat]Absence check using state equation in 470 ms returned sat
[2020-05-11 23:51:38] [INFO ] [Nat]Added 42 Read/Feed constraints in 231 ms returned sat
[2020-05-11 23:51:38] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 215 ms.
[2020-05-11 23:51:44] [INFO ] Added : 188 causal constraints over 38 iterations in 5517 ms. Result :sat
[2020-05-11 23:51:44] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2020-05-11 23:51:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:51:44] [INFO ] [Real]Absence check using state equation in 627 ms returned sat
[2020-05-11 23:51:44] [INFO ] [Real]Added 42 Read/Feed constraints in 50 ms returned sat
[2020-05-11 23:51:44] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:51:44] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2020-05-11 23:51:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:51:45] [INFO ] [Nat]Absence check using state equation in 622 ms returned sat
[2020-05-11 23:51:45] [INFO ] [Nat]Added 42 Read/Feed constraints in 248 ms returned sat
[2020-05-11 23:51:45] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 68 ms.
[2020-05-11 23:51:58] [INFO ] Added : 239 causal constraints over 48 iterations in 12782 ms. Result :sat
[2020-05-11 23:51:58] [INFO ] [Real]Absence check using 7 positive place invariants in 32 ms returned sat
[2020-05-11 23:51:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:51:59] [INFO ] [Real]Absence check using state equation in 530 ms returned sat
[2020-05-11 23:51:59] [INFO ] [Real]Added 42 Read/Feed constraints in 59 ms returned sat
[2020-05-11 23:51:59] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:51:59] [INFO ] [Nat]Absence check using 7 positive place invariants in 30 ms returned sat
[2020-05-11 23:51:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:52:00] [INFO ] [Nat]Absence check using state equation in 635 ms returned sat
[2020-05-11 23:52:00] [INFO ] [Nat]Added 42 Read/Feed constraints in 426 ms returned sat
[2020-05-11 23:52:00] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 61 ms.
[2020-05-11 23:52:11] [INFO ] Added : 222 causal constraints over 45 iterations in 11325 ms. Result :sat
[2020-05-11 23:52:11] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2020-05-11 23:52:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:52:12] [INFO ] [Real]Absence check using state equation in 510 ms returned sat
[2020-05-11 23:52:12] [INFO ] [Real]Added 42 Read/Feed constraints in 34 ms returned sat
[2020-05-11 23:52:12] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:52:12] [INFO ] [Nat]Absence check using 7 positive place invariants in 44 ms returned sat
[2020-05-11 23:52:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:52:13] [INFO ] [Nat]Absence check using state equation in 479 ms returned sat
[2020-05-11 23:52:13] [INFO ] [Nat]Added 42 Read/Feed constraints in 469 ms returned sat
[2020-05-11 23:52:13] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 61 ms.
[2020-05-11 23:52:32] [INFO ] Added : 270 causal constraints over 54 iterations in 18985 ms. Result :unknown
[2020-05-11 23:52:32] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2020-05-11 23:52:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:52:32] [INFO ] [Real]Absence check using state equation in 258 ms returned sat
[2020-05-11 23:52:32] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:52:32] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2020-05-11 23:52:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:52:33] [INFO ] [Nat]Absence check using state equation in 426 ms returned sat
[2020-05-11 23:52:33] [INFO ] [Nat]Added 42 Read/Feed constraints in 253 ms returned sat
[2020-05-11 23:52:33] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 189 ms.
[2020-05-11 23:52:52] [INFO ] Added : 235 causal constraints over 47 iterations in 19262 ms. Result :unknown
[2020-05-11 23:52:52] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2020-05-11 23:52:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:52:53] [INFO ] [Real]Absence check using state equation in 483 ms returned sat
[2020-05-11 23:52:53] [INFO ] [Real]Added 42 Read/Feed constraints in 60 ms returned sat
[2020-05-11 23:52:53] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:52:53] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2020-05-11 23:52:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:52:54] [INFO ] [Nat]Absence check using state equation in 553 ms returned sat
[2020-05-11 23:52:54] [INFO ] [Nat]Added 42 Read/Feed constraints in 250 ms returned sat
[2020-05-11 23:52:54] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 222 ms.
[2020-05-11 23:53:06] [INFO ] Added : 240 causal constraints over 48 iterations in 12483 ms. Result :sat
[2020-05-11 23:53:06] [INFO ] [Real]Absence check using 7 positive place invariants in 29 ms returned sat
[2020-05-11 23:53:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:53:07] [INFO ] [Real]Absence check using state equation in 529 ms returned sat
[2020-05-11 23:53:07] [INFO ] [Real]Added 42 Read/Feed constraints in 45 ms returned sat
[2020-05-11 23:53:07] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:53:07] [INFO ] [Nat]Absence check using 7 positive place invariants in 28 ms returned sat
[2020-05-11 23:53:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:53:08] [INFO ] [Nat]Absence check using state equation in 519 ms returned sat
[2020-05-11 23:53:08] [INFO ] [Nat]Added 42 Read/Feed constraints in 264 ms returned sat
[2020-05-11 23:53:08] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 172 ms.
[2020-05-11 23:53:27] [INFO ] Added : 275 causal constraints over 55 iterations in 19165 ms. Result :unknown
[2020-05-11 23:53:27] [INFO ] [Real]Absence check using 7 positive place invariants in 31 ms returned sat
[2020-05-11 23:53:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:53:28] [INFO ] [Real]Absence check using state equation in 512 ms returned sat
[2020-05-11 23:53:28] [INFO ] [Real]Added 42 Read/Feed constraints in 66 ms returned sat
[2020-05-11 23:53:28] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 69 ms.
[2020-05-11 23:53:28] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:53:28] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2020-05-11 23:53:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:53:28] [INFO ] [Nat]Absence check using state equation in 393 ms returned sat
[2020-05-11 23:53:29] [INFO ] [Nat]Added 42 Read/Feed constraints in 392 ms returned sat
[2020-05-11 23:53:29] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 59 ms.
[2020-05-11 23:53:48] [INFO ] Added : 258 causal constraints over 52 iterations in 19212 ms. Result :unknown
[2020-05-11 23:53:48] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2020-05-11 23:53:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:53:48] [INFO ] [Real]Absence check using state equation in 420 ms returned sat
[2020-05-11 23:53:48] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:53:49] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2020-05-11 23:53:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:53:49] [INFO ] [Nat]Absence check using state equation in 369 ms returned sat
[2020-05-11 23:53:49] [INFO ] [Nat]Added 42 Read/Feed constraints in 250 ms returned sat
[2020-05-11 23:53:49] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 124 ms.
[2020-05-11 23:53:59] [INFO ] Added : 215 causal constraints over 43 iterations in 9593 ms. Result :sat
[2020-05-11 23:53:59] [INFO ] [Real]Absence check using 7 positive place invariants in 25 ms returned sat
[2020-05-11 23:53:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:53:59] [INFO ] [Real]Absence check using state equation in 540 ms returned sat
[2020-05-11 23:53:59] [INFO ] [Real]Added 42 Read/Feed constraints in 35 ms returned sat
[2020-05-11 23:53:59] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:53:59] [INFO ] [Nat]Absence check using 7 positive place invariants in 20 ms returned sat
[2020-05-11 23:53:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:54:00] [INFO ] [Nat]Absence check using state equation in 426 ms returned sat
[2020-05-11 23:54:00] [INFO ] [Nat]Added 42 Read/Feed constraints in 417 ms returned sat
[2020-05-11 23:54:00] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 111 ms.
[2020-05-11 23:54:19] [INFO ] Added : 245 causal constraints over 49 iterations in 19131 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-11 23:54:20] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2020-05-11 23:54:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:54:20] [INFO ] [Real]Absence check using state equation in 741 ms returned sat
[2020-05-11 23:54:20] [INFO ] [Real]Added 42 Read/Feed constraints in 59 ms returned sat
[2020-05-11 23:54:20] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:54:20] [INFO ] [Nat]Absence check using 7 positive place invariants in 29 ms returned sat
[2020-05-11 23:54:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:54:21] [INFO ] [Nat]Absence check using state equation in 435 ms returned sat
[2020-05-11 23:54:21] [INFO ] [Nat]Added 42 Read/Feed constraints in 414 ms returned sat
[2020-05-11 23:54:21] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 68 ms.
[2020-05-11 23:54:39] [INFO ] Added : 255 causal constraints over 51 iterations in 17918 ms. Result :sat
[2020-05-11 23:54:39] [INFO ] [Real]Absence check using 7 positive place invariants in 15 ms returned sat
[2020-05-11 23:54:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:54:40] [INFO ] [Real]Absence check using state equation in 358 ms returned sat
[2020-05-11 23:54:40] [INFO ] [Real]Added 42 Read/Feed constraints in 79 ms returned sat
[2020-05-11 23:54:40] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:54:40] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2020-05-11 23:54:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:54:40] [INFO ] [Nat]Absence check using state equation in 358 ms returned sat
[2020-05-11 23:54:40] [INFO ] [Nat]Added 42 Read/Feed constraints in 255 ms returned sat
[2020-05-11 23:54:41] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 63 ms.
[2020-05-11 23:55:00] [INFO ] Added : 265 causal constraints over 53 iterations in 19340 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-11 23:55:00] [INFO ] [Real]Absence check using 7 positive place invariants in 41 ms returned sat
[2020-05-11 23:55:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:55:01] [INFO ] [Real]Absence check using state equation in 721 ms returned sat
[2020-05-11 23:55:01] [INFO ] [Real]Added 42 Read/Feed constraints in 40 ms returned sat
[2020-05-11 23:55:01] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:55:01] [INFO ] [Nat]Absence check using 7 positive place invariants in 31 ms returned sat
[2020-05-11 23:55:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:55:01] [INFO ] [Nat]Absence check using state equation in 612 ms returned sat
[2020-05-11 23:55:02] [INFO ] [Nat]Added 42 Read/Feed constraints in 231 ms returned sat
[2020-05-11 23:55:02] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 60 ms.
[2020-05-11 23:55:21] [INFO ] Added : 248 causal constraints over 51 iterations in 19121 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-11 23:55:21] [INFO ] [Real]Absence check using 7 positive place invariants in 44 ms returned sat
[2020-05-11 23:55:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:55:21] [INFO ] [Real]Absence check using state equation in 563 ms returned sat
[2020-05-11 23:55:21] [INFO ] [Real]Added 42 Read/Feed constraints in 41 ms returned sat
[2020-05-11 23:55:21] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:55:21] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2020-05-11 23:55:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:55:22] [INFO ] [Nat]Absence check using state equation in 561 ms returned sat
[2020-05-11 23:55:22] [INFO ] [Nat]Added 42 Read/Feed constraints in 395 ms returned sat
[2020-05-11 23:55:23] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 55 ms.
[2020-05-11 23:55:41] [INFO ] Added : 274 causal constraints over 55 iterations in 19004 ms. Result :unknown
[2020-05-11 23:55:42] [INFO ] [Real]Absence check using 7 positive place invariants in 35 ms returned sat
[2020-05-11 23:55:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:55:42] [INFO ] [Real]Absence check using state equation in 783 ms returned sat
[2020-05-11 23:55:42] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:55:42] [INFO ] [Nat]Absence check using 7 positive place invariants in 27 ms returned sat
[2020-05-11 23:55:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:55:43] [INFO ] [Nat]Absence check using state equation in 475 ms returned sat
[2020-05-11 23:55:43] [INFO ] [Nat]Added 42 Read/Feed constraints in 255 ms returned sat
[2020-05-11 23:55:43] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 71 ms.
[2020-05-11 23:55:52] [INFO ] Added : 224 causal constraints over 46 iterations in 9259 ms. Result :sat
[2020-05-11 23:55:52] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2020-05-11 23:55:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:55:53] [INFO ] [Real]Absence check using state equation in 436 ms returned sat
[2020-05-11 23:55:53] [INFO ] [Real]Added 42 Read/Feed constraints in 66 ms returned sat
[2020-05-11 23:55:53] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 140 ms.
[2020-05-11 23:55:53] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:55:53] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2020-05-11 23:55:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:55:54] [INFO ] [Nat]Absence check using state equation in 516 ms returned sat
[2020-05-11 23:55:54] [INFO ] [Nat]Added 42 Read/Feed constraints in 342 ms returned sat
[2020-05-11 23:55:54] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 60 ms.
[2020-05-11 23:56:13] [INFO ] Added : 245 causal constraints over 49 iterations in 19156 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-11 23:56:13] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2020-05-11 23:56:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:56:14] [INFO ] [Real]Absence check using state equation in 573 ms returned sat
[2020-05-11 23:56:14] [INFO ] [Real]Added 42 Read/Feed constraints in 42 ms returned sat
[2020-05-11 23:56:14] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:56:14] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2020-05-11 23:56:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:56:15] [INFO ] [Nat]Absence check using state equation in 510 ms returned sat
[2020-05-11 23:56:15] [INFO ] [Nat]Added 42 Read/Feed constraints in 233 ms returned sat
[2020-05-11 23:56:15] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 61 ms.
[2020-05-11 23:56:30] [INFO ] Added : 215 causal constraints over 43 iterations in 14953 ms. Result :sat
[2020-05-11 23:56:30] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2020-05-11 23:56:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:56:30] [INFO ] [Real]Absence check using state equation in 489 ms returned sat
[2020-05-11 23:56:30] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:56:31] [INFO ] [Nat]Absence check using 7 positive place invariants in 46 ms returned sat
[2020-05-11 23:56:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:56:31] [INFO ] [Nat]Absence check using state equation in 660 ms returned sat
[2020-05-11 23:56:32] [INFO ] [Nat]Added 42 Read/Feed constraints in 449 ms returned sat
[2020-05-11 23:56:32] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 152 ms.
[2020-05-11 23:56:50] [INFO ] Added : 250 causal constraints over 61 iterations in 18805 ms. Result :unknown
[2020-05-11 23:56:51] [INFO ] [Real]Absence check using 7 positive place invariants in 20 ms returned sat
[2020-05-11 23:56:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:56:51] [INFO ] [Real]Absence check using state equation in 558 ms returned sat
[2020-05-11 23:56:51] [INFO ] [Real]Added 42 Read/Feed constraints in 59 ms returned sat
[2020-05-11 23:56:51] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:56:51] [INFO ] [Nat]Absence check using 7 positive place invariants in 19 ms returned sat
[2020-05-11 23:56:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:56:52] [INFO ] [Nat]Absence check using state equation in 457 ms returned sat
[2020-05-11 23:56:52] [INFO ] [Nat]Added 42 Read/Feed constraints in 433 ms returned sat
[2020-05-11 23:56:52] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 159 ms.
[2020-05-11 23:57:11] [INFO ] Added : 270 causal constraints over 54 iterations in 19050 ms. Result :unknown
[2020-05-11 23:57:11] [INFO ] [Real]Absence check using 7 positive place invariants in 24 ms returned sat
[2020-05-11 23:57:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:57:12] [INFO ] [Real]Absence check using state equation in 481 ms returned sat
[2020-05-11 23:57:12] [INFO ] [Real]Added 42 Read/Feed constraints in 48 ms returned sat
[2020-05-11 23:57:12] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:57:12] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2020-05-11 23:57:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:57:12] [INFO ] [Nat]Absence check using state equation in 479 ms returned sat
[2020-05-11 23:57:13] [INFO ] [Nat]Added 42 Read/Feed constraints in 449 ms returned sat
[2020-05-11 23:57:13] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 176 ms.
[2020-05-11 23:57:25] [INFO ] Added : 215 causal constraints over 43 iterations in 12465 ms. Result :sat
[2020-05-11 23:57:25] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2020-05-11 23:57:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:57:26] [INFO ] [Real]Absence check using state equation in 589 ms returned sat
[2020-05-11 23:57:26] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:57:26] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2020-05-11 23:57:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:57:26] [INFO ] [Nat]Absence check using state equation in 465 ms returned sat
[2020-05-11 23:57:27] [INFO ] [Nat]Added 42 Read/Feed constraints in 236 ms returned sat
[2020-05-11 23:57:27] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 62 ms.
[2020-05-11 23:57:40] [INFO ] Added : 249 causal constraints over 50 iterations in 13302 ms. Result :sat
[2020-05-11 23:57:40] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2020-05-11 23:57:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:57:41] [INFO ] [Real]Absence check using state equation in 496 ms returned sat
[2020-05-11 23:57:41] [INFO ] [Real]Added 42 Read/Feed constraints in 30 ms returned sat
[2020-05-11 23:57:41] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 149 ms.
[2020-05-11 23:57:41] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:57:41] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2020-05-11 23:57:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:57:41] [INFO ] [Nat]Absence check using state equation in 392 ms returned sat
[2020-05-11 23:57:42] [INFO ] [Nat]Added 42 Read/Feed constraints in 272 ms returned sat
[2020-05-11 23:57:42] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 89 ms.
[2020-05-11 23:57:54] [INFO ] Added : 238 causal constraints over 49 iterations in 11917 ms. Result :sat
[2020-05-11 23:57:54] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2020-05-11 23:57:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:57:54] [INFO ] [Real]Absence check using state equation in 504 ms returned sat
[2020-05-11 23:57:54] [INFO ] [Real]Added 42 Read/Feed constraints in 60 ms returned sat
[2020-05-11 23:57:54] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:57:54] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2020-05-11 23:57:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:57:55] [INFO ] [Nat]Absence check using state equation in 621 ms returned sat
[2020-05-11 23:57:55] [INFO ] [Nat]Added 42 Read/Feed constraints in 240 ms returned sat
[2020-05-11 23:57:55] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 68 ms.
[2020-05-11 23:58:09] [INFO ] Added : 234 causal constraints over 47 iterations in 13705 ms. Result :sat
[2020-05-11 23:58:09] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2020-05-11 23:58:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:58:09] [INFO ] [Real]Absence check using state equation in 464 ms returned sat
[2020-05-11 23:58:09] [INFO ] [Real]Added 42 Read/Feed constraints in 43 ms returned sat
[2020-05-11 23:58:09] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:58:10] [INFO ] [Nat]Absence check using 7 positive place invariants in 25 ms returned sat
[2020-05-11 23:58:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:58:10] [INFO ] [Nat]Absence check using state equation in 554 ms returned sat
[2020-05-11 23:58:10] [INFO ] [Nat]Added 42 Read/Feed constraints in 216 ms returned sat
[2020-05-11 23:58:10] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 59 ms.
[2020-05-11 23:58:29] [INFO ] Added : 260 causal constraints over 52 iterations in 19181 ms. Result :unknown
[2020-05-11 23:58:30] [INFO ] [Real]Absence check using 7 positive place invariants in 24 ms returned sat
[2020-05-11 23:58:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:58:30] [INFO ] [Real]Absence check using state equation in 588 ms returned sat
[2020-05-11 23:58:30] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:58:30] [INFO ] [Nat]Absence check using 7 positive place invariants in 27 ms returned sat
[2020-05-11 23:58:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:58:31] [INFO ] [Nat]Absence check using state equation in 492 ms returned sat
[2020-05-11 23:58:31] [INFO ] [Nat]Added 42 Read/Feed constraints in 364 ms returned sat
[2020-05-11 23:58:31] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 59 ms.
[2020-05-11 23:58:47] [INFO ] Added : 255 causal constraints over 51 iterations in 16131 ms. Result :sat
[2020-05-11 23:58:47] [INFO ] [Real]Absence check using 7 positive place invariants in 27 ms returned sat
[2020-05-11 23:58:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:58:48] [INFO ] [Real]Absence check using state equation in 309 ms returned sat
[2020-05-11 23:58:48] [INFO ] [Real]Added 42 Read/Feed constraints in 45 ms returned sat
[2020-05-11 23:58:48] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:58:48] [INFO ] [Nat]Absence check using 7 positive place invariants in 75 ms returned sat
[2020-05-11 23:58:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:58:48] [INFO ] [Nat]Absence check using state equation in 520 ms returned sat
[2020-05-11 23:58:49] [INFO ] [Nat]Added 42 Read/Feed constraints in 251 ms returned sat
[2020-05-11 23:58:49] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 112 ms.
[2020-05-11 23:59:01] [INFO ] Added : 235 causal constraints over 47 iterations in 12751 ms. Result :sat
[2020-05-11 23:59:01] [INFO ] [Real]Absence check using 7 positive place invariants in 31 ms returned sat
[2020-05-11 23:59:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:59:02] [INFO ] [Real]Absence check using state equation in 728 ms returned sat
[2020-05-11 23:59:02] [INFO ] [Real]Added 42 Read/Feed constraints in 67 ms returned sat
[2020-05-11 23:59:02] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:59:02] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2020-05-11 23:59:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:59:03] [INFO ] [Nat]Absence check using state equation in 500 ms returned sat
[2020-05-11 23:59:03] [INFO ] [Nat]Added 42 Read/Feed constraints in 435 ms returned sat
[2020-05-11 23:59:03] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 151 ms.
[2020-05-11 23:59:21] [INFO ] Added : 260 causal constraints over 53 iterations in 17984 ms. Result :sat
[2020-05-11 23:59:21] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2020-05-11 23:59:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:59:22] [INFO ] [Real]Absence check using state equation in 474 ms returned sat
[2020-05-11 23:59:22] [INFO ] [Real]Added 42 Read/Feed constraints in 36 ms returned sat
[2020-05-11 23:59:22] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:59:22] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2020-05-11 23:59:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:59:23] [INFO ] [Nat]Absence check using state equation in 623 ms returned sat
[2020-05-11 23:59:23] [INFO ] [Nat]Added 42 Read/Feed constraints in 429 ms returned sat
[2020-05-11 23:59:23] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 175 ms.
[2020-05-11 23:59:37] [INFO ] Added : 235 causal constraints over 47 iterations in 13796 ms. Result :sat
[2020-05-11 23:59:37] [INFO ] [Real]Absence check using 7 positive place invariants in 22 ms returned sat
[2020-05-11 23:59:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:59:37] [INFO ] [Real]Absence check using state equation in 302 ms returned sat
[2020-05-11 23:59:37] [INFO ] [Real]Added 42 Read/Feed constraints in 41 ms returned sat
[2020-05-11 23:59:37] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:59:37] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2020-05-11 23:59:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:59:38] [INFO ] [Nat]Absence check using state equation in 500 ms returned sat
[2020-05-11 23:59:38] [INFO ] [Nat]Added 42 Read/Feed constraints in 364 ms returned sat
[2020-05-11 23:59:38] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 145 ms.
[2020-05-11 23:59:57] [INFO ] Added : 235 causal constraints over 47 iterations in 19109 ms. Result :unknown
[2020-05-11 23:59:57] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2020-05-11 23:59:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 23:59:58] [INFO ] [Real]Absence check using state equation in 426 ms returned sat
[2020-05-11 23:59:58] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 23:59:58] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2020-05-11 23:59:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 23:59:58] [INFO ] [Nat]Absence check using state equation in 425 ms returned sat
[2020-05-11 23:59:58] [INFO ] [Nat]Added 42 Read/Feed constraints in 242 ms returned sat
[2020-05-11 23:59:59] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 155 ms.
[2020-05-12 00:00:18] [INFO ] Added : 254 causal constraints over 51 iterations in 19298 ms. Result :unknown
[2020-05-12 00:00:18] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2020-05-12 00:00:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:00:18] [INFO ] [Real]Absence check using state equation in 403 ms returned sat
[2020-05-12 00:00:18] [INFO ] [Real]Added 42 Read/Feed constraints in 38 ms returned sat
[2020-05-12 00:00:18] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:00:18] [INFO ] [Nat]Absence check using 7 positive place invariants in 44 ms returned sat
[2020-05-12 00:00:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:00:19] [INFO ] [Nat]Absence check using state equation in 341 ms returned sat
[2020-05-12 00:00:19] [INFO ] [Nat]Added 42 Read/Feed constraints in 405 ms returned sat
[2020-05-12 00:00:19] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 134 ms.
[2020-05-12 00:00:34] [INFO ] Added : 230 causal constraints over 46 iterations in 15026 ms. Result :sat
[2020-05-12 00:00:34] [INFO ] [Real]Absence check using 7 positive place invariants in 38 ms returned sat
[2020-05-12 00:00:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:00:35] [INFO ] [Real]Absence check using state equation in 653 ms returned sat
[2020-05-12 00:00:35] [INFO ] [Real]Added 42 Read/Feed constraints in 36 ms returned sat
[2020-05-12 00:00:35] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:00:35] [INFO ] [Nat]Absence check using 7 positive place invariants in 26 ms returned sat
[2020-05-12 00:00:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:00:35] [INFO ] [Nat]Absence check using state equation in 381 ms returned sat
[2020-05-12 00:00:36] [INFO ] [Nat]Added 42 Read/Feed constraints in 239 ms returned sat
[2020-05-12 00:00:36] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 141 ms.
[2020-05-12 00:00:54] [INFO ] Added : 250 causal constraints over 51 iterations in 18491 ms. Result :sat
[2020-05-12 00:00:54] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2020-05-12 00:00:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:00:55] [INFO ] [Real]Absence check using state equation in 427 ms returned sat
[2020-05-12 00:00:55] [INFO ] [Real]Added 42 Read/Feed constraints in 61 ms returned sat
[2020-05-12 00:00:55] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 181 ms.
[2020-05-12 00:00:55] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:00:55] [INFO ] [Nat]Absence check using 7 positive place invariants in 23 ms returned sat
[2020-05-12 00:00:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:00:56] [INFO ] [Nat]Absence check using state equation in 376 ms returned sat
[2020-05-12 00:00:56] [INFO ] [Nat]Added 42 Read/Feed constraints in 388 ms returned sat
[2020-05-12 00:00:56] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 68 ms.
[2020-05-12 00:01:15] [INFO ] Added : 270 causal constraints over 54 iterations in 19229 ms. Result :unknown
[2020-05-12 00:01:15] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2020-05-12 00:01:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:01:16] [INFO ] [Real]Absence check using state equation in 371 ms returned sat
[2020-05-12 00:01:16] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:01:16] [INFO ] [Nat]Absence check using 7 positive place invariants in 19 ms returned sat
[2020-05-12 00:01:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:01:16] [INFO ] [Nat]Absence check using state equation in 384 ms returned sat
[2020-05-12 00:01:16] [INFO ] [Nat]Added 42 Read/Feed constraints in 404 ms returned sat
[2020-05-12 00:01:18] [INFO ] Deduced a trap composed of 24 places in 1656 ms
[2020-05-12 00:01:18] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 1 trap constraints in 1672 ms
[2020-05-12 00:01:18] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2020-05-12 00:01:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:01:19] [INFO ] [Real]Absence check using state equation in 596 ms returned sat
[2020-05-12 00:01:19] [INFO ] [Real]Added 42 Read/Feed constraints in 51 ms returned sat
[2020-05-12 00:01:19] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:01:19] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2020-05-12 00:01:19] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:01:19] [INFO ] [Nat]Absence check using state equation in 619 ms returned sat
[2020-05-12 00:01:20] [INFO ] [Nat]Added 42 Read/Feed constraints in 238 ms returned sat
[2020-05-12 00:01:20] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 67 ms.
[2020-05-12 00:01:39] [INFO ] Added : 268 causal constraints over 54 iterations in 19112 ms. Result :unknown
[2020-05-12 00:01:39] [INFO ] [Real]Absence check using 7 positive place invariants in 69 ms returned sat
[2020-05-12 00:01:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:01:40] [INFO ] [Real]Absence check using state equation in 647 ms returned sat
[2020-05-12 00:01:40] [INFO ] [Real]Added 42 Read/Feed constraints in 37 ms returned sat
[2020-05-12 00:01:40] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:01:40] [INFO ] [Nat]Absence check using 7 positive place invariants in 26 ms returned sat
[2020-05-12 00:01:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:01:41] [INFO ] [Nat]Absence check using state equation in 854 ms returned sat
[2020-05-12 00:01:41] [INFO ] [Nat]Added 42 Read/Feed constraints in 328 ms returned sat
[2020-05-12 00:01:41] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 142 ms.
[2020-05-12 00:02:00] [INFO ] Added : 265 causal constraints over 53 iterations in 18777 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-12 00:02:00] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2020-05-12 00:02:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:02:01] [INFO ] [Real]Absence check using state equation in 833 ms returned sat
[2020-05-12 00:02:01] [INFO ] [Real]Added 42 Read/Feed constraints in 65 ms returned sat
[2020-05-12 00:02:01] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:02:01] [INFO ] [Nat]Absence check using 7 positive place invariants in 47 ms returned sat
[2020-05-12 00:02:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:02:01] [INFO ] [Nat]Absence check using state equation in 469 ms returned sat
[2020-05-12 00:02:02] [INFO ] [Nat]Added 42 Read/Feed constraints in 398 ms returned sat
[2020-05-12 00:02:02] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 105 ms.
[2020-05-12 00:02:21] [INFO ] Added : 260 causal constraints over 52 iterations in 19069 ms. Result :unknown
[2020-05-12 00:02:21] [INFO ] [Real]Absence check using 7 positive place invariants in 18 ms returned sat
[2020-05-12 00:02:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:02:21] [INFO ] [Real]Absence check using state equation in 728 ms returned sat
[2020-05-12 00:02:22] [INFO ] [Real]Added 42 Read/Feed constraints in 64 ms returned sat
[2020-05-12 00:02:22] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:02:22] [INFO ] [Nat]Absence check using 7 positive place invariants in 37 ms returned sat
[2020-05-12 00:02:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:02:22] [INFO ] [Nat]Absence check using state equation in 826 ms returned sat
[2020-05-12 00:02:23] [INFO ] [Nat]Added 42 Read/Feed constraints in 366 ms returned sat
[2020-05-12 00:02:23] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 88 ms.
[2020-05-12 00:02:29] [INFO ] Added : 203 causal constraints over 41 iterations in 5887 ms. Result :sat
[2020-05-12 00:02:29] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2020-05-12 00:02:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:02:29] [INFO ] [Real]Absence check using state equation in 417 ms returned sat
[2020-05-12 00:02:29] [INFO ] [Real]Added 42 Read/Feed constraints in 52 ms returned sat
[2020-05-12 00:02:29] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:02:29] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2020-05-12 00:02:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:02:30] [INFO ] [Nat]Absence check using state equation in 482 ms returned sat
[2020-05-12 00:02:30] [INFO ] [Nat]Added 42 Read/Feed constraints in 243 ms returned sat
[2020-05-12 00:02:30] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 115 ms.
[2020-05-12 00:02:48] [INFO ] Added : 245 causal constraints over 49 iterations in 17677 ms. Result :sat
[2020-05-12 00:02:48] [INFO ] [Real]Absence check using 7 positive place invariants in 20 ms returned sat
[2020-05-12 00:02:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:02:49] [INFO ] [Real]Absence check using state equation in 752 ms returned sat
[2020-05-12 00:02:49] [INFO ] [Real]Added 42 Read/Feed constraints in 41 ms returned sat
[2020-05-12 00:02:49] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:02:49] [INFO ] [Nat]Absence check using 7 positive place invariants in 25 ms returned sat
[2020-05-12 00:02:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:02:49] [INFO ] [Nat]Absence check using state equation in 741 ms returned sat
[2020-05-12 00:02:50] [INFO ] [Nat]Added 42 Read/Feed constraints in 469 ms returned sat
[2020-05-12 00:02:50] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 115 ms.
[2020-05-12 00:03:04] [INFO ] Added : 215 causal constraints over 43 iterations in 14449 ms. Result :unknown
[2020-05-12 00:03:04] [INFO ] [Real]Absence check using 7 positive place invariants in 18 ms returned sat
[2020-05-12 00:03:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:03:05] [INFO ] [Real]Absence check using state equation in 358 ms returned sat
[2020-05-12 00:03:05] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:03:05] [INFO ] [Nat]Absence check using 7 positive place invariants in 40 ms returned sat
[2020-05-12 00:03:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:03:05] [INFO ] [Nat]Absence check using state equation in 573 ms returned sat
[2020-05-12 00:03:06] [INFO ] [Nat]Added 42 Read/Feed constraints in 230 ms returned sat
[2020-05-12 00:03:06] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 119 ms.
[2020-05-12 00:03:21] [INFO ] Added : 240 causal constraints over 48 iterations in 14812 ms. Result :sat
[2020-05-12 00:03:21] [INFO ] [Real]Absence check using 7 positive place invariants in 44 ms returned sat
[2020-05-12 00:03:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:03:21] [INFO ] [Real]Absence check using state equation in 515 ms returned sat
[2020-05-12 00:03:21] [INFO ] [Real]Added 42 Read/Feed constraints in 90 ms returned sat
[2020-05-12 00:03:21] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:03:21] [INFO ] [Nat]Absence check using 7 positive place invariants in 51 ms returned sat
[2020-05-12 00:03:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:03:22] [INFO ] [Nat]Absence check using state equation in 378 ms returned sat
[2020-05-12 00:03:22] [INFO ] [Nat]Added 42 Read/Feed constraints in 235 ms returned sat
[2020-05-12 00:03:22] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 108 ms.
[2020-05-12 00:03:33] [INFO ] Added : 210 causal constraints over 42 iterations in 10529 ms. Result :sat
[2020-05-12 00:03:33] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2020-05-12 00:03:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:03:34] [INFO ] [Real]Absence check using state equation in 871 ms returned sat
[2020-05-12 00:03:34] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:03:34] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2020-05-12 00:03:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:03:34] [INFO ] [Nat]Absence check using state equation in 511 ms returned sat
[2020-05-12 00:03:34] [INFO ] [Nat]Added 42 Read/Feed constraints in 229 ms returned sat
[2020-05-12 00:03:34] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 125 ms.
[2020-05-12 00:03:44] [INFO ] Added : 218 causal constraints over 44 iterations in 9449 ms. Result :sat
[2020-05-12 00:03:44] [INFO ] [Real]Absence check using 7 positive place invariants in 20 ms returned sat
[2020-05-12 00:03:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:03:44] [INFO ] [Real]Absence check using state equation in 346 ms returned sat
[2020-05-12 00:03:44] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:03:44] [INFO ] [Nat]Absence check using 7 positive place invariants in 42 ms returned sat
[2020-05-12 00:03:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:03:45] [INFO ] [Nat]Absence check using state equation in 400 ms returned sat
[2020-05-12 00:03:45] [INFO ] [Nat]Added 42 Read/Feed constraints in 275 ms returned sat
[2020-05-12 00:03:45] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 167 ms.
[2020-05-12 00:04:04] [INFO ] Added : 250 causal constraints over 50 iterations in 19256 ms. Result :unknown
[2020-05-12 00:04:04] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2020-05-12 00:04:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:04:05] [INFO ] [Real]Absence check using state equation in 616 ms returned sat
[2020-05-12 00:04:05] [INFO ] [Real]Added 42 Read/Feed constraints in 55 ms returned sat
[2020-05-12 00:04:05] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:04:05] [INFO ] [Nat]Absence check using 7 positive place invariants in 6 ms returned sat
[2020-05-12 00:04:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:04:06] [INFO ] [Nat]Absence check using state equation in 558 ms returned sat
[2020-05-12 00:04:06] [INFO ] [Nat]Added 42 Read/Feed constraints in 428 ms returned sat
[2020-05-12 00:04:06] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 133 ms.
[2020-05-12 00:04:19] [INFO ] Added : 225 causal constraints over 45 iterations in 13183 ms. Result :sat
[2020-05-12 00:04:19] [INFO ] [Real]Absence check using 7 positive place invariants in 19 ms returned sat
[2020-05-12 00:04:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:04:20] [INFO ] [Real]Absence check using state equation in 600 ms returned sat
[2020-05-12 00:04:20] [INFO ] [Real]Added 42 Read/Feed constraints in 70 ms returned sat
[2020-05-12 00:04:20] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:04:20] [INFO ] [Nat]Absence check using 7 positive place invariants in 67 ms returned sat
[2020-05-12 00:04:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:04:21] [INFO ] [Nat]Absence check using state equation in 502 ms returned sat
[2020-05-12 00:04:21] [INFO ] [Nat]Added 42 Read/Feed constraints in 369 ms returned sat
[2020-05-12 00:04:21] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 140 ms.
[2020-05-12 00:04:40] [INFO ] Added : 270 causal constraints over 54 iterations in 19074 ms. Result :unknown
[2020-05-12 00:04:40] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2020-05-12 00:04:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:04:41] [INFO ] [Real]Absence check using state equation in 769 ms returned sat
[2020-05-12 00:04:41] [INFO ] [Real]Added 42 Read/Feed constraints in 48 ms returned sat
[2020-05-12 00:04:41] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:04:41] [INFO ] [Nat]Absence check using 7 positive place invariants in 22 ms returned sat
[2020-05-12 00:04:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:04:41] [INFO ] [Nat]Absence check using state equation in 494 ms returned sat
[2020-05-12 00:04:42] [INFO ] [Nat]Added 42 Read/Feed constraints in 238 ms returned sat
[2020-05-12 00:04:42] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 125 ms.
[2020-05-12 00:04:49] [INFO ] Added : 219 causal constraints over 44 iterations in 6889 ms. Result :sat
[2020-05-12 00:04:49] [INFO ] [Real]Absence check using 7 positive place invariants in 22 ms returned sat
[2020-05-12 00:04:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:04:49] [INFO ] [Real]Absence check using state equation in 353 ms returned sat
[2020-05-12 00:04:49] [INFO ] [Real]Added 42 Read/Feed constraints in 55 ms returned sat
[2020-05-12 00:04:49] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:04:49] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2020-05-12 00:04:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:04:50] [INFO ] [Nat]Absence check using state equation in 453 ms returned sat
[2020-05-12 00:04:50] [INFO ] [Nat]Added 42 Read/Feed constraints in 401 ms returned sat
[2020-05-12 00:04:50] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 134 ms.
[2020-05-12 00:05:03] [INFO ] Added : 265 causal constraints over 53 iterations in 13322 ms. Result :sat
[2020-05-12 00:05:03] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2020-05-12 00:05:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:05:04] [INFO ] [Real]Absence check using state equation in 492 ms returned sat
[2020-05-12 00:05:04] [INFO ] [Real]Added 42 Read/Feed constraints in 63 ms returned sat
[2020-05-12 00:05:04] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:05:04] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2020-05-12 00:05:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:05:05] [INFO ] [Nat]Absence check using state equation in 824 ms returned sat
[2020-05-12 00:05:05] [INFO ] [Nat]Added 42 Read/Feed constraints in 228 ms returned sat
[2020-05-12 00:05:05] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 116 ms.
[2020-05-12 00:05:21] [INFO ] Added : 239 causal constraints over 50 iterations in 15849 ms. Result :sat
[2020-05-12 00:05:21] [INFO ] [Real]Absence check using 7 positive place invariants in 30 ms returned sat
[2020-05-12 00:05:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:05:22] [INFO ] [Real]Absence check using state equation in 560 ms returned sat
[2020-05-12 00:05:22] [INFO ] [Real]Added 42 Read/Feed constraints in 76 ms returned sat
[2020-05-12 00:05:22] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:05:22] [INFO ] [Nat]Absence check using 7 positive place invariants in 24 ms returned sat
[2020-05-12 00:05:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:05:22] [INFO ] [Nat]Absence check using state equation in 664 ms returned sat
[2020-05-12 00:05:23] [INFO ] [Nat]Added 42 Read/Feed constraints in 234 ms returned sat
[2020-05-12 00:05:23] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 104 ms.
[2020-05-12 00:05:32] [INFO ] Added : 217 causal constraints over 44 iterations in 8820 ms. Result :sat
[2020-05-12 00:05:32] [INFO ] [Real]Absence check using 7 positive place invariants in 40 ms returned sat
[2020-05-12 00:05:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:05:32] [INFO ] [Real]Absence check using state equation in 428 ms returned sat
[2020-05-12 00:05:32] [INFO ] [Real]Added 42 Read/Feed constraints in 41 ms returned sat
[2020-05-12 00:05:32] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:05:32] [INFO ] [Nat]Absence check using 7 positive place invariants in 29 ms returned sat
[2020-05-12 00:05:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:05:33] [INFO ] [Nat]Absence check using state equation in 438 ms returned sat
[2020-05-12 00:05:33] [INFO ] [Nat]Added 42 Read/Feed constraints in 424 ms returned sat
[2020-05-12 00:05:33] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 154 ms.
[2020-05-12 00:05:52] [INFO ] Added : 270 causal constraints over 54 iterations in 19097 ms. Result :unknown
[2020-05-12 00:05:52] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2020-05-12 00:05:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:05:53] [INFO ] [Real]Absence check using state equation in 482 ms returned sat
[2020-05-12 00:05:53] [INFO ] [Real]Added 42 Read/Feed constraints in 36 ms returned sat
[2020-05-12 00:05:53] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:05:53] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2020-05-12 00:05:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:05:53] [INFO ] [Nat]Absence check using state equation in 426 ms returned sat
[2020-05-12 00:05:54] [INFO ] [Nat]Added 42 Read/Feed constraints in 390 ms returned sat
[2020-05-12 00:05:54] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 118 ms.
[2020-05-12 00:06:13] [INFO ] Added : 265 causal constraints over 53 iterations in 19208 ms. Result :unknown
[2020-05-12 00:06:13] [INFO ] [Real]Absence check using 7 positive place invariants in 44 ms returned sat
[2020-05-12 00:06:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:06:13] [INFO ] [Real]Absence check using state equation in 577 ms returned sat
[2020-05-12 00:06:13] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:06:14] [INFO ] [Nat]Absence check using 7 positive place invariants in 51 ms returned sat
[2020-05-12 00:06:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:06:14] [INFO ] [Nat]Absence check using state equation in 444 ms returned sat
[2020-05-12 00:06:14] [INFO ] [Nat]Added 42 Read/Feed constraints in 236 ms returned sat
[2020-05-12 00:06:14] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 126 ms.
[2020-05-12 00:06:33] [INFO ] Added : 245 causal constraints over 49 iterations in 19240 ms. Result :unknown
[2020-05-12 00:06:34] [INFO ] [Real]Absence check using 7 positive place invariants in 16 ms returned sat
[2020-05-12 00:06:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:06:34] [INFO ] [Real]Absence check using state equation in 650 ms returned sat
[2020-05-12 00:06:34] [INFO ] [Real]Added 42 Read/Feed constraints in 60 ms returned sat
[2020-05-12 00:06:34] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 158 ms.
[2020-05-12 00:06:35] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:06:35] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2020-05-12 00:06:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:06:35] [INFO ] [Nat]Absence check using state equation in 362 ms returned sat
[2020-05-12 00:06:35] [INFO ] [Nat]Added 42 Read/Feed constraints in 357 ms returned sat
[2020-05-12 00:06:35] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 62 ms.
[2020-05-12 00:06:49] [INFO ] Added : 220 causal constraints over 44 iterations in 13527 ms. Result :sat
[2020-05-12 00:06:49] [INFO ] [Real]Absence check using 7 positive place invariants in 16 ms returned sat
[2020-05-12 00:06:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:06:50] [INFO ] [Real]Absence check using state equation in 714 ms returned sat
[2020-05-12 00:06:50] [INFO ] [Real]Added 42 Read/Feed constraints in 44 ms returned sat
[2020-05-12 00:06:50] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:06:50] [INFO ] [Nat]Absence check using 7 positive place invariants in 25 ms returned sat
[2020-05-12 00:06:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:06:50] [INFO ] [Nat]Absence check using state equation in 474 ms returned sat
[2020-05-12 00:06:50] [INFO ] [Nat]Added 42 Read/Feed constraints in 227 ms returned sat
[2020-05-12 00:06:51] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 68 ms.
[2020-05-12 00:07:01] [INFO ] Added : 235 causal constraints over 47 iterations in 10909 ms. Result :sat
[2020-05-12 00:07:02] [INFO ] [Real]Absence check using 7 positive place invariants in 33 ms returned sat
[2020-05-12 00:07:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:07:02] [INFO ] [Real]Absence check using state equation in 654 ms returned sat
[2020-05-12 00:07:02] [INFO ] [Real]Added 42 Read/Feed constraints in 37 ms returned sat
[2020-05-12 00:07:02] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 74 ms.
[2020-05-12 00:07:02] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:07:03] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2020-05-12 00:07:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:07:03] [INFO ] [Nat]Absence check using state equation in 470 ms returned sat
[2020-05-12 00:07:03] [INFO ] [Nat]Added 42 Read/Feed constraints in 238 ms returned sat
[2020-05-12 00:07:03] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 133 ms.
[2020-05-12 00:07:14] [INFO ] Added : 220 causal constraints over 44 iterations in 10496 ms. Result :sat
[2020-05-12 00:07:14] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2020-05-12 00:07:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:07:15] [INFO ] [Real]Absence check using state equation in 676 ms returned sat
[2020-05-12 00:07:15] [INFO ] [Real]Added 42 Read/Feed constraints in 75 ms returned sat
[2020-05-12 00:07:15] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:07:15] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2020-05-12 00:07:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:07:15] [INFO ] [Nat]Absence check using state equation in 546 ms returned sat
[2020-05-12 00:07:15] [INFO ] [Nat]Added 42 Read/Feed constraints in 260 ms returned sat
[2020-05-12 00:07:16] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 129 ms.
[2020-05-12 00:07:29] [INFO ] Added : 230 causal constraints over 46 iterations in 13979 ms. Result :sat
[2020-05-12 00:07:30] [INFO ] [Real]Absence check using 7 positive place invariants in 32 ms returned sat
[2020-05-12 00:07:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:07:30] [INFO ] [Real]Absence check using state equation in 626 ms returned sat
[2020-05-12 00:07:30] [INFO ] [Real]Added 42 Read/Feed constraints in 35 ms returned sat
[2020-05-12 00:07:30] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:07:30] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2020-05-12 00:07:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:07:31] [INFO ] [Nat]Absence check using state equation in 667 ms returned sat
[2020-05-12 00:07:31] [INFO ] [Nat]Added 42 Read/Feed constraints in 446 ms returned sat
[2020-05-12 00:07:32] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 110 ms.
[2020-05-12 00:07:50] [INFO ] Added : 260 causal constraints over 52 iterations in 18869 ms. Result :unknown
[2020-05-12 00:07:50] [INFO ] [Real]Absence check using 7 positive place invariants in 34 ms returned sat
[2020-05-12 00:07:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:07:51] [INFO ] [Real]Absence check using state equation in 602 ms returned sat
[2020-05-12 00:07:51] [INFO ] [Real]Added 42 Read/Feed constraints in 48 ms returned sat
[2020-05-12 00:07:51] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:07:51] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2020-05-12 00:07:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:07:52] [INFO ] [Nat]Absence check using state equation in 615 ms returned sat
[2020-05-12 00:07:52] [INFO ] [Nat]Added 42 Read/Feed constraints in 419 ms returned sat
[2020-05-12 00:07:52] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 115 ms.
[2020-05-12 00:08:08] [INFO ] Added : 270 causal constraints over 54 iterations in 16004 ms. Result :sat
[2020-05-12 00:08:08] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2020-05-12 00:08:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:08:09] [INFO ] [Real]Absence check using state equation in 431 ms returned sat
[2020-05-12 00:08:09] [INFO ] [Real]Added 42 Read/Feed constraints in 66 ms returned sat
[2020-05-12 00:08:09] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:08:09] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2020-05-12 00:08:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:08:09] [INFO ] [Nat]Absence check using state equation in 424 ms returned sat
[2020-05-12 00:08:09] [INFO ] [Nat]Added 42 Read/Feed constraints in 222 ms returned sat
[2020-05-12 00:08:10] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 117 ms.
[2020-05-12 00:08:20] [INFO ] Added : 205 causal constraints over 41 iterations in 10479 ms. Result :sat
[2020-05-12 00:08:20] [INFO ] [Real]Absence check using 7 positive place invariants in 25 ms returned sat
[2020-05-12 00:08:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:08:20] [INFO ] [Real]Absence check using state equation in 521 ms returned sat
[2020-05-12 00:08:20] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:08:21] [INFO ] [Nat]Absence check using 7 positive place invariants in 57 ms returned sat
[2020-05-12 00:08:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:08:21] [INFO ] [Nat]Absence check using state equation in 450 ms returned sat
[2020-05-12 00:08:21] [INFO ] [Nat]Added 42 Read/Feed constraints in 225 ms returned sat
[2020-05-12 00:08:21] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 173 ms.
[2020-05-12 00:08:33] [INFO ] Added : 248 causal constraints over 51 iterations in 11976 ms. Result :sat
[2020-05-12 00:08:33] [INFO ] [Real]Absence check using 7 positive place invariants in 21 ms returned sat
[2020-05-12 00:08:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:08:34] [INFO ] [Real]Absence check using state equation in 424 ms returned sat
[2020-05-12 00:08:34] [INFO ] [Real]Added 42 Read/Feed constraints in 71 ms returned sat
[2020-05-12 00:08:34] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:08:34] [INFO ] [Nat]Absence check using 7 positive place invariants in 45 ms returned sat
[2020-05-12 00:08:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:08:35] [INFO ] [Nat]Absence check using state equation in 662 ms returned sat
[2020-05-12 00:08:35] [INFO ] [Nat]Added 42 Read/Feed constraints in 455 ms returned sat
[2020-05-12 00:08:35] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 95 ms.
[2020-05-12 00:08:54] [INFO ] Added : 255 causal constraints over 51 iterations in 18806 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-12 00:08:54] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned sat
[2020-05-12 00:08:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:08:54] [INFO ] [Real]Absence check using state equation in 87 ms returned sat
[2020-05-12 00:08:54] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:08:54] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2020-05-12 00:08:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:08:54] [INFO ] [Nat]Absence check using state equation in 164 ms returned sat
[2020-05-12 00:08:54] [INFO ] [Nat]Added 42 Read/Feed constraints in 209 ms returned sat
[2020-05-12 00:08:55] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 92 ms.
[2020-05-12 00:09:13] [INFO ] Added : 259 causal constraints over 52 iterations in 18672 ms. Result :sat
[2020-05-12 00:09:13] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2020-05-12 00:09:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:09:13] [INFO ] [Real]Absence check using state equation in 155 ms returned sat
[2020-05-12 00:09:13] [INFO ] [Real]Added 42 Read/Feed constraints in 27 ms returned sat
[2020-05-12 00:09:13] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:09:13] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2020-05-12 00:09:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:09:14] [INFO ] [Nat]Absence check using state equation in 142 ms returned sat
[2020-05-12 00:09:14] [INFO ] [Nat]Added 42 Read/Feed constraints in 375 ms returned sat
[2020-05-12 00:09:14] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 86 ms.
[2020-05-12 00:09:26] [INFO ] Added : 220 causal constraints over 44 iterations in 11842 ms. Result :unknown
[2020-05-12 00:09:26] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned sat
[2020-05-12 00:09:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:09:26] [INFO ] [Real]Absence check using state equation in 75 ms returned sat
[2020-05-12 00:09:26] [INFO ] [Real]Added 42 Read/Feed constraints in 14 ms returned sat
[2020-05-12 00:09:26] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:09:26] [INFO ] [Nat]Absence check using 7 positive place invariants in 24 ms returned sat
[2020-05-12 00:09:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:09:26] [INFO ] [Nat]Absence check using state equation in 135 ms returned sat
[2020-05-12 00:09:26] [INFO ] [Nat]Added 42 Read/Feed constraints in 176 ms returned sat
[2020-05-12 00:09:26] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 141 ms.
[2020-05-12 00:09:38] [INFO ] Added : 238 causal constraints over 48 iterations in 12173 ms. Result :sat
[2020-05-12 00:09:39] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned sat
[2020-05-12 00:09:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:09:39] [INFO ] [Real]Absence check using state equation in 461 ms returned sat
[2020-05-12 00:09:39] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:09:39] [INFO ] [Nat]Absence check using 7 positive place invariants in 40 ms returned sat
[2020-05-12 00:09:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:09:39] [INFO ] [Nat]Absence check using state equation in 165 ms returned sat
[2020-05-12 00:09:40] [INFO ] [Nat]Added 42 Read/Feed constraints in 360 ms returned sat
[2020-05-12 00:09:40] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 146 ms.
[2020-05-12 00:09:55] [INFO ] Added : 245 causal constraints over 49 iterations in 15453 ms. Result :unknown
[2020-05-12 00:09:55] [INFO ] [Real]Absence check using 7 positive place invariants in 4 ms returned sat
[2020-05-12 00:09:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:09:55] [INFO ] [Real]Absence check using state equation in 86 ms returned sat
[2020-05-12 00:09:55] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:09:55] [INFO ] [Nat]Absence check using 7 positive place invariants in 25 ms returned sat
[2020-05-12 00:09:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:09:56] [INFO ] [Nat]Absence check using state equation in 621 ms returned sat
[2020-05-12 00:09:56] [INFO ] [Nat]Added 42 Read/Feed constraints in 449 ms returned sat
[2020-05-12 00:09:56] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 124 ms.
[2020-05-12 00:10:15] [INFO ] Added : 265 causal constraints over 53 iterations in 18889 ms. Result :unknown
[2020-05-12 00:10:15] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2020-05-12 00:10:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:10:16] [INFO ] [Real]Absence check using state equation in 892 ms returned sat
[2020-05-12 00:10:16] [INFO ] [Real]Added 42 Read/Feed constraints in 93 ms returned sat
[2020-05-12 00:10:16] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:10:16] [INFO ] [Nat]Absence check using 7 positive place invariants in 26 ms returned sat
[2020-05-12 00:10:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:10:17] [INFO ] [Nat]Absence check using state equation in 799 ms returned sat
[2020-05-12 00:10:17] [INFO ] [Nat]Added 42 Read/Feed constraints in 226 ms returned sat
[2020-05-12 00:10:17] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 118 ms.
[2020-05-12 00:10:29] [INFO ] Added : 215 causal constraints over 43 iterations in 11923 ms. Result :sat
[2020-05-12 00:10:29] [INFO ] [Real]Absence check using 7 positive place invariants in 20 ms returned sat
[2020-05-12 00:10:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:10:30] [INFO ] [Real]Absence check using state equation in 487 ms returned sat
[2020-05-12 00:10:30] [INFO ] [Real]Added 42 Read/Feed constraints in 67 ms returned sat
[2020-05-12 00:10:30] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:10:30] [INFO ] [Nat]Absence check using 7 positive place invariants in 20 ms returned sat
[2020-05-12 00:10:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:10:31] [INFO ] [Nat]Absence check using state equation in 677 ms returned sat
[2020-05-12 00:10:31] [INFO ] [Nat]Added 42 Read/Feed constraints in 390 ms returned sat
[2020-05-12 00:10:31] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 128 ms.
[2020-05-12 00:10:50] [INFO ] Added : 265 causal constraints over 53 iterations in 18893 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-12 00:10:50] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2020-05-12 00:10:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:10:50] [INFO ] [Real]Absence check using state equation in 342 ms returned sat
[2020-05-12 00:10:50] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:10:50] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2020-05-12 00:10:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:10:51] [INFO ] [Nat]Absence check using state equation in 381 ms returned sat
[2020-05-12 00:10:51] [INFO ] [Nat]Added 42 Read/Feed constraints in 336 ms returned sat
[2020-05-12 00:10:51] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 122 ms.
[2020-05-12 00:11:10] [INFO ] Added : 245 causal constraints over 49 iterations in 19272 ms. Result :unknown
[2020-05-12 00:11:10] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2020-05-12 00:11:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:11:11] [INFO ] [Real]Absence check using state equation in 432 ms returned sat
[2020-05-12 00:11:11] [INFO ] [Real]Added 42 Read/Feed constraints in 79 ms returned sat
[2020-05-12 00:11:11] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:11:11] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2020-05-12 00:11:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:11:11] [INFO ] [Nat]Absence check using state equation in 437 ms returned sat
[2020-05-12 00:11:12] [INFO ] [Nat]Added 42 Read/Feed constraints in 396 ms returned sat
[2020-05-12 00:11:12] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 122 ms.
[2020-05-12 00:11:31] [INFO ] Added : 260 causal constraints over 52 iterations in 19136 ms. Result :unknown
[2020-05-12 00:11:31] [INFO ] [Real]Absence check using 7 positive place invariants in 28 ms returned sat
[2020-05-12 00:11:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:11:32] [INFO ] [Real]Absence check using state equation in 557 ms returned sat
[2020-05-12 00:11:32] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:11:32] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2020-05-12 00:11:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:11:32] [INFO ] [Nat]Absence check using state equation in 444 ms returned sat
[2020-05-12 00:11:33] [INFO ] [Nat]Added 42 Read/Feed constraints in 356 ms returned sat
[2020-05-12 00:11:33] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 137 ms.
[2020-05-12 00:11:52] [INFO ] Added : 245 causal constraints over 49 iterations in 19161 ms. Result :unknown
[2020-05-12 00:11:52] [INFO ] [Real]Absence check using 7 positive place invariants in 34 ms returned sat
[2020-05-12 00:11:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:11:52] [INFO ] [Real]Absence check using state equation in 486 ms returned sat
[2020-05-12 00:11:52] [INFO ] [Real]Added 42 Read/Feed constraints in 85 ms returned sat
[2020-05-12 00:11:52] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:11:52] [INFO ] [Nat]Absence check using 7 positive place invariants in 36 ms returned sat
[2020-05-12 00:11:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:11:53] [INFO ] [Nat]Absence check using state equation in 280 ms returned sat
[2020-05-12 00:11:53] [INFO ] [Nat]Added 42 Read/Feed constraints in 257 ms returned sat
[2020-05-12 00:11:53] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 124 ms.
[2020-05-12 00:12:12] [INFO ] Added : 257 causal constraints over 53 iterations in 19395 ms. Result :unknown
[2020-05-12 00:12:13] [INFO ] [Real]Absence check using 7 positive place invariants in 27 ms returned sat
[2020-05-12 00:12:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:12:13] [INFO ] [Real]Absence check using state equation in 480 ms returned sat
[2020-05-12 00:12:13] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:12:13] [INFO ] [Nat]Absence check using 7 positive place invariants in 22 ms returned sat
[2020-05-12 00:12:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:12:14] [INFO ] [Nat]Absence check using state equation in 597 ms returned sat
[2020-05-12 00:12:14] [INFO ] [Nat]Added 42 Read/Feed constraints in 223 ms returned sat
[2020-05-12 00:12:14] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 128 ms.
[2020-05-12 00:12:31] [INFO ] Added : 255 causal constraints over 51 iterations in 16791 ms. Result :sat
[2020-05-12 00:12:31] [INFO ] [Real]Absence check using 7 positive place invariants in 24 ms returned sat
[2020-05-12 00:12:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:12:31] [INFO ] [Real]Absence check using state equation in 463 ms returned sat
[2020-05-12 00:12:31] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:12:31] [INFO ] [Nat]Absence check using 7 positive place invariants in 22 ms returned sat
[2020-05-12 00:12:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:12:32] [INFO ] [Nat]Absence check using state equation in 553 ms returned sat
[2020-05-12 00:12:32] [INFO ] [Nat]Added 42 Read/Feed constraints in 247 ms returned sat
[2020-05-12 00:12:32] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 127 ms.
[2020-05-12 00:12:46] [INFO ] Added : 239 causal constraints over 48 iterations in 14364 ms. Result :sat
[2020-05-12 00:12:47] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2020-05-12 00:12:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:12:47] [INFO ] [Real]Absence check using state equation in 474 ms returned sat
[2020-05-12 00:12:47] [INFO ] [Real]Added 42 Read/Feed constraints in 41 ms returned sat
[2020-05-12 00:12:47] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:12:47] [INFO ] [Nat]Absence check using 7 positive place invariants in 40 ms returned sat
[2020-05-12 00:12:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:12:48] [INFO ] [Nat]Absence check using state equation in 554 ms returned sat
[2020-05-12 00:12:48] [INFO ] [Nat]Added 42 Read/Feed constraints in 418 ms returned sat
[2020-05-12 00:12:48] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 137 ms.
[2020-05-12 00:13:07] [INFO ] Added : 240 causal constraints over 48 iterations in 18947 ms. Result :unknown
[2020-05-12 00:13:07] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned sat
[2020-05-12 00:13:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:13:08] [INFO ] [Real]Absence check using state equation in 598 ms returned sat
[2020-05-12 00:13:08] [INFO ] [Real]Added 42 Read/Feed constraints in 78 ms returned sat
[2020-05-12 00:13:08] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:13:08] [INFO ] [Nat]Absence check using 7 positive place invariants in 38 ms returned sat
[2020-05-12 00:13:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:13:08] [INFO ] [Nat]Absence check using state equation in 448 ms returned sat
[2020-05-12 00:13:09] [INFO ] [Nat]Added 42 Read/Feed constraints in 224 ms returned sat
[2020-05-12 00:13:09] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 129 ms.
[2020-05-12 00:13:24] [INFO ] Added : 235 causal constraints over 47 iterations in 15393 ms. Result :sat
[2020-05-12 00:13:24] [INFO ] [Real]Absence check using 7 positive place invariants in 29 ms returned sat
[2020-05-12 00:13:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:13:24] [INFO ] [Real]Absence check using state equation in 330 ms returned sat
[2020-05-12 00:13:25] [INFO ] [Real]Added 42 Read/Feed constraints in 52 ms returned sat
[2020-05-12 00:13:25] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:13:25] [INFO ] [Nat]Absence check using 7 positive place invariants in 36 ms returned sat
[2020-05-12 00:13:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:13:25] [INFO ] [Nat]Absence check using state equation in 628 ms returned sat
[2020-05-12 00:13:26] [INFO ] [Nat]Added 42 Read/Feed constraints in 429 ms returned sat
[2020-05-12 00:13:26] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 124 ms.
[2020-05-12 00:13:41] [INFO ] Added : 220 causal constraints over 44 iterations in 15567 ms. Result :unknown
[2020-05-12 00:13:41] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2020-05-12 00:13:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:13:42] [INFO ] [Real]Absence check using state equation in 603 ms returned sat
[2020-05-12 00:13:42] [INFO ] [Real]Added 42 Read/Feed constraints in 67 ms returned sat
[2020-05-12 00:13:42] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:13:42] [INFO ] [Nat]Absence check using 7 positive place invariants in 25 ms returned sat
[2020-05-12 00:13:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:13:42] [INFO ] [Nat]Absence check using state equation in 431 ms returned sat
[2020-05-12 00:13:43] [INFO ] [Nat]Added 42 Read/Feed constraints in 236 ms returned sat
[2020-05-12 00:13:43] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 135 ms.
[2020-05-12 00:14:02] [INFO ] Added : 230 causal constraints over 46 iterations in 19264 ms. Result :unknown
[2020-05-12 00:14:02] [INFO ] [Real]Absence check using 7 positive place invariants in 51 ms returned sat
[2020-05-12 00:14:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:14:03] [INFO ] [Real]Absence check using state equation in 423 ms returned sat
[2020-05-12 00:14:03] [INFO ] [Real]Added 42 Read/Feed constraints in 44 ms returned sat
[2020-05-12 00:14:03] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 138 ms.
[2020-05-12 00:14:03] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:14:03] [INFO ] [Nat]Absence check using 7 positive place invariants in 41 ms returned sat
[2020-05-12 00:14:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:14:03] [INFO ] [Nat]Absence check using state equation in 357 ms returned sat
[2020-05-12 00:14:04] [INFO ] [Nat]Added 42 Read/Feed constraints in 362 ms returned sat
[2020-05-12 00:14:04] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 78 ms.
[2020-05-12 00:14:21] [INFO ] Added : 250 causal constraints over 50 iterations in 17118 ms. Result :unknown
[2020-05-12 00:14:21] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2020-05-12 00:14:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:14:21] [INFO ] [Real]Absence check using state equation in 376 ms returned sat
[2020-05-12 00:14:21] [INFO ] [Real]Added 42 Read/Feed constraints in 41 ms returned sat
[2020-05-12 00:14:21] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:14:21] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2020-05-12 00:14:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:14:22] [INFO ] [Nat]Absence check using state equation in 509 ms returned sat
[2020-05-12 00:14:22] [INFO ] [Nat]Added 42 Read/Feed constraints in 447 ms returned sat
[2020-05-12 00:14:22] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 61 ms.
[2020-05-12 00:14:36] [INFO ] Added : 225 causal constraints over 45 iterations in 13417 ms. Result :sat
[2020-05-12 00:14:36] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2020-05-12 00:14:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:14:36] [INFO ] [Real]Absence check using state equation in 310 ms returned sat
[2020-05-12 00:14:36] [INFO ] [Real]Added 42 Read/Feed constraints in 38 ms returned sat
[2020-05-12 00:14:36] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:14:36] [INFO ] [Nat]Absence check using 7 positive place invariants in 62 ms returned sat
[2020-05-12 00:14:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:14:37] [INFO ] [Nat]Absence check using state equation in 354 ms returned sat
[2020-05-12 00:14:37] [INFO ] [Nat]Added 42 Read/Feed constraints in 223 ms returned sat
[2020-05-12 00:14:37] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 120 ms.
[2020-05-12 00:14:51] [INFO ] Added : 251 causal constraints over 51 iterations in 14647 ms. Result :sat
[2020-05-12 00:14:52] [INFO ] [Real]Absence check using 7 positive place invariants in 25 ms returned sat
[2020-05-12 00:14:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:14:52] [INFO ] [Real]Absence check using state equation in 421 ms returned sat
[2020-05-12 00:14:52] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:14:52] [INFO ] [Nat]Absence check using 7 positive place invariants in 45 ms returned sat
[2020-05-12 00:14:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:14:53] [INFO ] [Nat]Absence check using state equation in 596 ms returned sat
[2020-05-12 00:14:53] [INFO ] [Nat]Added 42 Read/Feed constraints in 236 ms returned sat
[2020-05-12 00:14:53] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 66 ms.
[2020-05-12 00:15:02] [INFO ] Added : 234 causal constraints over 47 iterations in 9251 ms. Result :sat
[2020-05-12 00:15:02] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2020-05-12 00:15:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:15:03] [INFO ] [Real]Absence check using state equation in 450 ms returned sat
[2020-05-12 00:15:03] [INFO ] [Real]Added 42 Read/Feed constraints in 54 ms returned sat
[2020-05-12 00:15:03] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:15:03] [INFO ] [Nat]Absence check using 7 positive place invariants in 29 ms returned sat
[2020-05-12 00:15:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:15:03] [INFO ] [Nat]Absence check using state equation in 386 ms returned sat
[2020-05-12 00:15:03] [INFO ] [Nat]Added 42 Read/Feed constraints in 238 ms returned sat
[2020-05-12 00:15:04] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 136 ms.
[2020-05-12 00:15:23] [INFO ] Added : 270 causal constraints over 54 iterations in 19324 ms. Result :sat
[2020-05-12 00:15:23] [INFO ] [Real]Absence check using 7 positive place invariants in 49 ms returned sat
[2020-05-12 00:15:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:15:23] [INFO ] [Real]Absence check using state equation in 492 ms returned sat
[2020-05-12 00:15:23] [INFO ] [Real]Added 42 Read/Feed constraints in 40 ms returned sat
[2020-05-12 00:15:23] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:15:24] [INFO ] [Nat]Absence check using 7 positive place invariants in 24 ms returned sat
[2020-05-12 00:15:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:15:24] [INFO ] [Nat]Absence check using state equation in 428 ms returned sat
[2020-05-12 00:15:24] [INFO ] [Nat]Added 42 Read/Feed constraints in 384 ms returned sat
[2020-05-12 00:15:24] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 67 ms.
[2020-05-12 00:15:32] [INFO ] Added : 220 causal constraints over 44 iterations in 8099 ms. Result :sat
[2020-05-12 00:15:33] [INFO ] [Real]Absence check using 7 positive place invariants in 20 ms returned sat
[2020-05-12 00:15:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:15:33] [INFO ] [Real]Absence check using state equation in 287 ms returned sat
[2020-05-12 00:15:33] [INFO ] [Real]Added 42 Read/Feed constraints in 56 ms returned sat
[2020-05-12 00:15:33] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:15:33] [INFO ] [Nat]Absence check using 7 positive place invariants in 39 ms returned sat
[2020-05-12 00:15:33] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:15:34] [INFO ] [Nat]Absence check using state equation in 542 ms returned sat
[2020-05-12 00:15:34] [INFO ] [Nat]Added 42 Read/Feed constraints in 394 ms returned sat
[2020-05-12 00:15:34] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 103 ms.
[2020-05-12 00:15:46] [INFO ] Added : 215 causal constraints over 43 iterations in 11905 ms. Result :sat
[2020-05-12 00:15:46] [INFO ] [Real]Absence check using 7 positive place invariants in 35 ms returned sat
[2020-05-12 00:15:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:15:47] [INFO ] [Real]Absence check using state equation in 491 ms returned sat
[2020-05-12 00:15:47] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:15:47] [INFO ] [Nat]Absence check using 7 positive place invariants in 21 ms returned sat
[2020-05-12 00:15:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:15:47] [INFO ] [Nat]Absence check using state equation in 496 ms returned sat
[2020-05-12 00:15:47] [INFO ] [Nat]Added 42 Read/Feed constraints in 332 ms returned sat
[2020-05-12 00:15:48] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 208 ms.
[2020-05-12 00:16:04] [INFO ] Added : 235 causal constraints over 47 iterations in 16894 ms. Result :sat
[2020-05-12 00:16:04] [INFO ] [Real]Absence check using 7 positive place invariants in 33 ms returned sat
[2020-05-12 00:16:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:16:05] [INFO ] [Real]Absence check using state equation in 471 ms returned sat
[2020-05-12 00:16:05] [INFO ] [Real]Added 42 Read/Feed constraints in 57 ms returned sat
[2020-05-12 00:16:05] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:16:05] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2020-05-12 00:16:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:16:06] [INFO ] [Nat]Absence check using state equation in 600 ms returned sat
[2020-05-12 00:16:06] [INFO ] [Nat]Added 42 Read/Feed constraints in 426 ms returned sat
[2020-05-12 00:16:06] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 100 ms.
[2020-05-12 00:16:25] [INFO ] Added : 265 causal constraints over 53 iterations in 18934 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-12 00:16:25] [INFO ] [Real]Absence check using 7 positive place invariants in 17 ms returned sat
[2020-05-12 00:16:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:16:25] [INFO ] [Real]Absence check using state equation in 485 ms returned sat
[2020-05-12 00:16:26] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:16:26] [INFO ] [Nat]Absence check using 7 positive place invariants in 20 ms returned sat
[2020-05-12 00:16:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:16:26] [INFO ] [Nat]Absence check using state equation in 368 ms returned sat
[2020-05-12 00:16:26] [INFO ] [Nat]Added 42 Read/Feed constraints in 258 ms returned sat
[2020-05-12 00:16:26] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 111 ms.
[2020-05-12 00:16:37] [INFO ] Added : 243 causal constraints over 50 iterations in 11122 ms. Result :sat
[2020-05-12 00:16:37] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2020-05-12 00:16:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:16:38] [INFO ] [Real]Absence check using state equation in 347 ms returned sat
[2020-05-12 00:16:38] [INFO ] [Real]Added 42 Read/Feed constraints in 70 ms returned sat
[2020-05-12 00:16:38] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:16:38] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2020-05-12 00:16:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:16:38] [INFO ] [Nat]Absence check using state equation in 334 ms returned sat
[2020-05-12 00:16:39] [INFO ] [Nat]Added 42 Read/Feed constraints in 351 ms returned sat
[2020-05-12 00:16:39] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 89 ms.
[2020-05-12 00:16:58] [INFO ] Added : 270 causal constraints over 54 iterations in 19281 ms. Result :unknown
[2020-05-12 00:16:58] [INFO ] [Real]Absence check using 7 positive place invariants in 70 ms returned sat
[2020-05-12 00:16:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:16:59] [INFO ] [Real]Absence check using state equation in 690 ms returned sat
[2020-05-12 00:16:59] [INFO ] [Real]Added 42 Read/Feed constraints in 62 ms returned sat
[2020-05-12 00:16:59] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 68 ms.
[2020-05-12 00:16:59] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:16:59] [INFO ] [Nat]Absence check using 7 positive place invariants in 24 ms returned sat
[2020-05-12 00:16:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:17:00] [INFO ] [Nat]Absence check using state equation in 563 ms returned sat
[2020-05-12 00:17:00] [INFO ] [Nat]Added 42 Read/Feed constraints in 234 ms returned sat
[2020-05-12 00:17:00] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 60 ms.
[2020-05-12 00:17:19] [INFO ] Added : 241 causal constraints over 51 iterations in 19163 ms. Result :unknown
[2020-05-12 00:17:19] [INFO ] [Real]Absence check using 7 positive place invariants in 26 ms returned sat
[2020-05-12 00:17:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:17:20] [INFO ] [Real]Absence check using state equation in 724 ms returned sat
[2020-05-12 00:17:20] [INFO ] [Real]Added 42 Read/Feed constraints in 45 ms returned sat
[2020-05-12 00:17:20] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 148 ms.
[2020-05-12 00:17:20] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:17:20] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2020-05-12 00:17:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:17:21] [INFO ] [Nat]Absence check using state equation in 787 ms returned sat
[2020-05-12 00:17:21] [INFO ] [Nat]Added 42 Read/Feed constraints in 369 ms returned sat
[2020-05-12 00:17:21] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 59 ms.
[2020-05-12 00:17:40] [INFO ] Added : 260 causal constraints over 52 iterations in 18853 ms. Result :unknown
[2020-05-12 00:17:40] [INFO ] [Real]Absence check using 7 positive place invariants in 38 ms returned sat
[2020-05-12 00:17:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:17:41] [INFO ] [Real]Absence check using state equation in 425 ms returned sat
[2020-05-12 00:17:41] [INFO ] [Real]Added 42 Read/Feed constraints in 44 ms returned sat
[2020-05-12 00:17:41] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 74 ms.
[2020-05-12 00:17:41] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:17:41] [INFO ] [Nat]Absence check using 7 positive place invariants in 34 ms returned sat
[2020-05-12 00:17:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:17:41] [INFO ] [Nat]Absence check using state equation in 485 ms returned sat
[2020-05-12 00:17:42] [INFO ] [Nat]Added 42 Read/Feed constraints in 233 ms returned sat
[2020-05-12 00:17:42] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 172 ms.
[2020-05-12 00:18:00] [INFO ] Added : 245 causal constraints over 49 iterations in 18841 ms. Result :sat
[2020-05-12 00:18:01] [INFO ] [Real]Absence check using 7 positive place invariants in 27 ms returned sat
[2020-05-12 00:18:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:18:01] [INFO ] [Real]Absence check using state equation in 384 ms returned sat
[2020-05-12 00:18:01] [INFO ] [Real]Added 42 Read/Feed constraints in 55 ms returned sat
[2020-05-12 00:18:01] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:18:01] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2020-05-12 00:18:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:18:01] [INFO ] [Nat]Absence check using state equation in 324 ms returned sat
[2020-05-12 00:18:02] [INFO ] [Nat]Added 42 Read/Feed constraints in 403 ms returned sat
[2020-05-12 00:18:02] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 144 ms.
[2020-05-12 00:18:21] [INFO ] Added : 260 causal constraints over 52 iterations in 19256 ms. Result :unknown
[2020-05-12 00:18:21] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2020-05-12 00:18:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:18:22] [INFO ] [Real]Absence check using state equation in 472 ms returned sat
[2020-05-12 00:18:22] [INFO ] [Real]Added 42 Read/Feed constraints in 88 ms returned sat
[2020-05-12 00:18:22] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:18:22] [INFO ] [Nat]Absence check using 7 positive place invariants in 24 ms returned sat
[2020-05-12 00:18:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:18:22] [INFO ] [Nat]Absence check using state equation in 449 ms returned sat
[2020-05-12 00:18:22] [INFO ] [Nat]Added 42 Read/Feed constraints in 225 ms returned sat
[2020-05-12 00:18:23] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 136 ms.
[2020-05-12 00:18:42] [INFO ] Added : 250 causal constraints over 50 iterations in 19282 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-12 00:18:42] [INFO ] [Real]Absence check using 7 positive place invariants in 35 ms returned sat
[2020-05-12 00:18:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:18:42] [INFO ] [Real]Absence check using state equation in 651 ms returned sat
[2020-05-12 00:18:42] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:18:43] [INFO ] [Nat]Absence check using 7 positive place invariants in 51 ms returned sat
[2020-05-12 00:18:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:18:43] [INFO ] [Nat]Absence check using state equation in 524 ms returned sat
[2020-05-12 00:18:44] [INFO ] [Nat]Added 42 Read/Feed constraints in 434 ms returned sat
[2020-05-12 00:18:44] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 181 ms.
[2020-05-12 00:18:56] [INFO ] Added : 215 causal constraints over 43 iterations in 12799 ms. Result :sat
[2020-05-12 00:18:56] [INFO ] [Real]Absence check using 7 positive place invariants in 18 ms returned sat
[2020-05-12 00:18:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:18:57] [INFO ] [Real]Absence check using state equation in 639 ms returned sat
[2020-05-12 00:18:57] [INFO ] [Real]Added 42 Read/Feed constraints in 41 ms returned sat
[2020-05-12 00:18:57] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:18:57] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2020-05-12 00:18:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:18:58] [INFO ] [Nat]Absence check using state equation in 386 ms returned sat
[2020-05-12 00:18:58] [INFO ] [Nat]Added 42 Read/Feed constraints in 269 ms returned sat
[2020-05-12 00:18:58] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 62 ms.
[2020-05-12 00:19:17] [INFO ] Added : 234 causal constraints over 50 iterations in 19285 ms. Result :unknown
[2020-05-12 00:19:17] [INFO ] [Real]Absence check using 7 positive place invariants in 36 ms returned sat
[2020-05-12 00:19:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:19:18] [INFO ] [Real]Absence check using state equation in 543 ms returned sat
[2020-05-12 00:19:18] [INFO ] [Real]Added 42 Read/Feed constraints in 33 ms returned sat
[2020-05-12 00:19:18] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:19:18] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2020-05-12 00:19:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:19:19] [INFO ] [Nat]Absence check using state equation in 686 ms returned sat
[2020-05-12 00:19:19] [INFO ] [Nat]Added 42 Read/Feed constraints in 452 ms returned sat
[2020-05-12 00:19:19] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 187 ms.
[2020-05-12 00:19:38] [INFO ] Added : 274 causal constraints over 55 iterations in 18842 ms. Result :unknown
[2020-05-12 00:19:38] [INFO ] [Real]Absence check using 7 positive place invariants in 15 ms returned sat
[2020-05-12 00:19:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:19:39] [INFO ] [Real]Absence check using state equation in 598 ms returned sat
[2020-05-12 00:19:39] [INFO ] [Real]Added 42 Read/Feed constraints in 49 ms returned sat
[2020-05-12 00:19:39] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:19:39] [INFO ] [Nat]Absence check using 7 positive place invariants in 28 ms returned sat
[2020-05-12 00:19:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:19:39] [INFO ] [Nat]Absence check using state equation in 406 ms returned sat
[2020-05-12 00:19:39] [INFO ] [Nat]Added 42 Read/Feed constraints in 253 ms returned sat
[2020-05-12 00:19:39] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 149 ms.
[2020-05-12 00:19:50] [INFO ] Added : 233 causal constraints over 48 iterations in 11115 ms. Result :sat
[2020-05-12 00:19:51] [INFO ] [Real]Absence check using 7 positive place invariants in 21 ms returned sat
[2020-05-12 00:19:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:19:51] [INFO ] [Real]Absence check using state equation in 415 ms returned sat
[2020-05-12 00:19:51] [INFO ] [Real]Added 42 Read/Feed constraints in 65 ms returned sat
[2020-05-12 00:19:51] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:19:51] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2020-05-12 00:19:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:19:52] [INFO ] [Nat]Absence check using state equation in 668 ms returned sat
[2020-05-12 00:19:52] [INFO ] [Nat]Added 42 Read/Feed constraints in 433 ms returned sat
[2020-05-12 00:19:52] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 138 ms.
[2020-05-12 00:20:10] [INFO ] Added : 270 causal constraints over 54 iterations in 17848 ms. Result :sat
[2020-05-12 00:20:10] [INFO ] [Real]Absence check using 7 positive place invariants in 35 ms returned sat
[2020-05-12 00:20:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:20:11] [INFO ] [Real]Absence check using state equation in 529 ms returned sat
[2020-05-12 00:20:11] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:20:11] [INFO ] [Nat]Absence check using 7 positive place invariants in 46 ms returned sat
[2020-05-12 00:20:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:20:11] [INFO ] [Nat]Absence check using state equation in 414 ms returned sat
[2020-05-12 00:20:12] [INFO ] [Nat]Added 42 Read/Feed constraints in 432 ms returned sat
[2020-05-12 00:20:13] [INFO ] Deduced a trap composed of 24 places in 1278 ms
[2020-05-12 00:20:13] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 1 trap constraints in 1300 ms
[2020-05-12 00:20:13] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2020-05-12 00:20:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:20:13] [INFO ] [Real]Absence check using state equation in 475 ms returned sat
[2020-05-12 00:20:13] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:20:13] [INFO ] [Nat]Absence check using 7 positive place invariants in 39 ms returned sat
[2020-05-12 00:20:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:20:14] [INFO ] [Nat]Absence check using state equation in 534 ms returned sat
[2020-05-12 00:20:14] [INFO ] [Nat]Added 42 Read/Feed constraints in 380 ms returned sat
[2020-05-12 00:20:14] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 60 ms.
[2020-05-12 00:20:33] [INFO ] Added : 266 causal constraints over 54 iterations in 19044 ms. Result :unknown
[2020-05-12 00:20:34] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2020-05-12 00:20:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:20:34] [INFO ] [Real]Absence check using state equation in 460 ms returned sat
[2020-05-12 00:20:34] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:20:34] [INFO ] [Nat]Absence check using 7 positive place invariants in 20 ms returned sat
[2020-05-12 00:20:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:20:34] [INFO ] [Nat]Absence check using state equation in 415 ms returned sat
[2020-05-12 00:20:35] [INFO ] [Nat]Added 42 Read/Feed constraints in 260 ms returned sat
[2020-05-12 00:20:35] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 180 ms.
[2020-05-12 00:20:46] [INFO ] Added : 215 causal constraints over 43 iterations in 10820 ms. Result :sat
[2020-05-12 00:20:46] [INFO ] [Real]Absence check using 7 positive place invariants in 34 ms returned sat
[2020-05-12 00:20:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:20:46] [INFO ] [Real]Absence check using state equation in 661 ms returned sat
[2020-05-12 00:20:46] [INFO ] [Real]Added 42 Read/Feed constraints in 41 ms returned sat
[2020-05-12 00:20:46] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:20:46] [INFO ] [Nat]Absence check using 7 positive place invariants in 21 ms returned sat
[2020-05-12 00:20:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:20:47] [INFO ] [Nat]Absence check using state equation in 540 ms returned sat
[2020-05-12 00:20:47] [INFO ] [Nat]Added 42 Read/Feed constraints in 383 ms returned sat
[2020-05-12 00:20:47] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 60 ms.
[2020-05-12 00:21:04] [INFO ] Added : 240 causal constraints over 48 iterations in 16642 ms. Result :sat
[2020-05-12 00:21:04] [INFO ] [Real]Absence check using 7 positive place invariants in 23 ms returned sat
[2020-05-12 00:21:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:21:05] [INFO ] [Real]Absence check using state equation in 630 ms returned sat
[2020-05-12 00:21:05] [INFO ] [Real]Added 42 Read/Feed constraints in 43 ms returned sat
[2020-05-12 00:21:05] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:21:05] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2020-05-12 00:21:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:21:05] [INFO ] [Nat]Absence check using state equation in 409 ms returned sat
[2020-05-12 00:21:05] [INFO ] [Nat]Added 42 Read/Feed constraints in 228 ms returned sat
[2020-05-12 00:21:06] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 64 ms.
[2020-05-12 00:21:19] [INFO ] Added : 240 causal constraints over 48 iterations in 13073 ms. Result :sat
[2020-05-12 00:21:19] [INFO ] [Real]Absence check using 7 positive place invariants in 35 ms returned sat
[2020-05-12 00:21:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:21:19] [INFO ] [Real]Absence check using state equation in 553 ms returned sat
[2020-05-12 00:21:19] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:21:19] [INFO ] [Nat]Absence check using 7 positive place invariants in 26 ms returned sat
[2020-05-12 00:21:19] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:21:20] [INFO ] [Nat]Absence check using state equation in 548 ms returned sat
[2020-05-12 00:21:20] [INFO ] [Nat]Added 42 Read/Feed constraints in 217 ms returned sat
[2020-05-12 00:21:21] [INFO ] Deduced a trap composed of 24 places in 1086 ms
[2020-05-12 00:21:21] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 1 trap constraints in 1098 ms
[2020-05-12 00:21:21] [INFO ] [Real]Absence check using 7 positive place invariants in 43 ms returned sat
[2020-05-12 00:21:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:21:22] [INFO ] [Real]Absence check using state equation in 546 ms returned sat
[2020-05-12 00:21:22] [INFO ] [Real]Added 42 Read/Feed constraints in 63 ms returned sat
[2020-05-12 00:21:22] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:21:22] [INFO ] [Nat]Absence check using 7 positive place invariants in 19 ms returned sat
[2020-05-12 00:21:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:21:23] [INFO ] [Nat]Absence check using state equation in 748 ms returned sat
[2020-05-12 00:21:23] [INFO ] [Nat]Added 42 Read/Feed constraints in 227 ms returned sat
[2020-05-12 00:21:23] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 79 ms.
[2020-05-12 00:21:36] [INFO ] Added : 242 causal constraints over 50 iterations in 13223 ms. Result :sat
[2020-05-12 00:21:36] [INFO ] [Real]Absence check using 7 positive place invariants in 33 ms returned sat
[2020-05-12 00:21:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:21:37] [INFO ] [Real]Absence check using state equation in 379 ms returned sat
[2020-05-12 00:21:37] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:21:37] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2020-05-12 00:21:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:21:37] [INFO ] [Nat]Absence check using state equation in 477 ms returned sat
[2020-05-12 00:21:38] [INFO ] [Nat]Added 42 Read/Feed constraints in 393 ms returned sat
[2020-05-12 00:21:38] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 124 ms.
[2020-05-12 00:21:53] [INFO ] Added : 235 causal constraints over 47 iterations in 14974 ms. Result :sat
[2020-05-12 00:21:53] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2020-05-12 00:21:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:21:53] [INFO ] [Real]Absence check using state equation in 534 ms returned sat
[2020-05-12 00:21:53] [INFO ] [Real]Added 42 Read/Feed constraints in 47 ms returned sat
[2020-05-12 00:21:53] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:21:53] [INFO ] [Nat]Absence check using 7 positive place invariants in 20 ms returned sat
[2020-05-12 00:21:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:21:54] [INFO ] [Nat]Absence check using state equation in 557 ms returned sat
[2020-05-12 00:21:54] [INFO ] [Nat]Added 42 Read/Feed constraints in 223 ms returned sat
[2020-05-12 00:21:54] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 150 ms.
[2020-05-12 00:22:11] [INFO ] Added : 255 causal constraints over 51 iterations in 17116 ms. Result :sat
[2020-05-12 00:22:11] [INFO ] [Real]Absence check using 7 positive place invariants in 39 ms returned sat
[2020-05-12 00:22:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:22:12] [INFO ] [Real]Absence check using state equation in 705 ms returned sat
[2020-05-12 00:22:12] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:22:12] [INFO ] [Nat]Absence check using 7 positive place invariants in 31 ms returned sat
[2020-05-12 00:22:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:22:13] [INFO ] [Nat]Absence check using state equation in 497 ms returned sat
[2020-05-12 00:22:13] [INFO ] [Nat]Added 42 Read/Feed constraints in 294 ms returned sat
[2020-05-12 00:22:13] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 140 ms.
[2020-05-12 00:22:28] [INFO ] Added : 240 causal constraints over 49 iterations in 15329 ms. Result :sat
[2020-05-12 00:22:28] [INFO ] [Real]Absence check using 7 positive place invariants in 37 ms returned sat
[2020-05-12 00:22:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:22:29] [INFO ] [Real]Absence check using state equation in 384 ms returned sat
[2020-05-12 00:22:29] [INFO ] [Real]Added 42 Read/Feed constraints in 30 ms returned sat
[2020-05-12 00:22:29] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:22:29] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2020-05-12 00:22:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:22:30] [INFO ] [Nat]Absence check using state equation in 692 ms returned sat
[2020-05-12 00:22:30] [INFO ] [Nat]Added 42 Read/Feed constraints in 251 ms returned sat
[2020-05-12 00:22:30] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 170 ms.
[2020-05-12 00:22:46] [INFO ] Added : 245 causal constraints over 49 iterations in 16510 ms. Result :sat
[2020-05-12 00:22:46] [INFO ] [Real]Absence check using 7 positive place invariants in 32 ms returned sat
[2020-05-12 00:22:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:22:47] [INFO ] [Real]Absence check using state equation in 484 ms returned sat
[2020-05-12 00:22:47] [INFO ] [Real]Added 42 Read/Feed constraints in 48 ms returned sat
[2020-05-12 00:22:47] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 164 ms.
[2020-05-12 00:22:47] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:22:47] [INFO ] [Nat]Absence check using 7 positive place invariants in 6 ms returned sat
[2020-05-12 00:22:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:22:48] [INFO ] [Nat]Absence check using state equation in 462 ms returned sat
[2020-05-12 00:22:48] [INFO ] [Nat]Added 42 Read/Feed constraints in 410 ms returned sat
[2020-05-12 00:22:48] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 59 ms.
[2020-05-12 00:23:07] [INFO ] Added : 274 causal constraints over 55 iterations in 19166 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-12 00:23:07] [INFO ] [Real]Absence check using 7 positive place invariants in 24 ms returned sat
[2020-05-12 00:23:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:23:08] [INFO ] [Real]Absence check using state equation in 611 ms returned sat
[2020-05-12 00:23:08] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:23:08] [INFO ] [Nat]Absence check using 7 positive place invariants in 20 ms returned sat
[2020-05-12 00:23:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:23:08] [INFO ] [Nat]Absence check using state equation in 355 ms returned sat
[2020-05-12 00:23:09] [INFO ] [Nat]Added 42 Read/Feed constraints in 376 ms returned sat
[2020-05-12 00:23:09] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 60 ms.
[2020-05-12 00:23:24] [INFO ] Added : 245 causal constraints over 49 iterations in 15565 ms. Result :sat
[2020-05-12 00:23:25] [INFO ] [Real]Absence check using 7 positive place invariants in 24 ms returned sat
[2020-05-12 00:23:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:23:25] [INFO ] [Real]Absence check using state equation in 510 ms returned sat
[2020-05-12 00:23:25] [INFO ] [Real]Added 42 Read/Feed constraints in 64 ms returned sat
[2020-05-12 00:23:25] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:23:25] [INFO ] [Nat]Absence check using 7 positive place invariants in 24 ms returned sat
[2020-05-12 00:23:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:23:26] [INFO ] [Nat]Absence check using state equation in 554 ms returned sat
[2020-05-12 00:23:26] [INFO ] [Nat]Added 42 Read/Feed constraints in 245 ms returned sat
[2020-05-12 00:23:26] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 69 ms.
[2020-05-12 00:23:43] [INFO ] Added : 247 causal constraints over 50 iterations in 16511 ms. Result :sat
[2020-05-12 00:23:43] [INFO ] [Real]Absence check using 7 positive place invariants in 46 ms returned sat
[2020-05-12 00:23:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:23:43] [INFO ] [Real]Absence check using state equation in 464 ms returned sat
[2020-05-12 00:23:43] [INFO ] [Real]Added 42 Read/Feed constraints in 69 ms returned sat
[2020-05-12 00:23:43] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:23:43] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2020-05-12 00:23:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:23:44] [INFO ] [Nat]Absence check using state equation in 455 ms returned sat
[2020-05-12 00:23:44] [INFO ] [Nat]Added 42 Read/Feed constraints in 275 ms returned sat
[2020-05-12 00:23:44] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 114 ms.
[2020-05-12 00:23:54] [INFO ] Added : 215 causal constraints over 43 iterations in 10099 ms. Result :sat
[2020-05-12 00:23:54] [INFO ] [Real]Absence check using 7 positive place invariants in 30 ms returned sat
[2020-05-12 00:23:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:23:55] [INFO ] [Real]Absence check using state equation in 892 ms returned sat
[2020-05-12 00:23:55] [INFO ] [Real]Added 42 Read/Feed constraints in 34 ms returned sat
[2020-05-12 00:23:55] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:23:55] [INFO ] [Nat]Absence check using 7 positive place invariants in 28 ms returned sat
[2020-05-12 00:23:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:23:56] [INFO ] [Nat]Absence check using state equation in 438 ms returned sat
[2020-05-12 00:23:56] [INFO ] [Nat]Added 42 Read/Feed constraints in 439 ms returned sat
[2020-05-12 00:23:56] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 62 ms.
[2020-05-12 00:24:13] [INFO ] Added : 255 causal constraints over 51 iterations in 16466 ms. Result :sat
[2020-05-12 00:24:13] [INFO ] [Real]Absence check using 7 positive place invariants in 39 ms returned sat
[2020-05-12 00:24:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:24:13] [INFO ] [Real]Absence check using state equation in 478 ms returned sat
[2020-05-12 00:24:13] [INFO ] [Real]Added 42 Read/Feed constraints in 96 ms returned sat
[2020-05-12 00:24:13] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:24:13] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2020-05-12 00:24:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:24:14] [INFO ] [Nat]Absence check using state equation in 471 ms returned sat
[2020-05-12 00:24:14] [INFO ] [Nat]Added 42 Read/Feed constraints in 252 ms returned sat
[2020-05-12 00:24:14] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 150 ms.
[2020-05-12 00:24:33] [INFO ] Added : 265 causal constraints over 53 iterations in 19253 ms. Result :unknown
[2020-05-12 00:24:33] [INFO ] [Real]Absence check using 7 positive place invariants in 18 ms returned sat
[2020-05-12 00:24:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:24:34] [INFO ] [Real]Absence check using state equation in 519 ms returned sat
[2020-05-12 00:24:34] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:24:34] [INFO ] [Nat]Absence check using 7 positive place invariants in 19 ms returned sat
[2020-05-12 00:24:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:24:35] [INFO ] [Nat]Absence check using state equation in 894 ms returned sat
[2020-05-12 00:24:35] [INFO ] [Nat]Added 42 Read/Feed constraints in 247 ms returned sat
[2020-05-12 00:24:35] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 133 ms.
[2020-05-12 00:24:45] [INFO ] Added : 224 causal constraints over 45 iterations in 10222 ms. Result :sat
[2020-05-12 00:24:46] [INFO ] [Real]Absence check using 7 positive place invariants in 35 ms returned sat
[2020-05-12 00:24:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:24:46] [INFO ] [Real]Absence check using state equation in 406 ms returned sat
[2020-05-12 00:24:46] [INFO ] [Real]Added 42 Read/Feed constraints in 49 ms returned sat
[2020-05-12 00:24:46] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:24:46] [INFO ] [Nat]Absence check using 7 positive place invariants in 53 ms returned sat
[2020-05-12 00:24:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:24:47] [INFO ] [Nat]Absence check using state equation in 453 ms returned sat
[2020-05-12 00:24:47] [INFO ] [Nat]Added 42 Read/Feed constraints in 415 ms returned sat
[2020-05-12 00:24:47] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 171 ms.
[2020-05-12 00:25:06] [INFO ] Added : 265 causal constraints over 53 iterations in 19078 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-12 00:25:06] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2020-05-12 00:25:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:25:07] [INFO ] [Real]Absence check using state equation in 500 ms returned sat
[2020-05-12 00:25:07] [INFO ] [Real]Added 42 Read/Feed constraints in 36 ms returned sat
[2020-05-12 00:25:07] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:25:07] [INFO ] [Nat]Absence check using 7 positive place invariants in 24 ms returned sat
[2020-05-12 00:25:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:25:07] [INFO ] [Nat]Absence check using state equation in 444 ms returned sat
[2020-05-12 00:25:08] [INFO ] [Nat]Added 42 Read/Feed constraints in 392 ms returned sat
[2020-05-12 00:25:08] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 134 ms.
[2020-05-12 00:25:20] [INFO ] Added : 220 causal constraints over 44 iterations in 12790 ms. Result :sat
[2020-05-12 00:25:20] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2020-05-12 00:25:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:25:21] [INFO ] [Real]Absence check using state equation in 366 ms returned sat
[2020-05-12 00:25:21] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:25:21] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2020-05-12 00:25:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:25:21] [INFO ] [Nat]Absence check using state equation in 555 ms returned sat
[2020-05-12 00:25:22] [INFO ] [Nat]Added 42 Read/Feed constraints in 237 ms returned sat
[2020-05-12 00:25:22] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 139 ms.
[2020-05-12 00:25:35] [INFO ] Added : 237 causal constraints over 48 iterations in 13098 ms. Result :sat
[2020-05-12 00:25:35] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2020-05-12 00:25:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:25:35] [INFO ] [Real]Absence check using state equation in 413 ms returned sat
[2020-05-12 00:25:35] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:25:35] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2020-05-12 00:25:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:25:36] [INFO ] [Nat]Absence check using state equation in 505 ms returned sat
[2020-05-12 00:25:36] [INFO ] [Nat]Added 42 Read/Feed constraints in 262 ms returned sat
[2020-05-12 00:25:36] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 139 ms.
[2020-05-12 00:25:55] [INFO ] Added : 275 causal constraints over 55 iterations in 19201 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-12 00:25:55] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2020-05-12 00:25:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:25:56] [INFO ] [Real]Absence check using state equation in 694 ms returned sat
[2020-05-12 00:25:56] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:25:56] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2020-05-12 00:25:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:25:56] [INFO ] [Nat]Absence check using state equation in 173 ms returned sat
[2020-05-12 00:25:57] [INFO ] [Nat]Added 42 Read/Feed constraints in 310 ms returned sat
[2020-05-12 00:25:57] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 110 ms.
[2020-05-12 00:26:09] [INFO ] Added : 245 causal constraints over 49 iterations in 12309 ms. Result :sat
[2020-05-12 00:26:09] [INFO ] [Real]Absence check using 7 positive place invariants in 53 ms returned sat
[2020-05-12 00:26:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:26:09] [INFO ] [Real]Absence check using state equation in 292 ms returned sat
[2020-05-12 00:26:09] [INFO ] [Real]Added 42 Read/Feed constraints in 32 ms returned sat
[2020-05-12 00:26:09] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:26:09] [INFO ] [Nat]Absence check using 7 positive place invariants in 40 ms returned sat
[2020-05-12 00:26:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:26:09] [INFO ] [Nat]Absence check using state equation in 90 ms returned sat
[2020-05-12 00:26:10] [INFO ] [Nat]Added 42 Read/Feed constraints in 178 ms returned sat
[2020-05-12 00:26:10] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 88 ms.
[2020-05-12 00:26:17] [INFO ] Added : 201 causal constraints over 44 iterations in 7164 ms. Result :sat
[2020-05-12 00:26:17] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned sat
[2020-05-12 00:26:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:26:17] [INFO ] [Real]Absence check using state equation in 87 ms returned sat
[2020-05-12 00:26:17] [INFO ] [Real]Added 42 Read/Feed constraints in 17 ms returned sat
[2020-05-12 00:26:17] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:26:17] [INFO ] [Nat]Absence check using 7 positive place invariants in 55 ms returned sat
[2020-05-12 00:26:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:26:18] [INFO ] [Nat]Absence check using state equation in 997 ms returned sat
[2020-05-12 00:26:18] [INFO ] [Nat]Added 42 Read/Feed constraints in 189 ms returned sat
[2020-05-12 00:26:18] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 116 ms.
[2020-05-12 00:26:37] [INFO ] Added : 255 causal constraints over 51 iterations in 18328 ms. Result :sat
[2020-05-12 00:26:37] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned sat
[2020-05-12 00:26:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:26:37] [INFO ] [Real]Absence check using state equation in 86 ms returned sat
[2020-05-12 00:26:37] [INFO ] [Real]Added 42 Read/Feed constraints in 17 ms returned sat
[2020-05-12 00:26:37] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:26:37] [INFO ] [Nat]Absence check using 7 positive place invariants in 30 ms returned sat
[2020-05-12 00:26:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:26:37] [INFO ] [Nat]Absence check using state equation in 288 ms returned sat
[2020-05-12 00:26:37] [INFO ] [Nat]Added 42 Read/Feed constraints in 370 ms returned sat
[2020-05-12 00:26:38] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 120 ms.
[2020-05-12 00:26:57] [INFO ] Added : 280 causal constraints over 56 iterations in 19337 ms. Result :unknown
[2020-05-12 00:26:57] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2020-05-12 00:26:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:26:57] [INFO ] [Real]Absence check using state equation in 464 ms returned sat
[2020-05-12 00:26:57] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:26:57] [INFO ] [Nat]Absence check using 7 positive place invariants in 21 ms returned sat
[2020-05-12 00:26:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:26:58] [INFO ] [Nat]Absence check using state equation in 561 ms returned sat
[2020-05-12 00:26:58] [INFO ] [Nat]Added 42 Read/Feed constraints in 235 ms returned sat
[2020-05-12 00:26:59] [INFO ] Deduced a trap composed of 24 places in 1275 ms
[2020-05-12 00:26:59] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 1 trap constraints in 1297 ms
[2020-05-12 00:27:00] [INFO ] [Real]Absence check using 7 positive place invariants in 37 ms returned sat
[2020-05-12 00:27:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:27:00] [INFO ] [Real]Absence check using state equation in 406 ms returned sat
[2020-05-12 00:27:00] [INFO ] [Real]Added 42 Read/Feed constraints in 73 ms returned sat
[2020-05-12 00:27:00] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:27:00] [INFO ] [Nat]Absence check using 7 positive place invariants in 30 ms returned sat
[2020-05-12 00:27:00] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:27:01] [INFO ] [Nat]Absence check using state equation in 610 ms returned sat
[2020-05-12 00:27:01] [INFO ] [Nat]Added 42 Read/Feed constraints in 269 ms returned sat
[2020-05-12 00:27:01] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 69 ms.
[2020-05-12 00:27:14] [INFO ] Added : 250 causal constraints over 50 iterations in 13078 ms. Result :sat
[2020-05-12 00:27:14] [INFO ] [Real]Absence check using 7 positive place invariants in 27 ms returned sat
[2020-05-12 00:27:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:27:15] [INFO ] [Real]Absence check using state equation in 522 ms returned sat
[2020-05-12 00:27:15] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:27:15] [INFO ] [Nat]Absence check using 7 positive place invariants in 33 ms returned sat
[2020-05-12 00:27:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:27:15] [INFO ] [Nat]Absence check using state equation in 378 ms returned sat
[2020-05-12 00:27:16] [INFO ] [Nat]Added 42 Read/Feed constraints in 396 ms returned sat
[2020-05-12 00:27:16] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 73 ms.
[2020-05-12 00:27:32] [INFO ] Added : 225 causal constraints over 45 iterations in 16119 ms. Result :sat
[2020-05-12 00:27:32] [INFO ] [Real]Absence check using 7 positive place invariants in 25 ms returned sat
[2020-05-12 00:27:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:27:32] [INFO ] [Real]Absence check using state equation in 483 ms returned sat
[2020-05-12 00:27:32] [INFO ] [Real]Added 42 Read/Feed constraints in 51 ms returned sat
[2020-05-12 00:27:32] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:27:32] [INFO ] [Nat]Absence check using 7 positive place invariants in 37 ms returned sat
[2020-05-12 00:27:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:27:33] [INFO ] [Nat]Absence check using state equation in 438 ms returned sat
[2020-05-12 00:27:33] [INFO ] [Nat]Added 42 Read/Feed constraints in 217 ms returned sat
[2020-05-12 00:27:33] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 146 ms.
[2020-05-12 00:27:50] [INFO ] Added : 250 causal constraints over 50 iterations in 16611 ms. Result :sat
[2020-05-12 00:27:50] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2020-05-12 00:27:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:27:50] [INFO ] [Real]Absence check using state equation in 387 ms returned sat
[2020-05-12 00:27:50] [INFO ] [Real]Added 42 Read/Feed constraints in 71 ms returned sat
[2020-05-12 00:27:50] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:27:50] [INFO ] [Nat]Absence check using 7 positive place invariants in 24 ms returned sat
[2020-05-12 00:27:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:27:51] [INFO ] [Nat]Absence check using state equation in 604 ms returned sat
[2020-05-12 00:27:51] [INFO ] [Nat]Added 42 Read/Feed constraints in 468 ms returned sat
[2020-05-12 00:27:52] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 121 ms.
[2020-05-12 00:28:10] [INFO ] Added : 274 causal constraints over 55 iterations in 18861 ms. Result :unknown
[2020-05-12 00:28:10] [INFO ] [Real]Absence check using 7 positive place invariants in 31 ms returned sat
[2020-05-12 00:28:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:28:11] [INFO ] [Real]Absence check using state equation in 369 ms returned sat
[2020-05-12 00:28:11] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:28:11] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2020-05-12 00:28:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:28:11] [INFO ] [Nat]Absence check using state equation in 454 ms returned sat
[2020-05-12 00:28:11] [INFO ] [Nat]Added 42 Read/Feed constraints in 233 ms returned sat
[2020-05-12 00:28:12] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 137 ms.
[2020-05-12 00:28:16] [INFO ] Added : 178 causal constraints over 36 iterations in 4190 ms. Result :sat
[2020-05-12 00:28:16] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2020-05-12 00:28:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:28:16] [INFO ] [Real]Absence check using state equation in 508 ms returned sat
[2020-05-12 00:28:16] [INFO ] [Real]Added 42 Read/Feed constraints in 17 ms returned sat
[2020-05-12 00:28:16] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:28:16] [INFO ] [Nat]Absence check using 7 positive place invariants in 28 ms returned sat
[2020-05-12 00:28:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:28:16] [INFO ] [Nat]Absence check using state equation in 146 ms returned sat
[2020-05-12 00:28:17] [INFO ] [Nat]Added 42 Read/Feed constraints in 397 ms returned sat
[2020-05-12 00:28:17] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 67 ms.
[2020-05-12 00:28:32] [INFO ] Added : 255 causal constraints over 51 iterations in 14982 ms. Result :sat
[2020-05-12 00:28:32] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2020-05-12 00:28:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:28:32] [INFO ] [Real]Absence check using state equation in 324 ms returned sat
[2020-05-12 00:28:32] [INFO ] [Real]Added 42 Read/Feed constraints in 56 ms returned sat
[2020-05-12 00:28:32] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:28:32] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2020-05-12 00:28:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:28:33] [INFO ] [Nat]Absence check using state equation in 553 ms returned sat
[2020-05-12 00:28:33] [INFO ] [Nat]Added 42 Read/Feed constraints in 424 ms returned sat
[2020-05-12 00:28:34] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 166 ms.
[2020-05-12 00:28:46] [INFO ] Added : 244 causal constraints over 50 iterations in 12487 ms. Result :sat
[2020-05-12 00:28:46] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2020-05-12 00:28:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:28:46] [INFO ] [Real]Absence check using state equation in 130 ms returned sat
[2020-05-12 00:28:46] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:28:46] [INFO ] [Nat]Absence check using 7 positive place invariants in 6 ms returned sat
[2020-05-12 00:28:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:28:47] [INFO ] [Nat]Absence check using state equation in 534 ms returned sat
[2020-05-12 00:28:47] [INFO ] [Nat]Added 42 Read/Feed constraints in 218 ms returned sat
[2020-05-12 00:28:47] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 111 ms.
[2020-05-12 00:28:54] [INFO ] Added : 205 causal constraints over 41 iterations in 6798 ms. Result :sat
[2020-05-12 00:28:54] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2020-05-12 00:28:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:28:54] [INFO ] [Real]Absence check using state equation in 428 ms returned sat
[2020-05-12 00:28:54] [INFO ] [Real]Added 42 Read/Feed constraints in 41 ms returned sat
[2020-05-12 00:28:54] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:28:54] [INFO ] [Nat]Absence check using 7 positive place invariants in 61 ms returned sat
[2020-05-12 00:28:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:28:55] [INFO ] [Nat]Absence check using state equation in 553 ms returned sat
[2020-05-12 00:28:55] [INFO ] [Nat]Added 42 Read/Feed constraints in 237 ms returned sat
[2020-05-12 00:28:55] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 134 ms.
[2020-05-12 00:29:13] [INFO ] Added : 255 causal constraints over 51 iterations in 17536 ms. Result :sat
[2020-05-12 00:29:13] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2020-05-12 00:29:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:29:14] [INFO ] [Real]Absence check using state equation in 709 ms returned sat
[2020-05-12 00:29:14] [INFO ] [Real]Added 42 Read/Feed constraints in 50 ms returned sat
[2020-05-12 00:29:14] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:29:14] [INFO ] [Nat]Absence check using 7 positive place invariants in 40 ms returned sat
[2020-05-12 00:29:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:29:14] [INFO ] [Nat]Absence check using state equation in 471 ms returned sat
[2020-05-12 00:29:15] [INFO ] [Nat]Added 42 Read/Feed constraints in 468 ms returned sat
[2020-05-12 00:29:15] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 128 ms.
[2020-05-12 00:29:27] [INFO ] Added : 215 causal constraints over 43 iterations in 12676 ms. Result :sat
[2020-05-12 00:29:27] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2020-05-12 00:29:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:29:28] [INFO ] [Real]Absence check using state equation in 510 ms returned sat
[2020-05-12 00:29:28] [INFO ] [Real]Added 42 Read/Feed constraints in 47 ms returned sat
[2020-05-12 00:29:28] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 163 ms.
[2020-05-12 00:29:28] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:29:28] [INFO ] [Nat]Absence check using 7 positive place invariants in 34 ms returned sat
[2020-05-12 00:29:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:29:29] [INFO ] [Nat]Absence check using state equation in 483 ms returned sat
[2020-05-12 00:29:29] [INFO ] [Nat]Added 42 Read/Feed constraints in 376 ms returned sat
[2020-05-12 00:29:29] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 61 ms.
[2020-05-12 00:29:44] [INFO ] Added : 250 causal constraints over 50 iterations in 14650 ms. Result :sat
[2020-05-12 00:29:44] [INFO ] [Real]Absence check using 7 positive place invariants in 26 ms returned sat
[2020-05-12 00:29:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:29:44] [INFO ] [Real]Absence check using state equation in 399 ms returned sat
[2020-05-12 00:29:44] [INFO ] [Real]Added 42 Read/Feed constraints in 59 ms returned sat
[2020-05-12 00:29:44] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:29:45] [INFO ] [Nat]Absence check using 7 positive place invariants in 28 ms returned sat
[2020-05-12 00:29:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:29:45] [INFO ] [Nat]Absence check using state equation in 318 ms returned sat
[2020-05-12 00:29:45] [INFO ] [Nat]Added 42 Read/Feed constraints in 398 ms returned sat
[2020-05-12 00:29:45] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 61 ms.
[2020-05-12 00:30:01] [INFO ] Added : 225 causal constraints over 45 iterations in 15779 ms. Result :sat
[2020-05-12 00:30:01] [INFO ] [Real]Absence check using 7 positive place invariants in 27 ms returned sat
[2020-05-12 00:30:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:30:01] [INFO ] [Real]Absence check using state equation in 332 ms returned sat
[2020-05-12 00:30:02] [INFO ] [Real]Added 42 Read/Feed constraints in 37 ms returned sat
[2020-05-12 00:30:02] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:30:02] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2020-05-12 00:30:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:30:02] [INFO ] [Nat]Absence check using state equation in 445 ms returned sat
[2020-05-12 00:30:02] [INFO ] [Nat]Added 42 Read/Feed constraints in 423 ms returned sat
[2020-05-12 00:30:03] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 61 ms.
[2020-05-12 00:30:22] [INFO ] Added : 238 causal constraints over 48 iterations in 19106 ms. Result :unknown
[2020-05-12 00:30:22] [INFO ] [Real]Absence check using 7 positive place invariants in 58 ms returned sat
[2020-05-12 00:30:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:30:22] [INFO ] [Real]Absence check using state equation in 679 ms returned sat
[2020-05-12 00:30:22] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:30:22] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2020-05-12 00:30:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:30:23] [INFO ] [Nat]Absence check using state equation in 443 ms returned sat
[2020-05-12 00:30:23] [INFO ] [Nat]Added 42 Read/Feed constraints in 250 ms returned sat
[2020-05-12 00:30:23] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 116 ms.
[2020-05-12 00:30:37] [INFO ] Added : 255 causal constraints over 51 iterations in 13632 ms. Result :sat
[2020-05-12 00:30:37] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2020-05-12 00:30:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:30:37] [INFO ] [Real]Absence check using state equation in 330 ms returned sat
[2020-05-12 00:30:37] [INFO ] [Real]Added 42 Read/Feed constraints in 41 ms returned sat
[2020-05-12 00:30:37] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:30:37] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2020-05-12 00:30:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:30:38] [INFO ] [Nat]Absence check using state equation in 426 ms returned sat
[2020-05-12 00:30:38] [INFO ] [Nat]Added 42 Read/Feed constraints in 423 ms returned sat
[2020-05-12 00:30:38] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 74 ms.
[2020-05-12 00:30:53] [INFO ] Added : 225 causal constraints over 45 iterations in 15230 ms. Result :sat
[2020-05-12 00:30:53] [INFO ] [Real]Absence check using 7 positive place invariants in 29 ms returned sat
[2020-05-12 00:30:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:30:54] [INFO ] [Real]Absence check using state equation in 326 ms returned sat
[2020-05-12 00:30:54] [INFO ] [Real]Added 42 Read/Feed constraints in 72 ms returned sat
[2020-05-12 00:30:54] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:30:54] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2020-05-12 00:30:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:30:54] [INFO ] [Nat]Absence check using state equation in 369 ms returned sat
[2020-05-12 00:30:55] [INFO ] [Nat]Added 42 Read/Feed constraints in 216 ms returned sat
[2020-05-12 00:30:55] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 150 ms.
[2020-05-12 00:31:04] [INFO ] Added : 234 causal constraints over 47 iterations in 9773 ms. Result :sat
[2020-05-12 00:31:04] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2020-05-12 00:31:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:31:05] [INFO ] [Real]Absence check using state equation in 405 ms returned sat
[2020-05-12 00:31:05] [INFO ] [Real]Added 42 Read/Feed constraints in 65 ms returned sat
[2020-05-12 00:31:05] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:31:05] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2020-05-12 00:31:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:31:06] [INFO ] [Nat]Absence check using state equation in 788 ms returned sat
[2020-05-12 00:31:06] [INFO ] [Nat]Added 42 Read/Feed constraints in 449 ms returned sat
[2020-05-12 00:31:06] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 73 ms.
[2020-05-12 00:31:25] [INFO ] Added : 260 causal constraints over 52 iterations in 18783 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-12 00:31:25] [INFO ] [Real]Absence check using 7 positive place invariants in 71 ms returned sat
[2020-05-12 00:31:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:31:26] [INFO ] [Real]Absence check using state equation in 422 ms returned sat
[2020-05-12 00:31:26] [INFO ] [Real]Added 42 Read/Feed constraints in 36 ms returned sat
[2020-05-12 00:31:26] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:31:26] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2020-05-12 00:31:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:31:26] [INFO ] [Nat]Absence check using state equation in 586 ms returned sat
[2020-05-12 00:31:27] [INFO ] [Nat]Added 42 Read/Feed constraints in 354 ms returned sat
[2020-05-12 00:31:27] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 124 ms.
[2020-05-12 00:31:34] [INFO ] Added : 204 causal constraints over 42 iterations in 7736 ms. Result :sat
[2020-05-12 00:31:34] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2020-05-12 00:31:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:31:35] [INFO ] [Real]Absence check using state equation in 527 ms returned sat
[2020-05-12 00:31:35] [INFO ] [Real]Added 42 Read/Feed constraints in 59 ms returned sat
[2020-05-12 00:31:35] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 63 ms.
[2020-05-12 00:31:35] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:31:35] [INFO ] [Nat]Absence check using 7 positive place invariants in 25 ms returned sat
[2020-05-12 00:31:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:31:36] [INFO ] [Nat]Absence check using state equation in 532 ms returned sat
[2020-05-12 00:31:36] [INFO ] [Nat]Added 42 Read/Feed constraints in 351 ms returned sat
[2020-05-12 00:31:36] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 68 ms.
[2020-05-12 00:31:55] [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 (=> (> t249 0) (and (or (and (> t9 0) (< o9 o249)) (and (> t250 0) (< o250 o249))) (or (and (> t0 0) (< o0 o249)) (and (> t1 0) (< o1 o249)) (and (> t2 0) (< o2 o249)) (and (> t3 0) (< o3 o249)) (and (> t4 0) (< o4 o249)) (and (> t5 0) (< o5 o249)) (and (> t6 0) (< o6 o249)) (and (> t7 0) (< o7 o249)) (and (> t8 0) (< o8 o249)) (and (> t9 0) (< o9 o249)) (and (> t10 0) (< o10 o249)) (and (> t11 0) (< o11 o249)) (and (> t12 0) (< o12 o249)) (and (> t13 0) (< o13 o249)) (and (> t14 0) (< o14 o249)) (and (> t15 0) (< o15 o249)) (and (> t16 0) (< o16 o249)) (and (> t17 0) (< o17 o249)) (and (> t18 0) (< o18 o249)) (and (> t19 0) (< o19 o249)) (and (> t20 0) (< o20 o249)) (and (> t21 0) (< o21 o249)) (and (> t22 0) (< o22 o249)) (and (> t23 0) (< o23 o249)) (and (> t24 0) (< o24 o249)) (and (> t25 0) (< o25 o249)) (and (> t26 0) (< o26 o249)) (and (> t27 0) (< o27 o249)) (and (> t28 0) (< o28 o249)) (and (> t29 0) (< o29 o249)) (and (> t30 0) (< o30 o249)) (and (> t31 0) (< o31 o249)) (and (> t32 0) (< o32 o249)) (and (> t33 0) (< o33 o249)) (and (> t34 0) (< o34 o249)) (and (> t35 0) (< o35 o249)) (and (> t36 0) (< o36 o249)) (and (> t37 0) (< o37 o249)) (and (> t38 0) (< o38 o249)) (and (> t39 0) (< o39 o249)) (and (> t40 0) (< o40 o249)) (and (> t41 0) (< o41 o249)) (and (> t42 0) (< o42 o249)) (and (> t43 0) (< o43 o249)) (and (> t44 0) (< o44 o249)) (and (> t45 0) (< o45 o249)) (and (> t46 0) (< o46 o249)) (and (> t47 0) (< o47 o249)) (and (> t48 0) (< o48 o249)) (and (> t49 0) (< o49 o249)) (and (> t50 0) (< o50 o249))) (or (and (> t156 0) (< o156 o249)) (and (> t158 0) (< o158 o249)) (and (> t160 0) (< o160 o249)) (and (> t162 0) (< o162 o249)) (and (> t164 0) (< o164 o249)) (and (> t166 0) (< o166 o249)) (and (> t168 0) (< o168 o249)) (and (> t170 0) (< o170 o249)) (and (> t172 0) (< o172 o249)) (and (> t174 0) (< o174 o249)) (and (> t176 0) (< o176 o249)) (and (> t178 0) (< o178 o249)) (and (> t180 0) (< o180 o249)) (and (> t182 0) (< o182 o249)) (and (> t184 0) (< o184 o249)) (and (> t186 0) (< o186 o249)) (and (> t188 0) (< o188 o249)) (and (> t190 0) (< o190 o249)) (and (> t192 0) (< o192 o249)) (and (> t194 0) (< o194 o249)))))") while checking expression at index 210
[2020-05-12 00:31:55] [INFO ] [Real]Absence check using 7 positive place invariants in 44 ms returned sat
[2020-05-12 00:31:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:31:56] [INFO ] [Real]Absence check using state equation in 420 ms returned sat
[2020-05-12 00:31:56] [INFO ] [Real]Added 42 Read/Feed constraints in 42 ms returned sat
[2020-05-12 00:31:56] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 76 ms.
[2020-05-12 00:31:56] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:31:56] [INFO ] [Nat]Absence check using 7 positive place invariants in 6 ms returned sat
[2020-05-12 00:31:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:31:56] [INFO ] [Nat]Absence check using state equation in 411 ms returned sat
[2020-05-12 00:31:57] [INFO ] [Nat]Added 42 Read/Feed constraints in 217 ms returned sat
[2020-05-12 00:31:57] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 62 ms.
[2020-05-12 00:32:03] [INFO ] Added : 199 causal constraints over 41 iterations in 5970 ms. Result :sat
[2020-05-12 00:32:03] [INFO ] [Real]Absence check using 7 positive place invariants in 22 ms returned sat
[2020-05-12 00:32:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:32:03] [INFO ] [Real]Absence check using state equation in 433 ms returned sat
[2020-05-12 00:32:03] [INFO ] [Real]Added 42 Read/Feed constraints in 43 ms returned sat
[2020-05-12 00:32:03] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:32:03] [INFO ] [Nat]Absence check using 7 positive place invariants in 33 ms returned sat
[2020-05-12 00:32:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:32:04] [INFO ] [Nat]Absence check using state equation in 514 ms returned sat
[2020-05-12 00:32:04] [INFO ] [Nat]Added 42 Read/Feed constraints in 352 ms returned sat
[2020-05-12 00:32:04] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 72 ms.
[2020-05-12 00:32:23] [INFO ] Added : 260 causal constraints over 52 iterations in 19028 ms. Result :(error "Failed to check-sat")
[2020-05-12 00:32:23] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2020-05-12 00:32:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:32:24] [INFO ] [Real]Absence check using state equation in 627 ms returned sat
[2020-05-12 00:32:24] [INFO ] [Real]Added 42 Read/Feed constraints in 75 ms returned sat
[2020-05-12 00:32:24] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:32:24] [INFO ] [Nat]Absence check using 7 positive place invariants in 39 ms returned sat
[2020-05-12 00:32:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:32:25] [INFO ] [Nat]Absence check using state equation in 428 ms returned sat
[2020-05-12 00:32:25] [INFO ] [Nat]Added 42 Read/Feed constraints in 424 ms returned sat
[2020-05-12 00:32:25] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 55 ms.
[2020-05-12 00:32:39] [INFO ] Added : 245 causal constraints over 49 iterations in 14444 ms. Result :sat
[2020-05-12 00:32:40] [INFO ] [Real]Absence check using 7 positive place invariants in 24 ms returned sat
[2020-05-12 00:32:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:32:40] [INFO ] [Real]Absence check using state equation in 675 ms returned sat
[2020-05-12 00:32:40] [INFO ] [Real]Added 42 Read/Feed constraints in 39 ms returned sat
[2020-05-12 00:32:40] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:32:40] [INFO ] [Nat]Absence check using 7 positive place invariants in 26 ms returned sat
[2020-05-12 00:32:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:32:41] [INFO ] [Nat]Absence check using state equation in 536 ms returned sat
[2020-05-12 00:32:41] [INFO ] [Nat]Added 42 Read/Feed constraints in 410 ms returned sat
[2020-05-12 00:32:41] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 65 ms.
[2020-05-12 00:33:00] [INFO ] Added : 270 causal constraints over 54 iterations in 19014 ms. Result :unknown
[2020-05-12 00:33:00] [INFO ] [Real]Absence check using 7 positive place invariants in 15 ms returned sat
[2020-05-12 00:33:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:33:01] [INFO ] [Real]Absence check using state equation in 505 ms returned sat
[2020-05-12 00:33:01] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:33:01] [INFO ] [Nat]Absence check using 7 positive place invariants in 70 ms returned sat
[2020-05-12 00:33:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:33:02] [INFO ] [Nat]Absence check using state equation in 701 ms returned sat
[2020-05-12 00:33:02] [INFO ] [Nat]Added 42 Read/Feed constraints in 243 ms returned sat
[2020-05-12 00:33:04] [INFO ] Deduced a trap composed of 24 places in 1690 ms
[2020-05-12 00:33:04] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 1 trap constraints in 1713 ms
[2020-05-12 00:33:04] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2020-05-12 00:33:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:33:04] [INFO ] [Real]Absence check using state equation in 796 ms returned sat
[2020-05-12 00:33:05] [INFO ] [Real]Added 42 Read/Feed constraints in 84 ms returned sat
[2020-05-12 00:33:05] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:33:05] [INFO ] [Nat]Absence check using 7 positive place invariants in 23 ms returned sat
[2020-05-12 00:33:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:33:05] [INFO ] [Nat]Absence check using state equation in 579 ms returned sat
[2020-05-12 00:33:06] [INFO ] [Nat]Added 42 Read/Feed constraints in 358 ms returned sat
[2020-05-12 00:33:06] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 148 ms.
[2020-05-12 00:33:20] [INFO ] Added : 262 causal constraints over 53 iterations in 14502 ms. Result :sat
[2020-05-12 00:33:20] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2020-05-12 00:33:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:33:21] [INFO ] [Real]Absence check using state equation in 572 ms returned sat
[2020-05-12 00:33:21] [INFO ] [Real]Added 42 Read/Feed constraints in 23 ms returned sat
[2020-05-12 00:33:21] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:33:21] [INFO ] [Nat]Absence check using 7 positive place invariants in 41 ms returned sat
[2020-05-12 00:33:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:33:21] [INFO ] [Nat]Absence check using state equation in 515 ms returned sat
[2020-05-12 00:33:22] [INFO ] [Nat]Added 42 Read/Feed constraints in 294 ms returned sat
[2020-05-12 00:33:22] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 60 ms.
[2020-05-12 00:33:39] [INFO ] Added : 235 causal constraints over 47 iterations in 16814 ms. Result :sat
[2020-05-12 00:33:39] [INFO ] [Real]Absence check using 7 positive place invariants in 26 ms returned sat
[2020-05-12 00:33:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:33:39] [INFO ] [Real]Absence check using state equation in 489 ms returned sat
[2020-05-12 00:33:39] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:33:39] [INFO ] [Nat]Absence check using 7 positive place invariants in 38 ms returned sat
[2020-05-12 00:33:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:33:40] [INFO ] [Nat]Absence check using state equation in 470 ms returned sat
[2020-05-12 00:33:40] [INFO ] [Nat]Added 42 Read/Feed constraints in 232 ms returned sat
[2020-05-12 00:33:40] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 74 ms.
[2020-05-12 00:33:49] [INFO ] Added : 229 causal constraints over 46 iterations in 8920 ms. Result :sat
[2020-05-12 00:33:49] [INFO ] [Real]Absence check using 7 positive place invariants in 21 ms returned sat
[2020-05-12 00:33:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:33:49] [INFO ] [Real]Absence check using state equation in 271 ms returned sat
[2020-05-12 00:33:49] [INFO ] [Real]Added 42 Read/Feed constraints in 30 ms returned sat
[2020-05-12 00:33:49] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:33:49] [INFO ] [Nat]Absence check using 7 positive place invariants in 25 ms returned sat
[2020-05-12 00:33:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:33:50] [INFO ] [Nat]Absence check using state equation in 685 ms returned sat
[2020-05-12 00:33:50] [INFO ] [Nat]Added 42 Read/Feed constraints in 433 ms returned sat
[2020-05-12 00:33:51] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 123 ms.
[2020-05-12 00:34:02] [INFO ] Added : 215 causal constraints over 43 iterations in 11773 ms. Result :sat
[2020-05-12 00:34:02] [INFO ] [Real]Absence check using 7 positive place invariants in 34 ms returned sat
[2020-05-12 00:34:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:34:03] [INFO ] [Real]Absence check using state equation in 548 ms returned sat
[2020-05-12 00:34:03] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:34:03] [INFO ] [Nat]Absence check using 7 positive place invariants in 33 ms returned sat
[2020-05-12 00:34:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:34:04] [INFO ] [Nat]Absence check using state equation in 666 ms returned sat
[2020-05-12 00:34:04] [INFO ] [Nat]Added 42 Read/Feed constraints in 253 ms returned sat
[2020-05-12 00:34:04] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 147 ms.
[2020-05-12 00:34:16] [INFO ] Added : 230 causal constraints over 46 iterations in 12300 ms. Result :sat
[2020-05-12 00:34:16] [INFO ] [Real]Absence check using 7 positive place invariants in 17 ms returned sat
[2020-05-12 00:34:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:34:17] [INFO ] [Real]Absence check using state equation in 542 ms returned sat
[2020-05-12 00:34:17] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:34:17] [INFO ] [Nat]Absence check using 7 positive place invariants in 31 ms returned sat
[2020-05-12 00:34:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:34:17] [INFO ] [Nat]Absence check using state equation in 543 ms returned sat
[2020-05-12 00:34:18] [INFO ] [Nat]Added 42 Read/Feed constraints in 240 ms returned sat
[2020-05-12 00:34:19] [INFO ] Deduced a trap composed of 24 places in 1714 ms
[2020-05-12 00:34:19] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 1 trap constraints in 1723 ms
[2020-05-12 00:34:19] [INFO ] [Real]Absence check using 7 positive place invariants in 19 ms returned sat
[2020-05-12 00:34:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:34:20] [INFO ] [Real]Absence check using state equation in 710 ms returned sat
[2020-05-12 00:34:20] [INFO ] [Real]Added 42 Read/Feed constraints in 42 ms returned sat
[2020-05-12 00:34:20] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:34:20] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2020-05-12 00:34:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:34:21] [INFO ] [Nat]Absence check using state equation in 532 ms returned sat
[2020-05-12 00:34:21] [INFO ] [Nat]Added 42 Read/Feed constraints in 363 ms returned sat
[2020-05-12 00:34:21] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 114 ms.
[2020-05-12 00:34:40] [INFO ] Added : 268 causal constraints over 55 iterations in 19048 ms. Result :unknown
[2020-05-12 00:34:40] [INFO ] [Real]Absence check using 7 positive place invariants in 19 ms returned sat
[2020-05-12 00:34:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:34:41] [INFO ] [Real]Absence check using state equation in 370 ms returned sat
[2020-05-12 00:34:41] [INFO ] [Real]Added 42 Read/Feed constraints in 54 ms returned sat
[2020-05-12 00:34:41] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:34:41] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2020-05-12 00:34:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:34:41] [INFO ] [Nat]Absence check using state equation in 331 ms returned sat
[2020-05-12 00:34:41] [INFO ] [Nat]Added 42 Read/Feed constraints in 224 ms returned sat
[2020-05-12 00:34:41] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 111 ms.
[2020-05-12 00:34:57] [INFO ] Added : 241 causal constraints over 49 iterations in 16017 ms. Result :sat
[2020-05-12 00:34:57] [INFO ] [Real]Absence check using 7 positive place invariants in 15 ms returned sat
[2020-05-12 00:34:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-12 00:34:58] [INFO ] [Real]Absence check using state equation in 458 ms returned sat
[2020-05-12 00:34:58] [INFO ] [Real]Added 42 Read/Feed constraints in 51 ms returned sat
[2020-05-12 00:34:58] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 117 ms.
[2020-05-12 00:34:58] [INFO ] Solution in real domain found non-integer solution.
[2020-05-12 00:34:58] [INFO ] [Nat]Absence check using 7 positive place invariants in 31 ms returned sat
[2020-05-12 00:34:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-12 00:34:59] [INFO ] [Nat]Absence check using state equation in 539 ms returned sat
[2020-05-12 00:34:59] [INFO ] [Nat]Added 42 Read/Feed constraints in 228 ms returned sat
[2020-05-12 00:34:59] [INFO ] Computed and/alt/rep : 2345/58949/287 causal constraints in 67 ms.

BK_TIME_CONFINEMENT_REACHED

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination CTLFireability -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is BridgeAndVehicles-PT-V50P50N20, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r021-oct2-158897699000388"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-PT-V50P50N20.tgz
mv BridgeAndVehicles-PT-V50P50N20 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;