About the Execution of ITS-LoLa for PolyORBNT-PT-S10J80
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15740.710 | 3600000.00 | 3740005.00 | 1325.90 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2020-input.r176-tajo-158987872300706.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is PolyORBNT-PT-S10J80, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r176-tajo-158987872300706
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 23M
-rw-r--r-- 1 mcc users 29K Apr 12 06:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Apr 12 06:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 58K Apr 11 07:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 202K Apr 11 07:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 12K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 44K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 331K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 1.1M Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 83K Apr 10 13:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 224K Apr 10 13:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 517K Apr 9 20:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.5M Apr 9 20:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 18K Apr 10 22:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 36K Apr 10 22:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 19M 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 PolyORBNT-PT-S10J80-00
FORMULA_NAME PolyORBNT-PT-S10J80-01
FORMULA_NAME PolyORBNT-PT-S10J80-02
FORMULA_NAME PolyORBNT-PT-S10J80-03
FORMULA_NAME PolyORBNT-PT-S10J80-04
FORMULA_NAME PolyORBNT-PT-S10J80-05
FORMULA_NAME PolyORBNT-PT-S10J80-06
FORMULA_NAME PolyORBNT-PT-S10J80-07
FORMULA_NAME PolyORBNT-PT-S10J80-08
FORMULA_NAME PolyORBNT-PT-S10J80-09
FORMULA_NAME PolyORBNT-PT-S10J80-10
FORMULA_NAME PolyORBNT-PT-S10J80-11
FORMULA_NAME PolyORBNT-PT-S10J80-12
FORMULA_NAME PolyORBNT-PT-S10J80-13
FORMULA_NAME PolyORBNT-PT-S10J80-14
FORMULA_NAME PolyORBNT-PT-S10J80-15
=== Now, execution of the tool begins
BK_START 1591177379288
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-03 09:43:00] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-03 09:43:00] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-03 09:43:01] [INFO ] Load time of PNML (sax parser for PT used): 657 ms
[2020-06-03 09:43:01] [INFO ] Transformed 1614 places.
[2020-06-03 09:43:01] [INFO ] Transformed 13500 transitions.
[2020-06-03 09:43:01] [INFO ] Parsed PT model containing 1614 places and 13500 transitions in 804 ms.
[2020-06-03 09:43:01] [INFO ] Reduced 9285 identical enabling conditions.
[2020-06-03 09:43:01] [INFO ] Reduced 780 identical enabling conditions.
[2020-06-03 09:43:01] [INFO ] Reduced 780 identical enabling conditions.
Ensure Unique test removed 10110 transitions
Reduce redundant transitions removed 10110 transitions.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 228 ms.
Working with output stream class java.io.PrintStream
Interrupted random walk after 97870 steps, including 5483 resets, run timeout after 30001 ms. (steps per millisecond=3 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 1, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0]
[2020-06-03 09:43:32] [INFO ] Flow matrix only has 3381 transitions (discarded 9 similar events)
// Phase 1: matrix 3381 rows 1614 cols
[2020-06-03 09:43:32] [INFO ] Computed 192 place invariants in 567 ms
[2020-06-03 09:43:33] [INFO ] [Real]Absence check using 159 positive place invariants in 209 ms returned sat
[2020-06-03 09:43:33] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 151 ms returned sat
[2020-06-03 09:43:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:43:47] [INFO ] [Real]Absence check using state equation in 13787 ms returned sat
[2020-06-03 09:43:47] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:43:47] [INFO ] [Nat]Absence check using 159 positive place invariants in 172 ms returned sat
[2020-06-03 09:43:47] [INFO ] [Nat]Absence check using 159 positive and 33 generalized place invariants in 151 ms returned sat
[2020-06-03 09:43:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:44:04] [INFO ] [Nat]Absence check using state equation in 16933 ms returned sat
[2020-06-03 09:44:04] [INFO ] State equation strengthened by 1 read => feed constraints.
[2020-06-03 09:44:07] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 09:44:07] [INFO ] [Nat]Added 1 Read/Feed constraints in 2599 ms returned (error "Solver has unexpectedly terminated")
[2020-06-03 09:44:07] [INFO ] [Real]Absence check using 159 positive place invariants in 109 ms returned sat
[2020-06-03 09:44:07] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 38 ms returned unsat
[2020-06-03 09:44:07] [INFO ] [Real]Absence check using 159 positive place invariants in 150 ms returned sat
[2020-06-03 09:44:07] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 09:44:08] [INFO ] [Real]Absence check using 159 positive place invariants in 117 ms returned sat
[2020-06-03 09:44:08] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 3 ms returned unsat
[2020-06-03 09:44:08] [INFO ] [Real]Absence check using 159 positive place invariants in 151 ms returned sat
[2020-06-03 09:44:08] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 09:44:08] [INFO ] [Real]Absence check using 159 positive place invariants in 107 ms returned sat
[2020-06-03 09:44:08] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 09:44:09] [INFO ] [Real]Absence check using 159 positive place invariants in 150 ms returned sat
[2020-06-03 09:44:09] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 120 ms returned sat
[2020-06-03 09:44:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:44:28] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 09:44:28] [INFO ] [Real]Absence check using state equation in 19599 ms returned (error "Failed to check-sat")
[2020-06-03 09:44:29] [INFO ] [Real]Absence check using 159 positive place invariants in 113 ms returned sat
[2020-06-03 09:44:29] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 09:44:29] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 09:44:29] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 09:44:30] [INFO ] [Real]Absence check using 159 positive place invariants in 377 ms returned sat
[2020-06-03 09:44:30] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 113 ms returned sat
[2020-06-03 09:44:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:44:44] [INFO ] [Real]Absence check using state equation in 14454 ms returned sat
[2020-06-03 09:44:44] [INFO ] [Real]Added 1 Read/Feed constraints in 44 ms returned sat
[2020-06-03 09:44:45] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 953 ms.
[2020-06-03 09:44:46] [INFO ] Added : 6 causal constraints over 2 iterations in 1834 ms. Result :sat
[2020-06-03 09:44:47] [INFO ] [Real]Absence check using 159 positive place invariants in 201 ms returned sat
[2020-06-03 09:44:47] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 25 ms returned unsat
[2020-06-03 09:44:47] [INFO ] [Real]Absence check using 159 positive place invariants in 165 ms returned sat
[2020-06-03 09:44:48] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 138 ms returned sat
[2020-06-03 09:44:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:45:01] [INFO ] [Real]Absence check using state equation in 13661 ms returned sat
[2020-06-03 09:45:01] [INFO ] [Real]Added 1 Read/Feed constraints in 100 ms returned sat
[2020-06-03 09:45:02] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 419 ms.
[2020-06-03 09:45:03] [INFO ] Added : 6 causal constraints over 2 iterations in 1064 ms. Result :sat
[2020-06-03 09:45:03] [INFO ] [Real]Absence check using 159 positive place invariants in 152 ms returned sat
[2020-06-03 09:45:03] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 15 ms returned unsat
[2020-06-03 09:45:03] [INFO ] [Real]Absence check using 159 positive place invariants in 118 ms returned sat
[2020-06-03 09:45:03] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 10 ms returned unsat
[2020-06-03 09:45:04] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 09:45:04] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 47 ms returned unsat
[2020-06-03 09:45:04] [INFO ] [Real]Absence check using 159 positive place invariants in 130 ms returned sat
[2020-06-03 09:45:04] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 09:45:05] [INFO ] [Real]Absence check using 159 positive place invariants in 210 ms returned sat
[2020-06-03 09:45:05] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 23 ms returned unsat
[2020-06-03 09:45:05] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 09:45:05] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 33 ms returned unsat
[2020-06-03 09:45:05] [INFO ] [Real]Absence check using 159 positive place invariants in 202 ms returned sat
[2020-06-03 09:45:05] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 98 ms returned sat
[2020-06-03 09:45:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:45:21] [INFO ] [Real]Absence check using state equation in 15302 ms returned sat
[2020-06-03 09:45:21] [INFO ] [Real]Added 1 Read/Feed constraints in 59 ms returned sat
[2020-06-03 09:45:21] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 454 ms.
[2020-06-03 09:45:23] [INFO ] Added : 6 causal constraints over 2 iterations in 1564 ms. Result :sat
[2020-06-03 09:45:23] [INFO ] [Real]Absence check using 159 positive place invariants in 153 ms returned sat
[2020-06-03 09:45:23] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 123 ms returned sat
[2020-06-03 09:45:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:45:37] [INFO ] [Real]Absence check using state equation in 14227 ms returned sat
[2020-06-03 09:45:38] [INFO ] [Real]Added 1 Read/Feed constraints in 61 ms returned sat
[2020-06-03 09:45:38] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 386 ms.
[2020-06-03 09:45:39] [INFO ] Added : 6 causal constraints over 2 iterations in 1346 ms. Result :sat
[2020-06-03 09:45:40] [INFO ] [Real]Absence check using 159 positive place invariants in 337 ms returned sat
[2020-06-03 09:45:40] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 18 ms returned unsat
[2020-06-03 09:45:40] [INFO ] [Real]Absence check using 159 positive place invariants in 155 ms returned sat
[2020-06-03 09:45:40] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 15 ms returned unsat
[2020-06-03 09:45:41] [INFO ] [Real]Absence check using 159 positive place invariants in 168 ms returned sat
[2020-06-03 09:45:41] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 6 ms returned unsat
[2020-06-03 09:45:41] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 09:45:41] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 90 ms returned unsat
[2020-06-03 09:45:41] [INFO ] [Real]Absence check using 159 positive place invariants in 202 ms returned sat
[2020-06-03 09:45:42] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 165 ms returned sat
[2020-06-03 09:45:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:45:57] [INFO ] [Real]Absence check using state equation in 15382 ms returned sat
[2020-06-03 09:45:57] [INFO ] [Real]Added 1 Read/Feed constraints in 70 ms returned sat
[2020-06-03 09:45:58] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 320 ms.
[2020-06-03 09:45:58] [INFO ] Added : 6 causal constraints over 2 iterations in 1091 ms. Result :sat
[2020-06-03 09:45:59] [INFO ] [Real]Absence check using 159 positive place invariants in 153 ms returned sat
[2020-06-03 09:45:59] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 09:45:59] [INFO ] [Real]Absence check using 159 positive place invariants in 150 ms returned sat
[2020-06-03 09:45:59] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 36 ms returned unsat
[2020-06-03 09:46:00] [INFO ] [Real]Absence check using 159 positive place invariants in 115 ms returned sat
[2020-06-03 09:46:00] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 89 ms returned sat
[2020-06-03 09:46:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:46:13] [INFO ] [Real]Absence check using state equation in 12858 ms returned sat
[2020-06-03 09:46:13] [INFO ] [Real]Added 1 Read/Feed constraints in 69 ms returned sat
[2020-06-03 09:46:13] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 345 ms.
[2020-06-03 09:46:14] [INFO ] Added : 6 causal constraints over 2 iterations in 1326 ms. Result :sat
[2020-06-03 09:46:15] [INFO ] [Real]Absence check using 159 positive place invariants in 151 ms returned sat
[2020-06-03 09:46:15] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 123 ms returned sat
[2020-06-03 09:46:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:46:31] [INFO ] [Real]Absence check using state equation in 16271 ms returned sat
[2020-06-03 09:46:31] [INFO ] [Real]Added 1 Read/Feed constraints in 65 ms returned sat
[2020-06-03 09:46:32] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 330 ms.
[2020-06-03 09:46:33] [INFO ] Added : 6 causal constraints over 2 iterations in 1592 ms. Result :sat
[2020-06-03 09:46:34] [INFO ] [Real]Absence check using 159 positive place invariants in 155 ms returned sat
[2020-06-03 09:46:34] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 50 ms returned unsat
[2020-06-03 09:46:34] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 09:46:34] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 09:46:34] [INFO ] [Real]Absence check using 159 positive place invariants in 153 ms returned sat
[2020-06-03 09:46:35] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 09:46:35] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 09:46:35] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 34 ms returned unsat
[2020-06-03 09:46:35] [INFO ] [Real]Absence check using 159 positive place invariants in 160 ms returned sat
[2020-06-03 09:46:35] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 77 ms returned unsat
[2020-06-03 09:46:36] [INFO ] [Real]Absence check using 159 positive place invariants in 155 ms returned sat
[2020-06-03 09:46:36] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 38 ms returned unsat
[2020-06-03 09:46:36] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 09:46:36] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 20 ms returned unsat
[2020-06-03 09:46:36] [INFO ] [Real]Absence check using 159 positive place invariants in 162 ms returned sat
[2020-06-03 09:46:36] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 129 ms returned sat
[2020-06-03 09:46:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:46:52] [INFO ] [Real]Absence check using state equation in 15610 ms returned sat
[2020-06-03 09:46:52] [INFO ] [Real]Added 1 Read/Feed constraints in 53 ms returned sat
[2020-06-03 09:46:53] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 310 ms.
[2020-06-03 09:46:53] [INFO ] Added : 6 causal constraints over 2 iterations in 985 ms. Result :sat
[2020-06-03 09:46:54] [INFO ] [Real]Absence check using 159 positive place invariants in 145 ms returned sat
[2020-06-03 09:46:54] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 119 ms returned sat
[2020-06-03 09:46:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:47:09] [INFO ] [Real]Absence check using state equation in 14807 ms returned sat
[2020-06-03 09:47:09] [INFO ] [Real]Added 1 Read/Feed constraints in 49 ms returned sat
[2020-06-03 09:47:10] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 438 ms.
[2020-06-03 09:47:11] [INFO ] Added : 6 causal constraints over 2 iterations in 1457 ms. Result :sat
[2020-06-03 09:47:11] [INFO ] [Real]Absence check using 159 positive place invariants in 169 ms returned sat
[2020-06-03 09:47:11] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 7 ms returned unsat
[2020-06-03 09:47:12] [INFO ] [Real]Absence check using 159 positive place invariants in 177 ms returned sat
[2020-06-03 09:47:12] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 137 ms returned sat
[2020-06-03 09:47:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:47:27] [INFO ] [Real]Absence check using state equation in 14784 ms returned sat
[2020-06-03 09:47:27] [INFO ] [Real]Added 1 Read/Feed constraints in 44 ms returned sat
[2020-06-03 09:47:27] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 325 ms.
[2020-06-03 09:47:28] [INFO ] Added : 6 causal constraints over 2 iterations in 1150 ms. Result :sat
[2020-06-03 09:47:29] [INFO ] [Real]Absence check using 159 positive place invariants in 168 ms returned sat
[2020-06-03 09:47:29] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 09:47:29] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 09:47:29] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 114 ms returned sat
[2020-06-03 09:47:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:47:45] [INFO ] [Real]Absence check using state equation in 16183 ms returned sat
[2020-06-03 09:47:45] [INFO ] [Real]Added 1 Read/Feed constraints in 56 ms returned sat
[2020-06-03 09:47:46] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 486 ms.
[2020-06-03 09:47:47] [INFO ] Added : 6 causal constraints over 2 iterations in 1440 ms. Result :sat
[2020-06-03 09:47:48] [INFO ] [Real]Absence check using 159 positive place invariants in 163 ms returned sat
[2020-06-03 09:47:48] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 8 ms returned unsat
[2020-06-03 09:47:48] [INFO ] [Real]Absence check using 159 positive place invariants in 215 ms returned sat
[2020-06-03 09:47:48] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 7 ms returned unsat
[2020-06-03 09:47:48] [INFO ] [Real]Absence check using 159 positive place invariants in 146 ms returned sat
[2020-06-03 09:47:48] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 09:47:49] [INFO ] [Real]Absence check using 159 positive place invariants in 156 ms returned sat
[2020-06-03 09:47:49] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 119 ms returned sat
[2020-06-03 09:47:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:48:05] [INFO ] [Real]Absence check using state equation in 15737 ms returned sat
[2020-06-03 09:48:05] [INFO ] [Real]Added 1 Read/Feed constraints in 45 ms returned sat
[2020-06-03 09:48:05] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 325 ms.
[2020-06-03 09:48:06] [INFO ] Added : 6 causal constraints over 2 iterations in 1102 ms. Result :sat
[2020-06-03 09:48:06] [INFO ] [Real]Absence check using 159 positive place invariants in 159 ms returned sat
[2020-06-03 09:48:07] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 09:48:07] [INFO ] [Real]Absence check using 159 positive place invariants in 151 ms returned sat
[2020-06-03 09:48:07] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 55 ms returned unsat
[2020-06-03 09:48:07] [INFO ] [Real]Absence check using 159 positive place invariants in 159 ms returned sat
[2020-06-03 09:48:07] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 12 ms returned unsat
[2020-06-03 09:48:08] [INFO ] [Real]Absence check using 159 positive place invariants in 150 ms returned sat
[2020-06-03 09:48:08] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 33 ms returned unsat
[2020-06-03 09:48:08] [INFO ] [Real]Absence check using 159 positive place invariants in 154 ms returned sat
[2020-06-03 09:48:08] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 120 ms returned sat
[2020-06-03 09:48:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:48:23] [INFO ] [Real]Absence check using state equation in 15300 ms returned sat
[2020-06-03 09:48:23] [INFO ] [Real]Added 1 Read/Feed constraints in 63 ms returned sat
[2020-06-03 09:48:24] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 357 ms.
[2020-06-03 09:48:25] [INFO ] Added : 6 causal constraints over 2 iterations in 1159 ms. Result :sat
[2020-06-03 09:48:25] [INFO ] [Real]Absence check using 159 positive place invariants in 164 ms returned sat
[2020-06-03 09:48:25] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 19 ms returned unsat
[2020-06-03 09:48:26] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 09:48:26] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 116 ms returned sat
[2020-06-03 09:48:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:48:40] [INFO ] [Real]Absence check using state equation in 13688 ms returned sat
[2020-06-03 09:48:40] [INFO ] [Real]Added 1 Read/Feed constraints in 67 ms returned sat
[2020-06-03 09:48:40] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 321 ms.
[2020-06-03 09:48:41] [INFO ] Added : 6 causal constraints over 2 iterations in 1041 ms. Result :sat
[2020-06-03 09:48:41] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 09:48:42] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 45 ms returned unsat
[2020-06-03 09:48:42] [INFO ] [Real]Absence check using 159 positive place invariants in 163 ms returned sat
[2020-06-03 09:48:42] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 09:48:42] [INFO ] [Real]Absence check using 159 positive place invariants in 151 ms returned sat
[2020-06-03 09:48:42] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 09:48:42] [INFO ] [Real]Absence check using 159 positive place invariants in 159 ms returned sat
[2020-06-03 09:48:42] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 09:48:43] [INFO ] [Real]Absence check using 159 positive place invariants in 117 ms returned sat
[2020-06-03 09:48:43] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 09:48:43] [INFO ] [Real]Absence check using 159 positive place invariants in 144 ms returned sat
[2020-06-03 09:48:43] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 81 ms returned unsat
[2020-06-03 09:48:43] [INFO ] [Real]Absence check using 159 positive place invariants in 159 ms returned sat
[2020-06-03 09:48:44] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 128 ms returned sat
[2020-06-03 09:48:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:48:58] [INFO ] [Real]Absence check using state equation in 14072 ms returned sat
[2020-06-03 09:48:58] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:48:58] [INFO ] [Nat]Absence check using 159 positive place invariants in 125 ms returned sat
[2020-06-03 09:48:58] [INFO ] [Nat]Absence check using 159 positive and 33 generalized place invariants in 79 ms returned sat
[2020-06-03 09:48:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:49:14] [INFO ] [Nat]Absence check using state equation in 15557 ms returned sat
[2020-06-03 09:49:14] [INFO ] [Nat]Added 1 Read/Feed constraints in 32 ms returned sat
[2020-06-03 09:49:14] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 314 ms.
[2020-06-03 09:49:15] [INFO ] Added : 6 causal constraints over 2 iterations in 849 ms. Result :sat
[2020-06-03 09:49:15] [INFO ] [Real]Absence check using 159 positive place invariants in 105 ms returned sat
[2020-06-03 09:49:15] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 10 ms returned unsat
[2020-06-03 09:49:15] [INFO ] [Real]Absence check using 159 positive place invariants in 156 ms returned sat
[2020-06-03 09:49:15] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 18 ms returned unsat
[2020-06-03 09:49:15] [INFO ] [Real]Absence check using 159 positive place invariants in 112 ms returned sat
[2020-06-03 09:49:16] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 85 ms returned sat
[2020-06-03 09:49:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:49:30] [INFO ] [Real]Absence check using state equation in 14081 ms returned sat
[2020-06-03 09:49:30] [INFO ] [Real]Added 1 Read/Feed constraints in 67 ms returned sat
[2020-06-03 09:49:30] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 490 ms.
[2020-06-03 09:49:31] [INFO ] Added : 6 causal constraints over 2 iterations in 1093 ms. Result :sat
[2020-06-03 09:49:32] [INFO ] [Real]Absence check using 159 positive place invariants in 114 ms returned sat
[2020-06-03 09:49:32] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 91 ms returned sat
[2020-06-03 09:49:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:49:46] [INFO ] [Real]Absence check using state equation in 14323 ms returned sat
[2020-06-03 09:49:46] [INFO ] [Real]Added 1 Read/Feed constraints in 63 ms returned sat
[2020-06-03 09:49:47] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 429 ms.
[2020-06-03 09:49:47] [INFO ] Added : 6 causal constraints over 2 iterations in 1068 ms. Result :sat
[2020-06-03 09:49:48] [INFO ] [Real]Absence check using 159 positive place invariants in 158 ms returned sat
[2020-06-03 09:49:48] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 131 ms returned sat
[2020-06-03 09:49:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:50:05] [INFO ] [Real]Absence check using state equation in 16578 ms returned sat
[2020-06-03 09:50:05] [INFO ] [Real]Added 1 Read/Feed constraints in 69 ms returned sat
[2020-06-03 09:50:05] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 271 ms.
[2020-06-03 09:50:08] [INFO ] Added : 5 causal constraints over 1 iterations in 2708 ms. Result :unknown
[2020-06-03 09:50:08] [INFO ] [Real]Absence check using 159 positive place invariants in 112 ms returned sat
[2020-06-03 09:50:08] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 10 ms returned unsat
[2020-06-03 09:50:08] [INFO ] [Real]Absence check using 159 positive place invariants in 161 ms returned sat
[2020-06-03 09:50:08] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 132 ms returned sat
[2020-06-03 09:50:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:50:20] [INFO ] [Real]Absence check using state equation in 11895 ms returned sat
[2020-06-03 09:50:20] [INFO ] [Real]Added 1 Read/Feed constraints in 76 ms returned sat
[2020-06-03 09:50:21] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 345 ms.
[2020-06-03 09:50:22] [INFO ] Added : 6 causal constraints over 2 iterations in 1332 ms. Result :sat
[2020-06-03 09:50:22] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 09:50:23] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 32 ms returned unsat
[2020-06-03 09:50:23] [INFO ] [Real]Absence check using 159 positive place invariants in 150 ms returned sat
[2020-06-03 09:50:23] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 09:50:23] [INFO ] [Real]Absence check using 159 positive place invariants in 157 ms returned sat
[2020-06-03 09:50:23] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 130 ms returned sat
[2020-06-03 09:50:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:50:38] [INFO ] [Real]Absence check using state equation in 14522 ms returned sat
[2020-06-03 09:50:38] [INFO ] [Real]Added 1 Read/Feed constraints in 59 ms returned sat
[2020-06-03 09:50:38] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 277 ms.
[2020-06-03 09:50:39] [INFO ] Added : 6 causal constraints over 2 iterations in 1079 ms. Result :sat
[2020-06-03 09:50:40] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 09:50:40] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 123 ms returned sat
[2020-06-03 09:50:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:50:55] [INFO ] [Real]Absence check using state equation in 14959 ms returned sat
[2020-06-03 09:50:55] [INFO ] [Real]Added 1 Read/Feed constraints in 65 ms returned sat
[2020-06-03 09:50:56] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 378 ms.
[2020-06-03 09:50:56] [INFO ] Added : 6 causal constraints over 2 iterations in 1120 ms. Result :sat
[2020-06-03 09:50:57] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 09:50:57] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 125 ms returned sat
[2020-06-03 09:50:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:51:11] [INFO ] [Real]Absence check using state equation in 13523 ms returned sat
[2020-06-03 09:51:11] [INFO ] [Real]Added 1 Read/Feed constraints in 65 ms returned sat
[2020-06-03 09:51:11] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 254 ms.
[2020-06-03 09:51:12] [INFO ] Added : 6 causal constraints over 2 iterations in 946 ms. Result :sat
[2020-06-03 09:51:12] [INFO ] [Real]Absence check using 159 positive place invariants in 152 ms returned sat
[2020-06-03 09:51:12] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 09:51:13] [INFO ] [Real]Absence check using 159 positive place invariants in 159 ms returned sat
[2020-06-03 09:51:13] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 09:51:13] [INFO ] [Real]Absence check using 159 positive place invariants in 152 ms returned sat
[2020-06-03 09:51:13] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 121 ms returned sat
[2020-06-03 09:51:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:51:30] [INFO ] [Real]Absence check using state equation in 16458 ms returned sat
[2020-06-03 09:51:30] [INFO ] [Real]Added 1 Read/Feed constraints in 52 ms returned sat
[2020-06-03 09:51:30] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 314 ms.
[2020-06-03 09:51:31] [INFO ] Added : 6 causal constraints over 2 iterations in 1059 ms. Result :sat
[2020-06-03 09:51:31] [INFO ] [Real]Absence check using 159 positive place invariants in 163 ms returned sat
[2020-06-03 09:51:32] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 09:51:32] [INFO ] [Real]Absence check using 159 positive place invariants in 152 ms returned sat
[2020-06-03 09:51:32] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 126 ms returned sat
[2020-06-03 09:51:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:51:46] [INFO ] [Real]Absence check using state equation in 13711 ms returned sat
[2020-06-03 09:51:46] [INFO ] [Real]Added 1 Read/Feed constraints in 76 ms returned sat
[2020-06-03 09:51:46] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 305 ms.
[2020-06-03 09:51:47] [INFO ] Added : 6 causal constraints over 2 iterations in 1025 ms. Result :sat
[2020-06-03 09:51:48] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 09:51:48] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 09:51:48] [INFO ] [Real]Absence check using 159 positive place invariants in 162 ms returned sat
[2020-06-03 09:51:48] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 120 ms returned sat
[2020-06-03 09:51:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:52:06] [INFO ] [Real]Absence check using state equation in 18275 ms returned sat
[2020-06-03 09:52:06] [INFO ] [Real]Added 1 Read/Feed constraints in 72 ms returned sat
[2020-06-03 09:52:07] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 378 ms.
[2020-06-03 09:52:08] [INFO ] Added : 6 causal constraints over 2 iterations in 1011 ms. Result :(error "Failed to check-sat")
[2020-06-03 09:52:08] [INFO ] [Real]Absence check using 159 positive place invariants in 150 ms returned sat
[2020-06-03 09:52:08] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 127 ms returned sat
[2020-06-03 09:52:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:52:23] [INFO ] [Real]Absence check using state equation in 14889 ms returned sat
[2020-06-03 09:52:23] [INFO ] [Real]Added 1 Read/Feed constraints in 71 ms returned sat
[2020-06-03 09:52:24] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 278 ms.
[2020-06-03 09:52:24] [INFO ] Added : 6 causal constraints over 2 iterations in 1049 ms. Result :sat
[2020-06-03 09:52:25] [INFO ] [Real]Absence check using 159 positive place invariants in 158 ms returned sat
[2020-06-03 09:52:25] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 09:52:25] [INFO ] [Real]Absence check using 159 positive place invariants in 168 ms returned sat
[2020-06-03 09:52:25] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 09:52:26] [INFO ] [Real]Absence check using 159 positive place invariants in 154 ms returned sat
[2020-06-03 09:52:26] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 123 ms returned sat
[2020-06-03 09:52:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:52:41] [INFO ] [Real]Absence check using state equation in 15651 ms returned sat
[2020-06-03 09:52:41] [INFO ] [Real]Added 1 Read/Feed constraints in 58 ms returned sat
[2020-06-03 09:52:42] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 418 ms.
[2020-06-03 09:52:44] [INFO ] Added : 6 causal constraints over 2 iterations in 2623 ms. Result :sat
[2020-06-03 09:52:45] [INFO ] [Real]Absence check using 159 positive place invariants in 160 ms returned sat
[2020-06-03 09:52:45] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 6 ms returned unsat
[2020-06-03 09:52:45] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 09:52:45] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 33 ms returned unsat
[2020-06-03 09:52:46] [INFO ] [Real]Absence check using 159 positive place invariants in 152 ms returned sat
[2020-06-03 09:52:46] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 09:52:46] [INFO ] [Real]Absence check using 159 positive place invariants in 152 ms returned sat
[2020-06-03 09:52:46] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 48 ms returned unsat
[2020-06-03 09:52:46] [INFO ] [Real]Absence check using 159 positive place invariants in 197 ms returned sat
[2020-06-03 09:52:46] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 15 ms returned unsat
[2020-06-03 09:52:47] [INFO ] [Real]Absence check using 159 positive place invariants in 152 ms returned sat
[2020-06-03 09:52:47] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 09:52:47] [INFO ] [Real]Absence check using 159 positive place invariants in 150 ms returned sat
[2020-06-03 09:52:47] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 12 ms returned unsat
[2020-06-03 09:52:47] [INFO ] [Real]Absence check using 159 positive place invariants in 155 ms returned sat
[2020-06-03 09:52:47] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 15 ms returned unsat
[2020-06-03 09:52:48] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 09:52:48] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 121 ms returned sat
[2020-06-03 09:52:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:53:02] [INFO ] [Real]Absence check using state equation in 14214 ms returned sat
[2020-06-03 09:53:02] [INFO ] [Real]Added 1 Read/Feed constraints in 59 ms returned sat
[2020-06-03 09:53:02] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 263 ms.
[2020-06-03 09:53:03] [INFO ] Added : 6 causal constraints over 2 iterations in 909 ms. Result :sat
[2020-06-03 09:53:04] [INFO ] [Real]Absence check using 159 positive place invariants in 150 ms returned sat
[2020-06-03 09:53:04] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 34 ms returned unsat
[2020-06-03 09:53:04] [INFO ] [Real]Absence check using 159 positive place invariants in 150 ms returned sat
[2020-06-03 09:53:04] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 09:53:04] [INFO ] [Real]Absence check using 159 positive place invariants in 156 ms returned sat
[2020-06-03 09:53:04] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 8 ms returned unsat
[2020-06-03 09:53:05] [INFO ] [Real]Absence check using 159 positive place invariants in 150 ms returned sat
[2020-06-03 09:53:05] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 120 ms returned sat
[2020-06-03 09:53:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:53:21] [INFO ] [Real]Absence check using state equation in 15820 ms returned sat
[2020-06-03 09:53:21] [INFO ] [Real]Added 1 Read/Feed constraints in 66 ms returned sat
[2020-06-03 09:53:21] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 318 ms.
[2020-06-03 09:53:22] [INFO ] Added : 6 causal constraints over 2 iterations in 1398 ms. Result :sat
[2020-06-03 09:53:23] [INFO ] [Real]Absence check using 159 positive place invariants in 173 ms returned sat
[2020-06-03 09:53:23] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 122 ms returned sat
[2020-06-03 09:53:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:53:38] [INFO ] [Real]Absence check using state equation in 14493 ms returned sat
[2020-06-03 09:53:38] [INFO ] [Real]Added 1 Read/Feed constraints in 81 ms returned sat
[2020-06-03 09:53:38] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 322 ms.
[2020-06-03 09:53:40] [INFO ] Added : 6 causal constraints over 2 iterations in 1814 ms. Result :sat
[2020-06-03 09:53:40] [INFO ] [Real]Absence check using 159 positive place invariants in 157 ms returned sat
[2020-06-03 09:53:40] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 15 ms returned unsat
[2020-06-03 09:53:41] [INFO ] [Real]Absence check using 159 positive place invariants in 150 ms returned sat
[2020-06-03 09:53:41] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 8 ms returned unsat
[2020-06-03 09:53:41] [INFO ] [Real]Absence check using 159 positive place invariants in 153 ms returned sat
[2020-06-03 09:53:41] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 48 ms returned unsat
[2020-06-03 09:53:41] [INFO ] [Real]Absence check using 159 positive place invariants in 114 ms returned sat
[2020-06-03 09:53:41] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 11 ms returned unsat
[2020-06-03 09:53:42] [INFO ] [Real]Absence check using 159 positive place invariants in 161 ms returned sat
[2020-06-03 09:53:42] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 128 ms returned sat
[2020-06-03 09:53:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:53:57] [INFO ] [Real]Absence check using state equation in 14856 ms returned sat
[2020-06-03 09:53:57] [INFO ] [Real]Added 1 Read/Feed constraints in 68 ms returned sat
[2020-06-03 09:53:57] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 390 ms.
[2020-06-03 09:53:58] [INFO ] Added : 6 causal constraints over 2 iterations in 1147 ms. Result :sat
[2020-06-03 09:53:59] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 09:53:59] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 120 ms returned sat
[2020-06-03 09:53:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:54:14] [INFO ] [Real]Absence check using state equation in 15458 ms returned sat
[2020-06-03 09:54:14] [INFO ] [Real]Added 1 Read/Feed constraints in 69 ms returned sat
[2020-06-03 09:54:15] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 321 ms.
[2020-06-03 09:54:16] [INFO ] Added : 6 causal constraints over 2 iterations in 1024 ms. Result :sat
[2020-06-03 09:54:16] [INFO ] [Real]Absence check using 159 positive place invariants in 150 ms returned sat
[2020-06-03 09:54:16] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 19 ms returned unsat
[2020-06-03 09:54:17] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 09:54:17] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 120 ms returned sat
[2020-06-03 09:54:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:54:36] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 09:54:36] [INFO ] [Real]Absence check using state equation in 19611 ms returned unknown
[2020-06-03 09:54:37] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 09:54:37] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 09:54:37] [INFO ] [Real]Absence check using 159 positive place invariants in 145 ms returned sat
[2020-06-03 09:54:37] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 115 ms returned sat
[2020-06-03 09:54:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:54:53] [INFO ] [Real]Absence check using state equation in 16458 ms returned sat
[2020-06-03 09:54:54] [INFO ] [Real]Added 1 Read/Feed constraints in 83 ms returned sat
[2020-06-03 09:54:54] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 368 ms.
[2020-06-03 09:54:55] [INFO ] Added : 6 causal constraints over 2 iterations in 1106 ms. Result :sat
[2020-06-03 09:54:55] [INFO ] [Real]Absence check using 159 positive place invariants in 166 ms returned sat
[2020-06-03 09:54:56] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 45 ms returned unsat
[2020-06-03 09:54:56] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 09:54:56] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 86 ms returned unsat
[2020-06-03 09:54:56] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 09:54:56] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 82 ms returned unsat
[2020-06-03 09:54:57] [INFO ] [Real]Absence check using 159 positive place invariants in 137 ms returned sat
[2020-06-03 09:54:57] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 12 ms returned unsat
[2020-06-03 09:54:57] [INFO ] [Real]Absence check using 159 positive place invariants in 110 ms returned sat
[2020-06-03 09:54:57] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 83 ms returned sat
[2020-06-03 09:54:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:55:11] [INFO ] [Real]Absence check using state equation in 14463 ms returned sat
[2020-06-03 09:55:12] [INFO ] [Real]Added 1 Read/Feed constraints in 71 ms returned sat
[2020-06-03 09:55:12] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 309 ms.
[2020-06-03 09:55:13] [INFO ] Added : 6 causal constraints over 2 iterations in 1042 ms. Result :sat
[2020-06-03 09:55:13] [INFO ] [Real]Absence check using 159 positive place invariants in 146 ms returned sat
[2020-06-03 09:55:13] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 112 ms returned sat
[2020-06-03 09:55:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:55:29] [INFO ] [Real]Absence check using state equation in 15351 ms returned sat
[2020-06-03 09:55:29] [INFO ] [Real]Added 1 Read/Feed constraints in 63 ms returned sat
[2020-06-03 09:55:29] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 348 ms.
[2020-06-03 09:55:30] [INFO ] Added : 6 causal constraints over 2 iterations in 1150 ms. Result :sat
[2020-06-03 09:55:31] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 09:55:31] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 32 ms returned unsat
[2020-06-03 09:55:31] [INFO ] [Real]Absence check using 159 positive place invariants in 151 ms returned sat
[2020-06-03 09:55:31] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 118 ms returned sat
[2020-06-03 09:55:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:55:45] [INFO ] [Real]Absence check using state equation in 14287 ms returned sat
[2020-06-03 09:55:46] [INFO ] [Real]Added 1 Read/Feed constraints in 62 ms returned sat
[2020-06-03 09:55:46] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 320 ms.
[2020-06-03 09:55:47] [INFO ] Added : 6 causal constraints over 2 iterations in 975 ms. Result :sat
[2020-06-03 09:55:47] [INFO ] [Real]Absence check using 159 positive place invariants in 169 ms returned sat
[2020-06-03 09:55:47] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 118 ms returned sat
[2020-06-03 09:55:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:56:07] [INFO ] [Real]Absence check using state equation in 19510 ms returned sat
[2020-06-03 09:56:07] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 09:56:07] [INFO ] [Real]Added 1 Read/Feed constraints in 9 ms returned (error "Failed to check-sat")
[2020-06-03 09:56:07] [INFO ] [Real]Absence check using 159 positive place invariants in 156 ms returned sat
[2020-06-03 09:56:07] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 09:56:08] [INFO ] [Real]Absence check using 159 positive place invariants in 142 ms returned sat
[2020-06-03 09:56:08] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 11 ms returned unsat
[2020-06-03 09:56:08] [INFO ] [Real]Absence check using 159 positive place invariants in 141 ms returned sat
[2020-06-03 09:56:08] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 09:56:08] [INFO ] [Real]Absence check using 159 positive place invariants in 115 ms returned sat
[2020-06-03 09:56:08] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 11 ms returned unsat
[2020-06-03 09:56:08] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 09:56:09] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 104 ms returned sat
[2020-06-03 09:56:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:56:24] [INFO ] [Real]Absence check using state equation in 15606 ms returned sat
[2020-06-03 09:56:24] [INFO ] [Real]Added 1 Read/Feed constraints in 54 ms returned sat
[2020-06-03 09:56:25] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 396 ms.
[2020-06-03 09:56:26] [INFO ] Added : 6 causal constraints over 2 iterations in 1415 ms. Result :sat
[2020-06-03 09:56:27] [INFO ] [Real]Absence check using 159 positive place invariants in 292 ms returned sat
[2020-06-03 09:56:27] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 26 ms returned unsat
[2020-06-03 09:56:27] [INFO ] [Real]Absence check using 159 positive place invariants in 121 ms returned sat
[2020-06-03 09:56:27] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 09:56:27] [INFO ] [Real]Absence check using 159 positive place invariants in 104 ms returned sat
[2020-06-03 09:56:27] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 23 ms returned unsat
[2020-06-03 09:56:28] [INFO ] [Real]Absence check using 159 positive place invariants in 145 ms returned sat
[2020-06-03 09:56:28] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 12 ms returned unsat
[2020-06-03 09:56:28] [INFO ] [Real]Absence check using 159 positive place invariants in 116 ms returned sat
[2020-06-03 09:56:28] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 84 ms returned sat
[2020-06-03 09:56:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:56:46] [INFO ] [Real]Absence check using state equation in 17861 ms returned sat
[2020-06-03 09:56:46] [INFO ] [Real]Added 1 Read/Feed constraints in 77 ms returned sat
[2020-06-03 09:56:46] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 341 ms.
[2020-06-03 09:56:47] [INFO ] Added : 6 causal constraints over 2 iterations in 1358 ms. Result :sat
[2020-06-03 09:56:48] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 09:56:48] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 18 ms returned unsat
[2020-06-03 09:56:48] [INFO ] [Real]Absence check using 159 positive place invariants in 217 ms returned sat
[2020-06-03 09:56:48] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 7 ms returned unsat
[2020-06-03 09:56:49] [INFO ] [Real]Absence check using 159 positive place invariants in 150 ms returned sat
[2020-06-03 09:56:49] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 09:56:49] [INFO ] [Real]Absence check using 159 positive place invariants in 157 ms returned sat
[2020-06-03 09:56:49] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 129 ms returned sat
[2020-06-03 09:56:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:57:05] [INFO ] [Real]Absence check using state equation in 15485 ms returned sat
[2020-06-03 09:57:05] [INFO ] [Real]Added 1 Read/Feed constraints in 35 ms returned sat
[2020-06-03 09:57:05] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 371 ms.
[2020-06-03 09:57:06] [INFO ] Added : 6 causal constraints over 2 iterations in 1381 ms. Result :sat
[2020-06-03 09:57:07] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 09:57:07] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 09:57:07] [INFO ] [Real]Absence check using 159 positive place invariants in 151 ms returned sat
[2020-06-03 09:57:07] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 09:57:07] [INFO ] [Real]Absence check using 159 positive place invariants in 143 ms returned sat
[2020-06-03 09:57:07] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 09:57:08] [INFO ] [Real]Absence check using 159 positive place invariants in 129 ms returned sat
[2020-06-03 09:57:08] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 38 ms returned unsat
[2020-06-03 09:57:08] [INFO ] [Real]Absence check using 159 positive place invariants in 143 ms returned sat
[2020-06-03 09:57:08] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 91 ms returned sat
[2020-06-03 09:57:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:57:22] [INFO ] [Real]Absence check using state equation in 13854 ms returned sat
[2020-06-03 09:57:22] [INFO ] [Real]Added 1 Read/Feed constraints in 64 ms returned sat
[2020-06-03 09:57:22] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 264 ms.
[2020-06-03 09:57:23] [INFO ] Added : 6 causal constraints over 2 iterations in 985 ms. Result :sat
[2020-06-03 09:57:24] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 09:57:24] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 09:57:24] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 09:57:24] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 15 ms returned unsat
[2020-06-03 09:57:24] [INFO ] [Real]Absence check using 159 positive place invariants in 175 ms returned sat
[2020-06-03 09:57:24] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 09:57:25] [INFO ] [Real]Absence check using 159 positive place invariants in 157 ms returned sat
[2020-06-03 09:57:25] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 119 ms returned sat
[2020-06-03 09:57:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:57:41] [INFO ] [Real]Absence check using state equation in 15878 ms returned sat
[2020-06-03 09:57:41] [INFO ] [Real]Added 1 Read/Feed constraints in 65 ms returned sat
[2020-06-03 09:57:42] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 493 ms.
[2020-06-03 09:57:42] [INFO ] Added : 6 causal constraints over 2 iterations in 1171 ms. Result :sat
[2020-06-03 09:57:43] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 09:57:43] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 116 ms returned sat
[2020-06-03 09:57:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:57:59] [INFO ] [Real]Absence check using state equation in 16530 ms returned sat
[2020-06-03 09:58:00] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 09:58:00] [INFO ] [Nat]Absence check using 159 positive place invariants in 143 ms returned sat
[2020-06-03 09:58:00] [INFO ] [Nat]Absence check using 159 positive and 33 generalized place invariants in 89 ms returned sat
[2020-06-03 09:58:00] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 09:58:17] [INFO ] [Nat]Absence check using state equation in 16644 ms returned sat
[2020-06-03 09:58:17] [INFO ] [Nat]Added 1 Read/Feed constraints in 31 ms returned sat
[2020-06-03 09:58:17] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 315 ms.
[2020-06-03 09:58:18] [INFO ] Added : 6 causal constraints over 2 iterations in 935 ms. Result :sat
[2020-06-03 09:58:18] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 09:58:18] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 125 ms returned sat
[2020-06-03 09:58:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:58:35] [INFO ] [Real]Absence check using state equation in 16469 ms returned sat
[2020-06-03 09:58:35] [INFO ] [Real]Added 1 Read/Feed constraints in 63 ms returned sat
[2020-06-03 09:58:35] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 421 ms.
[2020-06-03 09:58:36] [INFO ] Added : 6 causal constraints over 2 iterations in 1022 ms. Result :sat
[2020-06-03 09:58:37] [INFO ] [Real]Absence check using 159 positive place invariants in 159 ms returned sat
[2020-06-03 09:58:37] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 12 ms returned unsat
[2020-06-03 09:58:37] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 09:58:37] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 118 ms returned sat
[2020-06-03 09:58:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:58:49] [INFO ] [Real]Absence check using state equation in 12120 ms returned sat
[2020-06-03 09:58:49] [INFO ] [Real]Added 1 Read/Feed constraints in 67 ms returned sat
[2020-06-03 09:58:50] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 284 ms.
[2020-06-03 09:58:50] [INFO ] Added : 6 causal constraints over 2 iterations in 1045 ms. Result :sat
[2020-06-03 09:58:51] [INFO ] [Real]Absence check using 159 positive place invariants in 146 ms returned sat
[2020-06-03 09:58:51] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 09:58:51] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 09:58:51] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 119 ms returned sat
[2020-06-03 09:58:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:59:10] [INFO ] [Real]Absence check using state equation in 18614 ms returned sat
[2020-06-03 09:59:10] [INFO ] [Real]Added 1 Read/Feed constraints in 51 ms returned sat
[2020-06-03 09:59:11] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 400 ms.
[2020-06-03 09:59:11] [INFO ] Added : 5 causal constraints over 1 iterations in 687 ms. Result :unknown
[2020-06-03 09:59:11] [INFO ] [Real]Absence check using 159 positive place invariants in 168 ms returned sat
[2020-06-03 09:59:11] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 09:59:12] [INFO ] [Real]Absence check using 159 positive place invariants in 143 ms returned sat
[2020-06-03 09:59:12] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 09:59:12] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 09:59:12] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 43 ms returned unsat
[2020-06-03 09:59:12] [INFO ] [Real]Absence check using 159 positive place invariants in 150 ms returned sat
[2020-06-03 09:59:12] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 48 ms returned unsat
[2020-06-03 09:59:13] [INFO ] [Real]Absence check using 159 positive place invariants in 122 ms returned sat
[2020-06-03 09:59:13] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 11 ms returned unsat
[2020-06-03 09:59:13] [INFO ] [Real]Absence check using 159 positive place invariants in 153 ms returned sat
[2020-06-03 09:59:13] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 34 ms returned unsat
[2020-06-03 09:59:13] [INFO ] [Real]Absence check using 159 positive place invariants in 145 ms returned sat
[2020-06-03 09:59:13] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 114 ms returned sat
[2020-06-03 09:59:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:59:30] [INFO ] [Real]Absence check using state equation in 16534 ms returned sat
[2020-06-03 09:59:30] [INFO ] [Real]Added 1 Read/Feed constraints in 57 ms returned sat
[2020-06-03 09:59:31] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 349 ms.
[2020-06-03 09:59:32] [INFO ] Added : 6 causal constraints over 2 iterations in 1348 ms. Result :sat
[2020-06-03 09:59:32] [INFO ] [Real]Absence check using 159 positive place invariants in 154 ms returned sat
[2020-06-03 09:59:32] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 09:59:32] [INFO ] [Real]Absence check using 159 positive place invariants in 153 ms returned sat
[2020-06-03 09:59:32] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 09:59:33] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 09:59:33] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 09:59:33] [INFO ] [Real]Absence check using 159 positive place invariants in 120 ms returned sat
[2020-06-03 09:59:33] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 09:59:33] [INFO ] [Real]Absence check using 159 positive place invariants in 118 ms returned sat
[2020-06-03 09:59:33] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 26 ms returned unsat
[2020-06-03 09:59:34] [INFO ] [Real]Absence check using 159 positive place invariants in 145 ms returned sat
[2020-06-03 09:59:34] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 09:59:34] [INFO ] [Real]Absence check using 159 positive place invariants in 117 ms returned sat
[2020-06-03 09:59:34] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 09:59:34] [INFO ] [Real]Absence check using 159 positive place invariants in 156 ms returned sat
[2020-06-03 09:59:34] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 09:59:35] [INFO ] [Real]Absence check using 159 positive place invariants in 158 ms returned sat
[2020-06-03 09:59:35] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 09:59:35] [INFO ] [Real]Absence check using 159 positive place invariants in 160 ms returned sat
[2020-06-03 09:59:35] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 130 ms returned unsat
[2020-06-03 09:59:35] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 09:59:35] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 09:59:36] [INFO ] [Real]Absence check using 159 positive place invariants in 139 ms returned sat
[2020-06-03 09:59:36] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 102 ms returned sat
[2020-06-03 09:59:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 09:59:52] [INFO ] [Real]Absence check using state equation in 15961 ms returned sat
[2020-06-03 09:59:52] [INFO ] [Real]Added 1 Read/Feed constraints in 49 ms returned sat
[2020-06-03 09:59:52] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 321 ms.
[2020-06-03 09:59:53] [INFO ] Added : 6 causal constraints over 2 iterations in 1007 ms. Result :sat
[2020-06-03 09:59:54] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 09:59:54] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 09:59:54] [INFO ] [Real]Absence check using 159 positive place invariants in 154 ms returned sat
[2020-06-03 09:59:54] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 09:59:54] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 09:59:54] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 104 ms returned sat
[2020-06-03 09:59:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:00:10] [INFO ] [Real]Absence check using state equation in 16063 ms returned sat
[2020-06-03 10:00:11] [INFO ] [Real]Added 1 Read/Feed constraints in 66 ms returned sat
[2020-06-03 10:00:11] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 292 ms.
[2020-06-03 10:00:12] [INFO ] Added : 6 causal constraints over 2 iterations in 967 ms. Result :sat
[2020-06-03 10:00:12] [INFO ] [Real]Absence check using 159 positive place invariants in 151 ms returned sat
[2020-06-03 10:00:12] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 111 ms returned sat
[2020-06-03 10:00:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:00:29] [INFO ] [Real]Absence check using state equation in 16416 ms returned sat
[2020-06-03 10:00:29] [INFO ] [Real]Added 1 Read/Feed constraints in 37 ms returned sat
[2020-06-03 10:00:30] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 454 ms.
[2020-06-03 10:00:30] [INFO ] Added : 6 causal constraints over 2 iterations in 1323 ms. Result :sat
[2020-06-03 10:00:31] [INFO ] [Real]Absence check using 159 positive place invariants in 153 ms returned sat
[2020-06-03 10:00:31] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:00:31] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 10:00:31] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:00:32] [INFO ] [Real]Absence check using 159 positive place invariants in 129 ms returned sat
[2020-06-03 10:00:32] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 94 ms returned sat
[2020-06-03 10:00:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:00:49] [INFO ] [Real]Absence check using state equation in 17143 ms returned sat
[2020-06-03 10:00:49] [INFO ] [Real]Added 1 Read/Feed constraints in 64 ms returned sat
[2020-06-03 10:00:49] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 309 ms.
[2020-06-03 10:00:51] [INFO ] Added : 6 causal constraints over 2 iterations in 1413 ms. Result :sat
[2020-06-03 10:00:51] [INFO ] [Real]Absence check using 159 positive place invariants in 117 ms returned sat
[2020-06-03 10:00:51] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 92 ms returned sat
[2020-06-03 10:00:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:01:11] [INFO ] [Real]Absence check using state equation in 19578 ms returned sat
[2020-06-03 10:01:11] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 10:01:11] [INFO ] [Real]Added 1 Read/Feed constraints in 52 ms returned unknown
[2020-06-03 10:01:11] [INFO ] [Real]Absence check using 159 positive place invariants in 158 ms returned sat
[2020-06-03 10:01:11] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 76 ms returned unsat
[2020-06-03 10:01:12] [INFO ] [Real]Absence check using 159 positive place invariants in 155 ms returned sat
[2020-06-03 10:01:12] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 90 ms returned unsat
[2020-06-03 10:01:12] [INFO ] [Real]Absence check using 159 positive place invariants in 141 ms returned sat
[2020-06-03 10:01:12] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 35 ms returned unsat
[2020-06-03 10:01:12] [INFO ] [Real]Absence check using 159 positive place invariants in 107 ms returned sat
[2020-06-03 10:01:12] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 10 ms returned unsat
[2020-06-03 10:01:13] [INFO ] [Real]Absence check using 159 positive place invariants in 150 ms returned sat
[2020-06-03 10:01:13] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:01:13] [INFO ] [Real]Absence check using 159 positive place invariants in 119 ms returned sat
[2020-06-03 10:01:13] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 37 ms returned unsat
[2020-06-03 10:01:13] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 10:01:13] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:01:13] [INFO ] [Real]Absence check using 159 positive place invariants in 112 ms returned sat
[2020-06-03 10:01:13] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 92 ms returned sat
[2020-06-03 10:01:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:01:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 10:01:33] [INFO ] [Real]Absence check using state equation in 19663 ms returned (error "Failed to check-sat")
[2020-06-03 10:01:33] [INFO ] [Real]Absence check using 159 positive place invariants in 152 ms returned sat
[2020-06-03 10:01:34] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 17 ms returned unsat
[2020-06-03 10:01:34] [INFO ] [Real]Absence check using 159 positive place invariants in 131 ms returned sat
[2020-06-03 10:01:34] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 37 ms returned unsat
[2020-06-03 10:01:34] [INFO ] [Real]Absence check using 159 positive place invariants in 116 ms returned sat
[2020-06-03 10:01:34] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 94 ms returned sat
[2020-06-03 10:01:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:01:50] [INFO ] [Real]Absence check using state equation in 15785 ms returned sat
[2020-06-03 10:01:50] [INFO ] [Real]Added 1 Read/Feed constraints in 75 ms returned sat
[2020-06-03 10:01:51] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 330 ms.
[2020-06-03 10:01:51] [INFO ] Added : 6 causal constraints over 2 iterations in 1021 ms. Result :sat
[2020-06-03 10:01:52] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 10:01:52] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 118 ms returned sat
[2020-06-03 10:01:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:02:06] [INFO ] [Real]Absence check using state equation in 14263 ms returned sat
[2020-06-03 10:02:06] [INFO ] [Real]Added 1 Read/Feed constraints in 37 ms returned sat
[2020-06-03 10:02:07] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 341 ms.
[2020-06-03 10:02:08] [INFO ] Added : 6 causal constraints over 2 iterations in 1084 ms. Result :sat
[2020-06-03 10:02:08] [INFO ] [Real]Absence check using 159 positive place invariants in 153 ms returned sat
[2020-06-03 10:02:08] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:02:09] [INFO ] [Real]Absence check using 159 positive place invariants in 146 ms returned sat
[2020-06-03 10:02:09] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:02:09] [INFO ] [Real]Absence check using 159 positive place invariants in 150 ms returned sat
[2020-06-03 10:02:09] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 50 ms returned unsat
[2020-06-03 10:02:09] [INFO ] [Real]Absence check using 159 positive place invariants in 152 ms returned sat
[2020-06-03 10:02:09] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:02:10] [INFO ] [Real]Absence check using 159 positive place invariants in 145 ms returned sat
[2020-06-03 10:02:10] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:02:10] [INFO ] [Real]Absence check using 159 positive place invariants in 153 ms returned sat
[2020-06-03 10:02:10] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 6 ms returned unsat
[2020-06-03 10:02:10] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 10:02:10] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:02:11] [INFO ] [Real]Absence check using 159 positive place invariants in 151 ms returned sat
[2020-06-03 10:02:11] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 119 ms returned sat
[2020-06-03 10:02:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:02:25] [INFO ] [Real]Absence check using state equation in 13994 ms returned sat
[2020-06-03 10:02:25] [INFO ] [Real]Added 1 Read/Feed constraints in 77 ms returned sat
[2020-06-03 10:02:25] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 343 ms.
[2020-06-03 10:02:26] [INFO ] Added : 6 causal constraints over 2 iterations in 1059 ms. Result :sat
[2020-06-03 10:02:27] [INFO ] [Real]Absence check using 159 positive place invariants in 162 ms returned sat
[2020-06-03 10:02:27] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 57 ms returned unsat
[2020-06-03 10:02:27] [INFO ] [Real]Absence check using 159 positive place invariants in 158 ms returned sat
[2020-06-03 10:02:27] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 19 ms returned unsat
[2020-06-03 10:02:28] [INFO ] [Real]Absence check using 159 positive place invariants in 155 ms returned sat
[2020-06-03 10:02:28] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:02:28] [INFO ] [Real]Absence check using 159 positive place invariants in 154 ms returned sat
[2020-06-03 10:02:28] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 17 ms returned unsat
[2020-06-03 10:02:28] [INFO ] [Real]Absence check using 159 positive place invariants in 135 ms returned sat
[2020-06-03 10:02:28] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 25 ms returned unsat
[2020-06-03 10:02:29] [INFO ] [Real]Absence check using 159 positive place invariants in 118 ms returned sat
[2020-06-03 10:02:29] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 26 ms returned unsat
[2020-06-03 10:02:29] [INFO ] [Real]Absence check using 159 positive place invariants in 154 ms returned sat
[2020-06-03 10:02:29] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 17 ms returned unsat
[2020-06-03 10:02:29] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 10:02:29] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 10:02:29] [INFO ] [Real]Absence check using 159 positive place invariants in 151 ms returned sat
[2020-06-03 10:02:29] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:02:30] [INFO ] [Real]Absence check using 159 positive place invariants in 116 ms returned sat
[2020-06-03 10:02:30] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 3 ms returned unsat
[2020-06-03 10:02:30] [INFO ] [Real]Absence check using 159 positive place invariants in 115 ms returned sat
[2020-06-03 10:02:30] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 95 ms returned sat
[2020-06-03 10:02:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:02:44] [INFO ] [Real]Absence check using state equation in 13797 ms returned sat
[2020-06-03 10:02:44] [INFO ] [Real]Added 1 Read/Feed constraints in 65 ms returned sat
[2020-06-03 10:02:44] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 284 ms.
[2020-06-03 10:02:45] [INFO ] Added : 6 causal constraints over 2 iterations in 1102 ms. Result :sat
[2020-06-03 10:02:46] [INFO ] [Real]Absence check using 159 positive place invariants in 152 ms returned sat
[2020-06-03 10:02:46] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:02:46] [INFO ] [Real]Absence check using 159 positive place invariants in 150 ms returned sat
[2020-06-03 10:02:46] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 6 ms returned unsat
[2020-06-03 10:02:46] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 10:02:46] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:02:47] [INFO ] [Real]Absence check using 159 positive place invariants in 110 ms returned sat
[2020-06-03 10:02:47] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 10 ms returned unsat
[2020-06-03 10:02:47] [INFO ] [Real]Absence check using 159 positive place invariants in 165 ms returned sat
[2020-06-03 10:02:47] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 120 ms returned sat
[2020-06-03 10:02:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:03:04] [INFO ] [Real]Absence check using state equation in 16451 ms returned sat
[2020-06-03 10:03:04] [INFO ] [Real]Added 1 Read/Feed constraints in 63 ms returned sat
[2020-06-03 10:03:04] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 379 ms.
[2020-06-03 10:03:05] [INFO ] Added : 6 causal constraints over 2 iterations in 1175 ms. Result :sat
[2020-06-03 10:03:06] [INFO ] [Real]Absence check using 159 positive place invariants in 169 ms returned sat
[2020-06-03 10:03:06] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 125 ms returned sat
[2020-06-03 10:03:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:03:21] [INFO ] [Real]Absence check using state equation in 15075 ms returned sat
[2020-06-03 10:03:21] [INFO ] [Real]Added 1 Read/Feed constraints in 53 ms returned sat
[2020-06-03 10:03:22] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 320 ms.
[2020-06-03 10:03:22] [INFO ] Added : 6 causal constraints over 2 iterations in 994 ms. Result :sat
[2020-06-03 10:03:23] [INFO ] [Real]Absence check using 159 positive place invariants in 162 ms returned sat
[2020-06-03 10:03:23] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 6 ms returned unsat
[2020-06-03 10:03:23] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 10:03:23] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 12 ms returned unsat
[2020-06-03 10:03:24] [INFO ] [Real]Absence check using 159 positive place invariants in 151 ms returned sat
[2020-06-03 10:03:24] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 46 ms returned unsat
[2020-06-03 10:03:24] [INFO ] [Real]Absence check using 159 positive place invariants in 154 ms returned sat
[2020-06-03 10:03:24] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:03:24] [INFO ] [Real]Absence check using 159 positive place invariants in 145 ms returned sat
[2020-06-03 10:03:24] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 32 ms returned unsat
[2020-06-03 10:03:25] [INFO ] [Real]Absence check using 159 positive place invariants in 173 ms returned sat
[2020-06-03 10:03:25] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 8 ms returned unsat
[2020-06-03 10:03:25] [INFO ] [Real]Absence check using 159 positive place invariants in 133 ms returned sat
[2020-06-03 10:03:25] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 10 ms returned unsat
[2020-06-03 10:03:25] [INFO ] [Real]Absence check using 159 positive place invariants in 145 ms returned sat
[2020-06-03 10:03:25] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 103 ms returned sat
[2020-06-03 10:03:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:03:40] [INFO ] [Real]Absence check using state equation in 14873 ms returned sat
[2020-06-03 10:03:40] [INFO ] [Real]Added 1 Read/Feed constraints in 66 ms returned sat
[2020-06-03 10:03:41] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 537 ms.
[2020-06-03 10:03:42] [INFO ] Added : 6 causal constraints over 2 iterations in 1601 ms. Result :sat
[2020-06-03 10:03:43] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 10:03:43] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 32 ms returned unsat
[2020-06-03 10:03:43] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 10:03:43] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 128 ms returned sat
[2020-06-03 10:03:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:03:56] [INFO ] [Real]Absence check using state equation in 13066 ms returned sat
[2020-06-03 10:03:56] [INFO ] [Real]Added 1 Read/Feed constraints in 59 ms returned sat
[2020-06-03 10:03:57] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 274 ms.
[2020-06-03 10:03:57] [INFO ] Added : 6 causal constraints over 2 iterations in 956 ms. Result :sat
[2020-06-03 10:03:58] [INFO ] [Real]Absence check using 159 positive place invariants in 145 ms returned sat
[2020-06-03 10:03:58] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 12 ms returned unsat
[2020-06-03 10:03:58] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 10:03:58] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:03:59] [INFO ] [Real]Absence check using 159 positive place invariants in 144 ms returned sat
[2020-06-03 10:03:59] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 37 ms returned unsat
[2020-06-03 10:03:59] [INFO ] [Real]Absence check using 159 positive place invariants in 160 ms returned sat
[2020-06-03 10:03:59] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:03:59] [INFO ] [Real]Absence check using 159 positive place invariants in 157 ms returned sat
[2020-06-03 10:03:59] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 117 ms returned sat
[2020-06-03 10:03:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:04:14] [INFO ] [Real]Absence check using state equation in 15162 ms returned sat
[2020-06-03 10:04:15] [INFO ] [Real]Added 1 Read/Feed constraints in 62 ms returned sat
[2020-06-03 10:04:15] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 344 ms.
[2020-06-03 10:04:16] [INFO ] Added : 6 causal constraints over 2 iterations in 1047 ms. Result :sat
[2020-06-03 10:04:16] [INFO ] [Real]Absence check using 159 positive place invariants in 152 ms returned sat
[2020-06-03 10:04:16] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:04:17] [INFO ] [Real]Absence check using 159 positive place invariants in 152 ms returned sat
[2020-06-03 10:04:17] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 119 ms returned sat
[2020-06-03 10:04:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:04:30] [INFO ] [Real]Absence check using state equation in 13266 ms returned sat
[2020-06-03 10:04:30] [INFO ] [Real]Added 1 Read/Feed constraints in 51 ms returned sat
[2020-06-03 10:04:31] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 250 ms.
[2020-06-03 10:04:32] [INFO ] Added : 6 causal constraints over 2 iterations in 1527 ms. Result :sat
[2020-06-03 10:04:32] [INFO ] [Real]Absence check using 159 positive place invariants in 146 ms returned sat
[2020-06-03 10:04:33] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 47 ms returned unsat
[2020-06-03 10:04:33] [INFO ] [Real]Absence check using 159 positive place invariants in 151 ms returned sat
[2020-06-03 10:04:33] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:04:33] [INFO ] [Real]Absence check using 159 positive place invariants in 158 ms returned sat
[2020-06-03 10:04:33] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 119 ms returned sat
[2020-06-03 10:04:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:04:47] [INFO ] [Real]Absence check using state equation in 13479 ms returned sat
[2020-06-03 10:04:47] [INFO ] [Real]Added 1 Read/Feed constraints in 64 ms returned sat
[2020-06-03 10:04:47] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 388 ms.
[2020-06-03 10:04:48] [INFO ] Added : 6 causal constraints over 2 iterations in 1062 ms. Result :sat
[2020-06-03 10:04:49] [INFO ] [Real]Absence check using 159 positive place invariants in 154 ms returned sat
[2020-06-03 10:04:49] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:04:49] [INFO ] [Real]Absence check using 159 positive place invariants in 150 ms returned sat
[2020-06-03 10:04:49] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 10:04:49] [INFO ] [Real]Absence check using 159 positive place invariants in 151 ms returned sat
[2020-06-03 10:04:49] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:04:50] [INFO ] [Real]Absence check using 159 positive place invariants in 156 ms returned sat
[2020-06-03 10:04:50] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 10:04:50] [INFO ] [Real]Absence check using 159 positive place invariants in 158 ms returned sat
[2020-06-03 10:04:50] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:04:50] [INFO ] [Real]Absence check using 159 positive place invariants in 151 ms returned sat
[2020-06-03 10:04:50] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 10:04:51] [INFO ] [Real]Absence check using 159 positive place invariants in 135 ms returned sat
[2020-06-03 10:04:51] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 90 ms returned sat
[2020-06-03 10:04:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:05:05] [INFO ] [Real]Absence check using state equation in 13986 ms returned sat
[2020-06-03 10:05:05] [INFO ] [Real]Added 1 Read/Feed constraints in 70 ms returned sat
[2020-06-03 10:05:05] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 312 ms.
[2020-06-03 10:05:06] [INFO ] Added : 6 causal constraints over 2 iterations in 888 ms. Result :sat
[2020-06-03 10:05:06] [INFO ] [Real]Absence check using 159 positive place invariants in 161 ms returned sat
[2020-06-03 10:05:06] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:05:07] [INFO ] [Real]Absence check using 159 positive place invariants in 159 ms returned sat
[2020-06-03 10:05:07] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 112 ms returned sat
[2020-06-03 10:05:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:05:20] [INFO ] [Real]Absence check using state equation in 13497 ms returned sat
[2020-06-03 10:05:21] [INFO ] [Real]Added 1 Read/Feed constraints in 64 ms returned sat
[2020-06-03 10:05:21] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 416 ms.
[2020-06-03 10:05:22] [INFO ] Added : 6 causal constraints over 2 iterations in 1323 ms. Result :sat
[2020-06-03 10:05:23] [INFO ] [Real]Absence check using 159 positive place invariants in 153 ms returned sat
[2020-06-03 10:05:23] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 118 ms returned sat
[2020-06-03 10:05:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:05:36] [INFO ] [Real]Absence check using state equation in 13771 ms returned sat
[2020-06-03 10:05:37] [INFO ] [Real]Added 1 Read/Feed constraints in 45 ms returned sat
[2020-06-03 10:05:37] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 265 ms.
[2020-06-03 10:05:38] [INFO ] Added : 6 causal constraints over 2 iterations in 878 ms. Result :sat
[2020-06-03 10:05:38] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 10:05:38] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 122 ms returned sat
[2020-06-03 10:05:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:05:52] [INFO ] [Real]Absence check using state equation in 14059 ms returned sat
[2020-06-03 10:05:52] [INFO ] [Real]Added 1 Read/Feed constraints in 59 ms returned sat
[2020-06-03 10:05:53] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 362 ms.
[2020-06-03 10:05:54] [INFO ] Added : 6 causal constraints over 2 iterations in 1068 ms. Result :sat
[2020-06-03 10:05:54] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 10:05:54] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 47 ms returned unsat
[2020-06-03 10:05:55] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 10:05:55] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 123 ms returned sat
[2020-06-03 10:05:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:06:10] [INFO ] [Real]Absence check using state equation in 15188 ms returned sat
[2020-06-03 10:06:10] [INFO ] [Real]Added 1 Read/Feed constraints in 99 ms returned sat
[2020-06-03 10:06:11] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 297 ms.
[2020-06-03 10:06:11] [INFO ] Added : 6 causal constraints over 2 iterations in 992 ms. Result :sat
[2020-06-03 10:06:12] [INFO ] [Real]Absence check using 159 positive place invariants in 154 ms returned sat
[2020-06-03 10:06:12] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:06:12] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 10:06:12] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 115 ms returned sat
[2020-06-03 10:06:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:06:30] [INFO ] [Real]Absence check using state equation in 17472 ms returned sat
[2020-06-03 10:06:30] [INFO ] [Real]Added 1 Read/Feed constraints in 48 ms returned sat
[2020-06-03 10:06:30] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 391 ms.
[2020-06-03 10:06:31] [INFO ] Added : 6 causal constraints over 2 iterations in 939 ms. Result :sat
[2020-06-03 10:06:31] [INFO ] [Real]Absence check using 159 positive place invariants in 146 ms returned sat
[2020-06-03 10:06:32] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 120 ms returned sat
[2020-06-03 10:06:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:06:43] [INFO ] [Real]Absence check using state equation in 11433 ms returned sat
[2020-06-03 10:06:43] [INFO ] [Real]Added 1 Read/Feed constraints in 59 ms returned sat
[2020-06-03 10:06:44] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 271 ms.
[2020-06-03 10:06:44] [INFO ] Added : 6 causal constraints over 2 iterations in 975 ms. Result :sat
[2020-06-03 10:06:45] [INFO ] [Real]Absence check using 159 positive place invariants in 156 ms returned sat
[2020-06-03 10:06:45] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 127 ms returned sat
[2020-06-03 10:06:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:06:57] [INFO ] [Real]Absence check using state equation in 11824 ms returned sat
[2020-06-03 10:06:57] [INFO ] [Real]Added 1 Read/Feed constraints in 63 ms returned sat
[2020-06-03 10:06:57] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 376 ms.
[2020-06-03 10:06:58] [INFO ] Added : 6 causal constraints over 2 iterations in 1012 ms. Result :sat
[2020-06-03 10:06:59] [INFO ] [Real]Absence check using 159 positive place invariants in 156 ms returned sat
[2020-06-03 10:06:59] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 141 ms returned sat
[2020-06-03 10:06:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:07:13] [INFO ] [Real]Absence check using state equation in 14084 ms returned sat
[2020-06-03 10:07:13] [INFO ] [Real]Added 1 Read/Feed constraints in 63 ms returned sat
[2020-06-03 10:07:13] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 323 ms.
[2020-06-03 10:07:14] [INFO ] Added : 6 causal constraints over 2 iterations in 872 ms. Result :sat
[2020-06-03 10:07:15] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 10:07:15] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 123 ms returned sat
[2020-06-03 10:07:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:07:29] [INFO ] [Real]Absence check using state equation in 14181 ms returned sat
[2020-06-03 10:07:29] [INFO ] [Real]Added 1 Read/Feed constraints in 49 ms returned sat
[2020-06-03 10:07:30] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 390 ms.
[2020-06-03 10:07:30] [INFO ] Added : 6 causal constraints over 2 iterations in 1152 ms. Result :sat
[2020-06-03 10:07:31] [INFO ] [Real]Absence check using 159 positive place invariants in 145 ms returned sat
[2020-06-03 10:07:31] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:07:31] [INFO ] [Real]Absence check using 159 positive place invariants in 143 ms returned sat
[2020-06-03 10:07:31] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 93 ms returned sat
[2020-06-03 10:07:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:07:44] [INFO ] [Real]Absence check using state equation in 13037 ms returned sat
[2020-06-03 10:07:44] [INFO ] [Real]Added 1 Read/Feed constraints in 57 ms returned sat
[2020-06-03 10:07:45] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 313 ms.
[2020-06-03 10:07:45] [INFO ] Added : 6 causal constraints over 2 iterations in 839 ms. Result :sat
[2020-06-03 10:07:46] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 10:07:46] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 80 ms returned unsat
[2020-06-03 10:07:46] [INFO ] [Real]Absence check using 159 positive place invariants in 157 ms returned sat
[2020-06-03 10:07:47] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 117 ms returned sat
[2020-06-03 10:07:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:08:01] [INFO ] [Real]Absence check using state equation in 14855 ms returned sat
[2020-06-03 10:08:02] [INFO ] [Real]Added 1 Read/Feed constraints in 51 ms returned sat
[2020-06-03 10:08:02] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 368 ms.
[2020-06-03 10:08:03] [INFO ] Added : 6 causal constraints over 2 iterations in 985 ms. Result :sat
[2020-06-03 10:08:03] [INFO ] [Real]Absence check using 159 positive place invariants in 146 ms returned sat
[2020-06-03 10:08:03] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 121 ms returned sat
[2020-06-03 10:08:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:08:18] [INFO ] [Real]Absence check using state equation in 14991 ms returned sat
[2020-06-03 10:08:18] [INFO ] [Real]Added 1 Read/Feed constraints in 46 ms returned sat
[2020-06-03 10:08:19] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 323 ms.
[2020-06-03 10:08:20] [INFO ] Added : 6 causal constraints over 2 iterations in 927 ms. Result :sat
[2020-06-03 10:08:20] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 10:08:20] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:08:20] [INFO ] [Real]Absence check using 159 positive place invariants in 158 ms returned sat
[2020-06-03 10:08:20] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:08:21] [INFO ] [Real]Absence check using 159 positive place invariants in 142 ms returned sat
[2020-06-03 10:08:21] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 126 ms returned sat
[2020-06-03 10:08:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:08:35] [INFO ] [Real]Absence check using state equation in 14561 ms returned sat
[2020-06-03 10:08:35] [INFO ] [Real]Added 1 Read/Feed constraints in 60 ms returned sat
[2020-06-03 10:08:36] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 427 ms.
[2020-06-03 10:08:37] [INFO ] Added : 6 causal constraints over 2 iterations in 1110 ms. Result :sat
[2020-06-03 10:08:37] [INFO ] [Real]Absence check using 159 positive place invariants in 197 ms returned sat
[2020-06-03 10:08:38] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 88 ms returned unsat
[2020-06-03 10:08:38] [INFO ] [Real]Absence check using 159 positive place invariants in 173 ms returned sat
[2020-06-03 10:08:38] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:08:38] [INFO ] [Real]Absence check using 159 positive place invariants in 205 ms returned sat
[2020-06-03 10:08:38] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:08:39] [INFO ] [Real]Absence check using 159 positive place invariants in 152 ms returned sat
[2020-06-03 10:08:39] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:08:39] [INFO ] [Real]Absence check using 159 positive place invariants in 153 ms returned sat
[2020-06-03 10:08:39] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 46 ms returned unsat
[2020-06-03 10:08:39] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 10:08:39] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:08:40] [INFO ] [Real]Absence check using 159 positive place invariants in 157 ms returned sat
[2020-06-03 10:08:40] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:08:40] [INFO ] [Real]Absence check using 159 positive place invariants in 124 ms returned sat
[2020-06-03 10:08:40] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 115 ms returned sat
[2020-06-03 10:08:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:08:53] [INFO ] [Real]Absence check using state equation in 12837 ms returned sat
[2020-06-03 10:08:53] [INFO ] [Real]Added 1 Read/Feed constraints in 48 ms returned sat
[2020-06-03 10:08:53] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 288 ms.
[2020-06-03 10:08:55] [INFO ] Added : 6 causal constraints over 2 iterations in 2252 ms. Result :sat
[2020-06-03 10:08:56] [INFO ] [Real]Absence check using 159 positive place invariants in 155 ms returned sat
[2020-06-03 10:08:56] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:08:56] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 10:08:56] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 116 ms returned sat
[2020-06-03 10:08:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:09:08] [INFO ] [Real]Absence check using state equation in 11533 ms returned sat
[2020-06-03 10:09:08] [INFO ] [Real]Added 1 Read/Feed constraints in 30 ms returned sat
[2020-06-03 10:09:08] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 291 ms.
[2020-06-03 10:09:12] [INFO ] Added : 5 causal constraints over 1 iterations in 4379 ms. Result :sat
[2020-06-03 10:09:13] [INFO ] [Real]Absence check using 159 positive place invariants in 117 ms returned sat
[2020-06-03 10:09:13] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 3 ms returned unsat
[2020-06-03 10:09:13] [INFO ] [Real]Absence check using 159 positive place invariants in 112 ms returned sat
[2020-06-03 10:09:13] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:09:13] [INFO ] [Real]Absence check using 159 positive place invariants in 115 ms returned sat
[2020-06-03 10:09:13] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 82 ms returned sat
[2020-06-03 10:09:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:09:25] [INFO ] [Real]Absence check using state equation in 11470 ms returned sat
[2020-06-03 10:09:25] [INFO ] [Real]Added 1 Read/Feed constraints in 62 ms returned sat
[2020-06-03 10:09:25] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 270 ms.
[2020-06-03 10:09:26] [INFO ] Added : 6 causal constraints over 2 iterations in 891 ms. Result :sat
[2020-06-03 10:09:27] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 10:09:27] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 83 ms returned unsat
[2020-06-03 10:09:27] [INFO ] [Real]Absence check using 159 positive place invariants in 155 ms returned sat
[2020-06-03 10:09:27] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 12 ms returned unsat
[2020-06-03 10:09:27] [INFO ] [Real]Absence check using 159 positive place invariants in 145 ms returned sat
[2020-06-03 10:09:27] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:09:28] [INFO ] [Real]Absence check using 159 positive place invariants in 136 ms returned sat
[2020-06-03 10:09:28] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:09:28] [INFO ] [Real]Absence check using 159 positive place invariants in 102 ms returned sat
[2020-06-03 10:09:28] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 77 ms returned sat
[2020-06-03 10:09:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:09:43] [INFO ] [Real]Absence check using state equation in 14746 ms returned sat
[2020-06-03 10:09:43] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 10:09:43] [INFO ] [Nat]Absence check using 159 positive place invariants in 189 ms returned sat
[2020-06-03 10:09:43] [INFO ] [Nat]Absence check using 159 positive and 33 generalized place invariants in 86 ms returned sat
[2020-06-03 10:09:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 10:10:03] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 10:10:03] [INFO ] [Nat]Absence check using state equation in 19579 ms returned unknown
[2020-06-03 10:10:03] [INFO ] [Real]Absence check using 159 positive place invariants in 104 ms returned sat
[2020-06-03 10:10:03] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 82 ms returned sat
[2020-06-03 10:10:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:10:17] [INFO ] [Real]Absence check using state equation in 14054 ms returned sat
[2020-06-03 10:10:17] [INFO ] [Real]Added 1 Read/Feed constraints in 56 ms returned sat
[2020-06-03 10:10:18] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 309 ms.
[2020-06-03 10:10:18] [INFO ] Added : 6 causal constraints over 2 iterations in 969 ms. Result :sat
[2020-06-03 10:10:19] [INFO ] [Real]Absence check using 159 positive place invariants in 130 ms returned sat
[2020-06-03 10:10:19] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:10:19] [INFO ] [Real]Absence check using 159 positive place invariants in 197 ms returned sat
[2020-06-03 10:10:19] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:10:19] [INFO ] [Real]Absence check using 159 positive place invariants in 143 ms returned sat
[2020-06-03 10:10:19] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 12 ms returned unsat
[2020-06-03 10:10:20] [INFO ] [Real]Absence check using 159 positive place invariants in 118 ms returned sat
[2020-06-03 10:10:20] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:10:20] [INFO ] [Real]Absence check using 159 positive place invariants in 142 ms returned sat
[2020-06-03 10:10:20] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 113 ms returned sat
[2020-06-03 10:10:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:10:34] [INFO ] [Real]Absence check using state equation in 13512 ms returned sat
[2020-06-03 10:10:34] [INFO ] [Real]Added 1 Read/Feed constraints in 62 ms returned sat
[2020-06-03 10:10:34] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 321 ms.
[2020-06-03 10:10:35] [INFO ] Added : 6 causal constraints over 2 iterations in 999 ms. Result :sat
[2020-06-03 10:10:35] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 10:10:35] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:10:36] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 10:10:36] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 85 ms returned sat
[2020-06-03 10:10:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:10:49] [INFO ] [Real]Absence check using state equation in 13420 ms returned sat
[2020-06-03 10:10:49] [INFO ] [Real]Added 1 Read/Feed constraints in 62 ms returned sat
[2020-06-03 10:10:50] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 401 ms.
[2020-06-03 10:10:51] [INFO ] Added : 6 causal constraints over 2 iterations in 1017 ms. Result :sat
[2020-06-03 10:10:51] [INFO ] [Real]Absence check using 159 positive place invariants in 160 ms returned sat
[2020-06-03 10:10:51] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 57 ms returned unsat
[2020-06-03 10:10:51] [INFO ] [Real]Absence check using 159 positive place invariants in 115 ms returned sat
[2020-06-03 10:10:51] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:10:52] [INFO ] [Real]Absence check using 159 positive place invariants in 145 ms returned sat
[2020-06-03 10:10:52] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 119 ms returned sat
[2020-06-03 10:10:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:11:05] [INFO ] [Real]Absence check using state equation in 12979 ms returned sat
[2020-06-03 10:11:05] [INFO ] [Real]Added 1 Read/Feed constraints in 65 ms returned sat
[2020-06-03 10:11:05] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 321 ms.
[2020-06-03 10:11:06] [INFO ] Added : 6 causal constraints over 2 iterations in 1138 ms. Result :sat
[2020-06-03 10:11:07] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 10:11:07] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 116 ms returned sat
[2020-06-03 10:11:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:11:22] [INFO ] [Real]Absence check using state equation in 15487 ms returned sat
[2020-06-03 10:11:23] [INFO ] [Real]Added 1 Read/Feed constraints in 43 ms returned sat
[2020-06-03 10:11:23] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 449 ms.
[2020-06-03 10:11:24] [INFO ] Added : 6 causal constraints over 2 iterations in 1110 ms. Result :sat
[2020-06-03 10:11:24] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 10:11:24] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:11:25] [INFO ] [Real]Absence check using 159 positive place invariants in 162 ms returned sat
[2020-06-03 10:11:25] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 32 ms returned unsat
[2020-06-03 10:11:25] [INFO ] [Real]Absence check using 159 positive place invariants in 156 ms returned sat
[2020-06-03 10:11:25] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 119 ms returned sat
[2020-06-03 10:11:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:11:40] [INFO ] [Real]Absence check using state equation in 15210 ms returned sat
[2020-06-03 10:11:41] [INFO ] [Real]Added 1 Read/Feed constraints in 65 ms returned sat
[2020-06-03 10:11:41] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 306 ms.
[2020-06-03 10:11:42] [INFO ] Added : 6 causal constraints over 2 iterations in 1126 ms. Result :sat
[2020-06-03 10:11:42] [INFO ] [Real]Absence check using 159 positive place invariants in 160 ms returned sat
[2020-06-03 10:11:42] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:11:43] [INFO ] [Real]Absence check using 159 positive place invariants in 133 ms returned sat
[2020-06-03 10:11:43] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 11 ms returned unsat
[2020-06-03 10:11:43] [INFO ] [Real]Absence check using 159 positive place invariants in 129 ms returned sat
[2020-06-03 10:11:43] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 92 ms returned sat
[2020-06-03 10:11:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:11:56] [INFO ] [Real]Absence check using state equation in 13192 ms returned sat
[2020-06-03 10:11:56] [INFO ] [Real]Added 1 Read/Feed constraints in 74 ms returned sat
[2020-06-03 10:11:57] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 423 ms.
[2020-06-03 10:11:58] [INFO ] Added : 6 causal constraints over 2 iterations in 1088 ms. Result :sat
[2020-06-03 10:11:58] [INFO ] [Real]Absence check using 159 positive place invariants in 157 ms returned sat
[2020-06-03 10:11:58] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 92 ms returned unsat
[2020-06-03 10:11:59] [INFO ] [Real]Absence check using 159 positive place invariants in 165 ms returned sat
[2020-06-03 10:11:59] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 10:11:59] [INFO ] [Real]Absence check using 159 positive place invariants in 152 ms returned sat
[2020-06-03 10:11:59] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 10:11:59] [INFO ] [Real]Absence check using 159 positive place invariants in 145 ms returned sat
[2020-06-03 10:11:59] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:12:00] [INFO ] [Real]Absence check using 159 positive place invariants in 146 ms returned sat
[2020-06-03 10:12:00] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 12 ms returned unsat
[2020-06-03 10:12:00] [INFO ] [Real]Absence check using 159 positive place invariants in 103 ms returned sat
[2020-06-03 10:12:00] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 9 ms returned unsat
[2020-06-03 10:12:00] [INFO ] [Real]Absence check using 159 positive place invariants in 124 ms returned sat
[2020-06-03 10:12:00] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 9 ms returned unsat
[2020-06-03 10:12:00] [INFO ] [Real]Absence check using 159 positive place invariants in 100 ms returned sat
[2020-06-03 10:12:00] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 82 ms returned sat
[2020-06-03 10:12:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:12:14] [INFO ] [Real]Absence check using state equation in 13418 ms returned sat
[2020-06-03 10:12:14] [INFO ] [Real]Added 1 Read/Feed constraints in 68 ms returned sat
[2020-06-03 10:12:14] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 321 ms.
[2020-06-03 10:12:15] [INFO ] Added : 6 causal constraints over 2 iterations in 1176 ms. Result :sat
[2020-06-03 10:12:16] [INFO ] [Real]Absence check using 159 positive place invariants in 146 ms returned sat
[2020-06-03 10:12:16] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 121 ms returned sat
[2020-06-03 10:12:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:12:31] [INFO ] [Real]Absence check using state equation in 14869 ms returned sat
[2020-06-03 10:12:31] [INFO ] [Real]Added 1 Read/Feed constraints in 70 ms returned sat
[2020-06-03 10:12:32] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 379 ms.
[2020-06-03 10:12:32] [INFO ] Added : 6 causal constraints over 2 iterations in 1077 ms. Result :sat
[2020-06-03 10:12:33] [INFO ] [Real]Absence check using 159 positive place invariants in 158 ms returned sat
[2020-06-03 10:12:33] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 33 ms returned unsat
[2020-06-03 10:12:33] [INFO ] [Real]Absence check using 159 positive place invariants in 150 ms returned sat
[2020-06-03 10:12:33] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 12 ms returned unsat
[2020-06-03 10:12:34] [INFO ] [Real]Absence check using 159 positive place invariants in 105 ms returned sat
[2020-06-03 10:12:34] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 87 ms returned sat
[2020-06-03 10:12:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:12:49] [INFO ] [Real]Absence check using state equation in 15561 ms returned sat
[2020-06-03 10:12:49] [INFO ] [Real]Added 1 Read/Feed constraints in 85 ms returned sat
[2020-06-03 10:12:50] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 277 ms.
[2020-06-03 10:12:51] [INFO ] Added : 6 causal constraints over 2 iterations in 1160 ms. Result :sat
[2020-06-03 10:12:51] [INFO ] [Real]Absence check using 159 positive place invariants in 155 ms returned sat
[2020-06-03 10:12:51] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 118 ms returned sat
[2020-06-03 10:12:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:13:07] [INFO ] [Real]Absence check using state equation in 15838 ms returned sat
[2020-06-03 10:13:07] [INFO ] [Real]Added 1 Read/Feed constraints in 66 ms returned sat
[2020-06-03 10:13:08] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 468 ms.
[2020-06-03 10:13:09] [INFO ] Added : 6 causal constraints over 2 iterations in 1187 ms. Result :sat
[2020-06-03 10:13:09] [INFO ] [Real]Absence check using 159 positive place invariants in 150 ms returned sat
[2020-06-03 10:13:09] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:13:10] [INFO ] [Real]Absence check using 159 positive place invariants in 151 ms returned sat
[2020-06-03 10:13:10] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 81 ms returned unsat
[2020-06-03 10:13:10] [INFO ] [Real]Absence check using 159 positive place invariants in 107 ms returned sat
[2020-06-03 10:13:10] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 84 ms returned sat
[2020-06-03 10:13:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:13:25] [INFO ] [Real]Absence check using state equation in 15374 ms returned sat
[2020-06-03 10:13:26] [INFO ] [Real]Added 1 Read/Feed constraints in 71 ms returned sat
[2020-06-03 10:13:26] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 322 ms.
[2020-06-03 10:13:27] [INFO ] Added : 6 causal constraints over 2 iterations in 1000 ms. Result :sat
[2020-06-03 10:13:27] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 10:13:27] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 10:13:28] [INFO ] [Real]Absence check using 159 positive place invariants in 150 ms returned sat
[2020-06-03 10:13:28] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 114 ms returned sat
[2020-06-03 10:13:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:13:41] [INFO ] [Real]Absence check using state equation in 13447 ms returned sat
[2020-06-03 10:13:41] [INFO ] [Real]Added 1 Read/Feed constraints in 68 ms returned sat
[2020-06-03 10:13:42] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 411 ms.
[2020-06-03 10:13:43] [INFO ] Added : 6 causal constraints over 2 iterations in 1117 ms. Result :sat
[2020-06-03 10:13:43] [INFO ] [Real]Absence check using 159 positive place invariants in 156 ms returned sat
[2020-06-03 10:13:43] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 10:13:44] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 10:13:44] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 12 ms returned unsat
[2020-06-03 10:13:44] [INFO ] [Real]Absence check using 159 positive place invariants in 123 ms returned sat
[2020-06-03 10:13:44] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 82 ms returned sat
[2020-06-03 10:13:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:13:58] [INFO ] [Real]Absence check using state equation in 14329 ms returned sat
[2020-06-03 10:13:58] [INFO ] [Real]Added 1 Read/Feed constraints in 53 ms returned sat
[2020-06-03 10:13:59] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 257 ms.
[2020-06-03 10:13:59] [INFO ] Added : 6 causal constraints over 2 iterations in 806 ms. Result :sat
[2020-06-03 10:14:00] [INFO ] [Real]Absence check using 159 positive place invariants in 144 ms returned sat
[2020-06-03 10:14:00] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 10:14:00] [INFO ] [Real]Absence check using 159 positive place invariants in 137 ms returned sat
[2020-06-03 10:14:00] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 87 ms returned sat
[2020-06-03 10:14:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:14:15] [INFO ] [Real]Absence check using state equation in 14716 ms returned sat
[2020-06-03 10:14:15] [INFO ] [Real]Added 1 Read/Feed constraints in 68 ms returned sat
[2020-06-03 10:14:16] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 370 ms.
[2020-06-03 10:14:17] [INFO ] Added : 6 causal constraints over 2 iterations in 1343 ms. Result :sat
[2020-06-03 10:14:17] [INFO ] [Real]Absence check using 159 positive place invariants in 159 ms returned sat
[2020-06-03 10:14:17] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:14:18] [INFO ] [Real]Absence check using 159 positive place invariants in 154 ms returned sat
[2020-06-03 10:14:18] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 47 ms returned unsat
[2020-06-03 10:14:18] [INFO ] [Real]Absence check using 159 positive place invariants in 214 ms returned sat
[2020-06-03 10:14:18] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 47 ms returned unsat
[2020-06-03 10:14:18] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 10:14:18] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 12 ms returned unsat
[2020-06-03 10:14:19] [INFO ] [Real]Absence check using 159 positive place invariants in 157 ms returned sat
[2020-06-03 10:14:19] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 34 ms returned unsat
[2020-06-03 10:14:19] [INFO ] [Real]Absence check using 159 positive place invariants in 146 ms returned sat
[2020-06-03 10:14:19] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 12 ms returned unsat
[2020-06-03 10:14:19] [INFO ] [Real]Absence check using 159 positive place invariants in 154 ms returned sat
[2020-06-03 10:14:19] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 33 ms returned unsat
[2020-06-03 10:14:20] [INFO ] [Real]Absence check using 159 positive place invariants in 103 ms returned sat
[2020-06-03 10:14:20] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 9 ms returned unsat
[2020-06-03 10:14:20] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 10:14:20] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 83 ms returned unsat
[2020-06-03 10:14:20] [INFO ] [Real]Absence check using 159 positive place invariants in 153 ms returned sat
[2020-06-03 10:14:21] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 120 ms returned sat
[2020-06-03 10:14:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:14:36] [INFO ] [Real]Absence check using state equation in 15003 ms returned sat
[2020-06-03 10:14:36] [INFO ] [Real]Added 1 Read/Feed constraints in 67 ms returned sat
[2020-06-03 10:14:36] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 255 ms.
[2020-06-03 10:14:37] [INFO ] Added : 6 causal constraints over 2 iterations in 999 ms. Result :sat
[2020-06-03 10:14:37] [INFO ] [Real]Absence check using 159 positive place invariants in 151 ms returned sat
[2020-06-03 10:14:38] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 114 ms returned sat
[2020-06-03 10:14:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:14:51] [INFO ] [Real]Absence check using state equation in 13425 ms returned sat
[2020-06-03 10:14:51] [INFO ] [Real]Added 1 Read/Feed constraints in 56 ms returned sat
[2020-06-03 10:14:52] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 398 ms.
[2020-06-03 10:14:53] [INFO ] Added : 6 causal constraints over 2 iterations in 1346 ms. Result :sat
[2020-06-03 10:14:53] [INFO ] [Real]Absence check using 159 positive place invariants in 157 ms returned sat
[2020-06-03 10:14:53] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 48 ms returned unsat
[2020-06-03 10:14:54] [INFO ] [Real]Absence check using 159 positive place invariants in 157 ms returned sat
[2020-06-03 10:14:54] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 124 ms returned sat
[2020-06-03 10:14:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:15:08] [INFO ] [Real]Absence check using state equation in 14276 ms returned sat
[2020-06-03 10:15:08] [INFO ] [Real]Added 1 Read/Feed constraints in 77 ms returned sat
[2020-06-03 10:15:08] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 263 ms.
[2020-06-03 10:15:09] [INFO ] Added : 6 causal constraints over 2 iterations in 1039 ms. Result :sat
[2020-06-03 10:15:10] [INFO ] [Real]Absence check using 159 positive place invariants in 146 ms returned sat
[2020-06-03 10:15:10] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:15:10] [INFO ] [Real]Absence check using 159 positive place invariants in 145 ms returned sat
[2020-06-03 10:15:10] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 113 ms returned sat
[2020-06-03 10:15:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:15:23] [INFO ] [Real]Absence check using state equation in 13001 ms returned sat
[2020-06-03 10:15:23] [INFO ] [Real]Added 1 Read/Feed constraints in 59 ms returned sat
[2020-06-03 10:15:24] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 390 ms.
[2020-06-03 10:15:25] [INFO ] Added : 6 causal constraints over 2 iterations in 1309 ms. Result :sat
[2020-06-03 10:15:25] [INFO ] [Real]Absence check using 159 positive place invariants in 144 ms returned sat
[2020-06-03 10:15:25] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:15:26] [INFO ] [Real]Absence check using 159 positive place invariants in 110 ms returned sat
[2020-06-03 10:15:26] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:15:26] [INFO ] [Real]Absence check using 159 positive place invariants in 150 ms returned sat
[2020-06-03 10:15:26] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 6 ms returned unsat
[2020-06-03 10:15:26] [INFO ] [Real]Absence check using 159 positive place invariants in 110 ms returned sat
[2020-06-03 10:15:26] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 96 ms returned sat
[2020-06-03 10:15:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:15:39] [INFO ] [Real]Absence check using state equation in 13290 ms returned sat
[2020-06-03 10:15:40] [INFO ] [Real]Added 1 Read/Feed constraints in 67 ms returned sat
[2020-06-03 10:15:40] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 299 ms.
[2020-06-03 10:15:42] [INFO ] Added : 6 causal constraints over 2 iterations in 1949 ms. Result :sat
[2020-06-03 10:15:42] [INFO ] [Real]Absence check using 159 positive place invariants in 104 ms returned sat
[2020-06-03 10:15:42] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 85 ms returned sat
[2020-06-03 10:15:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:15:57] [INFO ] [Real]Absence check using state equation in 15201 ms returned sat
[2020-06-03 10:15:57] [INFO ] [Real]Added 1 Read/Feed constraints in 33 ms returned sat
[2020-06-03 10:15:58] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 363 ms.
[2020-06-03 10:15:58] [INFO ] Added : 6 causal constraints over 2 iterations in 847 ms. Result :sat
[2020-06-03 10:15:59] [INFO ] [Real]Absence check using 159 positive place invariants in 111 ms returned sat
[2020-06-03 10:15:59] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 37 ms returned unsat
[2020-06-03 10:15:59] [INFO ] [Real]Absence check using 159 positive place invariants in 156 ms returned sat
[2020-06-03 10:15:59] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:16:00] [INFO ] [Real]Absence check using 159 positive place invariants in 104 ms returned sat
[2020-06-03 10:16:00] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 84 ms returned sat
[2020-06-03 10:16:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:16:16] [INFO ] [Real]Absence check using state equation in 16183 ms returned sat
[2020-06-03 10:16:16] [INFO ] [Real]Added 1 Read/Feed constraints in 39 ms returned sat
[2020-06-03 10:16:16] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 312 ms.
[2020-06-03 10:16:17] [INFO ] Added : 6 causal constraints over 2 iterations in 1058 ms. Result :sat
[2020-06-03 10:16:18] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 10:16:18] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 10:16:18] [INFO ] [Real]Absence check using 159 positive place invariants in 160 ms returned sat
[2020-06-03 10:16:18] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:16:18] [INFO ] [Real]Absence check using 159 positive place invariants in 159 ms returned sat
[2020-06-03 10:16:18] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:16:19] [INFO ] [Real]Absence check using 159 positive place invariants in 152 ms returned sat
[2020-06-03 10:16:19] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:16:19] [INFO ] [Real]Absence check using 159 positive place invariants in 114 ms returned sat
[2020-06-03 10:16:19] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 81 ms returned sat
[2020-06-03 10:16:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:16:32] [INFO ] [Real]Absence check using state equation in 12889 ms returned sat
[2020-06-03 10:16:32] [INFO ] [Real]Added 1 Read/Feed constraints in 59 ms returned sat
[2020-06-03 10:16:32] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 351 ms.
[2020-06-03 10:16:33] [INFO ] Added : 6 causal constraints over 2 iterations in 1032 ms. Result :sat
[2020-06-03 10:16:34] [INFO ] [Real]Absence check using 159 positive place invariants in 156 ms returned sat
[2020-06-03 10:16:34] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 121 ms returned sat
[2020-06-03 10:16:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:16:46] [INFO ] [Real]Absence check using state equation in 12100 ms returned sat
[2020-06-03 10:16:46] [INFO ] [Real]Added 1 Read/Feed constraints in 43 ms returned sat
[2020-06-03 10:16:47] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 391 ms.
[2020-06-03 10:16:51] [INFO ] Added : 5 causal constraints over 1 iterations in 4399 ms. Result :sat
[2020-06-03 10:16:51] [INFO ] [Real]Absence check using 159 positive place invariants in 152 ms returned sat
[2020-06-03 10:16:51] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 10:16:52] [INFO ] [Real]Absence check using 159 positive place invariants in 153 ms returned sat
[2020-06-03 10:16:52] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 119 ms returned sat
[2020-06-03 10:16:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:17:05] [INFO ] [Real]Absence check using state equation in 13299 ms returned sat
[2020-06-03 10:17:05] [INFO ] [Real]Added 1 Read/Feed constraints in 71 ms returned sat
[2020-06-03 10:17:06] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 491 ms.
[2020-06-03 10:17:07] [INFO ] Added : 6 causal constraints over 2 iterations in 1324 ms. Result :sat
[2020-06-03 10:17:07] [INFO ] [Real]Absence check using 159 positive place invariants in 151 ms returned sat
[2020-06-03 10:17:07] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 120 ms returned sat
[2020-06-03 10:17:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:17:24] [INFO ] [Real]Absence check using state equation in 16383 ms returned sat
[2020-06-03 10:17:24] [INFO ] [Real]Added 1 Read/Feed constraints in 76 ms returned sat
[2020-06-03 10:17:24] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 342 ms.
[2020-06-03 10:17:25] [INFO ] Added : 6 causal constraints over 2 iterations in 1034 ms. Result :sat
[2020-06-03 10:17:26] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 10:17:26] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:17:26] [INFO ] [Real]Absence check using 159 positive place invariants in 133 ms returned sat
[2020-06-03 10:17:26] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 3 ms returned unsat
[2020-06-03 10:17:26] [INFO ] [Real]Absence check using 159 positive place invariants in 150 ms returned sat
[2020-06-03 10:17:26] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 128 ms returned sat
[2020-06-03 10:17:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:17:41] [INFO ] [Real]Absence check using state equation in 14376 ms returned sat
[2020-06-03 10:17:41] [INFO ] [Real]Added 1 Read/Feed constraints in 73 ms returned sat
[2020-06-03 10:17:41] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 370 ms.
[2020-06-03 10:17:42] [INFO ] Added : 6 causal constraints over 2 iterations in 1346 ms. Result :sat
[2020-06-03 10:17:43] [INFO ] [Real]Absence check using 159 positive place invariants in 152 ms returned sat
[2020-06-03 10:17:43] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 12 ms returned unsat
[2020-06-03 10:17:43] [INFO ] [Real]Absence check using 159 positive place invariants in 159 ms returned sat
[2020-06-03 10:17:43] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 120 ms returned sat
[2020-06-03 10:17:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:17:58] [INFO ] [Real]Absence check using state equation in 14415 ms returned sat
[2020-06-03 10:17:58] [INFO ] [Real]Added 1 Read/Feed constraints in 67 ms returned sat
[2020-06-03 10:17:58] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 283 ms.
[2020-06-03 10:17:59] [INFO ] Added : 6 causal constraints over 2 iterations in 966 ms. Result :sat
[2020-06-03 10:18:00] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 10:18:00] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 123 ms returned sat
[2020-06-03 10:18:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:18:17] [INFO ] [Real]Absence check using state equation in 16800 ms returned sat
[2020-06-03 10:18:17] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 10:18:17] [INFO ] [Nat]Absence check using 159 positive place invariants in 159 ms returned sat
[2020-06-03 10:18:17] [INFO ] [Nat]Absence check using 159 positive and 33 generalized place invariants in 125 ms returned sat
[2020-06-03 10:18:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 10:18:31] [INFO ] [Nat]Absence check using state equation in 14292 ms returned sat
[2020-06-03 10:18:32] [INFO ] [Nat]Added 1 Read/Feed constraints in 70 ms returned sat
[2020-06-03 10:18:32] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 373 ms.
[2020-06-03 10:18:33] [INFO ] Added : 6 causal constraints over 2 iterations in 965 ms. Result :sat
[2020-06-03 10:18:33] [INFO ] [Real]Absence check using 159 positive place invariants in 165 ms returned sat
[2020-06-03 10:18:33] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 15 ms returned unsat
[2020-06-03 10:18:33] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 10:18:33] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 122 ms returned sat
[2020-06-03 10:18:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:18:47] [INFO ] [Real]Absence check using state equation in 13986 ms returned sat
[2020-06-03 10:18:48] [INFO ] [Real]Added 1 Read/Feed constraints in 63 ms returned sat
[2020-06-03 10:18:48] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 362 ms.
[2020-06-03 10:18:49] [INFO ] Added : 6 causal constraints over 2 iterations in 1073 ms. Result :sat
[2020-06-03 10:18:49] [INFO ] [Real]Absence check using 159 positive place invariants in 158 ms returned sat
[2020-06-03 10:18:49] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 33 ms returned unsat
[2020-06-03 10:18:50] [INFO ] [Real]Absence check using 159 positive place invariants in 196 ms returned sat
[2020-06-03 10:18:50] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:18:50] [INFO ] [Real]Absence check using 159 positive place invariants in 155 ms returned sat
[2020-06-03 10:18:50] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 45 ms returned unsat
[2020-06-03 10:18:50] [INFO ] [Real]Absence check using 159 positive place invariants in 142 ms returned sat
[2020-06-03 10:18:51] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 84 ms returned unsat
[2020-06-03 10:18:51] [INFO ] [Real]Absence check using 159 positive place invariants in 114 ms returned sat
[2020-06-03 10:18:51] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 3 ms returned unsat
[2020-06-03 10:18:51] [INFO ] [Real]Absence check using 159 positive place invariants in 115 ms returned sat
[2020-06-03 10:18:51] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 66 ms returned unsat
[2020-06-03 10:18:51] [INFO ] [Real]Absence check using 159 positive place invariants in 171 ms returned sat
[2020-06-03 10:18:51] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 11 ms returned unsat
[2020-06-03 10:18:52] [INFO ] [Real]Absence check using 159 positive place invariants in 130 ms returned sat
[2020-06-03 10:18:52] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 90 ms returned sat
[2020-06-03 10:18:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:19:06] [INFO ] [Real]Absence check using state equation in 13820 ms returned sat
[2020-06-03 10:19:06] [INFO ] [Real]Added 1 Read/Feed constraints in 68 ms returned sat
[2020-06-03 10:19:06] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 391 ms.
[2020-06-03 10:19:07] [INFO ] Added : 6 causal constraints over 2 iterations in 1147 ms. Result :sat
[2020-06-03 10:19:08] [INFO ] [Real]Absence check using 159 positive place invariants in 153 ms returned sat
[2020-06-03 10:19:08] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 45 ms returned unsat
[2020-06-03 10:19:08] [INFO ] [Real]Absence check using 159 positive place invariants in 176 ms returned sat
[2020-06-03 10:19:08] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:19:08] [INFO ] [Real]Absence check using 159 positive place invariants in 165 ms returned sat
[2020-06-03 10:19:08] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 119 ms returned sat
[2020-06-03 10:19:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:19:24] [INFO ] [Real]Absence check using state equation in 15085 ms returned sat
[2020-06-03 10:19:24] [INFO ] [Real]Added 1 Read/Feed constraints in 32 ms returned sat
[2020-06-03 10:19:24] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 239 ms.
[2020-06-03 10:19:24] [INFO ] Added : 6 causal constraints over 2 iterations in 710 ms. Result :sat
[2020-06-03 10:19:25] [INFO ] [Real]Absence check using 159 positive place invariants in 163 ms returned sat
[2020-06-03 10:19:25] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 123 ms returned sat
[2020-06-03 10:19:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:19:39] [INFO ] [Real]Absence check using state equation in 14246 ms returned sat
[2020-06-03 10:19:40] [INFO ] [Real]Added 1 Read/Feed constraints in 55 ms returned sat
[2020-06-03 10:19:40] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 569 ms.
[2020-06-03 10:19:41] [INFO ] Added : 6 causal constraints over 2 iterations in 1354 ms. Result :sat
[2020-06-03 10:19:42] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 10:19:42] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:19:42] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 10:19:42] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 32 ms returned unsat
[2020-06-03 10:19:42] [INFO ] [Real]Absence check using 159 positive place invariants in 107 ms returned sat
[2020-06-03 10:19:42] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 84 ms returned sat
[2020-06-03 10:19:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:19:58] [INFO ] [Real]Absence check using state equation in 15069 ms returned sat
[2020-06-03 10:19:58] [INFO ] [Real]Added 1 Read/Feed constraints in 61 ms returned sat
[2020-06-03 10:19:58] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 260 ms.
[2020-06-03 10:19:59] [INFO ] Added : 6 causal constraints over 2 iterations in 913 ms. Result :sat
[2020-06-03 10:19:59] [INFO ] [Real]Absence check using 159 positive place invariants in 145 ms returned sat
[2020-06-03 10:19:59] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 124 ms returned sat
[2020-06-03 10:19:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:20:12] [INFO ] [Real]Absence check using state equation in 12333 ms returned sat
[2020-06-03 10:20:12] [INFO ] [Real]Added 1 Read/Feed constraints in 66 ms returned sat
[2020-06-03 10:20:12] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 385 ms.
[2020-06-03 10:20:13] [INFO ] Added : 6 causal constraints over 2 iterations in 1067 ms. Result :sat
[2020-06-03 10:20:14] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 10:20:14] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 117 ms returned sat
[2020-06-03 10:20:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:20:26] [INFO ] [Real]Absence check using state equation in 12492 ms returned sat
[2020-06-03 10:20:26] [INFO ] [Real]Added 1 Read/Feed constraints in 63 ms returned sat
[2020-06-03 10:20:27] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 274 ms.
[2020-06-03 10:20:27] [INFO ] Added : 6 causal constraints over 2 iterations in 948 ms. Result :sat
[2020-06-03 10:20:28] [INFO ] [Real]Absence check using 159 positive place invariants in 163 ms returned sat
[2020-06-03 10:20:28] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:20:28] [INFO ] [Real]Absence check using 159 positive place invariants in 145 ms returned sat
[2020-06-03 10:20:28] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:20:29] [INFO ] [Real]Absence check using 159 positive place invariants in 171 ms returned sat
[2020-06-03 10:20:29] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 135 ms returned sat
[2020-06-03 10:20:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:20:42] [INFO ] [Real]Absence check using state equation in 13364 ms returned sat
[2020-06-03 10:20:42] [INFO ] [Real]Added 1 Read/Feed constraints in 69 ms returned sat
[2020-06-03 10:20:43] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 436 ms.
[2020-06-03 10:20:44] [INFO ] Added : 6 causal constraints over 2 iterations in 1374 ms. Result :sat
[2020-06-03 10:20:44] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 10:20:44] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 82 ms returned unsat
[2020-06-03 10:20:45] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 10:20:45] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 46 ms returned unsat
[2020-06-03 10:20:45] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 10:20:45] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:20:46] [INFO ] [Real]Absence check using 159 positive place invariants in 161 ms returned sat
[2020-06-03 10:20:46] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 12 ms returned unsat
[2020-06-03 10:20:46] [INFO ] [Real]Absence check using 159 positive place invariants in 143 ms returned sat
[2020-06-03 10:20:46] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 116 ms returned sat
[2020-06-03 10:20:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:21:00] [INFO ] [Real]Absence check using state equation in 13822 ms returned sat
[2020-06-03 10:21:00] [INFO ] [Real]Added 1 Read/Feed constraints in 68 ms returned sat
[2020-06-03 10:21:00] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 271 ms.
[2020-06-03 10:21:01] [INFO ] Added : 6 causal constraints over 2 iterations in 1092 ms. Result :sat
[2020-06-03 10:21:02] [INFO ] [Real]Absence check using 159 positive place invariants in 162 ms returned sat
[2020-06-03 10:21:02] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 140 ms returned sat
[2020-06-03 10:21:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:21:15] [INFO ] [Real]Absence check using state equation in 12825 ms returned sat
[2020-06-03 10:21:15] [INFO ] [Real]Added 1 Read/Feed constraints in 66 ms returned sat
[2020-06-03 10:21:15] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 356 ms.
[2020-06-03 10:21:21] [INFO ] Added : 5 causal constraints over 1 iterations in 5744 ms. Result :sat
[2020-06-03 10:21:21] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 10:21:21] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 12 ms returned unsat
[2020-06-03 10:21:22] [INFO ] [Real]Absence check using 159 positive place invariants in 112 ms returned sat
[2020-06-03 10:21:22] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 84 ms returned sat
[2020-06-03 10:21:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:21:38] [INFO ] [Real]Absence check using state equation in 15917 ms returned sat
[2020-06-03 10:21:38] [INFO ] [Real]Added 1 Read/Feed constraints in 82 ms returned sat
[2020-06-03 10:21:38] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 365 ms.
[2020-06-03 10:21:39] [INFO ] Added : 6 causal constraints over 2 iterations in 1410 ms. Result :sat
[2020-06-03 10:21:40] [INFO ] [Real]Absence check using 159 positive place invariants in 119 ms returned sat
[2020-06-03 10:21:40] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 11 ms returned unsat
[2020-06-03 10:21:40] [INFO ] [Real]Absence check using 159 positive place invariants in 403 ms returned sat
[2020-06-03 10:21:41] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 92 ms returned sat
[2020-06-03 10:21:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:21:54] [INFO ] [Real]Absence check using state equation in 13734 ms returned sat
[2020-06-03 10:21:54] [INFO ] [Real]Added 1 Read/Feed constraints in 65 ms returned sat
[2020-06-03 10:21:55] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 406 ms.
[2020-06-03 10:21:55] [INFO ] Added : 6 causal constraints over 2 iterations in 959 ms. Result :sat
[2020-06-03 10:21:56] [INFO ] [Real]Absence check using 159 positive place invariants in 167 ms returned sat
[2020-06-03 10:21:56] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 146 ms returned sat
[2020-06-03 10:21:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:22:10] [INFO ] [Real]Absence check using state equation in 13881 ms returned sat
[2020-06-03 10:22:10] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 10:22:10] [INFO ] [Nat]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 10:22:10] [INFO ] [Nat]Absence check using 159 positive and 33 generalized place invariants in 125 ms returned sat
[2020-06-03 10:22:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 10:22:26] [INFO ] [Nat]Absence check using state equation in 15572 ms returned sat
[2020-06-03 10:22:27] [INFO ] [Nat]Added 1 Read/Feed constraints in 863 ms returned sat
[2020-06-03 10:22:27] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 300 ms.
[2020-06-03 10:22:30] [INFO ] Added : 5 causal constraints over 1 iterations in 3116 ms. Result :(error "Solver has unexpectedly terminated")
[2020-06-03 10:22:30] [INFO ] [Real]Absence check using 159 positive place invariants in 150 ms returned sat
[2020-06-03 10:22:30] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:22:31] [INFO ] [Real]Absence check using 159 positive place invariants in 155 ms returned sat
[2020-06-03 10:22:31] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 10:22:31] [INFO ] [Real]Absence check using 159 positive place invariants in 153 ms returned sat
[2020-06-03 10:22:31] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:22:31] [INFO ] [Real]Absence check using 159 positive place invariants in 113 ms returned sat
[2020-06-03 10:22:31] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 38 ms returned unsat
[2020-06-03 10:22:32] [INFO ] [Real]Absence check using 159 positive place invariants in 158 ms returned sat
[2020-06-03 10:22:32] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 121 ms returned sat
[2020-06-03 10:22:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:22:46] [INFO ] [Real]Absence check using state equation in 13888 ms returned sat
[2020-06-03 10:22:46] [INFO ] [Real]Added 1 Read/Feed constraints in 65 ms returned sat
[2020-06-03 10:22:46] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 398 ms.
[2020-06-03 10:22:47] [INFO ] Added : 6 causal constraints over 2 iterations in 1126 ms. Result :sat
[2020-06-03 10:22:48] [INFO ] [Real]Absence check using 159 positive place invariants in 113 ms returned sat
[2020-06-03 10:22:48] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 91 ms returned sat
[2020-06-03 10:22:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:23:00] [INFO ] [Real]Absence check using state equation in 12287 ms returned sat
[2020-06-03 10:23:00] [INFO ] [Real]Added 1 Read/Feed constraints in 63 ms returned sat
[2020-06-03 10:23:01] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 280 ms.
[2020-06-03 10:23:01] [INFO ] Added : 6 causal constraints over 2 iterations in 1010 ms. Result :sat
[2020-06-03 10:23:02] [INFO ] [Real]Absence check using 159 positive place invariants in 157 ms returned sat
[2020-06-03 10:23:02] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 117 ms returned sat
[2020-06-03 10:23:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:23:14] [INFO ] [Real]Absence check using state equation in 11938 ms returned sat
[2020-06-03 10:23:14] [INFO ] [Real]Added 1 Read/Feed constraints in 64 ms returned sat
[2020-06-03 10:23:15] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 350 ms.
[2020-06-03 10:23:15] [INFO ] Added : 6 causal constraints over 2 iterations in 1075 ms. Result :sat
[2020-06-03 10:23:16] [INFO ] [Real]Absence check using 159 positive place invariants in 161 ms returned sat
[2020-06-03 10:23:16] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 122 ms returned sat
[2020-06-03 10:23:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:23:32] [INFO ] [Real]Absence check using state equation in 15602 ms returned sat
[2020-06-03 10:23:32] [INFO ] [Real]Added 1 Read/Feed constraints in 64 ms returned sat
[2020-06-03 10:23:32] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 266 ms.
[2020-06-03 10:23:33] [INFO ] Added : 6 causal constraints over 2 iterations in 1162 ms. Result :sat
[2020-06-03 10:23:34] [INFO ] [Real]Absence check using 159 positive place invariants in 390 ms returned sat
[2020-06-03 10:23:34] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 90 ms returned unsat
[2020-06-03 10:23:34] [INFO ] [Real]Absence check using 159 positive place invariants in 151 ms returned sat
[2020-06-03 10:23:34] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:23:35] [INFO ] [Real]Absence check using 159 positive place invariants in 297 ms returned sat
[2020-06-03 10:23:35] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 123 ms returned sat
[2020-06-03 10:23:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:23:51] [INFO ] [Real]Absence check using state equation in 15788 ms returned sat
[2020-06-03 10:23:51] [INFO ] [Real]Added 1 Read/Feed constraints in 87 ms returned sat
[2020-06-03 10:23:52] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 437 ms.
[2020-06-03 10:23:52] [INFO ] Added : 6 causal constraints over 2 iterations in 1192 ms. Result :sat
[2020-06-03 10:23:53] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 10:23:53] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 10:23:53] [INFO ] [Real]Absence check using 159 positive place invariants in 161 ms returned sat
[2020-06-03 10:23:53] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 92 ms returned unsat
[2020-06-03 10:23:54] [INFO ] [Real]Absence check using 159 positive place invariants in 150 ms returned sat
[2020-06-03 10:23:54] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 118 ms returned sat
[2020-06-03 10:23:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:24:09] [INFO ] [Real]Absence check using state equation in 14937 ms returned sat
[2020-06-03 10:24:09] [INFO ] [Real]Added 1 Read/Feed constraints in 69 ms returned sat
[2020-06-03 10:24:09] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 282 ms.
[2020-06-03 10:24:10] [INFO ] Added : 6 causal constraints over 2 iterations in 1102 ms. Result :sat
[2020-06-03 10:24:11] [INFO ] [Real]Absence check using 159 positive place invariants in 145 ms returned sat
[2020-06-03 10:24:11] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:24:11] [INFO ] [Real]Absence check using 159 positive place invariants in 154 ms returned sat
[2020-06-03 10:24:11] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:24:11] [INFO ] [Real]Absence check using 159 positive place invariants in 191 ms returned sat
[2020-06-03 10:24:11] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 119 ms returned sat
[2020-06-03 10:24:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:24:26] [INFO ] [Real]Absence check using state equation in 14556 ms returned sat
[2020-06-03 10:24:26] [INFO ] [Real]Added 1 Read/Feed constraints in 65 ms returned sat
[2020-06-03 10:24:27] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 332 ms.
[2020-06-03 10:24:27] [INFO ] Added : 6 causal constraints over 2 iterations in 995 ms. Result :sat
[2020-06-03 10:24:28] [INFO ] [Real]Absence check using 159 positive place invariants in 164 ms returned sat
[2020-06-03 10:24:28] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 51 ms returned unsat
[2020-06-03 10:24:28] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 10:24:28] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:24:29] [INFO ] [Real]Absence check using 159 positive place invariants in 157 ms returned sat
[2020-06-03 10:24:29] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 90 ms returned unsat
[2020-06-03 10:24:29] [INFO ] [Real]Absence check using 159 positive place invariants in 154 ms returned sat
[2020-06-03 10:24:29] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 33 ms returned unsat
[2020-06-03 10:24:29] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 10:24:29] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 34 ms returned unsat
[2020-06-03 10:24:30] [INFO ] [Real]Absence check using 159 positive place invariants in 145 ms returned sat
[2020-06-03 10:24:30] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:24:30] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 10:24:30] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 34 ms returned unsat
[2020-06-03 10:24:30] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 10:24:30] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:24:31] [INFO ] [Real]Absence check using 159 positive place invariants in 137 ms returned sat
[2020-06-03 10:24:31] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 84 ms returned sat
[2020-06-03 10:24:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:24:45] [INFO ] [Real]Absence check using state equation in 14419 ms returned sat
[2020-06-03 10:24:45] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 10:24:45] [INFO ] [Nat]Absence check using 159 positive place invariants in 110 ms returned sat
[2020-06-03 10:24:46] [INFO ] [Nat]Absence check using 159 positive and 33 generalized place invariants in 121 ms returned sat
[2020-06-03 10:24:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 10:24:59] [INFO ] [Nat]Absence check using state equation in 13558 ms returned sat
[2020-06-03 10:25:00] [INFO ] [Nat]Added 1 Read/Feed constraints in 1162 ms returned sat
[2020-06-03 10:25:01] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 270 ms.
[2020-06-03 10:25:05] [INFO ] Added : 40 causal constraints over 8 iterations in 4845 ms. Result :unknown
[2020-06-03 10:25:06] [INFO ] [Real]Absence check using 159 positive place invariants in 129 ms returned sat
[2020-06-03 10:25:06] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 10 ms returned unsat
[2020-06-03 10:25:06] [INFO ] [Real]Absence check using 159 positive place invariants in 129 ms returned sat
[2020-06-03 10:25:06] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 96 ms returned sat
[2020-06-03 10:25:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:25:19] [INFO ] [Real]Absence check using state equation in 13214 ms returned sat
[2020-06-03 10:25:19] [INFO ] [Real]Added 1 Read/Feed constraints in 64 ms returned sat
[2020-06-03 10:25:20] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 287 ms.
[2020-06-03 10:25:21] [INFO ] Added : 6 causal constraints over 2 iterations in 1474 ms. Result :sat
[2020-06-03 10:25:21] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 10:25:21] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:25:22] [INFO ] [Real]Absence check using 159 positive place invariants in 159 ms returned sat
[2020-06-03 10:25:22] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:25:22] [INFO ] [Real]Absence check using 159 positive place invariants in 151 ms returned sat
[2020-06-03 10:25:22] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 123 ms returned sat
[2020-06-03 10:25:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:25:34] [INFO ] [Real]Absence check using state equation in 11805 ms returned sat
[2020-06-03 10:25:34] [INFO ] [Real]Added 1 Read/Feed constraints in 66 ms returned sat
[2020-06-03 10:25:35] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 293 ms.
[2020-06-03 10:25:35] [INFO ] Added : 6 causal constraints over 2 iterations in 957 ms. Result :sat
[2020-06-03 10:25:36] [INFO ] [Real]Absence check using 159 positive place invariants in 145 ms returned sat
[2020-06-03 10:25:36] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 8 ms returned unsat
[2020-06-03 10:25:36] [INFO ] [Real]Absence check using 159 positive place invariants in 159 ms returned sat
[2020-06-03 10:25:36] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 10:25:36] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 10:25:36] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 6 ms returned unsat
[2020-06-03 10:25:37] [INFO ] [Real]Absence check using 159 positive place invariants in 163 ms returned sat
[2020-06-03 10:25:37] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 97 ms returned unsat
[2020-06-03 10:25:37] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 10:25:37] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:25:38] [INFO ] [Real]Absence check using 159 positive place invariants in 162 ms returned sat
[2020-06-03 10:25:38] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 51 ms returned unsat
[2020-06-03 10:25:38] [INFO ] [Real]Absence check using 159 positive place invariants in 154 ms returned sat
[2020-06-03 10:25:38] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 60 ms returned unsat
[2020-06-03 10:25:38] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 10:25:38] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 84 ms returned unsat
[2020-06-03 10:25:39] [INFO ] [Real]Absence check using 159 positive place invariants in 153 ms returned sat
[2020-06-03 10:25:39] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:25:39] [INFO ] [Real]Absence check using 159 positive place invariants in 109 ms returned sat
[2020-06-03 10:25:39] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 85 ms returned sat
[2020-06-03 10:25:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:25:52] [INFO ] [Real]Absence check using state equation in 13036 ms returned sat
[2020-06-03 10:25:52] [INFO ] [Real]Added 1 Read/Feed constraints in 64 ms returned sat
[2020-06-03 10:25:53] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 276 ms.
[2020-06-03 10:25:53] [INFO ] Added : 6 causal constraints over 2 iterations in 948 ms. Result :sat
[2020-06-03 10:25:54] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 10:25:54] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 120 ms returned sat
[2020-06-03 10:25:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:26:08] [INFO ] [Real]Absence check using state equation in 13810 ms returned sat
[2020-06-03 10:26:08] [INFO ] [Real]Added 1 Read/Feed constraints in 78 ms returned sat
[2020-06-03 10:26:08] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 276 ms.
[2020-06-03 10:26:09] [INFO ] Added : 6 causal constraints over 2 iterations in 1317 ms. Result :sat
[2020-06-03 10:26:10] [INFO ] [Real]Absence check using 159 positive place invariants in 161 ms returned sat
[2020-06-03 10:26:10] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 10:26:10] [INFO ] [Real]Absence check using 159 positive place invariants in 160 ms returned sat
[2020-06-03 10:26:11] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 120 ms returned sat
[2020-06-03 10:26:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:26:23] [INFO ] [Real]Absence check using state equation in 12265 ms returned sat
[2020-06-03 10:26:23] [INFO ] [Real]Added 1 Read/Feed constraints in 60 ms returned sat
[2020-06-03 10:26:24] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 471 ms.
[2020-06-03 10:26:25] [INFO ] Added : 6 causal constraints over 2 iterations in 1437 ms. Result :sat
[2020-06-03 10:26:25] [INFO ] [Real]Absence check using 159 positive place invariants in 191 ms returned sat
[2020-06-03 10:26:25] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:26:26] [INFO ] [Real]Absence check using 159 positive place invariants in 160 ms returned sat
[2020-06-03 10:26:26] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 10:26:26] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 10:26:26] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:26:26] [INFO ] [Real]Absence check using 159 positive place invariants in 151 ms returned sat
[2020-06-03 10:26:26] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:26:27] [INFO ] [Real]Absence check using 159 positive place invariants in 157 ms returned sat
[2020-06-03 10:26:27] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:26:27] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 10:26:27] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 32 ms returned unsat
[2020-06-03 10:26:27] [INFO ] [Real]Absence check using 159 positive place invariants in 158 ms returned sat
[2020-06-03 10:26:27] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 26 ms returned unsat
[2020-06-03 10:26:28] [INFO ] [Real]Absence check using 159 positive place invariants in 153 ms returned sat
[2020-06-03 10:26:28] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:26:28] [INFO ] [Real]Absence check using 159 positive place invariants in 150 ms returned sat
[2020-06-03 10:26:28] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 25 ms returned unsat
[2020-06-03 10:26:28] [INFO ] [Real]Absence check using 159 positive place invariants in 158 ms returned sat
[2020-06-03 10:26:28] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 6 ms returned unsat
[2020-06-03 10:26:29] [INFO ] [Real]Absence check using 159 positive place invariants in 157 ms returned sat
[2020-06-03 10:26:29] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:26:29] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 10:26:29] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 37 ms returned unsat
[2020-06-03 10:26:29] [INFO ] [Real]Absence check using 159 positive place invariants in 156 ms returned sat
[2020-06-03 10:26:29] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 137 ms returned sat
[2020-06-03 10:26:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:26:45] [INFO ] [Real]Absence check using state equation in 15677 ms returned sat
[2020-06-03 10:26:45] [INFO ] [Real]Added 1 Read/Feed constraints in 55 ms returned sat
[2020-06-03 10:26:46] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 278 ms.
[2020-06-03 10:26:46] [INFO ] Added : 6 causal constraints over 2 iterations in 912 ms. Result :sat
[2020-06-03 10:26:47] [INFO ] [Real]Absence check using 159 positive place invariants in 160 ms returned sat
[2020-06-03 10:26:47] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:26:47] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 10:26:47] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 124 ms returned sat
[2020-06-03 10:26:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:27:05] [INFO ] [Real]Absence check using state equation in 17934 ms returned sat
[2020-06-03 10:27:05] [INFO ] [Real]Added 1 Read/Feed constraints in 64 ms returned sat
[2020-06-03 10:27:06] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 367 ms.
[2020-06-03 10:27:07] [INFO ] Added : 6 causal constraints over 2 iterations in 1039 ms. Result :sat
[2020-06-03 10:27:07] [INFO ] [Real]Absence check using 159 positive place invariants in 151 ms returned sat
[2020-06-03 10:27:07] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:27:08] [INFO ] [Real]Absence check using 159 positive place invariants in 138 ms returned sat
[2020-06-03 10:27:08] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:27:08] [INFO ] [Real]Absence check using 159 positive place invariants in 145 ms returned sat
[2020-06-03 10:27:08] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 7 ms returned unsat
[2020-06-03 10:27:08] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 10:27:08] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 10:27:08] [INFO ] [Real]Absence check using 159 positive place invariants in 150 ms returned sat
[2020-06-03 10:27:09] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 34 ms returned unsat
[2020-06-03 10:27:09] [INFO ] [Real]Absence check using 159 positive place invariants in 159 ms returned sat
[2020-06-03 10:27:09] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:27:09] [INFO ] [Real]Absence check using 159 positive place invariants in 166 ms returned sat
[2020-06-03 10:27:09] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 50 ms returned unsat
[2020-06-03 10:27:10] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 10:27:10] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 6 ms returned unsat
[2020-06-03 10:27:10] [INFO ] [Real]Absence check using 159 positive place invariants in 155 ms returned sat
[2020-06-03 10:27:10] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 127 ms returned sat
[2020-06-03 10:27:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:27:22] [INFO ] [Real]Absence check using state equation in 12345 ms returned sat
[2020-06-03 10:27:23] [INFO ] [Real]Added 1 Read/Feed constraints in 62 ms returned sat
[2020-06-03 10:27:23] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 268 ms.
[2020-06-03 10:27:24] [INFO ] Added : 6 causal constraints over 2 iterations in 972 ms. Result :sat
[2020-06-03 10:27:24] [INFO ] [Real]Absence check using 159 positive place invariants in 146 ms returned sat
[2020-06-03 10:27:24] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 47 ms returned unsat
[2020-06-03 10:27:25] [INFO ] [Real]Absence check using 159 positive place invariants in 163 ms returned sat
[2020-06-03 10:27:25] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:27:25] [INFO ] [Real]Absence check using 159 positive place invariants in 150 ms returned sat
[2020-06-03 10:27:25] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 32 ms returned unsat
[2020-06-03 10:27:25] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 10:27:25] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:27:26] [INFO ] [Real]Absence check using 159 positive place invariants in 113 ms returned sat
[2020-06-03 10:27:26] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 92 ms returned sat
[2020-06-03 10:27:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:27:38] [INFO ] [Real]Absence check using state equation in 12743 ms returned sat
[2020-06-03 10:27:39] [INFO ] [Real]Added 1 Read/Feed constraints in 65 ms returned sat
[2020-06-03 10:27:39] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 442 ms.
[2020-06-03 10:27:40] [INFO ] Added : 6 causal constraints over 2 iterations in 1122 ms. Result :sat
[2020-06-03 10:27:40] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 10:27:41] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 190 ms returned sat
[2020-06-03 10:27:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:27:56] [INFO ] [Real]Absence check using state equation in 14892 ms returned sat
[2020-06-03 10:27:56] [INFO ] [Real]Added 1 Read/Feed constraints in 83 ms returned sat
[2020-06-03 10:27:56] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 292 ms.
[2020-06-03 10:27:57] [INFO ] Added : 6 causal constraints over 2 iterations in 1039 ms. Result :sat
[2020-06-03 10:27:57] [INFO ] [Real]Absence check using 159 positive place invariants in 158 ms returned sat
[2020-06-03 10:27:57] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 87 ms returned unsat
[2020-06-03 10:27:58] [INFO ] [Real]Absence check using 159 positive place invariants in 159 ms returned sat
[2020-06-03 10:27:58] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 6 ms returned unsat
[2020-06-03 10:27:58] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 10:27:58] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:27:59] [INFO ] [Real]Absence check using 159 positive place invariants in 189 ms returned sat
[2020-06-03 10:27:59] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 25 ms returned unsat
[2020-06-03 10:27:59] [INFO ] [Real]Absence check using 159 positive place invariants in 146 ms returned sat
[2020-06-03 10:27:59] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:27:59] [INFO ] [Real]Absence check using 159 positive place invariants in 150 ms returned sat
[2020-06-03 10:27:59] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:28:00] [INFO ] [Real]Absence check using 159 positive place invariants in 107 ms returned sat
[2020-06-03 10:28:00] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 34 ms returned unsat
[2020-06-03 10:28:00] [INFO ] [Real]Absence check using 159 positive place invariants in 187 ms returned sat
[2020-06-03 10:28:00] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 12 ms returned unsat
[2020-06-03 10:28:00] [INFO ] [Real]Absence check using 159 positive place invariants in 164 ms returned sat
[2020-06-03 10:28:00] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 124 ms returned sat
[2020-06-03 10:28:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:28:16] [INFO ] [Real]Absence check using state equation in 16113 ms returned sat
[2020-06-03 10:28:17] [INFO ] [Real]Added 1 Read/Feed constraints in 78 ms returned sat
[2020-06-03 10:28:17] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 464 ms.
[2020-06-03 10:28:18] [INFO ] Added : 6 causal constraints over 2 iterations in 1334 ms. Result :sat
[2020-06-03 10:28:19] [INFO ] [Real]Absence check using 159 positive place invariants in 161 ms returned sat
[2020-06-03 10:28:19] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 10 ms returned unsat
[2020-06-03 10:28:19] [INFO ] [Real]Absence check using 159 positive place invariants in 158 ms returned sat
[2020-06-03 10:28:19] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 6 ms returned unsat
[2020-06-03 10:28:19] [INFO ] [Real]Absence check using 159 positive place invariants in 158 ms returned sat
[2020-06-03 10:28:19] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 49 ms returned unsat
[2020-06-03 10:28:20] [INFO ] [Real]Absence check using 159 positive place invariants in 154 ms returned sat
[2020-06-03 10:28:20] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:28:20] [INFO ] [Real]Absence check using 159 positive place invariants in 179 ms returned sat
[2020-06-03 10:28:20] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 130 ms returned sat
[2020-06-03 10:28:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:28:37] [INFO ] [Real]Absence check using state equation in 16818 ms returned sat
[2020-06-03 10:28:37] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 10:28:37] [INFO ] [Nat]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 10:28:38] [INFO ] [Nat]Absence check using 159 positive and 33 generalized place invariants in 119 ms returned sat
[2020-06-03 10:28:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 10:28:51] [INFO ] [Nat]Absence check using state equation in 13510 ms returned sat
[2020-06-03 10:28:51] [INFO ] [Nat]Added 1 Read/Feed constraints in 170 ms returned sat
[2020-06-03 10:28:52] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 290 ms.
[2020-06-03 10:28:57] [INFO ] Added : 15 causal constraints over 3 iterations in 5826 ms. Result :(error "Solver has unexpectedly terminated")
[2020-06-03 10:28:57] [INFO ] [Real]Absence check using 159 positive place invariants in 104 ms returned sat
[2020-06-03 10:28:57] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 3 ms returned unsat
[2020-06-03 10:28:58] [INFO ] [Real]Absence check using 159 positive place invariants in 104 ms returned sat
[2020-06-03 10:28:58] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 10 ms returned unsat
[2020-06-03 10:28:58] [INFO ] [Real]Absence check using 159 positive place invariants in 116 ms returned sat
[2020-06-03 10:28:58] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 9 ms returned unsat
[2020-06-03 10:28:58] [INFO ] [Real]Absence check using 159 positive place invariants in 144 ms returned sat
[2020-06-03 10:28:58] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 84 ms returned sat
[2020-06-03 10:28:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:29:15] [INFO ] [Real]Absence check using state equation in 16603 ms returned sat
[2020-06-03 10:29:15] [INFO ] [Real]Added 1 Read/Feed constraints in 38 ms returned sat
[2020-06-03 10:29:16] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 360 ms.
[2020-06-03 10:29:16] [INFO ] Added : 6 causal constraints over 2 iterations in 896 ms. Result :sat
[2020-06-03 10:29:17] [INFO ] [Real]Absence check using 159 positive place invariants in 144 ms returned sat
[2020-06-03 10:29:17] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 118 ms returned sat
[2020-06-03 10:29:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:29:29] [INFO ] [Real]Absence check using state equation in 11800 ms returned sat
[2020-06-03 10:29:29] [INFO ] [Real]Added 1 Read/Feed constraints in 66 ms returned sat
[2020-06-03 10:29:29] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 252 ms.
[2020-06-03 10:29:30] [INFO ] Added : 6 causal constraints over 2 iterations in 873 ms. Result :sat
[2020-06-03 10:29:30] [INFO ] [Real]Absence check using 159 positive place invariants in 106 ms returned sat
[2020-06-03 10:29:30] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:29:30] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 10:29:30] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:29:31] [INFO ] [Real]Absence check using 159 positive place invariants in 156 ms returned sat
[2020-06-03 10:29:31] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 16 ms returned unsat
[2020-06-03 10:29:31] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 10:29:31] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 113 ms returned sat
[2020-06-03 10:29:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:29:45] [INFO ] [Real]Absence check using state equation in 14126 ms returned sat
[2020-06-03 10:29:45] [INFO ] [Real]Added 1 Read/Feed constraints in 66 ms returned sat
[2020-06-03 10:29:46] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 419 ms.
[2020-06-03 10:29:46] [INFO ] Added : 6 causal constraints over 2 iterations in 929 ms. Result :sat
[2020-06-03 10:29:47] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 10:29:47] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:29:47] [INFO ] [Real]Absence check using 159 positive place invariants in 146 ms returned sat
[2020-06-03 10:29:47] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 121 ms returned sat
[2020-06-03 10:29:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:30:01] [INFO ] [Real]Absence check using state equation in 14049 ms returned sat
[2020-06-03 10:30:01] [INFO ] [Real]Added 1 Read/Feed constraints in 59 ms returned sat
[2020-06-03 10:30:02] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 262 ms.
[2020-06-03 10:30:03] [INFO ] Added : 6 causal constraints over 2 iterations in 987 ms. Result :sat
[2020-06-03 10:30:03] [INFO ] [Real]Absence check using 159 positive place invariants in 169 ms returned sat
[2020-06-03 10:30:03] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 12 ms returned unsat
[2020-06-03 10:30:04] [INFO ] [Real]Absence check using 159 positive place invariants in 144 ms returned sat
[2020-06-03 10:30:04] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 82 ms returned unsat
[2020-06-03 10:30:04] [INFO ] [Real]Absence check using 159 positive place invariants in 165 ms returned sat
[2020-06-03 10:30:04] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 10:30:04] [INFO ] [Real]Absence check using 159 positive place invariants in 106 ms returned sat
[2020-06-03 10:30:04] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 22 ms returned unsat
[2020-06-03 10:30:05] [INFO ] [Real]Absence check using 159 positive place invariants in 129 ms returned sat
[2020-06-03 10:30:05] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 3 ms returned unsat
[2020-06-03 10:30:05] [INFO ] [Real]Absence check using 159 positive place invariants in 135 ms returned sat
[2020-06-03 10:30:05] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:30:05] [INFO ] [Real]Absence check using 159 positive place invariants in 100 ms returned sat
[2020-06-03 10:30:05] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:30:05] [INFO ] [Real]Absence check using 159 positive place invariants in 100 ms returned sat
[2020-06-03 10:30:05] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 8 ms returned unsat
[2020-06-03 10:30:05] [INFO ] [Real]Absence check using 159 positive place invariants in 99 ms returned sat
[2020-06-03 10:30:05] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 3 ms returned unsat
[2020-06-03 10:30:06] [INFO ] [Real]Absence check using 159 positive place invariants in 118 ms returned sat
[2020-06-03 10:30:06] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 85 ms returned sat
[2020-06-03 10:30:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:30:22] [INFO ] [Real]Absence check using state equation in 16118 ms returned sat
[2020-06-03 10:30:22] [INFO ] [Real]Added 1 Read/Feed constraints in 62 ms returned sat
[2020-06-03 10:30:22] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 284 ms.
[2020-06-03 10:30:23] [INFO ] Added : 6 causal constraints over 2 iterations in 1021 ms. Result :sat
[2020-06-03 10:30:24] [INFO ] [Real]Absence check using 159 positive place invariants in 161 ms returned sat
[2020-06-03 10:30:24] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 121 ms returned sat
[2020-06-03 10:30:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:30:38] [INFO ] [Real]Absence check using state equation in 13750 ms returned sat
[2020-06-03 10:30:38] [INFO ] [Real]Added 1 Read/Feed constraints in 71 ms returned sat
[2020-06-03 10:30:38] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 291 ms.
[2020-06-03 10:30:39] [INFO ] Added : 6 causal constraints over 2 iterations in 972 ms. Result :sat
[2020-06-03 10:30:39] [INFO ] [Real]Absence check using 159 positive place invariants in 144 ms returned sat
[2020-06-03 10:30:39] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 33 ms returned unsat
[2020-06-03 10:30:40] [INFO ] [Real]Absence check using 159 positive place invariants in 163 ms returned sat
[2020-06-03 10:30:40] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:30:40] [INFO ] [Real]Absence check using 159 positive place invariants in 154 ms returned sat
[2020-06-03 10:30:40] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:30:40] [INFO ] [Real]Absence check using 159 positive place invariants in 156 ms returned sat
[2020-06-03 10:30:40] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:30:41] [INFO ] [Real]Absence check using 159 positive place invariants in 109 ms returned sat
[2020-06-03 10:30:41] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 11 ms returned unsat
[2020-06-03 10:30:41] [INFO ] [Real]Absence check using 159 positive place invariants in 118 ms returned sat
[2020-06-03 10:30:41] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 88 ms returned sat
[2020-06-03 10:30:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:30:56] [INFO ] [Real]Absence check using state equation in 15216 ms returned sat
[2020-06-03 10:30:56] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 10:30:56] [INFO ] [Nat]Absence check using 159 positive place invariants in 108 ms returned sat
[2020-06-03 10:30:57] [INFO ] [Nat]Absence check using 159 positive and 33 generalized place invariants in 86 ms returned sat
[2020-06-03 10:30:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 10:31:15] [INFO ] [Nat]Absence check using state equation in 18063 ms returned sat
[2020-06-03 10:31:15] [INFO ] [Nat]Added 1 Read/Feed constraints in 57 ms returned sat
[2020-06-03 10:31:15] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 398 ms.
[2020-06-03 10:31:16] [INFO ] Added : 6 causal constraints over 2 iterations in 1006 ms. Result :sat
[2020-06-03 10:31:16] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 10:31:16] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 10:31:17] [INFO ] [Real]Absence check using 159 positive place invariants in 157 ms returned sat
[2020-06-03 10:31:17] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 34 ms returned unsat
[2020-06-03 10:31:17] [INFO ] [Real]Absence check using 159 positive place invariants in 146 ms returned sat
[2020-06-03 10:31:17] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 8 ms returned unsat
[2020-06-03 10:31:17] [INFO ] [Real]Absence check using 159 positive place invariants in 156 ms returned sat
[2020-06-03 10:31:17] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 6 ms returned unsat
[2020-06-03 10:31:18] [INFO ] [Real]Absence check using 159 positive place invariants in 146 ms returned sat
[2020-06-03 10:31:18] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:31:18] [INFO ] [Real]Absence check using 159 positive place invariants in 117 ms returned sat
[2020-06-03 10:31:18] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:31:18] [INFO ] [Real]Absence check using 159 positive place invariants in 144 ms returned sat
[2020-06-03 10:31:18] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 117 ms returned sat
[2020-06-03 10:31:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:31:31] [INFO ] [Real]Absence check using state equation in 12478 ms returned sat
[2020-06-03 10:31:31] [INFO ] [Real]Added 1 Read/Feed constraints in 60 ms returned sat
[2020-06-03 10:31:31] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 258 ms.
[2020-06-03 10:31:32] [INFO ] Added : 6 causal constraints over 2 iterations in 959 ms. Result :sat
[2020-06-03 10:31:33] [INFO ] [Real]Absence check using 159 positive place invariants in 150 ms returned sat
[2020-06-03 10:31:33] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:31:33] [INFO ] [Real]Absence check using 159 positive place invariants in 152 ms returned sat
[2020-06-03 10:31:33] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 120 ms returned sat
[2020-06-03 10:31:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:31:47] [INFO ] [Real]Absence check using state equation in 13637 ms returned sat
[2020-06-03 10:31:47] [INFO ] [Real]Added 1 Read/Feed constraints in 31 ms returned sat
[2020-06-03 10:31:47] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 346 ms.
[2020-06-03 10:31:48] [INFO ] Added : 6 causal constraints over 2 iterations in 1047 ms. Result :sat
[2020-06-03 10:31:48] [INFO ] [Real]Absence check using 159 positive place invariants in 146 ms returned sat
[2020-06-03 10:31:48] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 32 ms returned unsat
[2020-06-03 10:31:49] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 10:31:49] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 11 ms returned unsat
[2020-06-03 10:31:49] [INFO ] [Real]Absence check using 159 positive place invariants in 145 ms returned sat
[2020-06-03 10:31:49] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 80 ms returned unsat
[2020-06-03 10:31:49] [INFO ] [Real]Absence check using 159 positive place invariants in 141 ms returned sat
[2020-06-03 10:31:49] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:31:50] [INFO ] [Real]Absence check using 159 positive place invariants in 135 ms returned sat
[2020-06-03 10:31:50] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 24 ms returned unsat
[2020-06-03 10:31:50] [INFO ] [Real]Absence check using 159 positive place invariants in 100 ms returned sat
[2020-06-03 10:31:50] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 81 ms returned sat
[2020-06-03 10:31:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:32:04] [INFO ] [Real]Absence check using state equation in 13684 ms returned sat
[2020-06-03 10:32:04] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 10:32:04] [INFO ] [Nat]Absence check using 159 positive place invariants in 115 ms returned sat
[2020-06-03 10:32:04] [INFO ] [Nat]Absence check using 159 positive and 33 generalized place invariants in 98 ms returned sat
[2020-06-03 10:32:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 10:32:24] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-03 10:32:24] [INFO ] [Nat]Absence check using state equation in 19648 ms returned (error "Failed to check-sat")
[2020-06-03 10:32:24] [INFO ] [Real]Absence check using 159 positive place invariants in 146 ms returned sat
[2020-06-03 10:32:24] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:32:24] [INFO ] [Real]Absence check using 159 positive place invariants in 153 ms returned sat
[2020-06-03 10:32:24] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:32:25] [INFO ] [Real]Absence check using 159 positive place invariants in 104 ms returned sat
[2020-06-03 10:32:25] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 34 ms returned unsat
[2020-06-03 10:32:25] [INFO ] [Real]Absence check using 159 positive place invariants in 150 ms returned sat
[2020-06-03 10:32:25] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 10:32:25] [INFO ] [Real]Absence check using 159 positive place invariants in 139 ms returned sat
[2020-06-03 10:32:25] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 63 ms returned unsat
[2020-06-03 10:32:25] [INFO ] [Real]Absence check using 159 positive place invariants in 101 ms returned sat
[2020-06-03 10:32:25] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 84 ms returned sat
[2020-06-03 10:32:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:32:38] [INFO ] [Real]Absence check using state equation in 12640 ms returned sat
[2020-06-03 10:32:38] [INFO ] [Real]Added 1 Read/Feed constraints in 44 ms returned sat
[2020-06-03 10:32:39] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 246 ms.
[2020-06-03 10:32:39] [INFO ] Added : 6 causal constraints over 2 iterations in 823 ms. Result :sat
[2020-06-03 10:32:40] [INFO ] [Real]Absence check using 159 positive place invariants in 152 ms returned sat
[2020-06-03 10:32:40] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 115 ms returned sat
[2020-06-03 10:32:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:32:56] [INFO ] [Real]Absence check using state equation in 16261 ms returned sat
[2020-06-03 10:32:56] [INFO ] [Real]Added 1 Read/Feed constraints in 42 ms returned sat
[2020-06-03 10:32:57] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 270 ms.
[2020-06-03 10:32:59] [INFO ] Added : 6 causal constraints over 2 iterations in 2675 ms. Result :sat
[2020-06-03 10:33:00] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 10:33:00] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:33:00] [INFO ] [Real]Absence check using 159 positive place invariants in 151 ms returned sat
[2020-06-03 10:33:00] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 49 ms returned unsat
[2020-06-03 10:33:00] [INFO ] [Real]Absence check using 159 positive place invariants in 128 ms returned sat
[2020-06-03 10:33:00] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 97 ms returned sat
[2020-06-03 10:33:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:33:15] [INFO ] [Real]Absence check using state equation in 15056 ms returned sat
[2020-06-03 10:33:16] [INFO ] [Real]Added 1 Read/Feed constraints in 66 ms returned sat
[2020-06-03 10:33:16] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 265 ms.
[2020-06-03 10:33:17] [INFO ] Added : 6 causal constraints over 2 iterations in 856 ms. Result :sat
[2020-06-03 10:33:17] [INFO ] [Real]Absence check using 159 positive place invariants in 161 ms returned sat
[2020-06-03 10:33:17] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:33:17] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 10:33:17] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:33:18] [INFO ] [Real]Absence check using 159 positive place invariants in 153 ms returned sat
[2020-06-03 10:33:18] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:33:18] [INFO ] [Real]Absence check using 159 positive place invariants in 103 ms returned sat
[2020-06-03 10:33:18] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 60 ms returned unsat
[2020-06-03 10:33:18] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 10:33:18] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 122 ms returned sat
[2020-06-03 10:33:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:33:33] [INFO ] [Real]Absence check using state equation in 15064 ms returned sat
[2020-06-03 10:33:34] [INFO ] [Real]Added 1 Read/Feed constraints in 68 ms returned sat
[2020-06-03 10:33:34] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 330 ms.
[2020-06-03 10:33:35] [INFO ] Added : 6 causal constraints over 2 iterations in 1014 ms. Result :sat
[2020-06-03 10:33:35] [INFO ] [Real]Absence check using 159 positive place invariants in 175 ms returned sat
[2020-06-03 10:33:36] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 116 ms returned sat
[2020-06-03 10:33:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:33:50] [INFO ] [Real]Absence check using state equation in 14163 ms returned sat
[2020-06-03 10:33:50] [INFO ] [Real]Added 1 Read/Feed constraints in 61 ms returned sat
[2020-06-03 10:33:50] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 300 ms.
[2020-06-03 10:33:51] [INFO ] Added : 6 causal constraints over 2 iterations in 998 ms. Result :sat
[2020-06-03 10:33:52] [INFO ] [Real]Absence check using 159 positive place invariants in 160 ms returned sat
[2020-06-03 10:33:52] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 8 ms returned unsat
[2020-06-03 10:33:52] [INFO ] [Real]Absence check using 159 positive place invariants in 162 ms returned sat
[2020-06-03 10:33:52] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 113 ms returned sat
[2020-06-03 10:33:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:34:06] [INFO ] [Real]Absence check using state equation in 14409 ms returned sat
[2020-06-03 10:34:07] [INFO ] [Real]Added 1 Read/Feed constraints in 63 ms returned sat
[2020-06-03 10:34:07] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 478 ms.
[2020-06-03 10:34:08] [INFO ] Added : 6 causal constraints over 2 iterations in 1156 ms. Result :sat
[2020-06-03 10:34:08] [INFO ] [Real]Absence check using 159 positive place invariants in 185 ms returned sat
[2020-06-03 10:34:08] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 6 ms returned unsat
[2020-06-03 10:34:09] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 10:34:09] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:34:09] [INFO ] [Real]Absence check using 159 positive place invariants in 161 ms returned sat
[2020-06-03 10:34:09] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:34:09] [INFO ] [Real]Absence check using 159 positive place invariants in 146 ms returned sat
[2020-06-03 10:34:09] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:34:10] [INFO ] [Real]Absence check using 159 positive place invariants in 143 ms returned sat
[2020-06-03 10:34:10] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 72 ms returned unsat
[2020-06-03 10:34:10] [INFO ] [Real]Absence check using 159 positive place invariants in 138 ms returned sat
[2020-06-03 10:34:10] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 65 ms returned unsat
[2020-06-03 10:34:10] [INFO ] [Real]Absence check using 159 positive place invariants in 113 ms returned sat
[2020-06-03 10:34:11] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 87 ms returned sat
[2020-06-03 10:34:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:34:26] [INFO ] [Real]Absence check using state equation in 15120 ms returned sat
[2020-06-03 10:34:26] [INFO ] [Real]Added 1 Read/Feed constraints in 60 ms returned sat
[2020-06-03 10:34:26] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 244 ms.
[2020-06-03 10:34:27] [INFO ] Added : 6 causal constraints over 2 iterations in 913 ms. Result :sat
[2020-06-03 10:34:27] [INFO ] [Real]Absence check using 159 positive place invariants in 146 ms returned sat
[2020-06-03 10:34:27] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 10:34:28] [INFO ] [Real]Absence check using 159 positive place invariants in 154 ms returned sat
[2020-06-03 10:34:28] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 120 ms returned sat
[2020-06-03 10:34:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:34:42] [INFO ] [Real]Absence check using state equation in 14383 ms returned sat
[2020-06-03 10:34:42] [INFO ] [Real]Added 1 Read/Feed constraints in 64 ms returned sat
[2020-06-03 10:34:43] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 392 ms.
[2020-06-03 10:34:44] [INFO ] Added : 6 causal constraints over 2 iterations in 1268 ms. Result :sat
[2020-06-03 10:34:44] [INFO ] [Real]Absence check using 159 positive place invariants in 156 ms returned sat
[2020-06-03 10:34:44] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 16 ms returned unsat
[2020-06-03 10:34:45] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 10:34:45] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:34:45] [INFO ] [Real]Absence check using 159 positive place invariants in 112 ms returned sat
[2020-06-03 10:34:45] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 65 ms returned unsat
[2020-06-03 10:34:45] [INFO ] [Real]Absence check using 159 positive place invariants in 139 ms returned sat
[2020-06-03 10:34:45] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 25 ms returned unsat
[2020-06-03 10:34:45] [INFO ] [Real]Absence check using 159 positive place invariants in 114 ms returned sat
[2020-06-03 10:34:45] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 10 ms returned unsat
[2020-06-03 10:34:46] [INFO ] [Real]Absence check using 159 positive place invariants in 114 ms returned sat
[2020-06-03 10:34:46] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 36 ms returned unsat
[2020-06-03 10:34:46] [INFO ] [Real]Absence check using 159 positive place invariants in 111 ms returned sat
[2020-06-03 10:34:46] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 92 ms returned sat
[2020-06-03 10:34:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:35:03] [INFO ] [Real]Absence check using state equation in 16750 ms returned sat
[2020-06-03 10:35:03] [INFO ] [Real]Added 1 Read/Feed constraints in 72 ms returned sat
[2020-06-03 10:35:03] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 347 ms.
[2020-06-03 10:35:06] [INFO ] Added : 6 causal constraints over 2 iterations in 2660 ms. Result :sat
[2020-06-03 10:35:08] [INFO ] Deduced a trap composed of 11 places in 2244 ms
[2020-06-03 10:35:08] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream closed (> (+ s78 s335 s401 s453 s487 s599 s765 s815 s893 s898 s1082) 0)") while checking expression at index 550
[2020-06-03 10:35:08] [INFO ] [Real]Absence check using 159 positive place invariants in 122 ms returned sat
[2020-06-03 10:35:08] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:35:09] [INFO ] [Real]Absence check using 159 positive place invariants in 104 ms returned sat
[2020-06-03 10:35:09] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 11 ms returned unsat
[2020-06-03 10:35:09] [INFO ] [Real]Absence check using 159 positive place invariants in 118 ms returned sat
[2020-06-03 10:35:09] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 87 ms returned sat
[2020-06-03 10:35:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:35:24] [INFO ] [Real]Absence check using state equation in 15264 ms returned sat
[2020-06-03 10:35:24] [INFO ] [Real]Added 1 Read/Feed constraints in 141 ms returned sat
[2020-06-03 10:35:25] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 354 ms.
[2020-06-03 10:35:26] [INFO ] Added : 6 causal constraints over 2 iterations in 1422 ms. Result :sat
[2020-06-03 10:35:26] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 10:35:27] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 10:35:27] [INFO ] [Real]Absence check using 159 positive place invariants in 157 ms returned sat
[2020-06-03 10:35:27] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 132 ms returned sat
[2020-06-03 10:35:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:35:41] [INFO ] [Real]Absence check using state equation in 13891 ms returned sat
[2020-06-03 10:35:41] [INFO ] [Real]Added 1 Read/Feed constraints in 70 ms returned sat
[2020-06-03 10:35:42] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 378 ms.
[2020-06-03 10:35:42] [INFO ] Added : 6 causal constraints over 2 iterations in 1117 ms. Result :sat
[2020-06-03 10:35:43] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 10:35:43] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 121 ms returned sat
[2020-06-03 10:35:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:35:58] [INFO ] [Real]Absence check using state equation in 15182 ms returned sat
[2020-06-03 10:35:58] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 10:35:59] [INFO ] [Nat]Absence check using 159 positive place invariants in 157 ms returned sat
[2020-06-03 10:35:59] [INFO ] [Nat]Absence check using 159 positive and 33 generalized place invariants in 131 ms returned sat
[2020-06-03 10:35:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 10:36:15] [INFO ] [Nat]Absence check using state equation in 16756 ms returned sat
[2020-06-03 10:36:16] [INFO ] [Nat]Added 1 Read/Feed constraints in 118 ms returned sat
[2020-06-03 10:36:16] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 442 ms.
[2020-06-03 10:36:17] [INFO ] Added : 6 causal constraints over 2 iterations in 1100 ms. Result :sat
[2020-06-03 10:36:17] [INFO ] [Real]Absence check using 159 positive place invariants in 159 ms returned sat
[2020-06-03 10:36:17] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 130 ms returned sat
[2020-06-03 10:36:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:36:33] [INFO ] [Real]Absence check using state equation in 15729 ms returned sat
[2020-06-03 10:36:33] [INFO ] [Real]Added 1 Read/Feed constraints in 75 ms returned sat
[2020-06-03 10:36:34] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 374 ms.
[2020-06-03 10:36:35] [INFO ] Added : 6 causal constraints over 2 iterations in 1101 ms. Result :sat
[2020-06-03 10:36:35] [INFO ] [Real]Absence check using 159 positive place invariants in 152 ms returned sat
[2020-06-03 10:36:35] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 122 ms returned sat
[2020-06-03 10:36:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:36:51] [INFO ] [Real]Absence check using state equation in 15309 ms returned sat
[2020-06-03 10:36:51] [INFO ] [Real]Added 1 Read/Feed constraints in 57 ms returned sat
[2020-06-03 10:36:52] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 632 ms.
[2020-06-03 10:36:52] [INFO ] Added : 6 causal constraints over 2 iterations in 1502 ms. Result :sat
[2020-06-03 10:36:53] [INFO ] [Real]Absence check using 159 positive place invariants in 161 ms returned sat
[2020-06-03 10:36:53] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 125 ms returned sat
[2020-06-03 10:36:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:37:06] [INFO ] [Real]Absence check using state equation in 13063 ms returned sat
[2020-06-03 10:37:06] [INFO ] [Real]Added 1 Read/Feed constraints in 56 ms returned sat
[2020-06-03 10:37:07] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 337 ms.
[2020-06-03 10:37:08] [INFO ] Added : 6 causal constraints over 2 iterations in 1212 ms. Result :sat
[2020-06-03 10:37:08] [INFO ] [Real]Absence check using 159 positive place invariants in 169 ms returned sat
[2020-06-03 10:37:08] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 141 ms returned sat
[2020-06-03 10:37:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:37:22] [INFO ] [Real]Absence check using state equation in 13278 ms returned sat
[2020-06-03 10:37:22] [INFO ] [Real]Added 1 Read/Feed constraints in 73 ms returned sat
[2020-06-03 10:37:22] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 471 ms.
[2020-06-03 10:37:23] [INFO ] Added : 6 causal constraints over 2 iterations in 1396 ms. Result :sat
[2020-06-03 10:37:24] [INFO ] [Real]Absence check using 159 positive place invariants in 160 ms returned sat
[2020-06-03 10:37:24] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 15 ms returned unsat
[2020-06-03 10:37:24] [INFO ] [Real]Absence check using 159 positive place invariants in 152 ms returned sat
[2020-06-03 10:37:25] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 122 ms returned sat
[2020-06-03 10:37:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:37:39] [INFO ] [Real]Absence check using state equation in 14331 ms returned sat
[2020-06-03 10:37:39] [INFO ] [Real]Added 1 Read/Feed constraints in 63 ms returned sat
[2020-06-03 10:37:39] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 267 ms.
[2020-06-03 10:37:40] [INFO ] Added : 6 causal constraints over 2 iterations in 966 ms. Result :sat
[2020-06-03 10:37:41] [INFO ] [Real]Absence check using 159 positive place invariants in 160 ms returned sat
[2020-06-03 10:37:41] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 46 ms returned unsat
[2020-06-03 10:37:41] [INFO ] [Real]Absence check using 159 positive place invariants in 146 ms returned sat
[2020-06-03 10:37:41] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:37:41] [INFO ] [Real]Absence check using 159 positive place invariants in 161 ms returned sat
[2020-06-03 10:37:42] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 136 ms returned sat
[2020-06-03 10:37:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:37:54] [INFO ] [Real]Absence check using state equation in 12127 ms returned sat
[2020-06-03 10:37:54] [INFO ] [Real]Added 1 Read/Feed constraints in 53 ms returned sat
[2020-06-03 10:37:54] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 320 ms.
[2020-06-03 10:37:55] [INFO ] Added : 6 causal constraints over 2 iterations in 982 ms. Result :sat
[2020-06-03 10:37:55] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 10:37:55] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:37:56] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 10:37:56] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 115 ms returned sat
[2020-06-03 10:37:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:38:10] [INFO ] [Real]Absence check using state equation in 14524 ms returned sat
[2020-06-03 10:38:11] [INFO ] [Real]Added 1 Read/Feed constraints in 71 ms returned sat
[2020-06-03 10:38:11] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 285 ms.
[2020-06-03 10:38:12] [INFO ] Added : 6 causal constraints over 2 iterations in 1003 ms. Result :sat
[2020-06-03 10:38:12] [INFO ] [Real]Absence check using 159 positive place invariants in 150 ms returned sat
[2020-06-03 10:38:12] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 90 ms returned unsat
[2020-06-03 10:38:13] [INFO ] [Real]Absence check using 159 positive place invariants in 152 ms returned sat
[2020-06-03 10:38:13] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 129 ms returned sat
[2020-06-03 10:38:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:38:28] [INFO ] [Real]Absence check using state equation in 15306 ms returned sat
[2020-06-03 10:38:28] [INFO ] [Real]Added 1 Read/Feed constraints in 64 ms returned sat
[2020-06-03 10:38:29] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 398 ms.
[2020-06-03 10:38:30] [INFO ] Added : 6 causal constraints over 2 iterations in 1370 ms. Result :sat
[2020-06-03 10:38:31] [INFO ] [Real]Absence check using 159 positive place invariants in 425 ms returned sat
[2020-06-03 10:38:31] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 152 ms returned sat
[2020-06-03 10:38:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:38:45] [INFO ] [Real]Absence check using state equation in 13973 ms returned sat
[2020-06-03 10:38:45] [INFO ] [Real]Added 1 Read/Feed constraints in 76 ms returned sat
[2020-06-03 10:38:45] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 303 ms.
[2020-06-03 10:38:46] [INFO ] Added : 6 causal constraints over 2 iterations in 1146 ms. Result :sat
[2020-06-03 10:38:47] [INFO ] [Real]Absence check using 159 positive place invariants in 151 ms returned sat
[2020-06-03 10:38:47] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 87 ms returned unsat
[2020-06-03 10:38:47] [INFO ] [Real]Absence check using 159 positive place invariants in 155 ms returned sat
[2020-06-03 10:38:47] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 125 ms returned sat
[2020-06-03 10:38:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:39:03] [INFO ] [Real]Absence check using state equation in 15070 ms returned sat
[2020-06-03 10:39:03] [INFO ] [Real]Added 1 Read/Feed constraints in 69 ms returned sat
[2020-06-03 10:39:03] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 482 ms.
[2020-06-03 10:39:04] [INFO ] Added : 6 causal constraints over 2 iterations in 1159 ms. Result :sat
[2020-06-03 10:39:05] [INFO ] [Real]Absence check using 159 positive place invariants in 160 ms returned sat
[2020-06-03 10:39:05] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 83 ms returned unsat
[2020-06-03 10:39:05] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 10:39:05] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 16 ms returned unsat
[2020-06-03 10:39:05] [INFO ] [Real]Absence check using 159 positive place invariants in 137 ms returned sat
[2020-06-03 10:39:05] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:39:06] [INFO ] [Real]Absence check using 159 positive place invariants in 145 ms returned sat
[2020-06-03 10:39:06] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 15 ms returned unsat
[2020-06-03 10:39:06] [INFO ] [Real]Absence check using 159 positive place invariants in 101 ms returned sat
[2020-06-03 10:39:06] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 10 ms returned unsat
[2020-06-03 10:39:06] [INFO ] [Real]Absence check using 159 positive place invariants in 108 ms returned sat
[2020-06-03 10:39:06] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 84 ms returned sat
[2020-06-03 10:39:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:39:21] [INFO ] [Real]Absence check using state equation in 15097 ms returned sat
[2020-06-03 10:39:21] [INFO ] [Real]Added 1 Read/Feed constraints in 66 ms returned sat
[2020-06-03 10:39:22] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 297 ms.
[2020-06-03 10:39:23] [INFO ] Added : 6 causal constraints over 2 iterations in 1041 ms. Result :sat
[2020-06-03 10:39:23] [INFO ] [Real]Absence check using 159 positive place invariants in 174 ms returned sat
[2020-06-03 10:39:23] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 121 ms returned sat
[2020-06-03 10:39:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:39:39] [INFO ] [Real]Absence check using state equation in 15365 ms returned sat
[2020-06-03 10:39:39] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 10:39:39] [INFO ] [Nat]Absence check using 159 positive place invariants in 120 ms returned sat
[2020-06-03 10:39:39] [INFO ] [Nat]Absence check using 159 positive and 33 generalized place invariants in 123 ms returned sat
[2020-06-03 10:39:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 10:39:57] [INFO ] [Nat]Absence check using state equation in 17853 ms returned sat
[2020-06-03 10:39:57] [INFO ] [Nat]Added 1 Read/Feed constraints in 40 ms returned sat
[2020-06-03 10:39:57] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 310 ms.
[2020-06-03 10:39:58] [INFO ] Added : 6 causal constraints over 2 iterations in 949 ms. Result :sat
[2020-06-03 10:39:59] [INFO ] [Real]Absence check using 159 positive place invariants in 166 ms returned sat
[2020-06-03 10:39:59] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 86 ms returned unsat
[2020-06-03 10:39:59] [INFO ] [Real]Absence check using 159 positive place invariants in 164 ms returned sat
[2020-06-03 10:39:59] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 127 ms returned sat
[2020-06-03 10:39:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:40:15] [INFO ] [Real]Absence check using state equation in 15387 ms returned sat
[2020-06-03 10:40:15] [INFO ] [Real]Added 1 Read/Feed constraints in 77 ms returned sat
[2020-06-03 10:40:15] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 312 ms.
[2020-06-03 10:40:16] [INFO ] Added : 6 causal constraints over 2 iterations in 1015 ms. Result :sat
[2020-06-03 10:40:16] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 10:40:16] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:40:17] [INFO ] [Real]Absence check using 159 positive place invariants in 160 ms returned sat
[2020-06-03 10:40:17] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:40:17] [INFO ] [Real]Absence check using 159 positive place invariants in 104 ms returned sat
[2020-06-03 10:40:17] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:40:17] [INFO ] [Real]Absence check using 159 positive place invariants in 144 ms returned sat
[2020-06-03 10:40:17] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 33 ms returned unsat
[2020-06-03 10:40:18] [INFO ] [Real]Absence check using 159 positive place invariants in 104 ms returned sat
[2020-06-03 10:40:18] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 9 ms returned unsat
[2020-06-03 10:40:18] [INFO ] [Real]Absence check using 159 positive place invariants in 101 ms returned sat
[2020-06-03 10:40:18] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 9 ms returned unsat
[2020-06-03 10:40:18] [INFO ] [Real]Absence check using 159 positive place invariants in 118 ms returned sat
[2020-06-03 10:40:18] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 9 ms returned unsat
[2020-06-03 10:40:18] [INFO ] [Real]Absence check using 159 positive place invariants in 117 ms returned sat
[2020-06-03 10:40:18] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 9 ms returned unsat
[2020-06-03 10:40:19] [INFO ] [Real]Absence check using 159 positive place invariants in 122 ms returned sat
[2020-06-03 10:40:19] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 83 ms returned sat
[2020-06-03 10:40:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:40:32] [INFO ] [Real]Absence check using state equation in 13275 ms returned sat
[2020-06-03 10:40:32] [INFO ] [Real]Added 1 Read/Feed constraints in 65 ms returned sat
[2020-06-03 10:40:33] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 391 ms.
[2020-06-03 10:40:33] [INFO ] Added : 6 causal constraints over 2 iterations in 1056 ms. Result :sat
[2020-06-03 10:40:34] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 10:40:34] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 116 ms returned sat
[2020-06-03 10:40:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:40:51] [INFO ] [Real]Absence check using state equation in 17219 ms returned sat
[2020-06-03 10:40:51] [INFO ] [Real]Added 1 Read/Feed constraints in 63 ms returned sat
[2020-06-03 10:40:52] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 347 ms.
[2020-06-03 10:40:53] [INFO ] Added : 6 causal constraints over 2 iterations in 1001 ms. Result :sat
[2020-06-03 10:40:53] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 10:40:53] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 9 ms returned unsat
[2020-06-03 10:40:53] [INFO ] [Real]Absence check using 159 positive place invariants in 160 ms returned sat
[2020-06-03 10:40:53] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 33 ms returned unsat
[2020-06-03 10:40:54] [INFO ] [Real]Absence check using 159 positive place invariants in 127 ms returned sat
[2020-06-03 10:40:54] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 61 ms returned unsat
[2020-06-03 10:40:54] [INFO ] [Real]Absence check using 159 positive place invariants in 102 ms returned sat
[2020-06-03 10:40:54] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:40:54] [INFO ] [Real]Absence check using 159 positive place invariants in 141 ms returned sat
[2020-06-03 10:40:54] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 27 ms returned unsat
[2020-06-03 10:40:55] [INFO ] [Real]Absence check using 159 positive place invariants in 144 ms returned sat
[2020-06-03 10:40:55] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 121 ms returned sat
[2020-06-03 10:40:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:41:12] [INFO ] [Real]Absence check using state equation in 16992 ms returned sat
[2020-06-03 10:41:12] [INFO ] [Real]Added 1 Read/Feed constraints in 73 ms returned sat
[2020-06-03 10:41:13] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 467 ms.
[2020-06-03 10:41:14] [INFO ] Added : 6 causal constraints over 2 iterations in 2309 ms. Result :sat
0.0timeout
^^^^^^^^^^
(error "Invalid token: 0.0timeout")
[2020-06-03 10:41:17] [INFO ] Deduced a trap composed of 11 places in 2148 ms
[2020-06-03 10:41:17] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream closed (> (+ s78 s335 s401 s453 s487 s599 s765 s815 s893 s898 s1082) 0)") while checking expression at index 597
[2020-06-03 10:41:17] [INFO ] [Real]Absence check using 159 positive place invariants in 115 ms returned sat
[2020-06-03 10:41:17] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 92 ms returned sat
[2020-06-03 10:41:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:41:33] [INFO ] [Real]Absence check using state equation in 16203 ms returned sat
[2020-06-03 10:41:33] [INFO ] [Real]Added 1 Read/Feed constraints in 49 ms returned sat
[2020-06-03 10:41:34] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 277 ms.
[2020-06-03 10:41:35] [INFO ] Added : 6 causal constraints over 2 iterations in 1365 ms. Result :sat
[2020-06-03 10:41:35] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 10:41:35] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 13 ms returned unsat
[2020-06-03 10:41:36] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 10:41:36] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 118 ms returned sat
[2020-06-03 10:41:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:41:52] [INFO ] [Real]Absence check using state equation in 15750 ms returned sat
[2020-06-03 10:41:52] [INFO ] [Real]Added 1 Read/Feed constraints in 42 ms returned sat
[2020-06-03 10:41:52] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 382 ms.
[2020-06-03 10:41:53] [INFO ] Added : 6 causal constraints over 2 iterations in 1035 ms. Result :sat
[2020-06-03 10:41:53] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 10:41:53] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 12 ms returned unsat
[2020-06-03 10:41:54] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 10:41:54] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 10:41:54] [INFO ] [Real]Absence check using 159 positive place invariants in 138 ms returned sat
[2020-06-03 10:41:54] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 10 ms returned unsat
[2020-06-03 10:41:54] [INFO ] [Real]Absence check using 159 positive place invariants in 102 ms returned sat
[2020-06-03 10:41:54] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 4 ms returned unsat
[2020-06-03 10:41:55] [INFO ] [Real]Absence check using 159 positive place invariants in 100 ms returned sat
[2020-06-03 10:41:55] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 85 ms returned sat
[2020-06-03 10:41:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:42:11] [INFO ] [Real]Absence check using state equation in 16244 ms returned sat
[2020-06-03 10:42:11] [INFO ] [Real]Added 1 Read/Feed constraints in 72 ms returned sat
[2020-06-03 10:42:11] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 296 ms.
[2020-06-03 10:42:12] [INFO ] Added : 6 causal constraints over 2 iterations in 1136 ms. Result :sat
[2020-06-03 10:42:13] [INFO ] [Real]Absence check using 159 positive place invariants in 148 ms returned sat
[2020-06-03 10:42:13] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 118 ms returned sat
[2020-06-03 10:42:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-03 10:42:30] [INFO ] [Real]Absence check using state equation in 16719 ms returned sat
[2020-06-03 10:42:30] [INFO ] Solution in real domain found non-integer solution.
[2020-06-03 10:42:30] [INFO ] [Nat]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 10:42:30] [INFO ] [Nat]Absence check using 159 positive and 33 generalized place invariants in 117 ms returned sat
[2020-06-03 10:42:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-03 10:42:43] [INFO ] [Nat]Absence check using state equation in 12758 ms returned sat
[2020-06-03 10:42:43] [INFO ] [Nat]Added 1 Read/Feed constraints in 68 ms returned sat
[2020-06-03 10:42:43] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 346 ms.
[2020-06-03 10:42:50] [INFO ] Added : 30 causal constraints over 6 iterations in 6705 ms. Result :unknown
[2020-06-03 10:42:50] [INFO ] [Real]Absence check using 159 positive place invariants in 147 ms returned sat
[2020-06-03 10:42:50] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 49 ms returned unsat
[2020-06-03 10:42:50] [INFO ] [Real]Absence check using 159 positive place invariants in 158 ms returned sat
[2020-06-03 10:42:50] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 6 ms returned unsat
[2020-06-03 10:42:51] [INFO ] [Real]Absence check using 159 positive place invariants in 150 ms returned sat
[2020-06-03 10:42:51] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 93 ms returned unsat
[2020-06-03 10:42:51] [INFO ] [Real]Absence check using 159 positive place invariants in 163 ms returned sat
[2020-06-03 10:42:51] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 14 ms returned unsat
[2020-06-03 10:42:52] [INFO ] [Real]Absence check using 159 positive place invariants in 153 ms returned sat
[2020-06-03 10:42:52] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 12 ms returned unsat
[2020-06-03 10:42:52] [INFO ] [Real]Absence check using 159 positive place invariants in 158 ms returned sat
[2020-06-03 10:42:52] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:42:52] [INFO ] [Real]Absence check using 159 positive place invariants in 149 ms returned sat
[2020-06-03 10:42:52] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 5 ms returned unsat
[2020-06-03 10:42:52] [INFO ] [Real]Absence check using 159 positive place invariants in 143 ms returned sat
[2020-06-03 10:42:53] [INFO ] [Real]Absence check using 159 positive and 33 generalized place invariants in 117 ms returned sat
[2020-06-03 10:42:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16427488 kB
MemFree: 14084596 kB
After kill :
MemTotal: 16427488 kB
MemFree: 16121456 kB
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBNT-PT-S10J80"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itslola"
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 itslola"
echo " Input is PolyORBNT-PT-S10J80, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r176-tajo-158987872300706"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PolyORBNT-PT-S10J80.tgz
mv PolyORBNT-PT-S10J80 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;