Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 452K
-rw-r--r-- 1 mcc users 22K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 168K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 74K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.5K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 16:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 28 16:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 16:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 16:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 27 07:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 07:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 08:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 08:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 09:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_pt
-rw-r--r-- 1 mcc users 2 May 5 16:51 instance
-rw-r--r-- 1 mcc users 5 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 44K May 5 16:51 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1621020151118

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-14 19:22:32] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2021-05-14 19:22:32] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-14 19:22:32] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
SLF4J: Failed to load class "org.slf4j.impl.StaticLoggerBinder".
SLF4J: Defaulting to no-operation (NOP) logger implementation
SLF4J: See http://www.slf4j.org/codes.html#StaticLoggerBinder for further details.
[2021-05-14 19:22:33] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 538 ms
[2021-05-14 19:22:33] [INFO ] sort/places :
ProcTourProc->BeginLoop,TestIdentity,TestAlone,IsEndLoop,
ProcBool->WantSection,
TourProc->Turn,
ProcTour->AskForSection,TestTurn,EndTurn,
Process->Idle,CS,

[2021-05-14 19:22:33] [INFO ] Imported 11 HL places and 14 HL transitions for a total of 500 PT places and 795.0 transition bindings in 20 ms.
[2021-05-14 19:22:33] [INFO ] Computed order based on color domains.
[2021-05-14 19:22:33] [INFO ] Unfolded HLPN to a Petri net with 500 places and 730 transitions in 31 ms.
[2021-05-14 19:22:33] [INFO ] Unfolded HLPN properties in 1 ms.
Deduced a syphon composed of 20 places in 5 ms
Reduce places removed 20 places and 40 transitions.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 75 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 0 resets, run finished after 1118 ms. (steps per millisecond=89 ) properties seen :[1, 1, 1, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 1, 1, 0, 0, 1, 0, 1, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 1, 0, 0, 0, 1, 1, 0, 1, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
[2021-05-14 19:22:34] [INFO ] Flow matrix only has 630 transitions (discarded 60 similar events)
// Phase 1: matrix 630 rows 480 cols
[2021-05-14 19:22:34] [INFO ] Computed 19 place invariants in 16 ms
[2021-05-14 19:22:34] [INFO ] [Real]Absence check using 14 positive place invariants in 23 ms returned sat
[2021-05-14 19:22:34] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:22:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:22:35] [INFO ] [Real]Absence check using state equation in 639 ms returned sat
[2021-05-14 19:22:35] [INFO ] State equation strengthened by 132 read => feed constraints.
[2021-05-14 19:22:35] [INFO ] [Real]Added 132 Read/Feed constraints in 20 ms returned sat
[2021-05-14 19:22:35] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:22:35] [INFO ] [Nat]Absence check using 14 positive place invariants in 21 ms returned sat
[2021-05-14 19:22:35] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:22:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:22:36] [INFO ] [Nat]Absence check using state equation in 622 ms returned sat
[2021-05-14 19:22:36] [INFO ] [Nat]Added 132 Read/Feed constraints in 33 ms returned sat
[2021-05-14 19:22:36] [INFO ] Deduced a trap composed of 69 places in 151 ms
[2021-05-14 19:22:36] [INFO ] Deduced a trap composed of 62 places in 132 ms
[2021-05-14 19:22:36] [INFO ] Deduced a trap composed of 61 places in 124 ms
[2021-05-14 19:22:36] [INFO ] Deduced a trap composed of 62 places in 124 ms
[2021-05-14 19:22:36] [INFO ] Deduced a trap composed of 46 places in 165 ms
[2021-05-14 19:22:37] [INFO ] Deduced a trap composed of 119 places in 172 ms
[2021-05-14 19:22:37] [INFO ] Deduced a trap composed of 34 places in 160 ms
[2021-05-14 19:22:37] [INFO ] Deduced a trap composed of 22 places in 159 ms
[2021-05-14 19:22:37] [INFO ] Deduced a trap composed of 55 places in 177 ms
[2021-05-14 19:22:37] [INFO ] Deduced a trap composed of 14 places in 156 ms
[2021-05-14 19:22:38] [INFO ] Deduced a trap composed of 84 places in 145 ms
[2021-05-14 19:22:38] [INFO ] Deduced a trap composed of 42 places in 105 ms
[2021-05-14 19:22:38] [INFO ] Deduced a trap composed of 40 places in 101 ms
[2021-05-14 19:22:38] [INFO ] Deduced a trap composed of 59 places in 102 ms
[2021-05-14 19:22:38] [INFO ] Deduced a trap composed of 62 places in 140 ms
[2021-05-14 19:22:38] [INFO ] Deduced a trap composed of 96 places in 140 ms
[2021-05-14 19:22:38] [INFO ] Deduced a trap composed of 83 places in 134 ms
[2021-05-14 19:22:39] [INFO ] Deduced a trap composed of 40 places in 97 ms
[2021-05-14 19:22:39] [INFO ] Deduced a trap composed of 62 places in 122 ms
[2021-05-14 19:22:39] [INFO ] Deduced a trap composed of 85 places in 97 ms
[2021-05-14 19:22:39] [INFO ] Trap strengthening (SAT) tested/added 21/20 trap constraints in 3178 ms
[2021-05-14 19:22:39] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 34 ms.
[2021-05-14 19:22:44] [INFO ] Added : 623 causal constraints over 125 iterations in 5116 ms. Result :sat
[2021-05-14 19:22:44] [INFO ] Deduced a trap composed of 15 places in 140 ms
[2021-05-14 19:22:44] [INFO ] Deduced a trap composed of 83 places in 138 ms
[2021-05-14 19:22:44] [INFO ] Deduced a trap composed of 10 places in 137 ms
[2021-05-14 19:22:45] [INFO ] Deduced a trap composed of 14 places in 138 ms
[2021-05-14 19:22:45] [INFO ] Deduced a trap composed of 81 places in 122 ms
[2021-05-14 19:22:45] [INFO ] Deduced a trap composed of 37 places in 107 ms
[2021-05-14 19:22:45] [INFO ] Deduced a trap composed of 60 places in 142 ms
[2021-05-14 19:22:46] [INFO ] Deduced a trap composed of 70 places in 155 ms
[2021-05-14 19:22:46] [INFO ] Deduced a trap composed of 14 places in 141 ms
[2021-05-14 19:22:46] [INFO ] Deduced a trap composed of 10 places in 179 ms
[2021-05-14 19:22:46] [INFO ] Deduced a trap composed of 55 places in 153 ms
[2021-05-14 19:22:46] [INFO ] Deduced a trap composed of 45 places in 149 ms
[2021-05-14 19:22:46] [INFO ] Deduced a trap composed of 65 places in 99 ms
[2021-05-14 19:22:47] [INFO ] Trap strengthening (SAT) tested/added 14/13 trap constraints in 2622 ms
[2021-05-14 19:22:47] [INFO ] [Real]Absence check using 14 positive place invariants in 15 ms returned sat
[2021-05-14 19:22:47] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:22:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:22:47] [INFO ] [Real]Absence check using state equation in 617 ms returned sat
[2021-05-14 19:22:47] [INFO ] [Real]Added 132 Read/Feed constraints in 13 ms returned sat
[2021-05-14 19:22:47] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:22:47] [INFO ] [Nat]Absence check using 14 positive place invariants in 18 ms returned sat
[2021-05-14 19:22:47] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:22:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:22:48] [INFO ] [Nat]Absence check using state equation in 612 ms returned sat
[2021-05-14 19:22:48] [INFO ] [Nat]Added 132 Read/Feed constraints in 28 ms returned sat
[2021-05-14 19:22:48] [INFO ] Deduced a trap composed of 40 places in 125 ms
[2021-05-14 19:22:48] [INFO ] Deduced a trap composed of 58 places in 87 ms
[2021-05-14 19:22:48] [INFO ] Deduced a trap composed of 39 places in 86 ms
[2021-05-14 19:22:48] [INFO ] Deduced a trap composed of 36 places in 130 ms
[2021-05-14 19:22:49] [INFO ] Deduced a trap composed of 36 places in 114 ms
[2021-05-14 19:22:49] [INFO ] Deduced a trap composed of 14 places in 109 ms
[2021-05-14 19:22:49] [INFO ] Deduced a trap composed of 42 places in 86 ms
[2021-05-14 19:22:49] [INFO ] Deduced a trap composed of 40 places in 86 ms
[2021-05-14 19:22:49] [INFO ] Deduced a trap composed of 71 places in 132 ms
[2021-05-14 19:22:49] [INFO ] Deduced a trap composed of 80 places in 130 ms
[2021-05-14 19:22:49] [INFO ] Deduced a trap composed of 80 places in 131 ms
[2021-05-14 19:22:49] [INFO ] Trap strengthening (SAT) tested/added 12/11 trap constraints in 1453 ms
[2021-05-14 19:22:49] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 33 ms.
[2021-05-14 19:22:52] [INFO ] Added : 388 causal constraints over 78 iterations in 2733 ms. Result :sat
[2021-05-14 19:22:52] [INFO ] Deduced a trap composed of 15 places in 146 ms
[2021-05-14 19:22:53] [INFO ] Deduced a trap composed of 89 places in 124 ms
[2021-05-14 19:22:53] [INFO ] Deduced a trap composed of 110 places in 126 ms
[2021-05-14 19:22:53] [INFO ] Deduced a trap composed of 78 places in 124 ms
[2021-05-14 19:22:53] [INFO ] Deduced a trap composed of 13 places in 142 ms
[2021-05-14 19:22:53] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 913 ms
[2021-05-14 19:22:53] [INFO ] [Real]Absence check using 14 positive place invariants in 15 ms returned sat
[2021-05-14 19:22:53] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:22:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:22:54] [INFO ] [Real]Absence check using state equation in 619 ms returned sat
[2021-05-14 19:22:54] [INFO ] [Real]Added 132 Read/Feed constraints in 15 ms returned sat
[2021-05-14 19:22:54] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:22:54] [INFO ] [Nat]Absence check using 14 positive place invariants in 18 ms returned sat
[2021-05-14 19:22:54] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:22:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:22:54] [INFO ] [Nat]Absence check using state equation in 615 ms returned sat
[2021-05-14 19:22:55] [INFO ] [Nat]Added 132 Read/Feed constraints in 26 ms returned sat
[2021-05-14 19:22:55] [INFO ] Deduced a trap composed of 64 places in 115 ms
[2021-05-14 19:22:55] [INFO ] Deduced a trap composed of 66 places in 119 ms
[2021-05-14 19:22:55] [INFO ] Deduced a trap composed of 64 places in 117 ms
[2021-05-14 19:22:55] [INFO ] Deduced a trap composed of 64 places in 118 ms
[2021-05-14 19:22:55] [INFO ] Deduced a trap composed of 64 places in 117 ms
[2021-05-14 19:22:55] [INFO ] Deduced a trap composed of 61 places in 125 ms
[2021-05-14 19:22:56] [INFO ] Deduced a trap composed of 14 places in 158 ms
[2021-05-14 19:22:56] [INFO ] Deduced a trap composed of 54 places in 145 ms
[2021-05-14 19:22:56] [INFO ] Deduced a trap composed of 32 places in 112 ms
[2021-05-14 19:22:56] [INFO ] Deduced a trap composed of 25 places in 111 ms
[2021-05-14 19:22:56] [INFO ] Deduced a trap composed of 40 places in 105 ms
[2021-05-14 19:22:56] [INFO ] Deduced a trap composed of 18 places in 103 ms
[2021-05-14 19:22:56] [INFO ] Deduced a trap composed of 32 places in 101 ms
[2021-05-14 19:22:56] [INFO ] Deduced a trap composed of 10 places in 139 ms
[2021-05-14 19:22:57] [INFO ] Deduced a trap composed of 32 places in 114 ms
[2021-05-14 19:22:57] [INFO ] Deduced a trap composed of 32 places in 113 ms
[2021-05-14 19:22:57] [INFO ] Deduced a trap composed of 54 places in 114 ms
[2021-05-14 19:22:57] [INFO ] Deduced a trap composed of 58 places in 105 ms
[2021-05-14 19:22:57] [INFO ] Deduced a trap composed of 12 places in 113 ms
[2021-05-14 19:22:57] [INFO ] Deduced a trap composed of 14 places in 111 ms
[2021-05-14 19:22:57] [INFO ] Deduced a trap composed of 10 places in 111 ms
[2021-05-14 19:22:58] [INFO ] Deduced a trap composed of 58 places in 76 ms
[2021-05-14 19:22:58] [INFO ] Deduced a trap composed of 54 places in 108 ms
[2021-05-14 19:22:58] [INFO ] Deduced a trap composed of 76 places in 109 ms
[2021-05-14 19:22:58] [INFO ] Deduced a trap composed of 54 places in 109 ms
[2021-05-14 19:22:58] [INFO ] Trap strengthening (SAT) tested/added 26/25 trap constraints in 3408 ms
[2021-05-14 19:22:58] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 30 ms.
[2021-05-14 19:23:01] [INFO ] Added : 412 causal constraints over 83 iterations in 2961 ms. Result :sat
[2021-05-14 19:23:01] [INFO ] Deduced a trap composed of 17 places in 165 ms
[2021-05-14 19:23:01] [INFO ] Deduced a trap composed of 22 places in 166 ms
[2021-05-14 19:23:02] [INFO ] Deduced a trap composed of 48 places in 174 ms
[2021-05-14 19:23:02] [INFO ] Deduced a trap composed of 69 places in 95 ms
[2021-05-14 19:23:02] [INFO ] Deduced a trap composed of 43 places in 118 ms
[2021-05-14 19:23:02] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 1084 ms
[2021-05-14 19:23:02] [INFO ] [Real]Absence check using 14 positive place invariants in 14 ms returned sat
[2021-05-14 19:23:02] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:23:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:23:03] [INFO ] [Real]Absence check using state equation in 617 ms returned sat
[2021-05-14 19:23:03] [INFO ] [Real]Added 132 Read/Feed constraints in 14 ms returned sat
[2021-05-14 19:23:03] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:23:03] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:23:03] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:23:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:23:03] [INFO ] [Nat]Absence check using state equation in 611 ms returned sat
[2021-05-14 19:23:03] [INFO ] [Nat]Added 132 Read/Feed constraints in 29 ms returned sat
[2021-05-14 19:23:04] [INFO ] Deduced a trap composed of 124 places in 147 ms
[2021-05-14 19:23:04] [INFO ] Deduced a trap composed of 123 places in 148 ms
[2021-05-14 19:23:04] [INFO ] Deduced a trap composed of 54 places in 149 ms
[2021-05-14 19:23:04] [INFO ] Deduced a trap composed of 120 places in 147 ms
[2021-05-14 19:23:04] [INFO ] Deduced a trap composed of 88 places in 146 ms
[2021-05-14 19:23:04] [INFO ] Deduced a trap composed of 61 places in 115 ms
[2021-05-14 19:23:05] [INFO ] Deduced a trap composed of 114 places in 115 ms
[2021-05-14 19:23:05] [INFO ] Deduced a trap composed of 62 places in 109 ms
[2021-05-14 19:23:05] [INFO ] Deduced a trap composed of 62 places in 115 ms
[2021-05-14 19:23:05] [INFO ] Deduced a trap composed of 108 places in 118 ms
[2021-05-14 19:23:05] [INFO ] Deduced a trap composed of 136 places in 115 ms
[2021-05-14 19:23:05] [INFO ] Deduced a trap composed of 114 places in 115 ms
[2021-05-14 19:23:05] [INFO ] Deduced a trap composed of 141 places in 116 ms
[2021-05-14 19:23:05] [INFO ] Deduced a trap composed of 133 places in 116 ms
[2021-05-14 19:23:06] [INFO ] Deduced a trap composed of 49 places in 145 ms
[2021-05-14 19:23:06] [INFO ] Deduced a trap composed of 163 places in 138 ms
[2021-05-14 19:23:06] [INFO ] Deduced a trap composed of 47 places in 149 ms
[2021-05-14 19:23:06] [INFO ] Deduced a trap composed of 14 places in 155 ms
[2021-05-14 19:23:06] [INFO ] Deduced a trap composed of 25 places in 145 ms
[2021-05-14 19:23:07] [INFO ] Deduced a trap composed of 55 places in 154 ms
[2021-05-14 19:23:07] [INFO ] Deduced a trap composed of 62 places in 156 ms
[2021-05-14 19:23:07] [INFO ] Deduced a trap composed of 25 places in 155 ms
[2021-05-14 19:23:07] [INFO ] Deduced a trap composed of 14 places in 153 ms
[2021-05-14 19:23:07] [INFO ] Deduced a trap composed of 36 places in 140 ms
[2021-05-14 19:23:07] [INFO ] Deduced a trap composed of 58 places in 145 ms
[2021-05-14 19:23:08] [INFO ] Deduced a trap composed of 58 places in 154 ms
[2021-05-14 19:23:08] [INFO ] Deduced a trap composed of 99 places in 153 ms
[2021-05-14 19:23:08] [INFO ] Deduced a trap composed of 47 places in 138 ms
[2021-05-14 19:23:08] [INFO ] Deduced a trap composed of 84 places in 139 ms
[2021-05-14 19:23:08] [INFO ] Deduced a trap composed of 36 places in 141 ms
[2021-05-14 19:23:08] [INFO ] Deduced a trap composed of 116 places in 141 ms
[2021-05-14 19:23:09] [INFO ] Deduced a trap composed of 13 places in 149 ms
[2021-05-14 19:23:09] [INFO ] Deduced a trap composed of 80 places in 119 ms
[2021-05-14 19:23:09] [INFO ] Deduced a trap composed of 80 places in 121 ms
[2021-05-14 19:23:09] [INFO ] Deduced a trap composed of 99 places in 79 ms
[2021-05-14 19:23:09] [INFO ] Deduced a trap composed of 27 places in 110 ms
[2021-05-14 19:23:09] [INFO ] Deduced a trap composed of 60 places in 80 ms
[2021-05-14 19:23:09] [INFO ] Deduced a trap composed of 35 places in 73 ms
[2021-05-14 19:23:09] [INFO ] Trap strengthening (SAT) tested/added 39/38 trap constraints in 5876 ms
[2021-05-14 19:23:09] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 34 ms.
[2021-05-14 19:23:12] [INFO ] Added : 325 causal constraints over 65 iterations in 2387 ms. Result :sat
[2021-05-14 19:23:12] [INFO ] Deduced a trap composed of 17 places in 167 ms
[2021-05-14 19:23:12] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 233 ms
[2021-05-14 19:23:12] [INFO ] [Real]Absence check using 14 positive place invariants in 14 ms returned sat
[2021-05-14 19:23:12] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:23:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:23:13] [INFO ] [Real]Absence check using state equation in 616 ms returned sat
[2021-05-14 19:23:13] [INFO ] [Real]Added 132 Read/Feed constraints in 14 ms returned sat
[2021-05-14 19:23:13] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:23:13] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:23:13] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:23:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:23:13] [INFO ] [Nat]Absence check using state equation in 616 ms returned sat
[2021-05-14 19:23:13] [INFO ] [Nat]Added 132 Read/Feed constraints in 26 ms returned sat
[2021-05-14 19:23:13] [INFO ] Deduced a trap composed of 18 places in 109 ms
[2021-05-14 19:23:14] [INFO ] Deduced a trap composed of 25 places in 123 ms
[2021-05-14 19:23:14] [INFO ] Deduced a trap composed of 58 places in 110 ms
[2021-05-14 19:23:14] [INFO ] Deduced a trap composed of 36 places in 117 ms
[2021-05-14 19:23:14] [INFO ] Deduced a trap composed of 47 places in 117 ms
[2021-05-14 19:23:14] [INFO ] Deduced a trap composed of 18 places in 119 ms
[2021-05-14 19:23:14] [INFO ] Deduced a trap composed of 17 places in 116 ms
[2021-05-14 19:23:14] [INFO ] Deduced a trap composed of 103 places in 106 ms
[2021-05-14 19:23:14] [INFO ] Deduced a trap composed of 44 places in 106 ms
[2021-05-14 19:23:15] [INFO ] Deduced a trap composed of 15 places in 142 ms
[2021-05-14 19:23:15] [INFO ] Deduced a trap composed of 65 places in 106 ms
[2021-05-14 19:23:15] [INFO ] Deduced a trap composed of 66 places in 115 ms
[2021-05-14 19:23:15] [INFO ] Trap strengthening (SAT) tested/added 13/12 trap constraints in 1647 ms
[2021-05-14 19:23:15] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 36 ms.
[2021-05-14 19:23:20] [INFO ] Added : 617 causal constraints over 124 iterations in 4710 ms. Result :sat
[2021-05-14 19:23:20] [INFO ] Deduced a trap composed of 42 places in 155 ms
[2021-05-14 19:23:20] [INFO ] Deduced a trap composed of 45 places in 138 ms
[2021-05-14 19:23:20] [INFO ] Deduced a trap composed of 91 places in 65 ms
[2021-05-14 19:23:20] [INFO ] Deduced a trap composed of 91 places in 65 ms
[2021-05-14 19:23:20] [INFO ] Deduced a trap composed of 57 places in 131 ms
[2021-05-14 19:23:21] [INFO ] Deduced a trap composed of 47 places in 136 ms
[2021-05-14 19:23:21] [INFO ] Deduced a trap composed of 91 places in 65 ms
[2021-05-14 19:23:21] [INFO ] Deduced a trap composed of 17 places in 149 ms
[2021-05-14 19:23:21] [INFO ] Deduced a trap composed of 47 places in 127 ms
[2021-05-14 19:23:21] [INFO ] Deduced a trap composed of 91 places in 65 ms
[2021-05-14 19:23:21] [INFO ] Trap strengthening (SAT) tested/added 11/10 trap constraints in 1679 ms
[2021-05-14 19:23:21] [INFO ] [Real]Absence check using 14 positive place invariants in 15 ms returned sat
[2021-05-14 19:23:21] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:23:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:23:22] [INFO ] [Real]Absence check using state equation in 620 ms returned sat
[2021-05-14 19:23:22] [INFO ] [Real]Added 132 Read/Feed constraints in 13 ms returned sat
[2021-05-14 19:23:22] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:23:22] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:23:22] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:23:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:23:23] [INFO ] [Nat]Absence check using state equation in 617 ms returned sat
[2021-05-14 19:23:23] [INFO ] [Nat]Added 132 Read/Feed constraints in 24 ms returned sat
[2021-05-14 19:23:23] [INFO ] Deduced a trap composed of 39 places in 116 ms
[2021-05-14 19:23:23] [INFO ] Deduced a trap composed of 13 places in 117 ms
[2021-05-14 19:23:23] [INFO ] Deduced a trap composed of 18 places in 117 ms
[2021-05-14 19:23:23] [INFO ] Deduced a trap composed of 32 places in 115 ms
[2021-05-14 19:23:23] [INFO ] Deduced a trap composed of 10 places in 116 ms
[2021-05-14 19:23:24] [INFO ] Deduced a trap composed of 38 places in 116 ms
[2021-05-14 19:23:24] [INFO ] Deduced a trap composed of 61 places in 118 ms
[2021-05-14 19:23:24] [INFO ] Deduced a trap composed of 60 places in 117 ms
[2021-05-14 19:23:24] [INFO ] Deduced a trap composed of 63 places in 117 ms
[2021-05-14 19:23:24] [INFO ] Deduced a trap composed of 64 places in 116 ms
[2021-05-14 19:23:24] [INFO ] Deduced a trap composed of 58 places in 116 ms
[2021-05-14 19:23:24] [INFO ] Deduced a trap composed of 58 places in 113 ms
[2021-05-14 19:23:25] [INFO ] Deduced a trap composed of 52 places in 114 ms
[2021-05-14 19:23:25] [INFO ] Deduced a trap composed of 12 places in 115 ms
[2021-05-14 19:23:25] [INFO ] Deduced a trap composed of 35 places in 103 ms
[2021-05-14 19:23:25] [INFO ] Deduced a trap composed of 25 places in 114 ms
[2021-05-14 19:23:25] [INFO ] Deduced a trap composed of 115 places in 116 ms
[2021-05-14 19:23:25] [INFO ] Deduced a trap composed of 113 places in 107 ms
[2021-05-14 19:23:25] [INFO ] Deduced a trap composed of 78 places in 149 ms
[2021-05-14 19:23:26] [INFO ] Deduced a trap composed of 79 places in 157 ms
[2021-05-14 19:23:26] [INFO ] Deduced a trap composed of 64 places in 161 ms
[2021-05-14 19:23:26] [INFO ] Deduced a trap composed of 32 places in 124 ms
[2021-05-14 19:23:26] [INFO ] Deduced a trap composed of 10 places in 157 ms
[2021-05-14 19:23:26] [INFO ] Deduced a trap composed of 36 places in 127 ms
[2021-05-14 19:23:26] [INFO ] Deduced a trap composed of 80 places in 132 ms
[2021-05-14 19:23:26] [INFO ] Deduced a trap composed of 80 places in 127 ms
[2021-05-14 19:23:27] [INFO ] Deduced a trap composed of 32 places in 86 ms
[2021-05-14 19:23:27] [INFO ] Deduced a trap composed of 73 places in 78 ms
[2021-05-14 19:23:27] [INFO ] Deduced a trap composed of 58 places in 74 ms
[2021-05-14 19:23:27] [INFO ] Trap strengthening (SAT) tested/added 30/29 trap constraints in 4052 ms
[2021-05-14 19:23:27] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 30 ms.
[2021-05-14 19:23:30] [INFO ] Added : 449 causal constraints over 90 iterations in 3549 ms. Result :sat
[2021-05-14 19:23:30] [INFO ] Deduced a trap composed of 63 places in 104 ms
[2021-05-14 19:23:31] [INFO ] Deduced a trap composed of 62 places in 101 ms
[2021-05-14 19:23:31] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 314 ms
[2021-05-14 19:23:31] [INFO ] [Real]Absence check using 14 positive place invariants in 14 ms returned sat
[2021-05-14 19:23:31] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:23:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:23:31] [INFO ] [Real]Absence check using state equation in 613 ms returned sat
[2021-05-14 19:23:31] [INFO ] [Real]Added 132 Read/Feed constraints in 13 ms returned sat
[2021-05-14 19:23:31] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:23:31] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:23:31] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:23:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:23:32] [INFO ] [Nat]Absence check using state equation in 616 ms returned sat
[2021-05-14 19:23:32] [INFO ] [Nat]Added 132 Read/Feed constraints in 26 ms returned sat
[2021-05-14 19:23:32] [INFO ] Deduced a trap composed of 40 places in 118 ms
[2021-05-14 19:23:32] [INFO ] Deduced a trap composed of 54 places in 116 ms
[2021-05-14 19:23:32] [INFO ] Deduced a trap composed of 61 places in 116 ms
[2021-05-14 19:23:33] [INFO ] Deduced a trap composed of 64 places in 116 ms
[2021-05-14 19:23:33] [INFO ] Deduced a trap composed of 113 places in 115 ms
[2021-05-14 19:23:33] [INFO ] Deduced a trap composed of 18 places in 115 ms
[2021-05-14 19:23:33] [INFO ] Deduced a trap composed of 153 places in 116 ms
[2021-05-14 19:23:33] [INFO ] Deduced a trap composed of 18 places in 118 ms
[2021-05-14 19:23:33] [INFO ] Deduced a trap composed of 74 places in 142 ms
[2021-05-14 19:23:33] [INFO ] Deduced a trap composed of 25 places in 140 ms
[2021-05-14 19:23:34] [INFO ] Deduced a trap composed of 73 places in 103 ms
[2021-05-14 19:23:34] [INFO ] Deduced a trap composed of 34 places in 143 ms
[2021-05-14 19:23:34] [INFO ] Deduced a trap composed of 62 places in 141 ms
[2021-05-14 19:23:34] [INFO ] Deduced a trap composed of 21 places in 139 ms
[2021-05-14 19:23:34] [INFO ] Deduced a trap composed of 85 places in 129 ms
[2021-05-14 19:23:34] [INFO ] Deduced a trap composed of 36 places in 95 ms
[2021-05-14 19:23:34] [INFO ] Deduced a trap composed of 62 places in 94 ms
[2021-05-14 19:23:35] [INFO ] Deduced a trap composed of 17 places in 101 ms
[2021-05-14 19:23:35] [INFO ] Deduced a trap composed of 32 places in 90 ms
[2021-05-14 19:23:35] [INFO ] Deduced a trap composed of 34 places in 97 ms
[2021-05-14 19:23:35] [INFO ] Deduced a trap composed of 41 places in 100 ms
[2021-05-14 19:23:35] [INFO ] Trap strengthening (SAT) tested/added 22/21 trap constraints in 2884 ms
[2021-05-14 19:23:35] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 30 ms.
[2021-05-14 19:23:38] [INFO ] Added : 410 causal constraints over 82 iterations in 2824 ms. Result :sat
[2021-05-14 19:23:38] [INFO ] Deduced a trap composed of 97 places in 152 ms
[2021-05-14 19:23:38] [INFO ] Deduced a trap composed of 47 places in 118 ms
[2021-05-14 19:23:38] [INFO ] Deduced a trap composed of 69 places in 152 ms
[2021-05-14 19:23:39] [INFO ] Deduced a trap composed of 77 places in 128 ms
[2021-05-14 19:23:39] [INFO ] Deduced a trap composed of 46 places in 134 ms
[2021-05-14 19:23:39] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 967 ms
[2021-05-14 19:23:39] [INFO ] [Real]Absence check using 14 positive place invariants in 15 ms returned sat
[2021-05-14 19:23:39] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:23:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:23:39] [INFO ] [Real]Absence check using state equation in 611 ms returned sat
[2021-05-14 19:23:39] [INFO ] [Real]Added 132 Read/Feed constraints in 14 ms returned sat
[2021-05-14 19:23:39] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:23:40] [INFO ] [Nat]Absence check using 14 positive place invariants in 18 ms returned sat
[2021-05-14 19:23:40] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:23:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:23:40] [INFO ] [Nat]Absence check using state equation in 617 ms returned sat
[2021-05-14 19:23:40] [INFO ] [Nat]Added 132 Read/Feed constraints in 25 ms returned sat
[2021-05-14 19:23:40] [INFO ] Deduced a trap composed of 18 places in 115 ms
[2021-05-14 19:23:40] [INFO ] Deduced a trap composed of 62 places in 115 ms
[2021-05-14 19:23:41] [INFO ] Deduced a trap composed of 18 places in 115 ms
[2021-05-14 19:23:41] [INFO ] Deduced a trap composed of 69 places in 115 ms
[2021-05-14 19:23:41] [INFO ] Deduced a trap composed of 62 places in 107 ms
[2021-05-14 19:23:41] [INFO ] Deduced a trap composed of 69 places in 116 ms
[2021-05-14 19:23:41] [INFO ] Deduced a trap composed of 82 places in 117 ms
[2021-05-14 19:23:41] [INFO ] Deduced a trap composed of 68 places in 115 ms
[2021-05-14 19:23:41] [INFO ] Deduced a trap composed of 111 places in 116 ms
[2021-05-14 19:23:41] [INFO ] Deduced a trap composed of 69 places in 104 ms
[2021-05-14 19:23:42] [INFO ] Deduced a trap composed of 69 places in 103 ms
[2021-05-14 19:23:42] [INFO ] Deduced a trap composed of 45 places in 145 ms
[2021-05-14 19:23:42] [INFO ] Deduced a trap composed of 58 places in 147 ms
[2021-05-14 19:23:42] [INFO ] Deduced a trap composed of 120 places in 142 ms
[2021-05-14 19:23:42] [INFO ] Deduced a trap composed of 63 places in 141 ms
[2021-05-14 19:23:42] [INFO ] Deduced a trap composed of 95 places in 144 ms
[2021-05-14 19:23:43] [INFO ] Deduced a trap composed of 47 places in 143 ms
[2021-05-14 19:23:43] [INFO ] Deduced a trap composed of 89 places in 148 ms
[2021-05-14 19:23:43] [INFO ] Deduced a trap composed of 91 places in 143 ms
[2021-05-14 19:23:43] [INFO ] Deduced a trap composed of 44 places in 88 ms
[2021-05-14 19:23:43] [INFO ] Deduced a trap composed of 39 places in 147 ms
[2021-05-14 19:23:43] [INFO ] Deduced a trap composed of 33 places in 138 ms
[2021-05-14 19:23:44] [INFO ] Deduced a trap composed of 33 places in 110 ms
[2021-05-14 19:23:44] [INFO ] Deduced a trap composed of 66 places in 70 ms
[2021-05-14 19:23:44] [INFO ] Deduced a trap composed of 47 places in 118 ms
[2021-05-14 19:23:44] [INFO ] Deduced a trap composed of 17 places in 105 ms
[2021-05-14 19:23:44] [INFO ] Deduced a trap composed of 25 places in 114 ms
[2021-05-14 19:23:44] [INFO ] Deduced a trap composed of 69 places in 75 ms
[2021-05-14 19:23:44] [INFO ] Deduced a trap composed of 17 places in 111 ms
[2021-05-14 19:23:44] [INFO ] Deduced a trap composed of 27 places in 109 ms
[2021-05-14 19:23:44] [INFO ] Deduced a trap composed of 41 places in 100 ms
[2021-05-14 19:23:45] [INFO ] Deduced a trap composed of 23 places in 128 ms
[2021-05-14 19:23:45] [INFO ] Deduced a trap composed of 24 places in 117 ms
[2021-05-14 19:23:45] [INFO ] Deduced a trap composed of 43 places in 130 ms
[2021-05-14 19:23:45] [INFO ] Trap strengthening (SAT) tested/added 35/34 trap constraints in 4809 ms
[2021-05-14 19:23:45] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 30 ms.
[2021-05-14 19:23:49] [INFO ] Added : 454 causal constraints over 91 iterations in 3686 ms. Result :sat
[2021-05-14 19:23:49] [INFO ] Deduced a trap composed of 87 places in 78 ms
[2021-05-14 19:23:49] [INFO ] Deduced a trap composed of 87 places in 76 ms
[2021-05-14 19:23:49] [INFO ] Deduced a trap composed of 65 places in 37 ms
[2021-05-14 19:23:49] [INFO ] Deduced a trap composed of 65 places in 39 ms
[2021-05-14 19:23:49] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 483 ms
[2021-05-14 19:23:49] [INFO ] [Real]Absence check using 14 positive place invariants in 15 ms returned sat
[2021-05-14 19:23:49] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:23:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:23:50] [INFO ] [Real]Absence check using state equation in 612 ms returned sat
[2021-05-14 19:23:50] [INFO ] [Real]Added 132 Read/Feed constraints in 13 ms returned sat
[2021-05-14 19:23:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:23:50] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:23:50] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:23:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:23:51] [INFO ] [Nat]Absence check using state equation in 614 ms returned sat
[2021-05-14 19:23:51] [INFO ] [Nat]Added 132 Read/Feed constraints in 30 ms returned sat
[2021-05-14 19:23:51] [INFO ] Deduced a trap composed of 107 places in 151 ms
[2021-05-14 19:23:51] [INFO ] Deduced a trap composed of 18 places in 116 ms
[2021-05-14 19:23:51] [INFO ] Deduced a trap composed of 89 places in 123 ms
[2021-05-14 19:23:51] [INFO ] Deduced a trap composed of 115 places in 109 ms
[2021-05-14 19:23:51] [INFO ] Deduced a trap composed of 71 places in 117 ms
[2021-05-14 19:23:51] [INFO ] Deduced a trap composed of 70 places in 117 ms
[2021-05-14 19:23:52] [INFO ] Deduced a trap composed of 91 places in 116 ms
[2021-05-14 19:23:52] [INFO ] Deduced a trap composed of 70 places in 118 ms
[2021-05-14 19:23:52] [INFO ] Deduced a trap composed of 40 places in 147 ms
[2021-05-14 19:23:52] [INFO ] Deduced a trap composed of 36 places in 152 ms
[2021-05-14 19:23:52] [INFO ] Deduced a trap composed of 105 places in 150 ms
[2021-05-14 19:23:52] [INFO ] Deduced a trap composed of 29 places in 117 ms
[2021-05-14 19:23:53] [INFO ] Deduced a trap composed of 42 places in 154 ms
[2021-05-14 19:23:53] [INFO ] Deduced a trap composed of 82 places in 116 ms
[2021-05-14 19:23:53] [INFO ] Deduced a trap composed of 70 places in 129 ms
[2021-05-14 19:23:53] [INFO ] Deduced a trap composed of 87 places in 114 ms
[2021-05-14 19:23:53] [INFO ] Trap strengthening (SAT) tested/added 17/16 trap constraints in 2410 ms
[2021-05-14 19:23:53] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 30 ms.
[2021-05-14 19:23:58] [INFO ] Added : 620 causal constraints over 124 iterations in 4772 ms. Result :sat
[2021-05-14 19:23:58] [INFO ] Deduced a trap composed of 96 places in 165 ms
[2021-05-14 19:23:58] [INFO ] Deduced a trap composed of 134 places in 165 ms
[2021-05-14 19:23:58] [INFO ] Deduced a trap composed of 79 places in 156 ms
[2021-05-14 19:23:59] [INFO ] Deduced a trap composed of 73 places in 168 ms
[2021-05-14 19:23:59] [INFO ] Deduced a trap composed of 123 places in 149 ms
[2021-05-14 19:23:59] [INFO ] Deduced a trap composed of 80 places in 148 ms
[2021-05-14 19:23:59] [INFO ] Deduced a trap composed of 71 places in 142 ms
[2021-05-14 19:23:59] [INFO ] Deduced a trap composed of 41 places in 142 ms
[2021-05-14 19:24:00] [INFO ] Deduced a trap composed of 34 places in 143 ms
[2021-05-14 19:24:00] [INFO ] Deduced a trap composed of 21 places in 142 ms
[2021-05-14 19:24:00] [INFO ] Deduced a trap composed of 93 places in 131 ms
[2021-05-14 19:24:00] [INFO ] Deduced a trap composed of 91 places in 130 ms
[2021-05-14 19:24:00] [INFO ] Deduced a trap composed of 77 places in 119 ms
[2021-05-14 19:24:00] [INFO ] Trap strengthening (SAT) tested/added 14/13 trap constraints in 2613 ms
[2021-05-14 19:24:00] [INFO ] [Real]Absence check using 14 positive place invariants in 14 ms returned sat
[2021-05-14 19:24:00] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:24:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:24:01] [INFO ] [Real]Absence check using state equation in 617 ms returned sat
[2021-05-14 19:24:01] [INFO ] [Real]Added 132 Read/Feed constraints in 13 ms returned sat
[2021-05-14 19:24:01] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:24:01] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:24:01] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:24:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:24:02] [INFO ] [Nat]Absence check using state equation in 620 ms returned sat
[2021-05-14 19:24:02] [INFO ] [Nat]Added 132 Read/Feed constraints in 28 ms returned sat
[2021-05-14 19:24:02] [INFO ] Deduced a trap composed of 36 places in 107 ms
[2021-05-14 19:24:02] [INFO ] Deduced a trap composed of 14 places in 107 ms
[2021-05-14 19:24:02] [INFO ] Deduced a trap composed of 58 places in 107 ms
[2021-05-14 19:24:02] [INFO ] Deduced a trap composed of 58 places in 117 ms
[2021-05-14 19:24:02] [INFO ] Deduced a trap composed of 47 places in 116 ms
[2021-05-14 19:24:03] [INFO ] Deduced a trap composed of 39 places in 115 ms
[2021-05-14 19:24:03] [INFO ] Deduced a trap composed of 36 places in 115 ms
[2021-05-14 19:24:03] [INFO ] Deduced a trap composed of 14 places in 155 ms
[2021-05-14 19:24:03] [INFO ] Deduced a trap composed of 98 places in 155 ms
[2021-05-14 19:24:03] [INFO ] Deduced a trap composed of 25 places in 110 ms
[2021-05-14 19:24:03] [INFO ] Deduced a trap composed of 14 places in 155 ms
[2021-05-14 19:24:04] [INFO ] Deduced a trap composed of 69 places in 141 ms
[2021-05-14 19:24:04] [INFO ] Deduced a trap composed of 69 places in 142 ms
[2021-05-14 19:24:04] [INFO ] Deduced a trap composed of 38 places in 115 ms
[2021-05-14 19:24:04] [INFO ] Deduced a trap composed of 13 places in 114 ms
[2021-05-14 19:24:04] [INFO ] Deduced a trap composed of 61 places in 84 ms
[2021-05-14 19:24:04] [INFO ] Deduced a trap composed of 92 places in 122 ms
[2021-05-14 19:24:04] [INFO ] Deduced a trap composed of 93 places in 126 ms
[2021-05-14 19:24:04] [INFO ] Deduced a trap composed of 129 places in 110 ms
[2021-05-14 19:24:05] [INFO ] Deduced a trap composed of 54 places in 102 ms
[2021-05-14 19:24:05] [INFO ] Deduced a trap composed of 47 places in 52 ms
[2021-05-14 19:24:05] [INFO ] Deduced a trap composed of 47 places in 52 ms
[2021-05-14 19:24:05] [INFO ] Deduced a trap composed of 40 places in 49 ms
[2021-05-14 19:24:05] [INFO ] Deduced a trap composed of 48 places in 52 ms
[2021-05-14 19:24:05] [INFO ] Trap strengthening (SAT) tested/added 25/24 trap constraints in 3143 ms
[2021-05-14 19:24:05] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 33 ms.
[2021-05-14 19:24:09] [INFO ] Added : 516 causal constraints over 104 iterations in 4075 ms. Result :sat
[2021-05-14 19:24:09] [INFO ] [Real]Absence check using 14 positive place invariants in 14 ms returned sat
[2021-05-14 19:24:09] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:24:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:24:10] [INFO ] [Real]Absence check using state equation in 620 ms returned sat
[2021-05-14 19:24:10] [INFO ] [Real]Added 132 Read/Feed constraints in 13 ms returned sat
[2021-05-14 19:24:10] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:24:10] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:24:10] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:24:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:24:10] [INFO ] [Nat]Absence check using state equation in 610 ms returned sat
[2021-05-14 19:24:10] [INFO ] [Nat]Added 132 Read/Feed constraints in 30 ms returned sat
[2021-05-14 19:24:11] [INFO ] Deduced a trap composed of 36 places in 117 ms
[2021-05-14 19:24:11] [INFO ] Deduced a trap composed of 31 places in 122 ms
[2021-05-14 19:24:11] [INFO ] Deduced a trap composed of 58 places in 118 ms
[2021-05-14 19:24:11] [INFO ] Deduced a trap composed of 61 places in 119 ms
[2021-05-14 19:24:11] [INFO ] Deduced a trap composed of 69 places in 120 ms
[2021-05-14 19:24:11] [INFO ] Deduced a trap composed of 42 places in 120 ms
[2021-05-14 19:24:11] [INFO ] Deduced a trap composed of 13 places in 114 ms
[2021-05-14 19:24:12] [INFO ] Deduced a trap composed of 66 places in 114 ms
[2021-05-14 19:24:12] [INFO ] Deduced a trap composed of 82 places in 111 ms
[2021-05-14 19:24:12] [INFO ] Deduced a trap composed of 14 places in 115 ms
[2021-05-14 19:24:12] [INFO ] Deduced a trap composed of 40 places in 115 ms
[2021-05-14 19:24:12] [INFO ] Deduced a trap composed of 14 places in 116 ms
[2021-05-14 19:24:12] [INFO ] Deduced a trap composed of 43 places in 105 ms
[2021-05-14 19:24:12] [INFO ] Deduced a trap composed of 67 places in 105 ms
[2021-05-14 19:24:12] [INFO ] Deduced a trap composed of 36 places in 113 ms
[2021-05-14 19:24:13] [INFO ] Deduced a trap composed of 69 places in 114 ms
[2021-05-14 19:24:13] [INFO ] Deduced a trap composed of 10 places in 106 ms
[2021-05-14 19:24:13] [INFO ] Deduced a trap composed of 44 places in 94 ms
[2021-05-14 19:24:13] [INFO ] Deduced a trap composed of 37 places in 94 ms
[2021-05-14 19:24:13] [INFO ] Deduced a trap composed of 60 places in 76 ms
[2021-05-14 19:24:13] [INFO ] Deduced a trap composed of 70 places in 163 ms
[2021-05-14 19:24:13] [INFO ] Deduced a trap composed of 64 places in 164 ms
[2021-05-14 19:24:14] [INFO ] Deduced a trap composed of 31 places in 166 ms
[2021-05-14 19:24:14] [INFO ] Deduced a trap composed of 27 places in 158 ms
[2021-05-14 19:24:14] [INFO ] Deduced a trap composed of 14 places in 158 ms
[2021-05-14 19:24:14] [INFO ] Deduced a trap composed of 70 places in 138 ms
[2021-05-14 19:24:14] [INFO ] Deduced a trap composed of 64 places in 122 ms
[2021-05-14 19:24:14] [INFO ] Deduced a trap composed of 60 places in 85 ms
[2021-05-14 19:24:14] [INFO ] Trap strengthening (SAT) tested/added 29/28 trap constraints in 3967 ms
[2021-05-14 19:24:14] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 31 ms.
[2021-05-14 19:24:19] [INFO ] Added : 575 causal constraints over 115 iterations in 4507 ms. Result :sat
[2021-05-14 19:24:19] [INFO ] Deduced a trap composed of 81 places in 170 ms
[2021-05-14 19:24:19] [INFO ] Deduced a trap composed of 38 places in 171 ms
[2021-05-14 19:24:20] [INFO ] Deduced a trap composed of 50 places in 145 ms
[2021-05-14 19:24:20] [INFO ] Deduced a trap composed of 79 places in 145 ms
[2021-05-14 19:24:20] [INFO ] Deduced a trap composed of 10 places in 144 ms
[2021-05-14 19:24:20] [INFO ] Deduced a trap composed of 83 places in 167 ms
[2021-05-14 19:24:21] [INFO ] Deduced a trap composed of 25 places in 167 ms
[2021-05-14 19:24:21] [INFO ] Deduced a trap composed of 80 places in 132 ms
[2021-05-14 19:24:21] [INFO ] Trap strengthening (SAT) tested/added 9/8 trap constraints in 1868 ms
[2021-05-14 19:24:21] [INFO ] [Real]Absence check using 14 positive place invariants in 14 ms returned sat
[2021-05-14 19:24:21] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:24:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:24:21] [INFO ] [Real]Absence check using state equation in 611 ms returned sat
[2021-05-14 19:24:21] [INFO ] [Real]Added 132 Read/Feed constraints in 14 ms returned sat
[2021-05-14 19:24:21] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:24:22] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:24:22] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:24:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:24:22] [INFO ] [Nat]Absence check using state equation in 616 ms returned sat
[2021-05-14 19:24:22] [INFO ] [Nat]Added 132 Read/Feed constraints in 27 ms returned sat
[2021-05-14 19:24:22] [INFO ] Deduced a trap composed of 65 places in 104 ms
[2021-05-14 19:24:22] [INFO ] Deduced a trap composed of 36 places in 104 ms
[2021-05-14 19:24:23] [INFO ] Deduced a trap composed of 51 places in 105 ms
[2021-05-14 19:24:23] [INFO ] Deduced a trap composed of 48 places in 107 ms
[2021-05-14 19:24:23] [INFO ] Deduced a trap composed of 48 places in 105 ms
[2021-05-14 19:24:23] [INFO ] Deduced a trap composed of 58 places in 107 ms
[2021-05-14 19:24:23] [INFO ] Deduced a trap composed of 62 places in 114 ms
[2021-05-14 19:24:23] [INFO ] Deduced a trap composed of 62 places in 110 ms
[2021-05-14 19:24:23] [INFO ] Deduced a trap composed of 47 places in 112 ms
[2021-05-14 19:24:23] [INFO ] Deduced a trap composed of 18 places in 111 ms
[2021-05-14 19:24:24] [INFO ] Deduced a trap composed of 17 places in 112 ms
[2021-05-14 19:24:24] [INFO ] Deduced a trap composed of 18 places in 113 ms
[2021-05-14 19:24:24] [INFO ] Deduced a trap composed of 14 places in 114 ms
[2021-05-14 19:24:24] [INFO ] Deduced a trap composed of 13 places in 120 ms
[2021-05-14 19:24:24] [INFO ] Deduced a trap composed of 69 places in 82 ms
[2021-05-14 19:24:24] [INFO ] Deduced a trap composed of 58 places in 80 ms
[2021-05-14 19:24:24] [INFO ] Deduced a trap composed of 71 places in 82 ms
[2021-05-14 19:24:24] [INFO ] Deduced a trap composed of 91 places in 78 ms
[2021-05-14 19:24:25] [INFO ] Deduced a trap composed of 91 places in 79 ms
[2021-05-14 19:24:25] [INFO ] Deduced a trap composed of 91 places in 80 ms
[2021-05-14 19:24:25] [INFO ] Trap strengthening (SAT) tested/added 21/20 trap constraints in 2432 ms
[2021-05-14 19:24:25] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 29 ms.
[2021-05-14 19:24:27] [INFO ] Added : 370 causal constraints over 74 iterations in 2503 ms. Result :sat
[2021-05-14 19:24:27] [INFO ] [Real]Absence check using 14 positive place invariants in 15 ms returned sat
[2021-05-14 19:24:27] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:24:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:24:28] [INFO ] [Real]Absence check using state equation in 617 ms returned sat
[2021-05-14 19:24:28] [INFO ] [Real]Added 132 Read/Feed constraints in 13 ms returned sat
[2021-05-14 19:24:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:24:28] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:24:28] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:24:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:24:29] [INFO ] [Nat]Absence check using state equation in 615 ms returned sat
[2021-05-14 19:24:29] [INFO ] [Nat]Added 132 Read/Feed constraints in 29 ms returned sat
[2021-05-14 19:24:29] [INFO ] Deduced a trap composed of 25 places in 121 ms
[2021-05-14 19:24:29] [INFO ] Deduced a trap composed of 36 places in 120 ms
[2021-05-14 19:24:29] [INFO ] Deduced a trap composed of 25 places in 118 ms
[2021-05-14 19:24:29] [INFO ] Deduced a trap composed of 44 places in 117 ms
[2021-05-14 19:24:29] [INFO ] Deduced a trap composed of 25 places in 115 ms
[2021-05-14 19:24:29] [INFO ] Deduced a trap composed of 18 places in 114 ms
[2021-05-14 19:24:30] [INFO ] Deduced a trap composed of 32 places in 149 ms
[2021-05-14 19:24:30] [INFO ] Deduced a trap composed of 36 places in 119 ms
[2021-05-14 19:24:30] [INFO ] Deduced a trap composed of 36 places in 121 ms
[2021-05-14 19:24:30] [INFO ] Deduced a trap composed of 47 places in 120 ms
[2021-05-14 19:24:30] [INFO ] Deduced a trap composed of 58 places in 120 ms
[2021-05-14 19:24:30] [INFO ] Deduced a trap composed of 62 places in 121 ms
[2021-05-14 19:24:30] [INFO ] Deduced a trap composed of 60 places in 119 ms
[2021-05-14 19:24:31] [INFO ] Deduced a trap composed of 43 places in 121 ms
[2021-05-14 19:24:31] [INFO ] Deduced a trap composed of 55 places in 118 ms
[2021-05-14 19:24:31] [INFO ] Deduced a trap composed of 91 places in 160 ms
[2021-05-14 19:24:31] [INFO ] Deduced a trap composed of 32 places in 158 ms
[2021-05-14 19:24:31] [INFO ] Deduced a trap composed of 43 places in 119 ms
[2021-05-14 19:24:31] [INFO ] Deduced a trap composed of 40 places in 117 ms
[2021-05-14 19:24:31] [INFO ] Deduced a trap composed of 62 places in 117 ms
[2021-05-14 19:24:32] [INFO ] Deduced a trap composed of 38 places in 107 ms
[2021-05-14 19:24:32] [INFO ] Deduced a trap composed of 35 places in 160 ms
[2021-05-14 19:24:32] [INFO ] Deduced a trap composed of 58 places in 119 ms
[2021-05-14 19:24:32] [INFO ] Deduced a trap composed of 42 places in 117 ms
[2021-05-14 19:24:32] [INFO ] Deduced a trap composed of 93 places in 108 ms
[2021-05-14 19:24:32] [INFO ] Deduced a trap composed of 61 places in 105 ms
[2021-05-14 19:24:32] [INFO ] Deduced a trap composed of 57 places in 145 ms
[2021-05-14 19:24:33] [INFO ] Deduced a trap composed of 80 places in 118 ms
[2021-05-14 19:24:33] [INFO ] Deduced a trap composed of 10 places in 73 ms
[2021-05-14 19:24:33] [INFO ] Deduced a trap composed of 14 places in 71 ms
[2021-05-14 19:24:33] [INFO ] Trap strengthening (SAT) tested/added 31/30 trap constraints in 4225 ms
[2021-05-14 19:24:33] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 30 ms.
[2021-05-14 19:24:36] [INFO ] Added : 408 causal constraints over 82 iterations in 2897 ms. Result :sat
[2021-05-14 19:24:36] [INFO ] [Real]Absence check using 14 positive place invariants in 15 ms returned sat
[2021-05-14 19:24:36] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:24:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:24:36] [INFO ] [Real]Absence check using state equation in 614 ms returned sat
[2021-05-14 19:24:36] [INFO ] [Real]Added 132 Read/Feed constraints in 14 ms returned sat
[2021-05-14 19:24:36] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:24:36] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:24:36] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:24:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:24:37] [INFO ] [Nat]Absence check using state equation in 615 ms returned sat
[2021-05-14 19:24:37] [INFO ] [Nat]Added 132 Read/Feed constraints in 26 ms returned sat
[2021-05-14 19:24:37] [INFO ] Deduced a trap composed of 61 places in 101 ms
[2021-05-14 19:24:37] [INFO ] Deduced a trap composed of 62 places in 100 ms
[2021-05-14 19:24:37] [INFO ] Deduced a trap composed of 62 places in 102 ms
[2021-05-14 19:24:38] [INFO ] Deduced a trap composed of 69 places in 102 ms
[2021-05-14 19:24:38] [INFO ] Deduced a trap composed of 69 places in 101 ms
[2021-05-14 19:24:38] [INFO ] Deduced a trap composed of 44 places in 99 ms
[2021-05-14 19:24:38] [INFO ] Deduced a trap composed of 69 places in 100 ms
[2021-05-14 19:24:38] [INFO ] Deduced a trap composed of 25 places in 98 ms
[2021-05-14 19:24:38] [INFO ] Deduced a trap composed of 47 places in 98 ms
[2021-05-14 19:24:38] [INFO ] Deduced a trap composed of 51 places in 98 ms
[2021-05-14 19:24:38] [INFO ] Deduced a trap composed of 47 places in 98 ms
[2021-05-14 19:24:39] [INFO ] Deduced a trap composed of 22 places in 100 ms
[2021-05-14 19:24:39] [INFO ] Deduced a trap composed of 25 places in 100 ms
[2021-05-14 19:24:39] [INFO ] Deduced a trap composed of 47 places in 98 ms
[2021-05-14 19:24:39] [INFO ] Deduced a trap composed of 21 places in 142 ms
[2021-05-14 19:24:39] [INFO ] Deduced a trap composed of 13 places in 152 ms
[2021-05-14 19:24:39] [INFO ] Deduced a trap composed of 21 places in 148 ms
[2021-05-14 19:24:39] [INFO ] Deduced a trap composed of 66 places in 69 ms
[2021-05-14 19:24:39] [INFO ] Trap strengthening (SAT) tested/added 19/18 trap constraints in 2283 ms
[2021-05-14 19:24:39] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 30 ms.
[2021-05-14 19:24:43] [INFO ] Added : 455 causal constraints over 91 iterations in 3231 ms. Result :sat
[2021-05-14 19:24:43] [INFO ] Deduced a trap composed of 96 places in 154 ms
[2021-05-14 19:24:43] [INFO ] Deduced a trap composed of 30 places in 155 ms
[2021-05-14 19:24:43] [INFO ] Deduced a trap composed of 93 places in 154 ms
[2021-05-14 19:24:43] [INFO ] Deduced a trap composed of 39 places in 155 ms
[2021-05-14 19:24:44] [INFO ] Deduced a trap composed of 79 places in 160 ms
[2021-05-14 19:24:44] [INFO ] Deduced a trap composed of 69 places in 121 ms
[2021-05-14 19:24:44] [INFO ] Deduced a trap composed of 18 places in 123 ms
[2021-05-14 19:24:44] [INFO ] Deduced a trap composed of 40 places in 128 ms
[2021-05-14 19:24:44] [INFO ] Deduced a trap composed of 43 places in 126 ms
[2021-05-14 19:24:44] [INFO ] Deduced a trap composed of 87 places in 81 ms
[2021-05-14 19:24:45] [INFO ] Deduced a trap composed of 88 places in 81 ms
[2021-05-14 19:24:45] [INFO ] Deduced a trap composed of 87 places in 81 ms
[2021-05-14 19:24:45] [INFO ] Trap strengthening (SAT) tested/added 13/12 trap constraints in 2136 ms
[2021-05-14 19:24:45] [INFO ] [Real]Absence check using 14 positive place invariants in 14 ms returned sat
[2021-05-14 19:24:45] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:24:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:24:45] [INFO ] [Real]Absence check using state equation in 614 ms returned sat
[2021-05-14 19:24:45] [INFO ] [Real]Added 132 Read/Feed constraints in 13 ms returned sat
[2021-05-14 19:24:45] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:24:46] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:24:46] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:24:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:24:46] [INFO ] [Nat]Absence check using state equation in 620 ms returned sat
[2021-05-14 19:24:46] [INFO ] [Nat]Added 132 Read/Feed constraints in 28 ms returned sat
[2021-05-14 19:24:46] [INFO ] Deduced a trap composed of 45 places in 147 ms
[2021-05-14 19:24:47] [INFO ] Deduced a trap composed of 54 places in 146 ms
[2021-05-14 19:24:47] [INFO ] Deduced a trap composed of 14 places in 147 ms
[2021-05-14 19:24:47] [INFO ] Deduced a trap composed of 40 places in 147 ms
[2021-05-14 19:24:47] [INFO ] Deduced a trap composed of 69 places in 146 ms
[2021-05-14 19:24:47] [INFO ] Deduced a trap composed of 14 places in 147 ms
[2021-05-14 19:24:47] [INFO ] Deduced a trap composed of 14 places in 146 ms
[2021-05-14 19:24:48] [INFO ] Deduced a trap composed of 17 places in 145 ms
[2021-05-14 19:24:48] [INFO ] Deduced a trap composed of 62 places in 150 ms
[2021-05-14 19:24:48] [INFO ] Deduced a trap composed of 62 places in 148 ms
[2021-05-14 19:24:48] [INFO ] Deduced a trap composed of 39 places in 148 ms
[2021-05-14 19:24:48] [INFO ] Deduced a trap composed of 13 places in 143 ms
[2021-05-14 19:24:48] [INFO ] Deduced a trap composed of 91 places in 136 ms
[2021-05-14 19:24:48] [INFO ] Deduced a trap composed of 61 places in 94 ms
[2021-05-14 19:24:49] [INFO ] Deduced a trap composed of 39 places in 132 ms
[2021-05-14 19:24:49] [INFO ] Deduced a trap composed of 40 places in 129 ms
[2021-05-14 19:24:49] [INFO ] Deduced a trap composed of 87 places in 113 ms
[2021-05-14 19:24:49] [INFO ] Deduced a trap composed of 62 places in 78 ms
[2021-05-14 19:24:49] [INFO ] Deduced a trap composed of 53 places in 128 ms
[2021-05-14 19:24:49] [INFO ] Deduced a trap composed of 84 places in 83 ms
[2021-05-14 19:24:49] [INFO ] Trap strengthening (SAT) tested/added 21/20 trap constraints in 3075 ms
[2021-05-14 19:24:49] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 30 ms.
[2021-05-14 19:24:53] [INFO ] Added : 451 causal constraints over 91 iterations in 3232 ms. Result :sat
[2021-05-14 19:24:53] [INFO ] Deduced a trap composed of 87 places in 166 ms
[2021-05-14 19:24:53] [INFO ] Deduced a trap composed of 66 places in 171 ms
[2021-05-14 19:24:53] [INFO ] Deduced a trap composed of 91 places in 159 ms
[2021-05-14 19:24:53] [INFO ] Deduced a trap composed of 108 places in 163 ms
[2021-05-14 19:24:54] [INFO ] Deduced a trap composed of 48 places in 166 ms
[2021-05-14 19:24:54] [INFO ] Deduced a trap composed of 35 places in 166 ms
[2021-05-14 19:24:54] [INFO ] Deduced a trap composed of 35 places in 167 ms
[2021-05-14 19:24:54] [INFO ] Deduced a trap composed of 47 places in 140 ms
[2021-05-14 19:24:54] [INFO ] Deduced a trap composed of 64 places in 129 ms
[2021-05-14 19:24:55] [INFO ] Deduced a trap composed of 10 places in 143 ms
[2021-05-14 19:24:55] [INFO ] Trap strengthening (SAT) tested/added 11/10 trap constraints in 2116 ms
[2021-05-14 19:24:55] [INFO ] [Real]Absence check using 14 positive place invariants in 15 ms returned sat
[2021-05-14 19:24:55] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:24:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:24:55] [INFO ] [Real]Absence check using state equation in 615 ms returned sat
[2021-05-14 19:24:55] [INFO ] [Real]Added 132 Read/Feed constraints in 14 ms returned sat
[2021-05-14 19:24:55] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:24:55] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:24:55] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:24:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:24:56] [INFO ] [Nat]Absence check using state equation in 617 ms returned sat
[2021-05-14 19:24:56] [INFO ] [Nat]Added 132 Read/Feed constraints in 27 ms returned sat
[2021-05-14 19:24:56] [INFO ] Deduced a trap composed of 61 places in 116 ms
[2021-05-14 19:24:56] [INFO ] Deduced a trap composed of 62 places in 108 ms
[2021-05-14 19:24:56] [INFO ] Deduced a trap composed of 58 places in 116 ms
[2021-05-14 19:24:57] [INFO ] Deduced a trap composed of 62 places in 115 ms
[2021-05-14 19:24:57] [INFO ] Deduced a trap composed of 25 places in 113 ms
[2021-05-14 19:24:57] [INFO ] Deduced a trap composed of 91 places in 105 ms
[2021-05-14 19:24:57] [INFO ] Deduced a trap composed of 92 places in 156 ms
[2021-05-14 19:24:57] [INFO ] Deduced a trap composed of 25 places in 155 ms
[2021-05-14 19:24:57] [INFO ] Deduced a trap composed of 25 places in 156 ms
[2021-05-14 19:24:58] [INFO ] Deduced a trap composed of 35 places in 154 ms
[2021-05-14 19:24:58] [INFO ] Deduced a trap composed of 43 places in 156 ms
[2021-05-14 19:24:58] [INFO ] Deduced a trap composed of 43 places in 158 ms
[2021-05-14 19:24:58] [INFO ] Deduced a trap composed of 75 places in 154 ms
[2021-05-14 19:24:58] [INFO ] Deduced a trap composed of 43 places in 153 ms
[2021-05-14 19:24:58] [INFO ] Deduced a trap composed of 14 places in 156 ms
[2021-05-14 19:24:59] [INFO ] Deduced a trap composed of 26 places in 156 ms
[2021-05-14 19:24:59] [INFO ] Deduced a trap composed of 58 places in 141 ms
[2021-05-14 19:24:59] [INFO ] Deduced a trap composed of 94 places in 145 ms
[2021-05-14 19:24:59] [INFO ] Deduced a trap composed of 58 places in 122 ms
[2021-05-14 19:24:59] [INFO ] Deduced a trap composed of 65 places in 122 ms
[2021-05-14 19:24:59] [INFO ] Deduced a trap composed of 94 places in 122 ms
[2021-05-14 19:24:59] [INFO ] Deduced a trap composed of 65 places in 82 ms
[2021-05-14 19:25:00] [INFO ] Deduced a trap composed of 49 places in 132 ms
[2021-05-14 19:25:00] [INFO ] Deduced a trap composed of 72 places in 118 ms
[2021-05-14 19:25:00] [INFO ] Deduced a trap composed of 32 places in 130 ms
[2021-05-14 19:25:00] [INFO ] Deduced a trap composed of 84 places in 130 ms
[2021-05-14 19:25:00] [INFO ] Deduced a trap composed of 84 places in 129 ms
[2021-05-14 19:25:00] [INFO ] Deduced a trap composed of 71 places in 73 ms
[2021-05-14 19:25:00] [INFO ] Deduced a trap composed of 39 places in 75 ms
[2021-05-14 19:25:01] [INFO ] Deduced a trap composed of 40 places in 66 ms
[2021-05-14 19:25:01] [INFO ] Trap strengthening (SAT) tested/added 31/30 trap constraints in 4484 ms
[2021-05-14 19:25:01] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 32 ms.
[2021-05-14 19:25:04] [INFO ] Added : 487 causal constraints over 98 iterations in 3772 ms. Result :sat
[2021-05-14 19:25:04] [INFO ] Deduced a trap composed of 32 places in 144 ms
[2021-05-14 19:25:05] [INFO ] Deduced a trap composed of 93 places in 145 ms
[2021-05-14 19:25:05] [INFO ] Deduced a trap composed of 18 places in 146 ms
[2021-05-14 19:25:05] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 615 ms
[2021-05-14 19:25:05] [INFO ] [Real]Absence check using 14 positive place invariants in 15 ms returned sat
[2021-05-14 19:25:05] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:25:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:25:06] [INFO ] [Real]Absence check using state equation in 611 ms returned sat
[2021-05-14 19:25:06] [INFO ] [Real]Added 132 Read/Feed constraints in 14 ms returned sat
[2021-05-14 19:25:06] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:25:06] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:25:06] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:25:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:25:06] [INFO ] [Nat]Absence check using state equation in 614 ms returned sat
[2021-05-14 19:25:06] [INFO ] [Nat]Added 132 Read/Feed constraints in 29 ms returned sat
[2021-05-14 19:25:06] [INFO ] Deduced a trap composed of 69 places in 152 ms
[2021-05-14 19:25:07] [INFO ] Deduced a trap composed of 75 places in 153 ms
[2021-05-14 19:25:07] [INFO ] Deduced a trap composed of 83 places in 151 ms
[2021-05-14 19:25:07] [INFO ] Deduced a trap composed of 62 places in 118 ms
[2021-05-14 19:25:07] [INFO ] Deduced a trap composed of 17 places in 117 ms
[2021-05-14 19:25:07] [INFO ] Deduced a trap composed of 69 places in 118 ms
[2021-05-14 19:25:07] [INFO ] Deduced a trap composed of 62 places in 115 ms
[2021-05-14 19:25:08] [INFO ] Deduced a trap composed of 61 places in 112 ms
[2021-05-14 19:25:08] [INFO ] Deduced a trap composed of 22 places in 114 ms
[2021-05-14 19:25:08] [INFO ] Deduced a trap composed of 45 places in 111 ms
[2021-05-14 19:25:08] [INFO ] Deduced a trap composed of 18 places in 112 ms
[2021-05-14 19:25:08] [INFO ] Deduced a trap composed of 21 places in 112 ms
[2021-05-14 19:25:08] [INFO ] Deduced a trap composed of 39 places in 103 ms
[2021-05-14 19:25:08] [INFO ] Deduced a trap composed of 65 places in 104 ms
[2021-05-14 19:25:08] [INFO ] Deduced a trap composed of 14 places in 107 ms
[2021-05-14 19:25:09] [INFO ] Deduced a trap composed of 14 places in 106 ms
[2021-05-14 19:25:09] [INFO ] Deduced a trap composed of 40 places in 99 ms
[2021-05-14 19:25:09] [INFO ] Deduced a trap composed of 36 places in 97 ms
[2021-05-14 19:25:09] [INFO ] Deduced a trap composed of 36 places in 97 ms
[2021-05-14 19:25:09] [INFO ] Deduced a trap composed of 62 places in 80 ms
[2021-05-14 19:25:09] [INFO ] Deduced a trap composed of 15 places in 70 ms
[2021-05-14 19:25:09] [INFO ] Trap strengthening (SAT) tested/added 22/21 trap constraints in 2783 ms
[2021-05-14 19:25:09] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 29 ms.
[2021-05-14 19:25:12] [INFO ] Added : 423 causal constraints over 85 iterations in 3033 ms. Result :sat
[2021-05-14 19:25:12] [INFO ] Deduced a trap composed of 81 places in 116 ms
[2021-05-14 19:25:12] [INFO ] Deduced a trap composed of 103 places in 116 ms
[2021-05-14 19:25:13] [INFO ] Deduced a trap composed of 35 places in 119 ms
[2021-05-14 19:25:13] [INFO ] Deduced a trap composed of 65 places in 86 ms
[2021-05-14 19:25:13] [INFO ] Deduced a trap composed of 66 places in 86 ms
[2021-05-14 19:25:13] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 775 ms
[2021-05-14 19:25:13] [INFO ] [Real]Absence check using 14 positive place invariants in 15 ms returned sat
[2021-05-14 19:25:13] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:25:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:25:14] [INFO ] [Real]Absence check using state equation in 618 ms returned sat
[2021-05-14 19:25:14] [INFO ] [Real]Added 132 Read/Feed constraints in 17 ms returned sat
[2021-05-14 19:25:14] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:25:14] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:25:14] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:25:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:25:14] [INFO ] [Nat]Absence check using state equation in 617 ms returned sat
[2021-05-14 19:25:14] [INFO ] [Nat]Added 132 Read/Feed constraints in 29 ms returned sat
[2021-05-14 19:25:14] [INFO ] Deduced a trap composed of 14 places in 102 ms
[2021-05-14 19:25:15] [INFO ] Deduced a trap composed of 71 places in 100 ms
[2021-05-14 19:25:15] [INFO ] Deduced a trap composed of 58 places in 101 ms
[2021-05-14 19:25:15] [INFO ] Deduced a trap composed of 58 places in 100 ms
[2021-05-14 19:25:15] [INFO ] Deduced a trap composed of 40 places in 101 ms
[2021-05-14 19:25:15] [INFO ] Deduced a trap composed of 47 places in 100 ms
[2021-05-14 19:25:15] [INFO ] Deduced a trap composed of 14 places in 101 ms
[2021-05-14 19:25:15] [INFO ] Deduced a trap composed of 17 places in 102 ms
[2021-05-14 19:25:15] [INFO ] Deduced a trap composed of 47 places in 101 ms
[2021-05-14 19:25:16] [INFO ] Deduced a trap composed of 13 places in 122 ms
[2021-05-14 19:25:16] [INFO ] Deduced a trap composed of 18 places in 115 ms
[2021-05-14 19:25:16] [INFO ] Deduced a trap composed of 69 places in 71 ms
[2021-05-14 19:25:16] [INFO ] Deduced a trap composed of 62 places in 68 ms
[2021-05-14 19:25:16] [INFO ] Deduced a trap composed of 69 places in 70 ms
[2021-05-14 19:25:16] [INFO ] Deduced a trap composed of 92 places in 91 ms
[2021-05-14 19:25:16] [INFO ] Trap strengthening (SAT) tested/added 16/15 trap constraints in 1754 ms
[2021-05-14 19:25:16] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 29 ms.
[2021-05-14 19:25:20] [INFO ] Added : 560 causal constraints over 112 iterations in 4227 ms. Result :sat
[2021-05-14 19:25:20] [INFO ] Deduced a trap composed of 95 places in 82 ms
[2021-05-14 19:25:21] [INFO ] Deduced a trap composed of 95 places in 82 ms
[2021-05-14 19:25:21] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 284 ms
[2021-05-14 19:25:21] [INFO ] [Real]Absence check using 14 positive place invariants in 14 ms returned sat
[2021-05-14 19:25:21] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:25:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:25:21] [INFO ] [Real]Absence check using state equation in 618 ms returned sat
[2021-05-14 19:25:21] [INFO ] [Real]Added 132 Read/Feed constraints in 13 ms returned sat
[2021-05-14 19:25:21] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:25:21] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:25:21] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:25:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:25:22] [INFO ] [Nat]Absence check using state equation in 617 ms returned sat
[2021-05-14 19:25:22] [INFO ] [Nat]Added 132 Read/Feed constraints in 24 ms returned sat
[2021-05-14 19:25:22] [INFO ] Deduced a trap composed of 13 places in 115 ms
[2021-05-14 19:25:22] [INFO ] Deduced a trap composed of 64 places in 117 ms
[2021-05-14 19:25:22] [INFO ] Deduced a trap composed of 18 places in 116 ms
[2021-05-14 19:25:23] [INFO ] Deduced a trap composed of 55 places in 115 ms
[2021-05-14 19:25:23] [INFO ] Deduced a trap composed of 61 places in 118 ms
[2021-05-14 19:25:23] [INFO ] Deduced a trap composed of 67 places in 114 ms
[2021-05-14 19:25:23] [INFO ] Deduced a trap composed of 105 places in 117 ms
[2021-05-14 19:25:23] [INFO ] Deduced a trap composed of 39 places in 109 ms
[2021-05-14 19:25:23] [INFO ] Deduced a trap composed of 94 places in 115 ms
[2021-05-14 19:25:23] [INFO ] Deduced a trap composed of 55 places in 116 ms
[2021-05-14 19:25:24] [INFO ] Deduced a trap composed of 17 places in 114 ms
[2021-05-14 19:25:24] [INFO ] Deduced a trap composed of 18 places in 116 ms
[2021-05-14 19:25:24] [INFO ] Deduced a trap composed of 63 places in 105 ms
[2021-05-14 19:25:24] [INFO ] Deduced a trap composed of 77 places in 116 ms
[2021-05-14 19:25:24] [INFO ] Deduced a trap composed of 64 places in 115 ms
[2021-05-14 19:25:24] [INFO ] Deduced a trap composed of 63 places in 115 ms
[2021-05-14 19:25:24] [INFO ] Deduced a trap composed of 64 places in 158 ms
[2021-05-14 19:25:25] [INFO ] Deduced a trap composed of 14 places in 132 ms
[2021-05-14 19:25:25] [INFO ] Deduced a trap composed of 65 places in 145 ms
[2021-05-14 19:25:25] [INFO ] Deduced a trap composed of 80 places in 124 ms
[2021-05-14 19:25:25] [INFO ] Deduced a trap composed of 69 places in 128 ms
[2021-05-14 19:25:25] [INFO ] Deduced a trap composed of 80 places in 127 ms
[2021-05-14 19:25:25] [INFO ] Deduced a trap composed of 80 places in 97 ms
[2021-05-14 19:25:25] [INFO ] Deduced a trap composed of 47 places in 102 ms
[2021-05-14 19:25:25] [INFO ] Deduced a trap composed of 47 places in 101 ms
[2021-05-14 19:25:26] [INFO ] Deduced a trap composed of 27 places in 101 ms
[2021-05-14 19:25:26] [INFO ] Deduced a trap composed of 58 places in 102 ms
[2021-05-14 19:25:26] [INFO ] Deduced a trap composed of 27 places in 102 ms
[2021-05-14 19:25:26] [INFO ] Deduced a trap composed of 39 places in 95 ms
[2021-05-14 19:25:26] [INFO ] Deduced a trap composed of 36 places in 95 ms
[2021-05-14 19:25:26] [INFO ] Deduced a trap composed of 60 places in 78 ms
[2021-05-14 19:25:26] [INFO ] Deduced a trap composed of 81 places in 86 ms
[2021-05-14 19:25:26] [INFO ] Trap strengthening (SAT) tested/added 33/32 trap constraints in 4276 ms
[2021-05-14 19:25:26] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 31 ms.
[2021-05-14 19:25:29] [INFO ] Added : 417 causal constraints over 84 iterations in 2846 ms. Result :sat
[2021-05-14 19:25:29] [INFO ] Deduced a trap composed of 100 places in 119 ms
[2021-05-14 19:25:29] [INFO ] Deduced a trap composed of 43 places in 119 ms
[2021-05-14 19:25:30] [INFO ] Deduced a trap composed of 98 places in 125 ms
[2021-05-14 19:25:30] [INFO ] Deduced a trap composed of 44 places in 121 ms
[2021-05-14 19:25:30] [INFO ] Deduced a trap composed of 35 places in 122 ms
[2021-05-14 19:25:30] [INFO ] Deduced a trap composed of 96 places in 110 ms
[2021-05-14 19:25:30] [INFO ] Trap strengthening (SAT) tested/added 7/6 trap constraints in 1040 ms
[2021-05-14 19:25:30] [INFO ] [Real]Absence check using 14 positive place invariants in 15 ms returned sat
[2021-05-14 19:25:30] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:25:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:25:31] [INFO ] [Real]Absence check using state equation in 617 ms returned sat
[2021-05-14 19:25:31] [INFO ] [Real]Added 132 Read/Feed constraints in 14 ms returned sat
[2021-05-14 19:25:31] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:25:31] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:25:31] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:25:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:25:32] [INFO ] [Nat]Absence check using state equation in 613 ms returned sat
[2021-05-14 19:25:32] [INFO ] [Nat]Added 132 Read/Feed constraints in 25 ms returned sat
[2021-05-14 19:25:32] [INFO ] Deduced a trap composed of 18 places in 107 ms
[2021-05-14 19:25:32] [INFO ] Deduced a trap composed of 25 places in 108 ms
[2021-05-14 19:25:32] [INFO ] Deduced a trap composed of 62 places in 108 ms
[2021-05-14 19:25:32] [INFO ] Deduced a trap composed of 18 places in 117 ms
[2021-05-14 19:25:32] [INFO ] Deduced a trap composed of 61 places in 115 ms
[2021-05-14 19:25:32] [INFO ] Deduced a trap composed of 69 places in 119 ms
[2021-05-14 19:25:33] [INFO ] Deduced a trap composed of 62 places in 115 ms
[2021-05-14 19:25:33] [INFO ] Deduced a trap composed of 60 places in 102 ms
[2021-05-14 19:25:33] [INFO ] Deduced a trap composed of 65 places in 100 ms
[2021-05-14 19:25:33] [INFO ] Deduced a trap composed of 17 places in 155 ms
[2021-05-14 19:25:33] [INFO ] Deduced a trap composed of 108 places in 135 ms
[2021-05-14 19:25:33] [INFO ] Deduced a trap composed of 58 places in 128 ms
[2021-05-14 19:25:33] [INFO ] Deduced a trap composed of 95 places in 126 ms
[2021-05-14 19:25:34] [INFO ] Deduced a trap composed of 43 places in 131 ms
[2021-05-14 19:25:34] [INFO ] Deduced a trap composed of 44 places in 133 ms
[2021-05-14 19:25:34] [INFO ] Deduced a trap composed of 66 places in 132 ms
[2021-05-14 19:25:34] [INFO ] Deduced a trap composed of 65 places in 128 ms
[2021-05-14 19:25:34] [INFO ] Deduced a trap composed of 91 places in 128 ms
[2021-05-14 19:25:34] [INFO ] Deduced a trap composed of 91 places in 139 ms
[2021-05-14 19:25:34] [INFO ] Deduced a trap composed of 47 places in 84 ms
[2021-05-14 19:25:35] [INFO ] Deduced a trap composed of 47 places in 84 ms
[2021-05-14 19:25:35] [INFO ] Deduced a trap composed of 23 places in 154 ms
[2021-05-14 19:25:35] [INFO ] Deduced a trap composed of 58 places in 75 ms
[2021-05-14 19:25:35] [INFO ] Trap strengthening (SAT) tested/added 24/23 trap constraints in 3200 ms
[2021-05-14 19:25:35] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 29 ms.
[2021-05-14 19:25:38] [INFO ] Added : 351 causal constraints over 73 iterations in 2716 ms. Result :sat
[2021-05-14 19:25:38] [INFO ] Deduced a trap composed of 40 places in 133 ms
[2021-05-14 19:25:38] [INFO ] Deduced a trap composed of 32 places in 119 ms
[2021-05-14 19:25:38] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 379 ms
[2021-05-14 19:25:38] [INFO ] [Real]Absence check using 14 positive place invariants in 14 ms returned sat
[2021-05-14 19:25:38] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:25:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:25:39] [INFO ] [Real]Absence check using state equation in 610 ms returned sat
[2021-05-14 19:25:39] [INFO ] [Real]Added 132 Read/Feed constraints in 14 ms returned sat
[2021-05-14 19:25:39] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:25:39] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:25:39] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:25:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:25:39] [INFO ] [Nat]Absence check using state equation in 613 ms returned sat
[2021-05-14 19:25:39] [INFO ] [Nat]Added 132 Read/Feed constraints in 26 ms returned sat
[2021-05-14 19:25:39] [INFO ] Deduced a trap composed of 69 places in 116 ms
[2021-05-14 19:25:40] [INFO ] Deduced a trap composed of 18 places in 115 ms
[2021-05-14 19:25:40] [INFO ] Deduced a trap composed of 89 places in 117 ms
[2021-05-14 19:25:40] [INFO ] Deduced a trap composed of 61 places in 120 ms
[2021-05-14 19:25:40] [INFO ] Deduced a trap composed of 62 places in 108 ms
[2021-05-14 19:25:40] [INFO ] Deduced a trap composed of 62 places in 117 ms
[2021-05-14 19:25:40] [INFO ] Deduced a trap composed of 22 places in 156 ms
[2021-05-14 19:25:40] [INFO ] Deduced a trap composed of 157 places in 156 ms
[2021-05-14 19:25:41] [INFO ] Deduced a trap composed of 21 places in 112 ms
[2021-05-14 19:25:41] [INFO ] Deduced a trap composed of 21 places in 156 ms
[2021-05-14 19:25:41] [INFO ] Deduced a trap composed of 80 places in 145 ms
[2021-05-14 19:25:41] [INFO ] Deduced a trap composed of 61 places in 103 ms
[2021-05-14 19:25:41] [INFO ] Deduced a trap composed of 65 places in 103 ms
[2021-05-14 19:25:41] [INFO ] Deduced a trap composed of 44 places in 77 ms
[2021-05-14 19:25:41] [INFO ] Deduced a trap composed of 43 places in 79 ms
[2021-05-14 19:25:41] [INFO ] Deduced a trap composed of 43 places in 79 ms
[2021-05-14 19:25:42] [INFO ] Deduced a trap composed of 23 places in 135 ms
[2021-05-14 19:25:42] [INFO ] Deduced a trap composed of 23 places in 133 ms
[2021-05-14 19:25:42] [INFO ] Deduced a trap composed of 17 places in 128 ms
[2021-05-14 19:25:42] [INFO ] Trap strengthening (SAT) tested/added 20/19 trap constraints in 2651 ms
[2021-05-14 19:25:42] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 29 ms.
[2021-05-14 19:25:46] [INFO ] Added : 538 causal constraints over 108 iterations in 4008 ms. Result :sat
[2021-05-14 19:25:46] [INFO ] Deduced a trap composed of 37 places in 146 ms
[2021-05-14 19:25:46] [INFO ] Deduced a trap composed of 56 places in 132 ms
[2021-05-14 19:25:46] [INFO ] Deduced a trap composed of 61 places in 121 ms
[2021-05-14 19:25:47] [INFO ] Deduced a trap composed of 83 places in 151 ms
[2021-05-14 19:25:47] [INFO ] Deduced a trap composed of 63 places in 149 ms
[2021-05-14 19:25:47] [INFO ] Deduced a trap composed of 43 places in 110 ms
[2021-05-14 19:25:47] [INFO ] Deduced a trap composed of 87 places in 60 ms
[2021-05-14 19:25:47] [INFO ] Trap strengthening (SAT) tested/added 8/7 trap constraints in 1254 ms
[2021-05-14 19:25:47] [INFO ] [Real]Absence check using 14 positive place invariants in 14 ms returned sat
[2021-05-14 19:25:47] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:25:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:25:48] [INFO ] [Real]Absence check using state equation in 613 ms returned sat
[2021-05-14 19:25:48] [INFO ] [Real]Added 132 Read/Feed constraints in 13 ms returned sat
[2021-05-14 19:25:48] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:25:48] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:25:48] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:25:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:25:49] [INFO ] [Nat]Absence check using state equation in 614 ms returned sat
[2021-05-14 19:25:49] [INFO ] [Nat]Added 132 Read/Feed constraints in 29 ms returned sat
[2021-05-14 19:25:49] [INFO ] Deduced a trap composed of 115 places in 150 ms
[2021-05-14 19:25:49] [INFO ] Deduced a trap composed of 14 places in 115 ms
[2021-05-14 19:25:49] [INFO ] Deduced a trap composed of 89 places in 116 ms
[2021-05-14 19:25:49] [INFO ] Deduced a trap composed of 29 places in 115 ms
[2021-05-14 19:25:49] [INFO ] Deduced a trap composed of 99 places in 117 ms
[2021-05-14 19:25:49] [INFO ] Deduced a trap composed of 47 places in 115 ms
[2021-05-14 19:25:50] [INFO ] Deduced a trap composed of 112 places in 119 ms
[2021-05-14 19:25:50] [INFO ] Deduced a trap composed of 62 places in 115 ms
[2021-05-14 19:25:50] [INFO ] Deduced a trap composed of 69 places in 149 ms
[2021-05-14 19:25:50] [INFO ] Deduced a trap composed of 91 places in 149 ms
[2021-05-14 19:25:50] [INFO ] Deduced a trap composed of 39 places in 110 ms
[2021-05-14 19:25:50] [INFO ] Deduced a trap composed of 58 places in 110 ms
[2021-05-14 19:25:51] [INFO ] Deduced a trap composed of 62 places in 116 ms
[2021-05-14 19:25:51] [INFO ] Deduced a trap composed of 48 places in 140 ms
[2021-05-14 19:25:51] [INFO ] Deduced a trap composed of 47 places in 149 ms
[2021-05-14 19:25:51] [INFO ] Deduced a trap composed of 48 places in 139 ms
[2021-05-14 19:25:51] [INFO ] Deduced a trap composed of 44 places in 128 ms
[2021-05-14 19:25:51] [INFO ] Deduced a trap composed of 40 places in 124 ms
[2021-05-14 19:25:51] [INFO ] Deduced a trap composed of 92 places in 116 ms
[2021-05-14 19:25:52] [INFO ] Deduced a trap composed of 154 places in 107 ms
[2021-05-14 19:25:52] [INFO ] Deduced a trap composed of 25 places in 41 ms
[2021-05-14 19:25:52] [INFO ] Deduced a trap composed of 22 places in 109 ms
[2021-05-14 19:25:52] [INFO ] Deduced a trap composed of 18 places in 117 ms
[2021-05-14 19:25:52] [INFO ] Deduced a trap composed of 91 places in 86 ms
[2021-05-14 19:25:52] [INFO ] Trap strengthening (SAT) tested/added 25/24 trap constraints in 3369 ms
[2021-05-14 19:25:52] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 29 ms.
[2021-05-14 19:25:56] [INFO ] Added : 566 causal constraints over 114 iterations in 4318 ms. Result :sat
[2021-05-14 19:25:57] [INFO ] Deduced a trap composed of 41 places in 184 ms
[2021-05-14 19:25:57] [INFO ] Deduced a trap composed of 75 places in 189 ms
[2021-05-14 19:25:57] [INFO ] Deduced a trap composed of 80 places in 186 ms
[2021-05-14 19:25:57] [INFO ] Deduced a trap composed of 59 places in 186 ms
[2021-05-14 19:25:57] [INFO ] Deduced a trap composed of 92 places in 184 ms
[2021-05-14 19:25:58] [INFO ] Deduced a trap composed of 78 places in 186 ms
[2021-05-14 19:25:58] [INFO ] Deduced a trap composed of 36 places in 185 ms
[2021-05-14 19:25:58] [INFO ] Deduced a trap composed of 15 places in 174 ms
[2021-05-14 19:25:59] [INFO ] Deduced a trap composed of 14 places in 175 ms
[2021-05-14 19:25:59] [INFO ] Deduced a trap composed of 61 places in 162 ms
[2021-05-14 19:25:59] [INFO ] Deduced a trap composed of 107 places in 171 ms
[2021-05-14 19:25:59] [INFO ] Deduced a trap composed of 108 places in 162 ms
[2021-05-14 19:25:59] [INFO ] Deduced a trap composed of 93 places in 162 ms
[2021-05-14 19:26:00] [INFO ] Deduced a trap composed of 111 places in 159 ms
[2021-05-14 19:26:00] [INFO ] Deduced a trap composed of 56 places in 130 ms
[2021-05-14 19:26:00] [INFO ] Trap strengthening (SAT) tested/added 16/15 trap constraints in 3649 ms
[2021-05-14 19:26:00] [INFO ] [Real]Absence check using 14 positive place invariants in 14 ms returned sat
[2021-05-14 19:26:00] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:26:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:26:01] [INFO ] [Real]Absence check using state equation in 613 ms returned sat
[2021-05-14 19:26:01] [INFO ] [Real]Added 132 Read/Feed constraints in 14 ms returned sat
[2021-05-14 19:26:01] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:26:01] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:26:01] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:26:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:26:01] [INFO ] [Nat]Absence check using state equation in 615 ms returned sat
[2021-05-14 19:26:01] [INFO ] [Nat]Added 132 Read/Feed constraints in 28 ms returned sat
[2021-05-14 19:26:02] [INFO ] Deduced a trap composed of 26 places in 145 ms
[2021-05-14 19:26:02] [INFO ] Deduced a trap composed of 14 places in 131 ms
[2021-05-14 19:26:02] [INFO ] Deduced a trap composed of 48 places in 146 ms
[2021-05-14 19:26:02] [INFO ] Deduced a trap composed of 42 places in 146 ms
[2021-05-14 19:26:02] [INFO ] Deduced a trap composed of 48 places in 146 ms
[2021-05-14 19:26:02] [INFO ] Deduced a trap composed of 26 places in 146 ms
[2021-05-14 19:26:03] [INFO ] Deduced a trap composed of 58 places in 146 ms
[2021-05-14 19:26:03] [INFO ] Deduced a trap composed of 14 places in 130 ms
[2021-05-14 19:26:03] [INFO ] Deduced a trap composed of 96 places in 131 ms
[2021-05-14 19:26:03] [INFO ] Deduced a trap composed of 17 places in 131 ms
[2021-05-14 19:26:03] [INFO ] Deduced a trap composed of 40 places in 133 ms
[2021-05-14 19:26:03] [INFO ] Deduced a trap composed of 14 places in 63 ms
[2021-05-14 19:26:03] [INFO ] Deduced a trap composed of 40 places in 148 ms
[2021-05-14 19:26:04] [INFO ] Deduced a trap composed of 13 places in 144 ms
[2021-05-14 19:26:04] [INFO ] Deduced a trap composed of 95 places in 118 ms
[2021-05-14 19:26:04] [INFO ] Deduced a trap composed of 40 places in 52 ms
[2021-05-14 19:26:04] [INFO ] Deduced a trap composed of 91 places in 85 ms
[2021-05-14 19:26:04] [INFO ] Trap strengthening (SAT) tested/added 18/17 trap constraints in 2497 ms
[2021-05-14 19:26:04] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 31 ms.
[2021-05-14 19:26:10] [INFO ] Added : 624 causal constraints over 125 iterations in 5658 ms. Result :sat
[2021-05-14 19:26:10] [INFO ] Deduced a trap composed of 85 places in 160 ms
[2021-05-14 19:26:10] [INFO ] Deduced a trap composed of 50 places in 142 ms
[2021-05-14 19:26:10] [INFO ] Deduced a trap composed of 97 places in 160 ms
[2021-05-14 19:26:10] [INFO ] Deduced a trap composed of 115 places in 142 ms
[2021-05-14 19:26:11] [INFO ] Deduced a trap composed of 44 places in 135 ms
[2021-05-14 19:26:11] [INFO ] Deduced a trap composed of 88 places in 133 ms
[2021-05-14 19:26:11] [INFO ] Deduced a trap composed of 36 places in 77 ms
[2021-05-14 19:26:11] [INFO ] Deduced a trap composed of 65 places in 96 ms
[2021-05-14 19:26:11] [INFO ] Trap strengthening (SAT) tested/added 9/8 trap constraints in 1491 ms
[2021-05-14 19:26:11] [INFO ] [Real]Absence check using 14 positive place invariants in 14 ms returned sat
[2021-05-14 19:26:11] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:26:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:26:12] [INFO ] [Real]Absence check using state equation in 610 ms returned sat
[2021-05-14 19:26:12] [INFO ] [Real]Added 132 Read/Feed constraints in 13 ms returned sat
[2021-05-14 19:26:12] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:26:12] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:26:12] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:26:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:26:12] [INFO ] [Nat]Absence check using state equation in 614 ms returned sat
[2021-05-14 19:26:12] [INFO ] [Nat]Added 132 Read/Feed constraints in 29 ms returned sat
[2021-05-14 19:26:13] [INFO ] Deduced a trap composed of 62 places in 110 ms
[2021-05-14 19:26:13] [INFO ] Deduced a trap composed of 42 places in 110 ms
[2021-05-14 19:26:13] [INFO ] Deduced a trap composed of 14 places in 110 ms
[2021-05-14 19:26:13] [INFO ] Deduced a trap composed of 14 places in 109 ms
[2021-05-14 19:26:13] [INFO ] Deduced a trap composed of 36 places in 109 ms
[2021-05-14 19:26:13] [INFO ] Deduced a trap composed of 42 places in 108 ms
[2021-05-14 19:26:13] [INFO ] Deduced a trap composed of 47 places in 112 ms
[2021-05-14 19:26:14] [INFO ] Deduced a trap composed of 18 places in 146 ms
[2021-05-14 19:26:14] [INFO ] Deduced a trap composed of 17 places in 146 ms
[2021-05-14 19:26:14] [INFO ] Deduced a trap composed of 39 places in 163 ms
[2021-05-14 19:26:14] [INFO ] Deduced a trap composed of 82 places in 99 ms
[2021-05-14 19:26:14] [INFO ] Deduced a trap composed of 40 places in 102 ms
[2021-05-14 19:26:14] [INFO ] Deduced a trap composed of 58 places in 100 ms
[2021-05-14 19:26:14] [INFO ] Deduced a trap composed of 69 places in 101 ms
[2021-05-14 19:26:14] [INFO ] Deduced a trap composed of 69 places in 102 ms
[2021-05-14 19:26:15] [INFO ] Deduced a trap composed of 95 places in 95 ms
[2021-05-14 19:26:15] [INFO ] Deduced a trap composed of 58 places in 103 ms
[2021-05-14 19:26:15] [INFO ] Deduced a trap composed of 69 places in 123 ms
[2021-05-14 19:26:15] [INFO ] Deduced a trap composed of 36 places in 65 ms
[2021-05-14 19:26:15] [INFO ] Deduced a trap composed of 14 places in 131 ms
[2021-05-14 19:26:15] [INFO ] Trap strengthening (SAT) tested/added 21/20 trap constraints in 2674 ms
[2021-05-14 19:26:15] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 29 ms.
[2021-05-14 19:26:20] [INFO ] Added : 624 causal constraints over 125 iterations in 4711 ms. Result :sat
[2021-05-14 19:26:20] [INFO ] Deduced a trap composed of 86 places in 154 ms
[2021-05-14 19:26:20] [INFO ] Deduced a trap composed of 10 places in 155 ms
[2021-05-14 19:26:20] [INFO ] Deduced a trap composed of 35 places in 131 ms
[2021-05-14 19:26:21] [INFO ] Deduced a trap composed of 71 places in 125 ms
[2021-05-14 19:26:21] [INFO ] Deduced a trap composed of 95 places in 89 ms
[2021-05-14 19:26:21] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 977 ms
[2021-05-14 19:26:21] [INFO ] [Real]Absence check using 14 positive place invariants in 15 ms returned sat
[2021-05-14 19:26:21] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:26:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:26:21] [INFO ] [Real]Absence check using state equation in 612 ms returned sat
[2021-05-14 19:26:22] [INFO ] [Real]Added 132 Read/Feed constraints in 18 ms returned sat
[2021-05-14 19:26:22] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:26:22] [INFO ] [Nat]Absence check using 14 positive place invariants in 18 ms returned sat
[2021-05-14 19:26:22] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:26:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:26:22] [INFO ] [Nat]Absence check using state equation in 614 ms returned sat
[2021-05-14 19:26:22] [INFO ] [Nat]Added 132 Read/Feed constraints in 29 ms returned sat
[2021-05-14 19:26:22] [INFO ] Deduced a trap composed of 62 places in 116 ms
[2021-05-14 19:26:22] [INFO ] Deduced a trap composed of 57 places in 116 ms
[2021-05-14 19:26:23] [INFO ] Deduced a trap composed of 124 places in 108 ms
[2021-05-14 19:26:23] [INFO ] Deduced a trap composed of 64 places in 115 ms
[2021-05-14 19:26:23] [INFO ] Deduced a trap composed of 58 places in 113 ms
[2021-05-14 19:26:23] [INFO ] Deduced a trap composed of 59 places in 114 ms
[2021-05-14 19:26:23] [INFO ] Deduced a trap composed of 53 places in 112 ms
[2021-05-14 19:26:23] [INFO ] Deduced a trap composed of 25 places in 104 ms
[2021-05-14 19:26:23] [INFO ] Deduced a trap composed of 47 places in 93 ms
[2021-05-14 19:26:24] [INFO ] Deduced a trap composed of 14 places in 112 ms
[2021-05-14 19:26:24] [INFO ] Deduced a trap composed of 39 places in 115 ms
[2021-05-14 19:26:24] [INFO ] Deduced a trap composed of 37 places in 114 ms
[2021-05-14 19:26:24] [INFO ] Deduced a trap composed of 14 places in 116 ms
[2021-05-14 19:26:24] [INFO ] Deduced a trap composed of 13 places in 135 ms
[2021-05-14 19:26:24] [INFO ] Deduced a trap composed of 105 places in 102 ms
[2021-05-14 19:26:24] [INFO ] Deduced a trap composed of 47 places in 101 ms
[2021-05-14 19:26:24] [INFO ] Deduced a trap composed of 69 places in 101 ms
[2021-05-14 19:26:25] [INFO ] Deduced a trap composed of 69 places in 101 ms
[2021-05-14 19:26:25] [INFO ] Deduced a trap composed of 47 places in 94 ms
[2021-05-14 19:26:25] [INFO ] Deduced a trap composed of 62 places in 113 ms
[2021-05-14 19:26:25] [INFO ] Deduced a trap composed of 71 places in 82 ms
[2021-05-14 19:26:25] [INFO ] Deduced a trap composed of 82 places in 76 ms
[2021-05-14 19:26:25] [INFO ] Deduced a trap composed of 91 places in 88 ms
[2021-05-14 19:26:25] [INFO ] Trap strengthening (SAT) tested/added 24/23 trap constraints in 2922 ms
[2021-05-14 19:26:25] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 29 ms.
[2021-05-14 19:26:29] [INFO ] Added : 549 causal constraints over 110 iterations in 4231 ms. Result :sat
[2021-05-14 19:26:30] [INFO ] Deduced a trap composed of 104 places in 129 ms
[2021-05-14 19:26:30] [INFO ] Deduced a trap composed of 95 places in 142 ms
[2021-05-14 19:26:30] [INFO ] Deduced a trap composed of 70 places in 102 ms
[2021-05-14 19:26:30] [INFO ] Deduced a trap composed of 50 places in 136 ms
[2021-05-14 19:26:30] [INFO ] Deduced a trap composed of 22 places in 117 ms
[2021-05-14 19:26:30] [INFO ] Deduced a trap composed of 17 places in 118 ms
[2021-05-14 19:26:31] [INFO ] Deduced a trap composed of 21 places in 127 ms
[2021-05-14 19:26:31] [INFO ] Deduced a trap composed of 54 places in 87 ms
[2021-05-14 19:26:31] [INFO ] Deduced a trap composed of 69 places in 93 ms
[2021-05-14 19:26:31] [INFO ] Deduced a trap composed of 41 places in 98 ms
[2021-05-14 19:26:31] [INFO ] Deduced a trap composed of 91 places in 130 ms
[2021-05-14 19:26:31] [INFO ] Deduced a trap composed of 63 places in 131 ms
[2021-05-14 19:26:32] [INFO ] Deduced a trap composed of 110 places in 174 ms
[2021-05-14 19:26:32] [INFO ] Deduced a trap composed of 69 places in 174 ms
[2021-05-14 19:26:32] [INFO ] Deduced a trap composed of 39 places in 175 ms
[2021-05-14 19:26:32] [INFO ] Deduced a trap composed of 91 places in 92 ms
[2021-05-14 19:26:32] [INFO ] Trap strengthening (SAT) tested/added 17/16 trap constraints in 2868 ms
[2021-05-14 19:26:32] [INFO ] [Real]Absence check using 14 positive place invariants in 15 ms returned sat
[2021-05-14 19:26:32] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:26:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:26:33] [INFO ] [Real]Absence check using state equation in 609 ms returned sat
[2021-05-14 19:26:33] [INFO ] [Real]Added 132 Read/Feed constraints in 14 ms returned sat
[2021-05-14 19:26:33] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:26:33] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:26:33] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:26:33] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:26:34] [INFO ] [Nat]Absence check using state equation in 612 ms returned sat
[2021-05-14 19:26:34] [INFO ] [Nat]Added 132 Read/Feed constraints in 30 ms returned sat
[2021-05-14 19:26:34] [INFO ] Deduced a trap composed of 36 places in 118 ms
[2021-05-14 19:26:34] [INFO ] Deduced a trap composed of 15 places in 118 ms
[2021-05-14 19:26:34] [INFO ] Deduced a trap composed of 14 places in 118 ms
[2021-05-14 19:26:34] [INFO ] Deduced a trap composed of 56 places in 118 ms
[2021-05-14 19:26:34] [INFO ] Deduced a trap composed of 37 places in 116 ms
[2021-05-14 19:26:34] [INFO ] Deduced a trap composed of 14 places in 119 ms
[2021-05-14 19:26:35] [INFO ] Deduced a trap composed of 13 places in 114 ms
[2021-05-14 19:26:35] [INFO ] Deduced a trap composed of 114 places in 113 ms
[2021-05-14 19:26:35] [INFO ] Deduced a trap composed of 66 places in 116 ms
[2021-05-14 19:26:35] [INFO ] Deduced a trap composed of 54 places in 111 ms
[2021-05-14 19:26:35] [INFO ] Deduced a trap composed of 36 places in 111 ms
[2021-05-14 19:26:35] [INFO ] Deduced a trap composed of 63 places in 111 ms
[2021-05-14 19:26:35] [INFO ] Deduced a trap composed of 61 places in 112 ms
[2021-05-14 19:26:36] [INFO ] Deduced a trap composed of 102 places in 118 ms
[2021-05-14 19:26:36] [INFO ] Deduced a trap composed of 47 places in 120 ms
[2021-05-14 19:26:36] [INFO ] Deduced a trap composed of 79 places in 110 ms
[2021-05-14 19:26:36] [INFO ] Deduced a trap composed of 69 places in 118 ms
[2021-05-14 19:26:36] [INFO ] Deduced a trap composed of 36 places in 119 ms
[2021-05-14 19:26:36] [INFO ] Deduced a trap composed of 40 places in 117 ms
[2021-05-14 19:26:36] [INFO ] Deduced a trap composed of 35 places in 113 ms
[2021-05-14 19:26:36] [INFO ] Deduced a trap composed of 50 places in 113 ms
[2021-05-14 19:26:37] [INFO ] Deduced a trap composed of 54 places in 116 ms
[2021-05-14 19:26:37] [INFO ] Deduced a trap composed of 67 places in 114 ms
[2021-05-14 19:26:37] [INFO ] Deduced a trap composed of 86 places in 132 ms
[2021-05-14 19:26:37] [INFO ] Deduced a trap composed of 10 places in 123 ms
[2021-05-14 19:26:37] [INFO ] Deduced a trap composed of 43 places in 99 ms
[2021-05-14 19:26:37] [INFO ] Deduced a trap composed of 32 places in 95 ms
[2021-05-14 19:26:37] [INFO ] Deduced a trap composed of 57 places in 75 ms
[2021-05-14 19:26:37] [INFO ] Deduced a trap composed of 65 places in 82 ms
[2021-05-14 19:26:38] [INFO ] Deduced a trap composed of 79 places in 75 ms
[2021-05-14 19:26:38] [INFO ] Deduced a trap composed of 60 places in 81 ms
[2021-05-14 19:26:38] [INFO ] Deduced a trap composed of 21 places in 69 ms
[2021-05-14 19:26:38] [INFO ] Deduced a trap composed of 10 places in 67 ms
[2021-05-14 19:26:38] [INFO ] Trap strengthening (SAT) tested/added 34/33 trap constraints in 4238 ms
[2021-05-14 19:26:38] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 33 ms.
[2021-05-14 19:26:40] [INFO ] Added : 270 causal constraints over 54 iterations in 1978 ms. Result :sat
[2021-05-14 19:26:40] [INFO ] Deduced a trap composed of 18 places in 142 ms
[2021-05-14 19:26:40] [INFO ] Deduced a trap composed of 17 places in 141 ms
[2021-05-14 19:26:40] [INFO ] Deduced a trap composed of 32 places in 89 ms
[2021-05-14 19:26:40] [INFO ] Deduced a trap composed of 54 places in 95 ms
[2021-05-14 19:26:41] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 707 ms
[2021-05-14 19:26:41] [INFO ] [Real]Absence check using 14 positive place invariants in 15 ms returned sat
[2021-05-14 19:26:41] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:26:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:26:41] [INFO ] [Real]Absence check using state equation in 623 ms returned sat
[2021-05-14 19:26:41] [INFO ] [Real]Added 132 Read/Feed constraints in 13 ms returned sat
[2021-05-14 19:26:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:26:41] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:26:41] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:26:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:26:42] [INFO ] [Nat]Absence check using state equation in 617 ms returned sat
[2021-05-14 19:26:42] [INFO ] [Nat]Added 132 Read/Feed constraints in 29 ms returned sat
[2021-05-14 19:26:42] [INFO ] Deduced a trap composed of 36 places in 147 ms
[2021-05-14 19:26:42] [INFO ] Deduced a trap composed of 92 places in 147 ms
[2021-05-14 19:26:42] [INFO ] Deduced a trap composed of 17 places in 114 ms
[2021-05-14 19:26:43] [INFO ] Deduced a trap composed of 14 places in 112 ms
[2021-05-14 19:26:43] [INFO ] Deduced a trap composed of 50 places in 114 ms
[2021-05-14 19:26:43] [INFO ] Deduced a trap composed of 69 places in 113 ms
[2021-05-14 19:26:43] [INFO ] Deduced a trap composed of 62 places in 109 ms
[2021-05-14 19:26:43] [INFO ] Deduced a trap composed of 14 places in 105 ms
[2021-05-14 19:26:43] [INFO ] Deduced a trap composed of 39 places in 96 ms
[2021-05-14 19:26:43] [INFO ] Deduced a trap composed of 36 places in 94 ms
[2021-05-14 19:26:43] [INFO ] Deduced a trap composed of 36 places in 94 ms
[2021-05-14 19:26:44] [INFO ] Deduced a trap composed of 25 places in 111 ms
[2021-05-14 19:26:44] [INFO ] Deduced a trap composed of 95 places in 115 ms
[2021-05-14 19:26:44] [INFO ] Trap strengthening (SAT) tested/added 14/13 trap constraints in 1754 ms
[2021-05-14 19:26:44] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 29 ms.
[2021-05-14 19:26:46] [INFO ] Added : 371 causal constraints over 75 iterations in 2510 ms. Result :sat
[2021-05-14 19:26:46] [INFO ] Deduced a trap composed of 114 places in 152 ms
[2021-05-14 19:26:47] [INFO ] Deduced a trap composed of 67 places in 128 ms
[2021-05-14 19:26:47] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 402 ms
[2021-05-14 19:26:47] [INFO ] [Real]Absence check using 14 positive place invariants in 15 ms returned sat
[2021-05-14 19:26:47] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:26:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:26:47] [INFO ] [Real]Absence check using state equation in 604 ms returned sat
[2021-05-14 19:26:47] [INFO ] [Real]Added 132 Read/Feed constraints in 13 ms returned sat
[2021-05-14 19:26:47] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:26:47] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:26:47] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:26:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:26:48] [INFO ] [Nat]Absence check using state equation in 613 ms returned sat
[2021-05-14 19:26:48] [INFO ] [Nat]Added 132 Read/Feed constraints in 26 ms returned sat
[2021-05-14 19:26:48] [INFO ] Deduced a trap composed of 47 places in 117 ms
[2021-05-14 19:26:48] [INFO ] Deduced a trap composed of 14 places in 115 ms
[2021-05-14 19:26:48] [INFO ] Deduced a trap composed of 74 places in 117 ms
[2021-05-14 19:26:49] [INFO ] Deduced a trap composed of 64 places in 115 ms
[2021-05-14 19:26:49] [INFO ] Deduced a trap composed of 92 places in 118 ms
[2021-05-14 19:26:49] [INFO ] Deduced a trap composed of 70 places in 109 ms
[2021-05-14 19:26:49] [INFO ] Deduced a trap composed of 69 places in 108 ms
[2021-05-14 19:26:49] [INFO ] Deduced a trap composed of 63 places in 118 ms
[2021-05-14 19:26:49] [INFO ] Deduced a trap composed of 21 places in 163 ms
[2021-05-14 19:26:50] [INFO ] Deduced a trap composed of 103 places in 151 ms
[2021-05-14 19:26:50] [INFO ] Deduced a trap composed of 91 places in 154 ms
[2021-05-14 19:26:50] [INFO ] Deduced a trap composed of 36 places in 141 ms
[2021-05-14 19:26:50] [INFO ] Deduced a trap composed of 71 places in 153 ms
[2021-05-14 19:26:50] [INFO ] Deduced a trap composed of 36 places in 141 ms
[2021-05-14 19:26:50] [INFO ] Deduced a trap composed of 137 places in 153 ms
[2021-05-14 19:26:50] [INFO ] Deduced a trap composed of 25 places in 122 ms
[2021-05-14 19:26:51] [INFO ] Deduced a trap composed of 18 places in 114 ms
[2021-05-14 19:26:51] [INFO ] Deduced a trap composed of 60 places in 84 ms
[2021-05-14 19:26:51] [INFO ] Deduced a trap composed of 95 places in 92 ms
[2021-05-14 19:26:51] [INFO ] Trap strengthening (SAT) tested/added 20/19 trap constraints in 2793 ms
[2021-05-14 19:26:51] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 30 ms.
[2021-05-14 19:26:54] [INFO ] Added : 428 causal constraints over 86 iterations in 3000 ms. Result :sat
[2021-05-14 19:26:54] [INFO ] Deduced a trap composed of 39 places in 152 ms
[2021-05-14 19:26:54] [INFO ] Deduced a trap composed of 87 places in 134 ms
[2021-05-14 19:26:54] [INFO ] Deduced a trap composed of 60 places in 132 ms
[2021-05-14 19:26:55] [INFO ] Deduced a trap composed of 18 places in 134 ms
[2021-05-14 19:26:55] [INFO ] Deduced a trap composed of 17 places in 134 ms
[2021-05-14 19:26:55] [INFO ] Deduced a trap composed of 10 places in 132 ms
[2021-05-14 19:26:55] [INFO ] Deduced a trap composed of 74 places in 101 ms
[2021-05-14 19:26:55] [INFO ] Deduced a trap composed of 111 places in 101 ms
[2021-05-14 19:26:55] [INFO ] Deduced a trap composed of 58 places in 101 ms
[2021-05-14 19:26:56] [INFO ] Deduced a trap composed of 40 places in 138 ms
[2021-05-14 19:26:56] [INFO ] Deduced a trap composed of 99 places in 139 ms
[2021-05-14 19:26:56] [INFO ] Deduced a trap composed of 97 places in 140 ms
[2021-05-14 19:26:56] [INFO ] Deduced a trap composed of 102 places in 148 ms
[2021-05-14 19:26:56] [INFO ] Deduced a trap composed of 58 places in 99 ms
[2021-05-14 19:26:57] [INFO ] Deduced a trap composed of 39 places in 150 ms
[2021-05-14 19:26:57] [INFO ] Deduced a trap composed of 72 places in 148 ms
[2021-05-14 19:26:57] [INFO ] Deduced a trap composed of 96 places in 108 ms
[2021-05-14 19:26:57] [INFO ] Trap strengthening (SAT) tested/added 18/17 trap constraints in 3121 ms
[2021-05-14 19:26:57] [INFO ] [Real]Absence check using 14 positive place invariants in 14 ms returned sat
[2021-05-14 19:26:57] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:26:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:26:58] [INFO ] [Real]Absence check using state equation in 612 ms returned sat
[2021-05-14 19:26:58] [INFO ] [Real]Added 132 Read/Feed constraints in 14 ms returned sat
[2021-05-14 19:26:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:26:58] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:26:58] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:26:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:26:58] [INFO ] [Nat]Absence check using state equation in 615 ms returned sat
[2021-05-14 19:26:58] [INFO ] [Nat]Added 132 Read/Feed constraints in 27 ms returned sat
[2021-05-14 19:26:59] [INFO ] Deduced a trap composed of 62 places in 118 ms
[2021-05-14 19:26:59] [INFO ] Deduced a trap composed of 61 places in 111 ms
[2021-05-14 19:26:59] [INFO ] Deduced a trap composed of 63 places in 115 ms
[2021-05-14 19:26:59] [INFO ] Deduced a trap composed of 65 places in 116 ms
[2021-05-14 19:26:59] [INFO ] Deduced a trap composed of 62 places in 116 ms
[2021-05-14 19:26:59] [INFO ] Deduced a trap composed of 51 places in 114 ms
[2021-05-14 19:26:59] [INFO ] Deduced a trap composed of 25 places in 126 ms
[2021-05-14 19:26:59] [INFO ] Deduced a trap composed of 47 places in 126 ms
[2021-05-14 19:27:00] [INFO ] Deduced a trap composed of 47 places in 116 ms
[2021-05-14 19:27:00] [INFO ] Deduced a trap composed of 51 places in 113 ms
[2021-05-14 19:27:00] [INFO ] Deduced a trap composed of 20 places in 115 ms
[2021-05-14 19:27:00] [INFO ] Deduced a trap composed of 58 places in 127 ms
[2021-05-14 19:27:00] [INFO ] Deduced a trap composed of 14 places in 88 ms
[2021-05-14 19:27:00] [INFO ] Deduced a trap composed of 44 places in 89 ms
[2021-05-14 19:27:00] [INFO ] Deduced a trap composed of 47 places in 89 ms
[2021-05-14 19:27:00] [INFO ] Deduced a trap composed of 44 places in 87 ms
[2021-05-14 19:27:01] [INFO ] Deduced a trap composed of 47 places in 121 ms
[2021-05-14 19:27:01] [INFO ] Deduced a trap composed of 61 places in 107 ms
[2021-05-14 19:27:01] [INFO ] Deduced a trap composed of 91 places in 109 ms
[2021-05-14 19:27:01] [INFO ] Deduced a trap composed of 64 places in 108 ms
[2021-05-14 19:27:01] [INFO ] Deduced a trap composed of 14 places in 116 ms
[2021-05-14 19:27:01] [INFO ] Deduced a trap composed of 65 places in 83 ms
[2021-05-14 19:27:01] [INFO ] Deduced a trap composed of 59 places in 64 ms
[2021-05-14 19:27:01] [INFO ] Deduced a trap composed of 16 places in 69 ms
[2021-05-14 19:27:02] [INFO ] Deduced a trap composed of 38 places in 78 ms
[2021-05-14 19:27:02] [INFO ] Deduced a trap composed of 32 places in 79 ms
[2021-05-14 19:27:02] [INFO ] Deduced a trap composed of 40 places in 76 ms
[2021-05-14 19:27:02] [INFO ] Trap strengthening (SAT) tested/added 28/27 trap constraints in 3349 ms
[2021-05-14 19:27:02] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 30 ms.
[2021-05-14 19:27:07] [INFO ] Added : 621 causal constraints over 125 iterations in 4863 ms. Result :sat
[2021-05-14 19:27:07] [INFO ] Deduced a trap composed of 86 places in 140 ms
[2021-05-14 19:27:07] [INFO ] Deduced a trap composed of 138 places in 157 ms
[2021-05-14 19:27:07] [INFO ] Deduced a trap composed of 28 places in 102 ms
[2021-05-14 19:27:07] [INFO ] Deduced a trap composed of 20 places in 107 ms
[2021-05-14 19:27:08] [INFO ] Deduced a trap composed of 32 places in 134 ms
[2021-05-14 19:27:08] [INFO ] Deduced a trap composed of 96 places in 100 ms
[2021-05-14 19:27:08] [INFO ] Deduced a trap composed of 84 places in 120 ms
[2021-05-14 19:27:08] [INFO ] Deduced a trap composed of 84 places in 113 ms
[2021-05-14 19:27:08] [INFO ] Deduced a trap composed of 127 places in 141 ms
[2021-05-14 19:27:08] [INFO ] Deduced a trap composed of 10 places in 133 ms
[2021-05-14 19:27:09] [INFO ] Deduced a trap composed of 101 places in 136 ms
[2021-05-14 19:27:09] [INFO ] Deduced a trap composed of 107 places in 147 ms
[2021-05-14 19:27:09] [INFO ] Deduced a trap composed of 40 places in 126 ms
[2021-05-14 19:27:09] [INFO ] Deduced a trap composed of 39 places in 121 ms
[2021-05-14 19:27:10] [INFO ] Deduced a trap composed of 83 places in 113 ms
[2021-05-14 19:27:10] [INFO ] Deduced a trap composed of 85 places in 121 ms
[2021-05-14 19:27:10] [INFO ] Deduced a trap composed of 17 places in 59 ms
[2021-05-14 19:27:10] [INFO ] Trap strengthening (SAT) tested/added 18/17 trap constraints in 3334 ms
[2021-05-14 19:27:10] [INFO ] [Real]Absence check using 14 positive place invariants in 15 ms returned sat
[2021-05-14 19:27:10] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:27:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:27:11] [INFO ] [Real]Absence check using state equation in 614 ms returned sat
[2021-05-14 19:27:11] [INFO ] [Real]Added 132 Read/Feed constraints in 14 ms returned sat
[2021-05-14 19:27:11] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:27:11] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:27:11] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:27:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:27:11] [INFO ] [Nat]Absence check using state equation in 614 ms returned sat
[2021-05-14 19:27:11] [INFO ] [Nat]Added 132 Read/Feed constraints in 25 ms returned sat
[2021-05-14 19:27:11] [INFO ] Deduced a trap composed of 13 places in 114 ms
[2021-05-14 19:27:12] [INFO ] Deduced a trap composed of 38 places in 118 ms
[2021-05-14 19:27:12] [INFO ] Deduced a trap composed of 14 places in 115 ms
[2021-05-14 19:27:12] [INFO ] Deduced a trap composed of 61 places in 114 ms
[2021-05-14 19:27:12] [INFO ] Deduced a trap composed of 58 places in 114 ms
[2021-05-14 19:27:12] [INFO ] Deduced a trap composed of 62 places in 116 ms
[2021-05-14 19:27:12] [INFO ] Deduced a trap composed of 62 places in 112 ms
[2021-05-14 19:27:12] [INFO ] Deduced a trap composed of 69 places in 103 ms
[2021-05-14 19:27:13] [INFO ] Deduced a trap composed of 38 places in 96 ms
[2021-05-14 19:27:13] [INFO ] Deduced a trap composed of 39 places in 95 ms
[2021-05-14 19:27:13] [INFO ] Deduced a trap composed of 58 places in 92 ms
[2021-05-14 19:27:13] [INFO ] Deduced a trap composed of 32 places in 93 ms
[2021-05-14 19:27:13] [INFO ] Deduced a trap composed of 32 places in 94 ms
[2021-05-14 19:27:13] [INFO ] Deduced a trap composed of 61 places in 77 ms
[2021-05-14 19:27:13] [INFO ] Deduced a trap composed of 58 places in 160 ms
[2021-05-14 19:27:13] [INFO ] Deduced a trap composed of 32 places in 146 ms
[2021-05-14 19:27:14] [INFO ] Deduced a trap composed of 80 places in 143 ms
[2021-05-14 19:27:14] [INFO ] Deduced a trap composed of 91 places in 106 ms
[2021-05-14 19:27:14] [INFO ] Deduced a trap composed of 91 places in 105 ms
[2021-05-14 19:27:14] [INFO ] Deduced a trap composed of 91 places in 106 ms
[2021-05-14 19:27:14] [INFO ] Deduced a trap composed of 69 places in 60 ms
[2021-05-14 19:27:14] [INFO ] Trap strengthening (SAT) tested/added 22/21 trap constraints in 2717 ms
[2021-05-14 19:27:14] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 33 ms.
[2021-05-14 19:27:17] [INFO ] Added : 389 causal constraints over 78 iterations in 2711 ms. Result :sat
[2021-05-14 19:27:17] [INFO ] Deduced a trap composed of 17 places in 159 ms
[2021-05-14 19:27:17] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 227 ms
[2021-05-14 19:27:17] [INFO ] [Real]Absence check using 14 positive place invariants in 14 ms returned sat
[2021-05-14 19:27:17] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:27:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:27:18] [INFO ] [Real]Absence check using state equation in 608 ms returned sat
[2021-05-14 19:27:18] [INFO ] [Real]Added 132 Read/Feed constraints in 15 ms returned sat
[2021-05-14 19:27:18] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:27:18] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:27:18] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:27:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:27:18] [INFO ] [Nat]Absence check using state equation in 613 ms returned sat
[2021-05-14 19:27:18] [INFO ] [Nat]Added 132 Read/Feed constraints in 28 ms returned sat
[2021-05-14 19:27:19] [INFO ] Deduced a trap composed of 71 places in 117 ms
[2021-05-14 19:27:19] [INFO ] Deduced a trap composed of 62 places in 115 ms
[2021-05-14 19:27:19] [INFO ] Deduced a trap composed of 77 places in 114 ms
[2021-05-14 19:27:19] [INFO ] Deduced a trap composed of 25 places in 116 ms
[2021-05-14 19:27:19] [INFO ] Deduced a trap composed of 61 places in 115 ms
[2021-05-14 19:27:19] [INFO ] Deduced a trap composed of 77 places in 108 ms
[2021-05-14 19:27:19] [INFO ] Deduced a trap composed of 91 places in 107 ms
[2021-05-14 19:27:19] [INFO ] Deduced a trap composed of 62 places in 109 ms
[2021-05-14 19:27:20] [INFO ] Deduced a trap composed of 48 places in 81 ms
[2021-05-14 19:27:20] [INFO ] Deduced a trap composed of 37 places in 89 ms
[2021-05-14 19:27:20] [INFO ] Deduced a trap composed of 22 places in 86 ms
[2021-05-14 19:27:20] [INFO ] Deduced a trap composed of 39 places in 86 ms
[2021-05-14 19:27:20] [INFO ] Deduced a trap composed of 25 places in 89 ms
[2021-05-14 19:27:20] [INFO ] Deduced a trap composed of 43 places in 88 ms
[2021-05-14 19:27:20] [INFO ] Deduced a trap composed of 25 places in 91 ms
[2021-05-14 19:27:20] [INFO ] Deduced a trap composed of 13 places in 120 ms
[2021-05-14 19:27:20] [INFO ] Deduced a trap composed of 44 places in 85 ms
[2021-05-14 19:27:21] [INFO ] Deduced a trap composed of 70 places in 86 ms
[2021-05-14 19:27:21] [INFO ] Deduced a trap composed of 43 places in 85 ms
[2021-05-14 19:27:21] [INFO ] Deduced a trap composed of 98 places in 126 ms
[2021-05-14 19:27:21] [INFO ] Deduced a trap composed of 47 places in 39 ms
[2021-05-14 19:27:21] [INFO ] Deduced a trap composed of 47 places in 129 ms
[2021-05-14 19:27:21] [INFO ] Deduced a trap composed of 47 places in 126 ms
[2021-05-14 19:27:21] [INFO ] Deduced a trap composed of 99 places in 125 ms
[2021-05-14 19:27:21] [INFO ] Trap strengthening (SAT) tested/added 25/24 trap constraints in 2967 ms
[2021-05-14 19:27:21] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 29 ms.
[2021-05-14 19:27:26] [INFO ] Added : 557 causal constraints over 112 iterations in 4126 ms. Result :sat
[2021-05-14 19:27:26] [INFO ] Deduced a trap composed of 92 places in 103 ms
[2021-05-14 19:27:26] [INFO ] Deduced a trap composed of 69 places in 140 ms
[2021-05-14 19:27:26] [INFO ] Deduced a trap composed of 108 places in 142 ms
[2021-05-14 19:27:26] [INFO ] Deduced a trap composed of 18 places in 122 ms
[2021-05-14 19:27:26] [INFO ] Deduced a trap composed of 18 places in 123 ms
[2021-05-14 19:27:27] [INFO ] Deduced a trap composed of 93 places in 155 ms
[2021-05-14 19:27:27] [INFO ] Deduced a trap composed of 10 places in 130 ms
[2021-05-14 19:27:27] [INFO ] Deduced a trap composed of 84 places in 95 ms
[2021-05-14 19:27:27] [INFO ] Deduced a trap composed of 91 places in 68 ms
[2021-05-14 19:27:27] [INFO ] Trap strengthening (SAT) tested/added 10/9 trap constraints in 1665 ms
[2021-05-14 19:27:27] [INFO ] [Real]Absence check using 14 positive place invariants in 14 ms returned sat
[2021-05-14 19:27:27] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:27:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:27:28] [INFO ] [Real]Absence check using state equation in 613 ms returned sat
[2021-05-14 19:27:28] [INFO ] [Real]Added 132 Read/Feed constraints in 13 ms returned sat
[2021-05-14 19:27:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:27:28] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:27:28] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:27:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:27:29] [INFO ] [Nat]Absence check using state equation in 616 ms returned sat
[2021-05-14 19:27:29] [INFO ] [Nat]Added 132 Read/Feed constraints in 26 ms returned sat
[2021-05-14 19:27:29] [INFO ] Deduced a trap composed of 115 places in 117 ms
[2021-05-14 19:27:29] [INFO ] Deduced a trap composed of 40 places in 115 ms
[2021-05-14 19:27:29] [INFO ] Deduced a trap composed of 61 places in 116 ms
[2021-05-14 19:27:29] [INFO ] Deduced a trap composed of 96 places in 114 ms
[2021-05-14 19:27:29] [INFO ] Deduced a trap composed of 92 places in 116 ms
[2021-05-14 19:27:29] [INFO ] Deduced a trap composed of 69 places in 110 ms
[2021-05-14 19:27:30] [INFO ] Deduced a trap composed of 62 places in 116 ms
[2021-05-14 19:27:30] [INFO ] Deduced a trap composed of 43 places in 112 ms
[2021-05-14 19:27:30] [INFO ] Deduced a trap composed of 43 places in 111 ms
[2021-05-14 19:27:30] [INFO ] Deduced a trap composed of 62 places in 108 ms
[2021-05-14 19:27:30] [INFO ] Deduced a trap composed of 93 places in 117 ms
[2021-05-14 19:27:30] [INFO ] Deduced a trap composed of 91 places in 159 ms
[2021-05-14 19:27:30] [INFO ] Deduced a trap composed of 69 places in 148 ms
[2021-05-14 19:27:31] [INFO ] Deduced a trap composed of 25 places in 149 ms
[2021-05-14 19:27:31] [INFO ] Deduced a trap composed of 36 places in 150 ms
[2021-05-14 19:27:31] [INFO ] Deduced a trap composed of 48 places in 132 ms
[2021-05-14 19:27:31] [INFO ] Deduced a trap composed of 25 places in 140 ms
[2021-05-14 19:27:31] [INFO ] Deduced a trap composed of 114 places in 131 ms
[2021-05-14 19:27:31] [INFO ] Deduced a trap composed of 73 places in 139 ms
[2021-05-14 19:27:32] [INFO ] Deduced a trap composed of 91 places in 118 ms
[2021-05-14 19:27:32] [INFO ] Trap strengthening (SAT) tested/added 21/20 trap constraints in 2955 ms
[2021-05-14 19:27:32] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 30 ms.
[2021-05-14 19:27:36] [INFO ] Added : 601 causal constraints over 121 iterations in 4708 ms. Result :sat
[2021-05-14 19:27:36] [INFO ] Deduced a trap composed of 54 places in 142 ms
[2021-05-14 19:27:37] [INFO ] Deduced a trap composed of 43 places in 140 ms
[2021-05-14 19:27:37] [INFO ] Deduced a trap composed of 139 places in 141 ms
[2021-05-14 19:27:37] [INFO ] Deduced a trap composed of 136 places in 141 ms
[2021-05-14 19:27:37] [INFO ] Deduced a trap composed of 54 places in 111 ms
[2021-05-14 19:27:37] [INFO ] Deduced a trap composed of 84 places in 110 ms
[2021-05-14 19:27:37] [INFO ] Deduced a trap composed of 54 places in 115 ms
[2021-05-14 19:27:38] [INFO ] Deduced a trap composed of 54 places in 112 ms
[2021-05-14 19:27:38] [INFO ] Trap strengthening (SAT) tested/added 9/8 trap constraints in 1457 ms
[2021-05-14 19:27:38] [INFO ] [Real]Absence check using 14 positive place invariants in 14 ms returned sat
[2021-05-14 19:27:38] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:27:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:27:38] [INFO ] [Real]Absence check using state equation in 613 ms returned sat
[2021-05-14 19:27:38] [INFO ] [Real]Added 132 Read/Feed constraints in 16 ms returned sat
[2021-05-14 19:27:38] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:27:38] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:27:38] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:27:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:27:39] [INFO ] [Nat]Absence check using state equation in 616 ms returned sat
[2021-05-14 19:27:39] [INFO ] [Nat]Added 132 Read/Feed constraints in 25 ms returned sat
[2021-05-14 19:27:39] [INFO ] Deduced a trap composed of 85 places in 116 ms
[2021-05-14 19:27:39] [INFO ] Deduced a trap composed of 67 places in 117 ms
[2021-05-14 19:27:40] [INFO ] Deduced a trap composed of 79 places in 117 ms
[2021-05-14 19:27:40] [INFO ] Deduced a trap composed of 64 places in 115 ms
[2021-05-14 19:27:40] [INFO ] Deduced a trap composed of 70 places in 99 ms
[2021-05-14 19:27:40] [INFO ] Deduced a trap composed of 10 places in 99 ms
[2021-05-14 19:27:40] [INFO ] Deduced a trap composed of 12 places in 99 ms
[2021-05-14 19:27:40] [INFO ] Deduced a trap composed of 10 places in 100 ms
[2021-05-14 19:27:40] [INFO ] Deduced a trap composed of 12 places in 111 ms
[2021-05-14 19:27:40] [INFO ] Deduced a trap composed of 32 places in 89 ms
[2021-05-14 19:27:40] [INFO ] Deduced a trap composed of 54 places in 89 ms
[2021-05-14 19:27:41] [INFO ] Deduced a trap composed of 13 places in 110 ms
[2021-05-14 19:27:41] [INFO ] Deduced a trap composed of 66 places in 98 ms
[2021-05-14 19:27:41] [INFO ] Deduced a trap composed of 57 places in 99 ms
[2021-05-14 19:27:41] [INFO ] Deduced a trap composed of 35 places in 120 ms
[2021-05-14 19:27:41] [INFO ] Deduced a trap composed of 86 places in 123 ms
[2021-05-14 19:27:41] [INFO ] Deduced a trap composed of 36 places in 148 ms
[2021-05-14 19:27:41] [INFO ] Deduced a trap composed of 76 places in 149 ms
[2021-05-14 19:27:42] [INFO ] Deduced a trap composed of 36 places in 118 ms
[2021-05-14 19:27:42] [INFO ] Deduced a trap composed of 27 places in 117 ms
[2021-05-14 19:27:42] [INFO ] Deduced a trap composed of 58 places in 99 ms
[2021-05-14 19:27:42] [INFO ] Deduced a trap composed of 54 places in 97 ms
[2021-05-14 19:27:42] [INFO ] Deduced a trap composed of 58 places in 72 ms
[2021-05-14 19:27:42] [INFO ] Trap strengthening (SAT) tested/added 24/23 trap constraints in 2989 ms
[2021-05-14 19:27:42] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 30 ms.
[2021-05-14 19:27:44] [INFO ] Added : 301 causal constraints over 61 iterations in 1980 ms. Result :sat
[2021-05-14 19:27:44] [INFO ] Deduced a trap composed of 17 places in 122 ms
[2021-05-14 19:27:44] [INFO ] Deduced a trap composed of 51 places in 103 ms
[2021-05-14 19:27:44] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 330 ms
[2021-05-14 19:27:44] [INFO ] [Real]Absence check using 14 positive place invariants in 14 ms returned sat
[2021-05-14 19:27:44] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:27:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:27:45] [INFO ] [Real]Absence check using state equation in 613 ms returned sat
[2021-05-14 19:27:45] [INFO ] [Real]Added 132 Read/Feed constraints in 14 ms returned sat
[2021-05-14 19:27:45] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:27:45] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:27:45] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:27:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:27:46] [INFO ] [Nat]Absence check using state equation in 612 ms returned sat
[2021-05-14 19:27:46] [INFO ] [Nat]Added 132 Read/Feed constraints in 29 ms returned sat
[2021-05-14 19:27:46] [INFO ] Deduced a trap composed of 47 places in 64 ms
[2021-05-14 19:27:46] [INFO ] Deduced a trap composed of 36 places in 64 ms
[2021-05-14 19:27:46] [INFO ] Deduced a trap composed of 36 places in 63 ms
[2021-05-14 19:27:46] [INFO ] Deduced a trap composed of 36 places in 60 ms
[2021-05-14 19:27:46] [INFO ] Deduced a trap composed of 17 places in 129 ms
[2021-05-14 19:27:46] [INFO ] Deduced a trap composed of 26 places in 129 ms
[2021-05-14 19:27:47] [INFO ] Deduced a trap composed of 26 places in 131 ms
[2021-05-14 19:27:47] [INFO ] Deduced a trap composed of 39 places in 127 ms
[2021-05-14 19:27:47] [INFO ] Deduced a trap composed of 20 places in 105 ms
[2021-05-14 19:27:47] [INFO ] Deduced a trap composed of 20 places in 105 ms
[2021-05-14 19:27:47] [INFO ] Deduced a trap composed of 25 places in 106 ms
[2021-05-14 19:27:47] [INFO ] Deduced a trap composed of 19 places in 114 ms
[2021-05-14 19:27:47] [INFO ] Trap strengthening (SAT) tested/added 13/12 trap constraints in 1457 ms
[2021-05-14 19:27:47] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 30 ms.
[2021-05-14 19:27:51] [INFO ] Added : 486 causal constraints over 98 iterations in 3491 ms. Result :sat
[2021-05-14 19:27:51] [INFO ] Deduced a trap composed of 122 places in 149 ms
[2021-05-14 19:27:51] [INFO ] Deduced a trap composed of 124 places in 150 ms
[2021-05-14 19:27:51] [INFO ] Deduced a trap composed of 120 places in 149 ms
[2021-05-14 19:27:52] [INFO ] Deduced a trap composed of 114 places in 130 ms
[2021-05-14 19:27:52] [INFO ] Deduced a trap composed of 84 places in 139 ms
[2021-05-14 19:27:52] [INFO ] Deduced a trap composed of 164 places in 139 ms
[2021-05-14 19:27:52] [INFO ] Deduced a trap composed of 43 places in 138 ms
[2021-05-14 19:27:52] [INFO ] Deduced a trap composed of 126 places in 141 ms
[2021-05-14 19:27:53] [INFO ] Deduced a trap composed of 118 places in 132 ms
[2021-05-14 19:27:53] [INFO ] Deduced a trap composed of 117 places in 140 ms
[2021-05-14 19:27:53] [INFO ] Deduced a trap composed of 130 places in 141 ms
[2021-05-14 19:27:53] [INFO ] Deduced a trap composed of 44 places in 140 ms
[2021-05-14 19:27:53] [INFO ] Deduced a trap composed of 142 places in 142 ms
[2021-05-14 19:27:53] [INFO ] Deduced a trap composed of 138 places in 141 ms
[2021-05-14 19:27:54] [INFO ] Deduced a trap composed of 40 places in 123 ms
[2021-05-14 19:27:54] [INFO ] Deduced a trap composed of 45 places in 122 ms
[2021-05-14 19:27:54] [INFO ] Deduced a trap composed of 63 places in 127 ms
[2021-05-14 19:27:54] [INFO ] Deduced a trap composed of 64 places in 128 ms
[2021-05-14 19:27:54] [INFO ] Trap strengthening (SAT) tested/added 19/18 trap constraints in 3428 ms
[2021-05-14 19:27:54] [INFO ] [Real]Absence check using 14 positive place invariants in 15 ms returned sat
[2021-05-14 19:27:54] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:27:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:27:55] [INFO ] [Real]Absence check using state equation in 612 ms returned sat
[2021-05-14 19:27:55] [INFO ] [Real]Added 132 Read/Feed constraints in 13 ms returned sat
[2021-05-14 19:27:55] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:27:55] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:27:55] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:27:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:27:56] [INFO ] [Nat]Absence check using state equation in 614 ms returned sat
[2021-05-14 19:27:56] [INFO ] [Nat]Added 132 Read/Feed constraints in 28 ms returned sat
[2021-05-14 19:27:56] [INFO ] Deduced a trap composed of 59 places in 115 ms
[2021-05-14 19:27:56] [INFO ] Deduced a trap composed of 44 places in 113 ms
[2021-05-14 19:27:56] [INFO ] Deduced a trap composed of 36 places in 155 ms
[2021-05-14 19:27:56] [INFO ] Deduced a trap composed of 40 places in 114 ms
[2021-05-14 19:27:56] [INFO ] Deduced a trap composed of 36 places in 113 ms
[2021-05-14 19:27:56] [INFO ] Deduced a trap composed of 62 places in 115 ms
[2021-05-14 19:27:57] [INFO ] Deduced a trap composed of 62 places in 113 ms
[2021-05-14 19:27:57] [INFO ] Deduced a trap composed of 89 places in 116 ms
[2021-05-14 19:27:57] [INFO ] Deduced a trap composed of 58 places in 107 ms
[2021-05-14 19:27:57] [INFO ] Deduced a trap composed of 14 places in 158 ms
[2021-05-14 19:27:57] [INFO ] Deduced a trap composed of 27 places in 155 ms
[2021-05-14 19:27:57] [INFO ] Deduced a trap composed of 80 places in 154 ms
[2021-05-14 19:27:58] [INFO ] Deduced a trap composed of 36 places in 143 ms
[2021-05-14 19:27:58] [INFO ] Deduced a trap composed of 14 places in 114 ms
[2021-05-14 19:27:58] [INFO ] Deduced a trap composed of 27 places in 111 ms
[2021-05-14 19:27:58] [INFO ] Deduced a trap composed of 13 places in 124 ms
[2021-05-14 19:27:58] [INFO ] Deduced a trap composed of 82 places in 111 ms
[2021-05-14 19:27:58] [INFO ] Deduced a trap composed of 58 places in 82 ms
[2021-05-14 19:27:58] [INFO ] Deduced a trap composed of 58 places in 74 ms
[2021-05-14 19:27:58] [INFO ] Deduced a trap composed of 70 places in 102 ms
[2021-05-14 19:27:59] [INFO ] Deduced a trap composed of 59 places in 100 ms
[2021-05-14 19:27:59] [INFO ] Deduced a trap composed of 77 places in 75 ms
[2021-05-14 19:27:59] [INFO ] Trap strengthening (SAT) tested/added 23/22 trap constraints in 3047 ms
[2021-05-14 19:27:59] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 30 ms.
[2021-05-14 19:28:03] [INFO ] Added : 577 causal constraints over 116 iterations in 4591 ms. Result :sat
[2021-05-14 19:28:03] [INFO ] Deduced a trap composed of 64 places in 135 ms
[2021-05-14 19:28:04] [INFO ] Deduced a trap composed of 37 places in 131 ms
[2021-05-14 19:28:04] [INFO ] Deduced a trap composed of 79 places in 111 ms
[2021-05-14 19:28:04] [INFO ] Deduced a trap composed of 54 places in 85 ms
[2021-05-14 19:28:04] [INFO ] Deduced a trap composed of 58 places in 83 ms
[2021-05-14 19:28:04] [INFO ] Deduced a trap composed of 102 places in 91 ms
[2021-05-14 19:28:05] [INFO ] Deduced a trap composed of 54 places in 101 ms
[2021-05-14 19:28:05] [INFO ] Deduced a trap composed of 54 places in 102 ms
[2021-05-14 19:28:05] [INFO ] Trap strengthening (SAT) tested/added 9/8 trap constraints in 1467 ms
[2021-05-14 19:28:05] [INFO ] [Real]Absence check using 14 positive place invariants in 14 ms returned sat
[2021-05-14 19:28:05] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:28:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:28:05] [INFO ] [Real]Absence check using state equation in 610 ms returned sat
[2021-05-14 19:28:05] [INFO ] [Real]Added 132 Read/Feed constraints in 15 ms returned sat
[2021-05-14 19:28:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:28:05] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:28:05] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:28:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:28:06] [INFO ] [Nat]Absence check using state equation in 611 ms returned sat
[2021-05-14 19:28:06] [INFO ] [Nat]Added 132 Read/Feed constraints in 28 ms returned sat
[2021-05-14 19:28:06] [INFO ] Deduced a trap composed of 14 places in 154 ms
[2021-05-14 19:28:06] [INFO ] Deduced a trap composed of 64 places in 155 ms
[2021-05-14 19:28:07] [INFO ] Deduced a trap composed of 14 places in 155 ms
[2021-05-14 19:28:07] [INFO ] Deduced a trap composed of 98 places in 158 ms
[2021-05-14 19:28:07] [INFO ] Deduced a trap composed of 14 places in 157 ms
[2021-05-14 19:28:07] [INFO ] Deduced a trap composed of 69 places in 142 ms
[2021-05-14 19:28:07] [INFO ] Deduced a trap composed of 47 places in 141 ms
[2021-05-14 19:28:07] [INFO ] Deduced a trap composed of 58 places in 126 ms
[2021-05-14 19:28:08] [INFO ] Deduced a trap composed of 39 places in 126 ms
[2021-05-14 19:28:08] [INFO ] Deduced a trap composed of 61 places in 155 ms
[2021-05-14 19:28:08] [INFO ] Deduced a trap composed of 25 places in 154 ms
[2021-05-14 19:28:08] [INFO ] Deduced a trap composed of 19 places in 152 ms
[2021-05-14 19:28:08] [INFO ] Deduced a trap composed of 13 places in 164 ms
[2021-05-14 19:28:08] [INFO ] Deduced a trap composed of 80 places in 141 ms
[2021-05-14 19:28:09] [INFO ] Deduced a trap composed of 80 places in 132 ms
[2021-05-14 19:28:09] [INFO ] Deduced a trap composed of 40 places in 101 ms
[2021-05-14 19:28:09] [INFO ] Deduced a trap composed of 38 places in 103 ms
[2021-05-14 19:28:09] [INFO ] Deduced a trap composed of 47 places in 101 ms
[2021-05-14 19:28:09] [INFO ] Deduced a trap composed of 69 places in 82 ms
[2021-05-14 19:28:09] [INFO ] Deduced a trap composed of 62 places in 79 ms
[2021-05-14 19:28:09] [INFO ] Deduced a trap composed of 58 places in 74 ms
[2021-05-14 19:28:09] [INFO ] Deduced a trap composed of 38 places in 74 ms
[2021-05-14 19:28:10] [INFO ] Deduced a trap composed of 10 places in 156 ms
[2021-05-14 19:28:10] [INFO ] Deduced a trap composed of 48 places in 133 ms
[2021-05-14 19:28:10] [INFO ] Deduced a trap composed of 63 places in 98 ms
[2021-05-14 19:28:10] [INFO ] Deduced a trap composed of 36 places in 58 ms
[2021-05-14 19:28:10] [INFO ] Trap strengthening (SAT) tested/added 27/26 trap constraints in 3819 ms
[2021-05-14 19:28:10] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 30 ms.
[2021-05-14 19:28:13] [INFO ] Added : 384 causal constraints over 77 iterations in 2742 ms. Result :sat
[2021-05-14 19:28:13] [INFO ] Deduced a trap composed of 47 places in 140 ms
[2021-05-14 19:28:13] [INFO ] Deduced a trap composed of 63 places in 133 ms
[2021-05-14 19:28:13] [INFO ] Deduced a trap composed of 20 places in 141 ms
[2021-05-14 19:28:13] [INFO ] Deduced a trap composed of 92 places in 140 ms
[2021-05-14 19:28:14] [INFO ] Deduced a trap composed of 21 places in 93 ms
[2021-05-14 19:28:14] [INFO ] Deduced a trap composed of 122 places in 115 ms
[2021-05-14 19:28:14] [INFO ] Deduced a trap composed of 10 places in 68 ms
[2021-05-14 19:28:14] [INFO ] Deduced a trap composed of 22 places in 103 ms
[2021-05-14 19:28:14] [INFO ] Deduced a trap composed of 47 places in 131 ms
[2021-05-14 19:28:14] [INFO ] Trap strengthening (SAT) tested/added 10/9 trap constraints in 1677 ms
[2021-05-14 19:28:14] [INFO ] [Real]Absence check using 14 positive place invariants in 14 ms returned sat
[2021-05-14 19:28:14] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:28:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:28:15] [INFO ] [Real]Absence check using state equation in 616 ms returned sat
[2021-05-14 19:28:15] [INFO ] [Real]Added 132 Read/Feed constraints in 14 ms returned sat
[2021-05-14 19:28:15] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:28:15] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:28:15] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:28:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:28:16] [INFO ] [Nat]Absence check using state equation in 610 ms returned sat
[2021-05-14 19:28:16] [INFO ] [Nat]Added 132 Read/Feed constraints in 25 ms returned sat
[2021-05-14 19:28:16] [INFO ] Deduced a trap composed of 43 places in 65 ms
[2021-05-14 19:28:16] [INFO ] Deduced a trap composed of 18 places in 64 ms
[2021-05-14 19:28:16] [INFO ] Deduced a trap composed of 18 places in 64 ms
[2021-05-14 19:28:16] [INFO ] Deduced a trap composed of 40 places in 67 ms
[2021-05-14 19:28:16] [INFO ] Deduced a trap composed of 17 places in 63 ms
[2021-05-14 19:28:16] [INFO ] Deduced a trap composed of 25 places in 63 ms
[2021-05-14 19:28:16] [INFO ] Deduced a trap composed of 44 places in 55 ms
[2021-05-14 19:28:16] [INFO ] Deduced a trap composed of 43 places in 55 ms
[2021-05-14 19:28:17] [INFO ] Deduced a trap composed of 14 places in 130 ms
[2021-05-14 19:28:17] [INFO ] Deduced a trap composed of 17 places in 131 ms
[2021-05-14 19:28:17] [INFO ] Trap strengthening (SAT) tested/added 11/10 trap constraints in 959 ms
[2021-05-14 19:28:17] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 32 ms.
[2021-05-14 19:28:20] [INFO ] Added : 429 causal constraints over 86 iterations in 3102 ms. Result :sat
[2021-05-14 19:28:20] [INFO ] Deduced a trap composed of 79 places in 122 ms
[2021-05-14 19:28:20] [INFO ] Deduced a trap composed of 48 places in 120 ms
[2021-05-14 19:28:20] [INFO ] Deduced a trap composed of 47 places in 111 ms
[2021-05-14 19:28:20] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 513 ms
[2021-05-14 19:28:20] [INFO ] [Real]Absence check using 14 positive place invariants in 14 ms returned sat
[2021-05-14 19:28:20] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:28:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:28:21] [INFO ] [Real]Absence check using state equation in 614 ms returned sat
[2021-05-14 19:28:21] [INFO ] [Real]Added 132 Read/Feed constraints in 14 ms returned sat
[2021-05-14 19:28:21] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:28:21] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:28:21] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:28:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:28:22] [INFO ] [Nat]Absence check using state equation in 617 ms returned sat
[2021-05-14 19:28:22] [INFO ] [Nat]Added 132 Read/Feed constraints in 30 ms returned sat
[2021-05-14 19:28:22] [INFO ] Deduced a trap composed of 85 places in 150 ms
[2021-05-14 19:28:22] [INFO ] Deduced a trap composed of 17 places in 147 ms
[2021-05-14 19:28:22] [INFO ] Deduced a trap composed of 61 places in 148 ms
[2021-05-14 19:28:22] [INFO ] Deduced a trap composed of 39 places in 148 ms
[2021-05-14 19:28:23] [INFO ] Deduced a trap composed of 62 places in 149 ms
[2021-05-14 19:28:23] [INFO ] Deduced a trap composed of 62 places in 149 ms
[2021-05-14 19:28:23] [INFO ] Deduced a trap composed of 51 places in 148 ms
[2021-05-14 19:28:23] [INFO ] Deduced a trap composed of 51 places in 147 ms
[2021-05-14 19:28:23] [INFO ] Deduced a trap composed of 39 places in 145 ms
[2021-05-14 19:28:23] [INFO ] Deduced a trap composed of 69 places in 146 ms
[2021-05-14 19:28:24] [INFO ] Deduced a trap composed of 36 places in 132 ms
[2021-05-14 19:28:24] [INFO ] Deduced a trap composed of 58 places in 131 ms
[2021-05-14 19:28:24] [INFO ] Deduced a trap composed of 80 places in 114 ms
[2021-05-14 19:28:24] [INFO ] Deduced a trap composed of 80 places in 118 ms
[2021-05-14 19:28:24] [INFO ] Deduced a trap composed of 62 places in 75 ms
[2021-05-14 19:28:24] [INFO ] Trap strengthening (SAT) tested/added 16/15 trap constraints in 2371 ms
[2021-05-14 19:28:24] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 29 ms.
[2021-05-14 19:28:27] [INFO ] Added : 383 causal constraints over 77 iterations in 2627 ms. Result :sat
[2021-05-14 19:28:27] [INFO ] Deduced a trap composed of 17 places in 162 ms
[2021-05-14 19:28:27] [INFO ] Deduced a trap composed of 66 places in 163 ms
[2021-05-14 19:28:27] [INFO ] Deduced a trap composed of 39 places in 161 ms
[2021-05-14 19:28:28] [INFO ] Deduced a trap composed of 87 places in 163 ms
[2021-05-14 19:28:28] [INFO ] Deduced a trap composed of 40 places in 162 ms
[2021-05-14 19:28:28] [INFO ] Deduced a trap composed of 83 places in 160 ms
[2021-05-14 19:28:28] [INFO ] Deduced a trap composed of 47 places in 161 ms
[2021-05-14 19:28:28] [INFO ] Deduced a trap composed of 18 places in 154 ms
[2021-05-14 19:28:29] [INFO ] Deduced a trap composed of 102 places in 154 ms
[2021-05-14 19:28:29] [INFO ] Deduced a trap composed of 29 places in 154 ms
[2021-05-14 19:28:29] [INFO ] Deduced a trap composed of 10 places in 153 ms
[2021-05-14 19:28:29] [INFO ] Deduced a trap composed of 14 places in 152 ms
[2021-05-14 19:28:29] [INFO ] Deduced a trap composed of 26 places in 154 ms
[2021-05-14 19:28:30] [INFO ] Deduced a trap composed of 109 places in 158 ms
[2021-05-14 19:28:30] [INFO ] Deduced a trap composed of 121 places in 130 ms
[2021-05-14 19:28:30] [INFO ] Deduced a trap composed of 26 places in 103 ms
[2021-05-14 19:28:30] [INFO ] Deduced a trap composed of 84 places in 60 ms
[2021-05-14 19:28:30] [INFO ] Deduced a trap composed of 83 places in 62 ms
[2021-05-14 19:28:30] [INFO ] Trap strengthening (SAT) tested/added 19/18 trap constraints in 3511 ms
[2021-05-14 19:28:30] [INFO ] [Real]Absence check using 14 positive place invariants in 14 ms returned sat
[2021-05-14 19:28:30] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:28:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:28:31] [INFO ] [Real]Absence check using state equation in 610 ms returned sat
[2021-05-14 19:28:31] [INFO ] [Real]Added 132 Read/Feed constraints in 16 ms returned sat
[2021-05-14 19:28:31] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:28:31] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:28:31] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:28:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:28:32] [INFO ] [Nat]Absence check using state equation in 614 ms returned sat
[2021-05-14 19:28:32] [INFO ] [Nat]Added 132 Read/Feed constraints in 29 ms returned sat
[2021-05-14 19:28:32] [INFO ] Deduced a trap composed of 36 places in 99 ms
[2021-05-14 19:28:32] [INFO ] Deduced a trap composed of 36 places in 100 ms
[2021-05-14 19:28:32] [INFO ] Deduced a trap composed of 47 places in 103 ms
[2021-05-14 19:28:32] [INFO ] Deduced a trap composed of 39 places in 100 ms
[2021-05-14 19:28:32] [INFO ] Deduced a trap composed of 18 places in 92 ms
[2021-05-14 19:28:32] [INFO ] Deduced a trap composed of 79 places in 93 ms
[2021-05-14 19:28:33] [INFO ] Deduced a trap composed of 76 places in 95 ms
[2021-05-14 19:28:33] [INFO ] Deduced a trap composed of 18 places in 94 ms
[2021-05-14 19:28:33] [INFO ] Deduced a trap composed of 27 places in 149 ms
[2021-05-14 19:28:33] [INFO ] Deduced a trap composed of 42 places in 85 ms
[2021-05-14 19:28:33] [INFO ] Deduced a trap composed of 15 places in 146 ms
[2021-05-14 19:28:33] [INFO ] Deduced a trap composed of 17 places in 136 ms
[2021-05-14 19:28:33] [INFO ] Deduced a trap composed of 14 places in 135 ms
[2021-05-14 19:28:33] [INFO ] Deduced a trap composed of 61 places in 65 ms
[2021-05-14 19:28:34] [INFO ] Deduced a trap composed of 58 places in 66 ms
[2021-05-14 19:28:34] [INFO ] Deduced a trap composed of 58 places in 66 ms
[2021-05-14 19:28:34] [INFO ] Deduced a trap composed of 58 places in 67 ms
[2021-05-14 19:28:34] [INFO ] Deduced a trap composed of 65 places in 83 ms
[2021-05-14 19:28:34] [INFO ] Deduced a trap composed of 54 places in 127 ms
[2021-05-14 19:28:34] [INFO ] Deduced a trap composed of 53 places in 136 ms
[2021-05-14 19:28:34] [INFO ] Trap strengthening (SAT) tested/added 21/20 trap constraints in 2451 ms
[2021-05-14 19:28:34] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 30 ms.
[2021-05-14 19:28:39] [INFO ] Added : 625 causal constraints over 125 iterations in 4806 ms. Result :sat
[2021-05-14 19:28:39] [INFO ] Deduced a trap composed of 85 places in 86 ms
[2021-05-14 19:28:39] [INFO ] Deduced a trap composed of 85 places in 87 ms
[2021-05-14 19:28:39] [INFO ] Deduced a trap composed of 57 places in 79 ms
[2021-05-14 19:28:40] [INFO ] Deduced a trap composed of 82 places in 94 ms
[2021-05-14 19:28:40] [INFO ] Deduced a trap composed of 99 places in 96 ms
[2021-05-14 19:28:40] [INFO ] Deduced a trap composed of 85 places in 87 ms
[2021-05-14 19:28:40] [INFO ] Deduced a trap composed of 126 places in 95 ms
[2021-05-14 19:28:40] [INFO ] Deduced a trap composed of 82 places in 95 ms
[2021-05-14 19:28:40] [INFO ] Deduced a trap composed of 80 places in 85 ms
[2021-05-14 19:28:40] [INFO ] Trap strengthening (SAT) tested/added 10/9 trap constraints in 1332 ms
[2021-05-14 19:28:40] [INFO ] [Real]Absence check using 14 positive place invariants in 15 ms returned sat
[2021-05-14 19:28:40] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:28:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:28:41] [INFO ] [Real]Absence check using state equation in 612 ms returned sat
[2021-05-14 19:28:41] [INFO ] [Real]Added 132 Read/Feed constraints in 13 ms returned sat
[2021-05-14 19:28:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:28:41] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:28:41] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:28:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:28:42] [INFO ] [Nat]Absence check using state equation in 615 ms returned sat
[2021-05-14 19:28:42] [INFO ] [Nat]Added 132 Read/Feed constraints in 28 ms returned sat
[2021-05-14 19:28:42] [INFO ] Deduced a trap composed of 58 places in 97 ms
[2021-05-14 19:28:42] [INFO ] Deduced a trap composed of 61 places in 97 ms
[2021-05-14 19:28:42] [INFO ] Deduced a trap composed of 82 places in 98 ms
[2021-05-14 19:28:42] [INFO ] Deduced a trap composed of 25 places in 90 ms
[2021-05-14 19:28:42] [INFO ] Deduced a trap composed of 62 places in 90 ms
[2021-05-14 19:28:42] [INFO ] Deduced a trap composed of 14 places in 97 ms
[2021-05-14 19:28:43] [INFO ] Deduced a trap composed of 62 places in 104 ms
[2021-05-14 19:28:43] [INFO ] Deduced a trap composed of 14 places in 136 ms
[2021-05-14 19:28:43] [INFO ] Deduced a trap composed of 14 places in 139 ms
[2021-05-14 19:28:43] [INFO ] Deduced a trap composed of 84 places in 111 ms
[2021-05-14 19:28:43] [INFO ] Deduced a trap composed of 80 places in 110 ms
[2021-05-14 19:28:43] [INFO ] Trap strengthening (SAT) tested/added 12/11 trap constraints in 1410 ms
[2021-05-14 19:28:43] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 29 ms.
[2021-05-14 19:28:46] [INFO ] Added : 408 causal constraints over 82 iterations in 2942 ms. Result :sat
[2021-05-14 19:28:46] [INFO ] Deduced a trap composed of 14 places in 177 ms
[2021-05-14 19:28:46] [INFO ] Deduced a trap composed of 63 places in 151 ms
[2021-05-14 19:28:47] [INFO ] Deduced a trap composed of 32 places in 151 ms
[2021-05-14 19:28:47] [INFO ] Deduced a trap composed of 32 places in 154 ms
[2021-05-14 19:28:47] [INFO ] Deduced a trap composed of 55 places in 151 ms
[2021-05-14 19:28:47] [INFO ] Deduced a trap composed of 47 places in 158 ms
[2021-05-14 19:28:48] [INFO ] Deduced a trap composed of 62 places in 151 ms
[2021-05-14 19:28:48] [INFO ] Deduced a trap composed of 36 places in 152 ms
[2021-05-14 19:28:48] [INFO ] Deduced a trap composed of 77 places in 125 ms
[2021-05-14 19:28:48] [INFO ] Trap strengthening (SAT) tested/added 10/9 trap constraints in 1913 ms
[2021-05-14 19:28:48] [INFO ] [Real]Absence check using 14 positive place invariants in 14 ms returned sat
[2021-05-14 19:28:48] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:28:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:28:49] [INFO ] [Real]Absence check using state equation in 617 ms returned sat
[2021-05-14 19:28:49] [INFO ] [Real]Added 132 Read/Feed constraints in 14 ms returned sat
[2021-05-14 19:28:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:28:49] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:28:49] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:28:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:28:49] [INFO ] [Nat]Absence check using state equation in 615 ms returned sat
[2021-05-14 19:28:49] [INFO ] [Nat]Added 132 Read/Feed constraints in 28 ms returned sat
[2021-05-14 19:28:50] [INFO ] Deduced a trap composed of 14 places in 145 ms
[2021-05-14 19:28:50] [INFO ] Deduced a trap composed of 17 places in 147 ms
[2021-05-14 19:28:50] [INFO ] Deduced a trap composed of 36 places in 147 ms
[2021-05-14 19:28:50] [INFO ] Deduced a trap composed of 14 places in 147 ms
[2021-05-14 19:28:50] [INFO ] Deduced a trap composed of 14 places in 146 ms
[2021-05-14 19:28:50] [INFO ] Deduced a trap composed of 95 places in 129 ms
[2021-05-14 19:28:51] [INFO ] Deduced a trap composed of 98 places in 127 ms
[2021-05-14 19:28:51] [INFO ] Deduced a trap composed of 91 places in 125 ms
[2021-05-14 19:28:51] [INFO ] Deduced a trap composed of 98 places in 116 ms
[2021-05-14 19:28:51] [INFO ] Trap strengthening (SAT) tested/added 10/9 trap constraints in 1429 ms
[2021-05-14 19:28:51] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 30 ms.
[2021-05-14 19:28:55] [INFO ] Added : 576 causal constraints over 116 iterations in 4237 ms. Result :sat
[2021-05-14 19:28:55] [INFO ] Deduced a trap composed of 37 places in 87 ms
[2021-05-14 19:28:55] [INFO ] Deduced a trap composed of 47 places in 87 ms
[2021-05-14 19:28:55] [INFO ] Deduced a trap composed of 58 places in 76 ms
[2021-05-14 19:28:56] [INFO ] Deduced a trap composed of 69 places in 81 ms
[2021-05-14 19:28:56] [INFO ] Deduced a trap composed of 54 places in 76 ms
[2021-05-14 19:28:56] [INFO ] Deduced a trap composed of 114 places in 141 ms
[2021-05-14 19:28:56] [INFO ] Deduced a trap composed of 43 places in 77 ms
[2021-05-14 19:28:56] [INFO ] Deduced a trap composed of 94 places in 129 ms
[2021-05-14 19:28:56] [INFO ] Deduced a trap composed of 56 places in 128 ms
[2021-05-14 19:28:57] [INFO ] Deduced a trap composed of 36 places in 127 ms
[2021-05-14 19:28:57] [INFO ] Deduced a trap composed of 36 places in 124 ms
[2021-05-14 19:28:57] [INFO ] Deduced a trap composed of 76 places in 89 ms
[2021-05-14 19:28:57] [INFO ] Deduced a trap composed of 76 places in 89 ms
[2021-05-14 19:28:57] [INFO ] Deduced a trap composed of 76 places in 90 ms
[2021-05-14 19:28:57] [INFO ] Trap strengthening (SAT) tested/added 15/14 trap constraints in 2127 ms
[2021-05-14 19:28:57] [INFO ] [Real]Absence check using 14 positive place invariants in 14 ms returned sat
[2021-05-14 19:28:57] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:28:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:28:58] [INFO ] [Real]Absence check using state equation in 617 ms returned sat
[2021-05-14 19:28:58] [INFO ] [Real]Added 132 Read/Feed constraints in 13 ms returned sat
[2021-05-14 19:28:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:28:58] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:28:58] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:28:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:28:59] [INFO ] [Nat]Absence check using state equation in 614 ms returned sat
[2021-05-14 19:28:59] [INFO ] [Nat]Added 132 Read/Feed constraints in 30 ms returned sat
[2021-05-14 19:28:59] [INFO ] Deduced a trap composed of 21 places in 118 ms
[2021-05-14 19:28:59] [INFO ] Deduced a trap composed of 50 places in 120 ms
[2021-05-14 19:28:59] [INFO ] Deduced a trap composed of 18 places in 123 ms
[2021-05-14 19:28:59] [INFO ] Deduced a trap composed of 75 places in 120 ms
[2021-05-14 19:28:59] [INFO ] Deduced a trap composed of 14 places in 118 ms
[2021-05-14 19:28:59] [INFO ] Deduced a trap composed of 36 places in 120 ms
[2021-05-14 19:29:00] [INFO ] Deduced a trap composed of 36 places in 119 ms
[2021-05-14 19:29:00] [INFO ] Deduced a trap composed of 117 places in 121 ms
[2021-05-14 19:29:00] [INFO ] Deduced a trap composed of 39 places in 117 ms
[2021-05-14 19:29:00] [INFO ] Deduced a trap composed of 143 places in 162 ms
[2021-05-14 19:29:00] [INFO ] Deduced a trap composed of 10 places in 115 ms
[2021-05-14 19:29:00] [INFO ] Deduced a trap composed of 36 places in 104 ms
[2021-05-14 19:29:00] [INFO ] Deduced a trap composed of 61 places in 107 ms
[2021-05-14 19:29:01] [INFO ] Deduced a trap composed of 114 places in 143 ms
[2021-05-14 19:29:01] [INFO ] Deduced a trap composed of 47 places in 101 ms
[2021-05-14 19:29:01] [INFO ] Deduced a trap composed of 80 places in 136 ms
[2021-05-14 19:29:01] [INFO ] Deduced a trap composed of 80 places in 135 ms
[2021-05-14 19:29:01] [INFO ] Deduced a trap composed of 80 places in 135 ms
[2021-05-14 19:29:01] [INFO ] Deduced a trap composed of 32 places in 93 ms
[2021-05-14 19:29:01] [INFO ] Deduced a trap composed of 14 places in 119 ms
[2021-05-14 19:29:02] [INFO ] Deduced a trap composed of 65 places in 83 ms
[2021-05-14 19:29:02] [INFO ] Deduced a trap composed of 65 places in 82 ms
[2021-05-14 19:29:02] [INFO ] Deduced a trap composed of 58 places in 79 ms
[2021-05-14 19:29:02] [INFO ] Deduced a trap composed of 66 places in 81 ms
[2021-05-14 19:29:02] [INFO ] Deduced a trap composed of 56 places in 74 ms
[2021-05-14 19:29:02] [INFO ] Deduced a trap composed of 58 places in 76 ms
[2021-05-14 19:29:02] [INFO ] Deduced a trap composed of 58 places in 77 ms
[2021-05-14 19:29:02] [INFO ] Trap strengthening (SAT) tested/added 28/27 trap constraints in 3564 ms
[2021-05-14 19:29:02] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 30 ms.
[2021-05-14 19:29:06] [INFO ] Added : 472 causal constraints over 95 iterations in 3916 ms. Result :sat
[2021-05-14 19:29:06] [INFO ] Deduced a trap composed of 35 places in 140 ms
[2021-05-14 19:29:06] [INFO ] Deduced a trap composed of 67 places in 167 ms
[2021-05-14 19:29:07] [INFO ] Deduced a trap composed of 54 places in 103 ms
[2021-05-14 19:29:07] [INFO ] Deduced a trap composed of 84 places in 101 ms
[2021-05-14 19:29:07] [INFO ] Deduced a trap composed of 84 places in 102 ms
[2021-05-14 19:29:07] [INFO ] Deduced a trap composed of 78 places in 96 ms
[2021-05-14 19:29:07] [INFO ] Deduced a trap composed of 83 places in 64 ms
[2021-05-14 19:29:07] [INFO ] Deduced a trap composed of 56 places in 64 ms
[2021-05-14 19:29:07] [INFO ] Deduced a trap composed of 56 places in 56 ms
[2021-05-14 19:29:08] [INFO ] Deduced a trap composed of 23 places in 92 ms
[2021-05-14 19:29:08] [INFO ] Deduced a trap composed of 13 places in 106 ms
[2021-05-14 19:29:08] [INFO ] Trap strengthening (SAT) tested/added 12/11 trap constraints in 1829 ms
[2021-05-14 19:29:08] [INFO ] [Real]Absence check using 14 positive place invariants in 15 ms returned sat
[2021-05-14 19:29:08] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:29:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:29:09] [INFO ] [Real]Absence check using state equation in 615 ms returned sat
[2021-05-14 19:29:09] [INFO ] [Real]Added 132 Read/Feed constraints in 13 ms returned sat
[2021-05-14 19:29:09] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:29:09] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:29:09] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:29:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:29:09] [INFO ] [Nat]Absence check using state equation in 616 ms returned sat
[2021-05-14 19:29:09] [INFO ] [Nat]Added 132 Read/Feed constraints in 29 ms returned sat
[2021-05-14 19:29:09] [INFO ] Deduced a trap composed of 99 places in 148 ms
[2021-05-14 19:29:10] [INFO ] Deduced a trap composed of 124 places in 151 ms
[2021-05-14 19:29:10] [INFO ] Deduced a trap composed of 43 places in 151 ms
[2021-05-14 19:29:10] [INFO ] Deduced a trap composed of 112 places in 151 ms
[2021-05-14 19:29:10] [INFO ] Deduced a trap composed of 97 places in 152 ms
[2021-05-14 19:29:10] [INFO ] Deduced a trap composed of 69 places in 114 ms
[2021-05-14 19:29:10] [INFO ] Deduced a trap composed of 26 places in 116 ms
[2021-05-14 19:29:11] [INFO ] Deduced a trap composed of 62 places in 115 ms
[2021-05-14 19:29:11] [INFO ] Deduced a trap composed of 137 places in 117 ms
[2021-05-14 19:29:11] [INFO ] Deduced a trap composed of 70 places in 107 ms
[2021-05-14 19:29:11] [INFO ] Deduced a trap composed of 65 places in 119 ms
[2021-05-14 19:29:11] [INFO ] Deduced a trap composed of 65 places in 115 ms
[2021-05-14 19:29:11] [INFO ] Deduced a trap composed of 62 places in 108 ms
[2021-05-14 19:29:11] [INFO ] Deduced a trap composed of 61 places in 116 ms
[2021-05-14 19:29:12] [INFO ] Deduced a trap composed of 25 places in 145 ms
[2021-05-14 19:29:12] [INFO ] Deduced a trap composed of 36 places in 146 ms
[2021-05-14 19:29:12] [INFO ] Deduced a trap composed of 65 places in 145 ms
[2021-05-14 19:29:12] [INFO ] Deduced a trap composed of 14 places in 143 ms
[2021-05-14 19:29:12] [INFO ] Trap strengthening (SAT) tested/added 19/18 trap constraints in 2774 ms
[2021-05-14 19:29:12] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 29 ms.
[2021-05-14 19:29:15] [INFO ] Added : 382 causal constraints over 77 iterations in 2667 ms. Result :sat
[2021-05-14 19:29:15] [INFO ] Deduced a trap composed of 32 places in 146 ms
[2021-05-14 19:29:15] [INFO ] Deduced a trap composed of 10 places in 124 ms
[2021-05-14 19:29:15] [INFO ] Deduced a trap composed of 21 places in 134 ms
[2021-05-14 19:29:15] [INFO ] Deduced a trap composed of 32 places in 126 ms
[2021-05-14 19:29:16] [INFO ] Deduced a trap composed of 41 places in 131 ms
[2021-05-14 19:29:16] [INFO ] Deduced a trap composed of 79 places in 135 ms
[2021-05-14 19:29:16] [INFO ] Deduced a trap composed of 62 places in 135 ms
[2021-05-14 19:29:16] [INFO ] Deduced a trap composed of 54 places in 135 ms
[2021-05-14 19:29:16] [INFO ] Deduced a trap composed of 62 places in 125 ms
[2021-05-14 19:29:17] [INFO ] Deduced a trap composed of 32 places in 116 ms
[2021-05-14 19:29:17] [INFO ] Trap strengthening (SAT) tested/added 11/10 trap constraints in 1892 ms
[2021-05-14 19:29:17] [INFO ] [Real]Absence check using 14 positive place invariants in 14 ms returned sat
[2021-05-14 19:29:17] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:29:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:29:17] [INFO ] [Real]Absence check using state equation in 613 ms returned sat
[2021-05-14 19:29:17] [INFO ] [Real]Added 132 Read/Feed constraints in 13 ms returned sat
[2021-05-14 19:29:17] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:29:17] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:29:17] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:29:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:29:18] [INFO ] [Nat]Absence check using state equation in 614 ms returned sat
[2021-05-14 19:29:18] [INFO ] [Nat]Added 132 Read/Feed constraints in 27 ms returned sat
[2021-05-14 19:29:18] [INFO ] Deduced a trap composed of 58 places in 137 ms
[2021-05-14 19:29:18] [INFO ] Deduced a trap composed of 118 places in 140 ms
[2021-05-14 19:29:19] [INFO ] Deduced a trap composed of 69 places in 136 ms
[2021-05-14 19:29:19] [INFO ] Deduced a trap composed of 95 places in 139 ms
[2021-05-14 19:29:19] [INFO ] Deduced a trap composed of 47 places in 137 ms
[2021-05-14 19:29:19] [INFO ] Deduced a trap composed of 47 places in 137 ms
[2021-05-14 19:29:19] [INFO ] Deduced a trap composed of 80 places in 140 ms
[2021-05-14 19:29:19] [INFO ] Deduced a trap composed of 118 places in 135 ms
[2021-05-14 19:29:19] [INFO ] Deduced a trap composed of 73 places in 87 ms
[2021-05-14 19:29:20] [INFO ] Deduced a trap composed of 36 places in 135 ms
[2021-05-14 19:29:20] [INFO ] Deduced a trap composed of 47 places in 135 ms
[2021-05-14 19:29:20] [INFO ] Deduced a trap composed of 80 places in 136 ms
[2021-05-14 19:29:20] [INFO ] Deduced a trap composed of 10 places in 114 ms
[2021-05-14 19:29:20] [INFO ] Deduced a trap composed of 18 places in 116 ms
[2021-05-14 19:29:20] [INFO ] Deduced a trap composed of 18 places in 114 ms
[2021-05-14 19:29:20] [INFO ] Deduced a trap composed of 69 places in 122 ms
[2021-05-14 19:29:21] [INFO ] Deduced a trap composed of 19 places in 114 ms
[2021-05-14 19:29:21] [INFO ] Deduced a trap composed of 61 places in 106 ms
[2021-05-14 19:29:21] [INFO ] Deduced a trap composed of 70 places in 62 ms
[2021-05-14 19:29:21] [INFO ] Deduced a trap composed of 91 places in 76 ms
[2021-05-14 19:29:21] [INFO ] Deduced a trap composed of 91 places in 78 ms
[2021-05-14 19:29:21] [INFO ] Trap strengthening (SAT) tested/added 22/21 trap constraints in 2945 ms
[2021-05-14 19:29:21] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 30 ms.
[2021-05-14 19:29:24] [INFO ] Added : 443 causal constraints over 89 iterations in 3192 ms. Result :sat
[2021-05-14 19:29:24] [INFO ] Deduced a trap composed of 95 places in 142 ms
[2021-05-14 19:29:25] [INFO ] Deduced a trap composed of 71 places in 130 ms
[2021-05-14 19:29:25] [INFO ] Deduced a trap composed of 111 places in 146 ms
[2021-05-14 19:29:25] [INFO ] Deduced a trap composed of 31 places in 143 ms
[2021-05-14 19:29:25] [INFO ] Deduced a trap composed of 49 places in 144 ms
[2021-05-14 19:29:25] [INFO ] Deduced a trap composed of 76 places in 131 ms
[2021-05-14 19:29:25] [INFO ] Deduced a trap composed of 66 places in 131 ms
[2021-05-14 19:29:26] [INFO ] Deduced a trap composed of 100 places in 108 ms
[2021-05-14 19:29:26] [INFO ] Deduced a trap composed of 65 places in 93 ms
[2021-05-14 19:29:26] [INFO ] Deduced a trap composed of 54 places in 98 ms
[2021-05-14 19:29:26] [INFO ] Deduced a trap composed of 58 places in 130 ms
[2021-05-14 19:29:26] [INFO ] Deduced a trap composed of 54 places in 108 ms
[2021-05-14 19:29:27] [INFO ] Deduced a trap composed of 89 places in 138 ms
[2021-05-14 19:29:27] [INFO ] Deduced a trap composed of 78 places in 97 ms
[2021-05-14 19:29:27] [INFO ] Deduced a trap composed of 107 places in 123 ms
[2021-05-14 19:29:27] [INFO ] Deduced a trap composed of 63 places in 124 ms
[2021-05-14 19:29:27] [INFO ] Trap strengthening (SAT) tested/added 17/16 trap constraints in 3027 ms
[2021-05-14 19:29:27] [INFO ] [Real]Absence check using 14 positive place invariants in 14 ms returned sat
[2021-05-14 19:29:27] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:29:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:29:28] [INFO ] [Real]Absence check using state equation in 617 ms returned sat
[2021-05-14 19:29:28] [INFO ] [Real]Added 132 Read/Feed constraints in 17 ms returned sat
[2021-05-14 19:29:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:29:28] [INFO ] [Nat]Absence check using 14 positive place invariants in 18 ms returned sat
[2021-05-14 19:29:28] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:29:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:29:29] [INFO ] [Nat]Absence check using state equation in 617 ms returned sat
[2021-05-14 19:29:29] [INFO ] [Nat]Added 132 Read/Feed constraints in 25 ms returned sat
[2021-05-14 19:29:29] [INFO ] Deduced a trap composed of 13 places in 112 ms
[2021-05-14 19:29:29] [INFO ] Deduced a trap composed of 71 places in 113 ms
[2021-05-14 19:29:29] [INFO ] Deduced a trap composed of 18 places in 118 ms
[2021-05-14 19:29:29] [INFO ] Deduced a trap composed of 97 places in 115 ms
[2021-05-14 19:29:29] [INFO ] Deduced a trap composed of 69 places in 114 ms
[2021-05-14 19:29:29] [INFO ] Deduced a trap composed of 74 places in 116 ms
[2021-05-14 19:29:30] [INFO ] Deduced a trap composed of 70 places in 106 ms
[2021-05-14 19:29:30] [INFO ] Deduced a trap composed of 56 places in 107 ms
[2021-05-14 19:29:30] [INFO ] Deduced a trap composed of 12 places in 108 ms
[2021-05-14 19:29:30] [INFO ] Deduced a trap composed of 58 places in 101 ms
[2021-05-14 19:29:30] [INFO ] Deduced a trap composed of 58 places in 100 ms
[2021-05-14 19:29:30] [INFO ] Deduced a trap composed of 25 places in 156 ms
[2021-05-14 19:29:30] [INFO ] Deduced a trap composed of 32 places in 141 ms
[2021-05-14 19:29:31] [INFO ] Deduced a trap composed of 47 places in 141 ms
[2021-05-14 19:29:31] [INFO ] Deduced a trap composed of 91 places in 141 ms
[2021-05-14 19:29:31] [INFO ] Deduced a trap composed of 29 places in 104 ms
[2021-05-14 19:29:31] [INFO ] Deduced a trap composed of 32 places in 101 ms
[2021-05-14 19:29:31] [INFO ] Deduced a trap composed of 69 places in 81 ms
[2021-05-14 19:29:31] [INFO ] Deduced a trap composed of 58 places in 78 ms
[2021-05-14 19:29:31] [INFO ] Deduced a trap composed of 57 places in 74 ms
[2021-05-14 19:29:31] [INFO ] Deduced a trap composed of 21 places in 69 ms
[2021-05-14 19:29:31] [INFO ] Deduced a trap composed of 21 places in 68 ms
[2021-05-14 19:29:32] [INFO ] Deduced a trap composed of 61 places in 117 ms
[2021-05-14 19:29:32] [INFO ] Deduced a trap composed of 17 places in 107 ms
[2021-05-14 19:29:32] [INFO ] Trap strengthening (SAT) tested/added 25/24 trap constraints in 3148 ms
[2021-05-14 19:29:32] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 29 ms.
[2021-05-14 19:29:34] [INFO ] Added : 377 causal constraints over 76 iterations in 2620 ms. Result :sat
[2021-05-14 19:29:35] [INFO ] Deduced a trap composed of 32 places in 99 ms
[2021-05-14 19:29:35] [INFO ] Deduced a trap composed of 98 places in 97 ms
[2021-05-14 19:29:35] [INFO ] Deduced a trap composed of 47 places in 104 ms
[2021-05-14 19:29:35] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 489 ms
[2021-05-14 19:29:35] [INFO ] [Real]Absence check using 14 positive place invariants in 14 ms returned sat
[2021-05-14 19:29:35] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:29:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:29:36] [INFO ] [Real]Absence check using state equation in 610 ms returned sat
[2021-05-14 19:29:36] [INFO ] [Real]Added 132 Read/Feed constraints in 17 ms returned sat
[2021-05-14 19:29:36] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:29:36] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:29:36] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:29:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:29:36] [INFO ] [Nat]Absence check using state equation in 615 ms returned sat
[2021-05-14 19:29:36] [INFO ] [Nat]Added 132 Read/Feed constraints in 27 ms returned sat
[2021-05-14 19:29:36] [INFO ] Deduced a trap composed of 83 places in 110 ms
[2021-05-14 19:29:37] [INFO ] Deduced a trap composed of 40 places in 116 ms
[2021-05-14 19:29:37] [INFO ] Deduced a trap composed of 61 places in 110 ms
[2021-05-14 19:29:37] [INFO ] Deduced a trap composed of 78 places in 118 ms
[2021-05-14 19:29:37] [INFO ] Deduced a trap composed of 65 places in 118 ms
[2021-05-14 19:29:37] [INFO ] Deduced a trap composed of 62 places in 119 ms
[2021-05-14 19:29:37] [INFO ] Deduced a trap composed of 62 places in 116 ms
[2021-05-14 19:29:37] [INFO ] Deduced a trap composed of 29 places in 157 ms
[2021-05-14 19:29:38] [INFO ] Deduced a trap composed of 97 places in 161 ms
[2021-05-14 19:29:38] [INFO ] Deduced a trap composed of 47 places in 148 ms
[2021-05-14 19:29:38] [INFO ] Deduced a trap composed of 37 places in 160 ms
[2021-05-14 19:29:38] [INFO ] Deduced a trap composed of 39 places in 161 ms
[2021-05-14 19:29:38] [INFO ] Deduced a trap composed of 25 places in 159 ms
[2021-05-14 19:29:38] [INFO ] Deduced a trap composed of 60 places in 145 ms
[2021-05-14 19:29:39] [INFO ] Deduced a trap composed of 87 places in 139 ms
[2021-05-14 19:29:39] [INFO ] Deduced a trap composed of 69 places in 105 ms
[2021-05-14 19:29:39] [INFO ] Deduced a trap composed of 65 places in 91 ms
[2021-05-14 19:29:39] [INFO ] Deduced a trap composed of 43 places in 89 ms
[2021-05-14 19:29:39] [INFO ] Deduced a trap composed of 79 places in 110 ms
[2021-05-14 19:29:39] [INFO ] Deduced a trap composed of 35 places in 156 ms
[2021-05-14 19:29:40] [INFO ] Deduced a trap composed of 35 places in 156 ms
[2021-05-14 19:29:40] [INFO ] Deduced a trap composed of 40 places in 143 ms
[2021-05-14 19:29:40] [INFO ] Deduced a trap composed of 13 places in 88 ms
[2021-05-14 19:29:40] [INFO ] Deduced a trap composed of 32 places in 77 ms
[2021-05-14 19:29:40] [INFO ] Deduced a trap composed of 22 places in 117 ms
[2021-05-14 19:29:40] [INFO ] Deduced a trap composed of 112 places in 120 ms
[2021-05-14 19:29:40] [INFO ] Deduced a trap composed of 14 places in 69 ms
[2021-05-14 19:29:40] [INFO ] Deduced a trap composed of 47 places in 82 ms
[2021-05-14 19:29:41] [INFO ] Deduced a trap composed of 36 places in 106 ms
[2021-05-14 19:29:41] [INFO ] Deduced a trap composed of 47 places in 107 ms
[2021-05-14 19:29:41] [INFO ] Deduced a trap composed of 58 places in 64 ms
[2021-05-14 19:29:41] [INFO ] Deduced a trap composed of 70 places in 69 ms
[2021-05-14 19:29:41] [INFO ] Deduced a trap composed of 70 places in 69 ms
[2021-05-14 19:29:41] [INFO ] Deduced a trap composed of 37 places in 72 ms
[2021-05-14 19:29:41] [INFO ] Trap strengthening (SAT) tested/added 35/34 trap constraints in 4679 ms
[2021-05-14 19:29:41] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 29 ms.
[2021-05-14 19:29:46] [INFO ] Added : 596 causal constraints over 120 iterations in 4703 ms. Result :sat
[2021-05-14 19:29:46] [INFO ] Deduced a trap composed of 80 places in 117 ms
[2021-05-14 19:29:46] [INFO ] Deduced a trap composed of 66 places in 126 ms
[2021-05-14 19:29:46] [INFO ] Deduced a trap composed of 57 places in 99 ms
[2021-05-14 19:29:46] [INFO ] Deduced a trap composed of 66 places in 95 ms
[2021-05-14 19:29:46] [INFO ] Deduced a trap composed of 80 places in 57 ms
[2021-05-14 19:29:47] [INFO ] Deduced a trap composed of 79 places in 58 ms
[2021-05-14 19:29:47] [INFO ] Trap strengthening (SAT) tested/added 7/6 trap constraints in 922 ms
[2021-05-14 19:29:47] [INFO ] [Real]Absence check using 14 positive place invariants in 14 ms returned sat
[2021-05-14 19:29:47] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:29:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:29:47] [INFO ] [Real]Absence check using state equation in 613 ms returned sat
[2021-05-14 19:29:47] [INFO ] [Real]Added 132 Read/Feed constraints in 13 ms returned sat
[2021-05-14 19:29:47] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:29:47] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:29:47] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:29:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:29:48] [INFO ] [Nat]Absence check using state equation in 618 ms returned sat
[2021-05-14 19:29:48] [INFO ] [Nat]Added 132 Read/Feed constraints in 24 ms returned sat
[2021-05-14 19:29:48] [INFO ] Deduced a trap composed of 13 places in 117 ms
[2021-05-14 19:29:48] [INFO ] Deduced a trap composed of 63 places in 116 ms
[2021-05-14 19:29:48] [INFO ] Deduced a trap composed of 74 places in 118 ms
[2021-05-14 19:29:49] [INFO ] Deduced a trap composed of 36 places in 146 ms
[2021-05-14 19:29:49] [INFO ] Deduced a trap composed of 42 places in 152 ms
[2021-05-14 19:29:49] [INFO ] Deduced a trap composed of 61 places in 118 ms
[2021-05-14 19:29:49] [INFO ] Deduced a trap composed of 18 places in 115 ms
[2021-05-14 19:29:49] [INFO ] Deduced a trap composed of 71 places in 115 ms
[2021-05-14 19:29:49] [INFO ] Deduced a trap composed of 18 places in 117 ms
[2021-05-14 19:29:49] [INFO ] Deduced a trap composed of 61 places in 120 ms
[2021-05-14 19:29:50] [INFO ] Deduced a trap composed of 53 places in 111 ms
[2021-05-14 19:29:50] [INFO ] Deduced a trap composed of 59 places in 109 ms
[2021-05-14 19:29:50] [INFO ] Deduced a trap composed of 64 places in 117 ms
[2021-05-14 19:29:50] [INFO ] Deduced a trap composed of 67 places in 119 ms
[2021-05-14 19:29:50] [INFO ] Deduced a trap composed of 56 places in 159 ms
[2021-05-14 19:29:50] [INFO ] Deduced a trap composed of 80 places in 149 ms
[2021-05-14 19:29:51] [INFO ] Deduced a trap composed of 62 places in 110 ms
[2021-05-14 19:29:51] [INFO ] Deduced a trap composed of 25 places in 116 ms
[2021-05-14 19:29:51] [INFO ] Deduced a trap composed of 10 places in 116 ms
[2021-05-14 19:29:51] [INFO ] Deduced a trap composed of 25 places in 116 ms
[2021-05-14 19:29:51] [INFO ] Deduced a trap composed of 87 places in 108 ms
[2021-05-14 19:29:51] [INFO ] Deduced a trap composed of 62 places in 109 ms
[2021-05-14 19:29:51] [INFO ] Deduced a trap composed of 49 places in 117 ms
[2021-05-14 19:29:51] [INFO ] Deduced a trap composed of 69 places in 116 ms
[2021-05-14 19:29:52] [INFO ] Deduced a trap composed of 14 places in 108 ms
[2021-05-14 19:29:52] [INFO ] Deduced a trap composed of 36 places in 98 ms
[2021-05-14 19:29:52] [INFO ] Deduced a trap composed of 58 places in 97 ms
[2021-05-14 19:29:52] [INFO ] Deduced a trap composed of 47 places in 98 ms
[2021-05-14 19:29:52] [INFO ] Deduced a trap composed of 36 places in 99 ms
[2021-05-14 19:29:52] [INFO ] Deduced a trap composed of 35 places in 102 ms
[2021-05-14 19:29:52] [INFO ] Deduced a trap composed of 46 places in 134 ms
[2021-05-14 19:29:52] [INFO ] Deduced a trap composed of 45 places in 126 ms
[2021-05-14 19:29:53] [INFO ] Deduced a trap composed of 10 places in 102 ms
[2021-05-14 19:29:53] [INFO ] Deduced a trap composed of 42 places in 71 ms
[2021-05-14 19:29:53] [INFO ] Trap strengthening (SAT) tested/added 35/34 trap constraints in 4652 ms
[2021-05-14 19:29:53] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 31 ms.
[2021-05-14 19:29:55] [INFO ] Added : 389 causal constraints over 78 iterations in 2633 ms. Result :sat
[2021-05-14 19:29:56] [INFO ] Deduced a trap composed of 22 places in 153 ms
[2021-05-14 19:29:56] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 220 ms
[2021-05-14 19:29:56] [INFO ] [Real]Absence check using 14 positive place invariants in 14 ms returned sat
[2021-05-14 19:29:56] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:29:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:29:56] [INFO ] [Real]Absence check using state equation in 609 ms returned sat
[2021-05-14 19:29:56] [INFO ] [Real]Added 132 Read/Feed constraints in 13 ms returned sat
[2021-05-14 19:29:56] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:29:56] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:29:56] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:29:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:29:57] [INFO ] [Nat]Absence check using state equation in 606 ms returned sat
[2021-05-14 19:29:57] [INFO ] [Nat]Added 132 Read/Feed constraints in 26 ms returned sat
[2021-05-14 19:29:57] [INFO ] Deduced a trap composed of 107 places in 117 ms
[2021-05-14 19:29:57] [INFO ] Deduced a trap composed of 36 places in 116 ms
[2021-05-14 19:29:57] [INFO ] Deduced a trap composed of 18 places in 116 ms
[2021-05-14 19:29:57] [INFO ] Deduced a trap composed of 18 places in 119 ms
[2021-05-14 19:29:58] [INFO ] Deduced a trap composed of 62 places in 116 ms
[2021-05-14 19:29:58] [INFO ] Deduced a trap composed of 62 places in 109 ms
[2021-05-14 19:29:58] [INFO ] Deduced a trap composed of 125 places in 119 ms
[2021-05-14 19:29:58] [INFO ] Deduced a trap composed of 70 places in 145 ms
[2021-05-14 19:29:58] [INFO ] Deduced a trap composed of 62 places in 143 ms
[2021-05-14 19:29:58] [INFO ] Deduced a trap composed of 43 places in 108 ms
[2021-05-14 19:29:58] [INFO ] Deduced a trap composed of 84 places in 105 ms
[2021-05-14 19:29:59] [INFO ] Deduced a trap composed of 32 places in 146 ms
[2021-05-14 19:29:59] [INFO ] Deduced a trap composed of 25 places in 142 ms
[2021-05-14 19:29:59] [INFO ] Deduced a trap composed of 36 places in 144 ms
[2021-05-14 19:29:59] [INFO ] Deduced a trap composed of 21 places in 139 ms
[2021-05-14 19:29:59] [INFO ] Deduced a trap composed of 10 places in 139 ms
[2021-05-14 19:29:59] [INFO ] Deduced a trap composed of 10 places in 167 ms
[2021-05-14 19:30:00] [INFO ] Deduced a trap composed of 32 places in 138 ms
[2021-05-14 19:30:00] [INFO ] Deduced a trap composed of 103 places in 138 ms
[2021-05-14 19:30:00] [INFO ] Deduced a trap composed of 32 places in 124 ms
[2021-05-14 19:30:00] [INFO ] Deduced a trap composed of 50 places in 98 ms
[2021-05-14 19:30:00] [INFO ] Deduced a trap composed of 100 places in 140 ms
[2021-05-14 19:30:00] [INFO ] Deduced a trap composed of 25 places in 115 ms
[2021-05-14 19:30:01] [INFO ] Deduced a trap composed of 44 places in 143 ms
[2021-05-14 19:30:01] [INFO ] Trap strengthening (SAT) tested/added 25/24 trap constraints in 3649 ms
[2021-05-14 19:30:01] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 30 ms.
[2021-05-14 19:30:06] [INFO ] Added : 624 causal constraints over 125 iterations in 5584 ms. Result :sat
[2021-05-14 19:30:06] [INFO ] Deduced a trap composed of 57 places in 138 ms
[2021-05-14 19:30:07] [INFO ] Deduced a trap composed of 38 places in 126 ms
[2021-05-14 19:30:07] [INFO ] Deduced a trap composed of 80 places in 130 ms
[2021-05-14 19:30:07] [INFO ] Deduced a trap composed of 58 places in 134 ms
[2021-05-14 19:30:07] [INFO ] Deduced a trap composed of 92 places in 126 ms
[2021-05-14 19:30:07] [INFO ] Deduced a trap composed of 28 places in 127 ms
[2021-05-14 19:30:07] [INFO ] Deduced a trap composed of 81 places in 91 ms
[2021-05-14 19:30:08] [INFO ] Deduced a trap composed of 14 places in 139 ms
[2021-05-14 19:30:08] [INFO ] Deduced a trap composed of 58 places in 103 ms
[2021-05-14 19:30:08] [INFO ] Deduced a trap composed of 58 places in 100 ms
[2021-05-14 19:30:08] [INFO ] Deduced a trap composed of 82 places in 92 ms
[2021-05-14 19:30:08] [INFO ] Deduced a trap composed of 42 places in 87 ms
[2021-05-14 19:30:09] [INFO ] Deduced a trap composed of 63 places in 133 ms
[2021-05-14 19:30:09] [INFO ] Deduced a trap composed of 38 places in 142 ms
[2021-05-14 19:30:09] [INFO ] Deduced a trap composed of 43 places in 151 ms
[2021-05-14 19:30:09] [INFO ] Deduced a trap composed of 55 places in 96 ms
[2021-05-14 19:30:09] [INFO ] Deduced a trap composed of 10 places in 105 ms
[2021-05-14 19:30:10] [INFO ] Deduced a trap composed of 22 places in 102 ms
[2021-05-14 19:30:10] [INFO ] Trap strengthening (SAT) tested/added 19/18 trap constraints in 3417 ms
[2021-05-14 19:30:10] [INFO ] [Real]Absence check using 14 positive place invariants in 14 ms returned sat
[2021-05-14 19:30:10] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:30:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:30:10] [INFO ] [Real]Absence check using state equation in 611 ms returned sat
[2021-05-14 19:30:10] [INFO ] [Real]Added 132 Read/Feed constraints in 14 ms returned sat
[2021-05-14 19:30:10] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:30:10] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:30:10] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:30:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:30:11] [INFO ] [Nat]Absence check using state equation in 616 ms returned sat
[2021-05-14 19:30:11] [INFO ] [Nat]Added 132 Read/Feed constraints in 30 ms returned sat
[2021-05-14 19:30:11] [INFO ] Deduced a trap composed of 18 places in 148 ms
[2021-05-14 19:30:11] [INFO ] Deduced a trap composed of 14 places in 147 ms
[2021-05-14 19:30:12] [INFO ] Deduced a trap composed of 143 places in 148 ms
[2021-05-14 19:30:12] [INFO ] Deduced a trap composed of 115 places in 155 ms
[2021-05-14 19:30:12] [INFO ] Deduced a trap composed of 59 places in 151 ms
[2021-05-14 19:30:12] [INFO ] Deduced a trap composed of 112 places in 150 ms
[2021-05-14 19:30:12] [INFO ] Deduced a trap composed of 65 places in 150 ms
[2021-05-14 19:30:12] [INFO ] Deduced a trap composed of 31 places in 147 ms
[2021-05-14 19:30:13] [INFO ] Deduced a trap composed of 66 places in 149 ms
[2021-05-14 19:30:13] [INFO ] Deduced a trap composed of 47 places in 151 ms
[2021-05-14 19:30:13] [INFO ] Deduced a trap composed of 17 places in 148 ms
[2021-05-14 19:30:13] [INFO ] Deduced a trap composed of 44 places in 126 ms
[2021-05-14 19:30:13] [INFO ] Deduced a trap composed of 87 places in 127 ms
[2021-05-14 19:30:13] [INFO ] Deduced a trap composed of 91 places in 123 ms
[2021-05-14 19:30:13] [INFO ] Trap strengthening (SAT) tested/added 15/14 trap constraints in 2321 ms
[2021-05-14 19:30:13] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 34 ms.
[2021-05-14 19:30:18] [INFO ] Added : 588 causal constraints over 118 iterations in 4422 ms. Result :sat
[2021-05-14 19:30:18] [INFO ] Deduced a trap composed of 69 places in 159 ms
[2021-05-14 19:30:18] [INFO ] Deduced a trap composed of 10 places in 166 ms
[2021-05-14 19:30:18] [INFO ] Deduced a trap composed of 38 places in 151 ms
[2021-05-14 19:30:19] [INFO ] Deduced a trap composed of 57 places in 142 ms
[2021-05-14 19:30:19] [INFO ] Deduced a trap composed of 44 places in 114 ms
[2021-05-14 19:30:19] [INFO ] Deduced a trap composed of 44 places in 113 ms
[2021-05-14 19:30:19] [INFO ] Deduced a trap composed of 103 places in 84 ms
[2021-05-14 19:30:19] [INFO ] Deduced a trap composed of 65 places in 85 ms
[2021-05-14 19:30:19] [INFO ] Trap strengthening (SAT) tested/added 9/8 trap constraints in 1412 ms
[2021-05-14 19:30:19] [INFO ] [Real]Absence check using 14 positive place invariants in 15 ms returned sat
[2021-05-14 19:30:19] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:30:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:30:20] [INFO ] [Real]Absence check using state equation in 611 ms returned sat
[2021-05-14 19:30:20] [INFO ] [Real]Added 132 Read/Feed constraints in 14 ms returned sat
[2021-05-14 19:30:20] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:30:20] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:30:20] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:30:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:30:21] [INFO ] [Nat]Absence check using state equation in 612 ms returned sat
[2021-05-14 19:30:21] [INFO ] [Nat]Added 132 Read/Feed constraints in 30 ms returned sat
[2021-05-14 19:30:21] [INFO ] Deduced a trap composed of 62 places in 94 ms
[2021-05-14 19:30:21] [INFO ] Deduced a trap composed of 58 places in 94 ms
[2021-05-14 19:30:21] [INFO ] Deduced a trap composed of 114 places in 89 ms
[2021-05-14 19:30:21] [INFO ] Deduced a trap composed of 25 places in 96 ms
[2021-05-14 19:30:21] [INFO ] Deduced a trap composed of 14 places in 88 ms
[2021-05-14 19:30:21] [INFO ] Deduced a trap composed of 58 places in 97 ms
[2021-05-14 19:30:21] [INFO ] Deduced a trap composed of 39 places in 105 ms
[2021-05-14 19:30:22] [INFO ] Deduced a trap composed of 14 places in 104 ms
[2021-05-14 19:30:22] [INFO ] Deduced a trap composed of 14 places in 98 ms
[2021-05-14 19:30:22] [INFO ] Deduced a trap composed of 69 places in 69 ms
[2021-05-14 19:30:22] [INFO ] Deduced a trap composed of 58 places in 69 ms
[2021-05-14 19:30:22] [INFO ] Deduced a trap composed of 80 places in 101 ms
[2021-05-14 19:30:22] [INFO ] Deduced a trap composed of 80 places in 100 ms
[2021-05-14 19:30:22] [INFO ] Deduced a trap composed of 80 places in 99 ms
[2021-05-14 19:30:22] [INFO ] Trap strengthening (SAT) tested/added 15/14 trap constraints in 1603 ms
[2021-05-14 19:30:22] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 30 ms.
[2021-05-14 19:30:26] [INFO ] Added : 481 causal constraints over 97 iterations in 3489 ms. Result :sat
[2021-05-14 19:30:26] [INFO ] Deduced a trap composed of 61 places in 176 ms
[2021-05-14 19:30:26] [INFO ] Deduced a trap composed of 80 places in 177 ms
[2021-05-14 19:30:26] [INFO ] Deduced a trap composed of 50 places in 163 ms
[2021-05-14 19:30:27] [INFO ] Deduced a trap composed of 17 places in 156 ms
[2021-05-14 19:30:27] [INFO ] Deduced a trap composed of 71 places in 144 ms
[2021-05-14 19:30:27] [INFO ] Deduced a trap composed of 63 places in 141 ms
[2021-05-14 19:30:27] [INFO ] Deduced a trap composed of 79 places in 142 ms
[2021-05-14 19:30:27] [INFO ] Deduced a trap composed of 80 places in 141 ms
[2021-05-14 19:30:27] [INFO ] Deduced a trap composed of 40 places in 137 ms
[2021-05-14 19:30:28] [INFO ] Deduced a trap composed of 34 places in 132 ms
[2021-05-14 19:30:28] [INFO ] Trap strengthening (SAT) tested/added 11/10 trap constraints in 2039 ms
[2021-05-14 19:30:28] [INFO ] [Real]Absence check using 14 positive place invariants in 14 ms returned sat
[2021-05-14 19:30:28] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:30:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:30:28] [INFO ] [Real]Absence check using state equation in 611 ms returned sat
[2021-05-14 19:30:28] [INFO ] [Real]Added 132 Read/Feed constraints in 13 ms returned sat
[2021-05-14 19:30:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:30:28] [INFO ] [Nat]Absence check using 14 positive place invariants in 16 ms returned sat
[2021-05-14 19:30:28] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:30:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:30:29] [INFO ] [Nat]Absence check using state equation in 615 ms returned sat
[2021-05-14 19:30:29] [INFO ] [Nat]Added 132 Read/Feed constraints in 28 ms returned sat
[2021-05-14 19:30:29] [INFO ] Deduced a trap composed of 50 places in 146 ms
[2021-05-14 19:30:29] [INFO ] Deduced a trap composed of 76 places in 113 ms
[2021-05-14 19:30:30] [INFO ] Deduced a trap composed of 45 places in 110 ms
[2021-05-14 19:30:30] [INFO ] Deduced a trap composed of 14 places in 113 ms
[2021-05-14 19:30:30] [INFO ] Deduced a trap composed of 26 places in 146 ms
[2021-05-14 19:30:30] [INFO ] Deduced a trap composed of 47 places in 146 ms
[2021-05-14 19:30:30] [INFO ] Deduced a trap composed of 73 places in 147 ms
[2021-05-14 19:30:30] [INFO ] Deduced a trap composed of 14 places in 148 ms
[2021-05-14 19:30:31] [INFO ] Deduced a trap composed of 55 places in 146 ms
[2021-05-14 19:30:31] [INFO ] Deduced a trap composed of 14 places in 147 ms
[2021-05-14 19:30:31] [INFO ] Deduced a trap composed of 13 places in 161 ms
[2021-05-14 19:30:31] [INFO ] Deduced a trap composed of 47 places in 128 ms
[2021-05-14 19:30:31] [INFO ] Deduced a trap composed of 69 places in 129 ms
[2021-05-14 19:30:31] [INFO ] Deduced a trap composed of 83 places in 130 ms
[2021-05-14 19:30:31] [INFO ] Deduced a trap composed of 40 places in 77 ms
[2021-05-14 19:30:31] [INFO ] Deduced a trap composed of 62 places in 77 ms
[2021-05-14 19:30:32] [INFO ] Deduced a trap composed of 94 places in 80 ms
[2021-05-14 19:30:32] [INFO ] Deduced a trap composed of 69 places in 80 ms
[2021-05-14 19:30:32] [INFO ] Deduced a trap composed of 47 places in 81 ms
[2021-05-14 19:30:32] [INFO ] Deduced a trap composed of 10 places in 105 ms
[2021-05-14 19:30:32] [INFO ] Deduced a trap composed of 70 places in 63 ms
[2021-05-14 19:30:32] [INFO ] Deduced a trap composed of 30 places in 76 ms
[2021-05-14 19:30:32] [INFO ] Deduced a trap composed of 41 places in 76 ms
[2021-05-14 19:30:32] [INFO ] Trap strengthening (SAT) tested/added 24/23 trap constraints in 3138 ms
[2021-05-14 19:30:32] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 30 ms.
[2021-05-14 19:30:36] [INFO ] Added : 476 causal constraints over 96 iterations in 3806 ms. Result :sat
[2021-05-14 19:30:36] [INFO ] Deduced a trap composed of 100 places in 154 ms
[2021-05-14 19:30:36] [INFO ] Deduced a trap composed of 54 places in 152 ms
[2021-05-14 19:30:37] [INFO ] Deduced a trap composed of 54 places in 146 ms
[2021-05-14 19:30:37] [INFO ] Deduced a trap composed of 54 places in 147 ms
[2021-05-14 19:30:37] [INFO ] Deduced a trap composed of 32 places in 144 ms
[2021-05-14 19:30:37] [INFO ] Deduced a trap composed of 54 places in 146 ms
[2021-05-14 19:30:37] [INFO ] Deduced a trap composed of 40 places in 118 ms
[2021-05-14 19:30:38] [INFO ] Deduced a trap composed of 61 places in 103 ms
[2021-05-14 19:30:38] [INFO ] Deduced a trap composed of 45 places in 121 ms
[2021-05-14 19:30:38] [INFO ] Trap strengthening (SAT) tested/added 10/9 trap constraints in 1951 ms
[2021-05-14 19:30:38] [INFO ] [Real]Absence check using 14 positive place invariants in 15 ms returned sat
[2021-05-14 19:30:38] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:30:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:30:39] [INFO ] [Real]Absence check using state equation in 621 ms returned sat
[2021-05-14 19:30:39] [INFO ] [Real]Added 132 Read/Feed constraints in 13 ms returned sat
[2021-05-14 19:30:39] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:30:39] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:30:39] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:30:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:30:39] [INFO ] [Nat]Absence check using state equation in 614 ms returned sat
[2021-05-14 19:30:39] [INFO ] [Nat]Added 132 Read/Feed constraints in 28 ms returned sat
[2021-05-14 19:30:40] [INFO ] Deduced a trap composed of 25 places in 119 ms
[2021-05-14 19:30:40] [INFO ] Deduced a trap composed of 37 places in 116 ms
[2021-05-14 19:30:40] [INFO ] Deduced a trap composed of 47 places in 117 ms
[2021-05-14 19:30:40] [INFO ] Deduced a trap composed of 58 places in 118 ms
[2021-05-14 19:30:40] [INFO ] Deduced a trap composed of 58 places in 115 ms
[2021-05-14 19:30:40] [INFO ] Deduced a trap composed of 14 places in 116 ms
[2021-05-14 19:30:40] [INFO ] Deduced a trap composed of 101 places in 118 ms
[2021-05-14 19:30:41] [INFO ] Deduced a trap composed of 58 places in 109 ms
[2021-05-14 19:30:41] [INFO ] Deduced a trap composed of 50 places in 124 ms
[2021-05-14 19:30:41] [INFO ] Deduced a trap composed of 25 places in 126 ms
[2021-05-14 19:30:41] [INFO ] Deduced a trap composed of 25 places in 128 ms
[2021-05-14 19:30:41] [INFO ] Deduced a trap composed of 62 places in 66 ms
[2021-05-14 19:30:41] [INFO ] Deduced a trap composed of 61 places in 66 ms
[2021-05-14 19:30:41] [INFO ] Trap strengthening (SAT) tested/added 14/13 trap constraints in 1735 ms
[2021-05-14 19:30:41] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 31 ms.
[2021-05-14 19:30:44] [INFO ] Added : 331 causal constraints over 67 iterations in 2445 ms. Result :sat
[2021-05-14 19:30:44] [INFO ] Deduced a trap composed of 47 places in 121 ms
[2021-05-14 19:30:44] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 186 ms
[2021-05-14 19:30:44] [INFO ] [Real]Absence check using 14 positive place invariants in 15 ms returned sat
[2021-05-14 19:30:44] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:30:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:30:44] [INFO ] [Real]Absence check using state equation in 614 ms returned sat
[2021-05-14 19:30:45] [INFO ] [Real]Added 132 Read/Feed constraints in 15 ms returned sat
[2021-05-14 19:30:45] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:30:45] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:30:45] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:30:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:30:45] [INFO ] [Nat]Absence check using state equation in 618 ms returned sat
[2021-05-14 19:30:45] [INFO ] [Nat]Added 132 Read/Feed constraints in 31 ms returned sat
[2021-05-14 19:30:45] [INFO ] Deduced a trap composed of 14 places in 145 ms
[2021-05-14 19:30:46] [INFO ] Deduced a trap composed of 25 places in 146 ms
[2021-05-14 19:30:46] [INFO ] Deduced a trap composed of 36 places in 148 ms
[2021-05-14 19:30:46] [INFO ] Deduced a trap composed of 36 places in 144 ms
[2021-05-14 19:30:46] [INFO ] Deduced a trap composed of 14 places in 145 ms
[2021-05-14 19:30:46] [INFO ] Deduced a trap composed of 39 places in 146 ms
[2021-05-14 19:30:46] [INFO ] Deduced a trap composed of 14 places in 145 ms
[2021-05-14 19:30:47] [INFO ] Deduced a trap composed of 61 places in 133 ms
[2021-05-14 19:30:47] [INFO ] Deduced a trap composed of 82 places in 136 ms
[2021-05-14 19:30:47] [INFO ] Deduced a trap composed of 69 places in 134 ms
[2021-05-14 19:30:47] [INFO ] Deduced a trap composed of 69 places in 139 ms
[2021-05-14 19:30:47] [INFO ] Deduced a trap composed of 62 places in 67 ms
[2021-05-14 19:30:47] [INFO ] Deduced a trap composed of 15 places in 144 ms
[2021-05-14 19:30:47] [INFO ] Deduced a trap composed of 47 places in 121 ms
[2021-05-14 19:30:48] [INFO ] Deduced a trap composed of 58 places in 121 ms
[2021-05-14 19:30:48] [INFO ] Deduced a trap composed of 80 places in 141 ms
[2021-05-14 19:30:48] [INFO ] Deduced a trap composed of 48 places in 143 ms
[2021-05-14 19:30:48] [INFO ] Deduced a trap composed of 47 places in 142 ms
[2021-05-14 19:30:48] [INFO ] Deduced a trap composed of 57 places in 143 ms
[2021-05-14 19:30:48] [INFO ] Deduced a trap composed of 58 places in 126 ms
[2021-05-14 19:30:49] [INFO ] Deduced a trap composed of 36 places in 137 ms
[2021-05-14 19:30:49] [INFO ] Deduced a trap composed of 38 places in 145 ms
[2021-05-14 19:30:49] [INFO ] Deduced a trap composed of 19 places in 135 ms
[2021-05-14 19:30:49] [INFO ] Deduced a trap composed of 10 places in 138 ms
[2021-05-14 19:30:49] [INFO ] Deduced a trap composed of 27 places in 128 ms
[2021-05-14 19:30:49] [INFO ] Deduced a trap composed of 43 places in 140 ms
[2021-05-14 19:30:49] [INFO ] Deduced a trap composed of 39 places in 151 ms
[2021-05-14 19:30:50] [INFO ] Trap strengthening (SAT) tested/added 28/27 trap constraints in 4285 ms
[2021-05-14 19:30:50] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 30 ms.
[2021-05-14 19:30:55] [INFO ] Added : 549 causal constraints over 110 iterations in 5116 ms. Result :sat
[2021-05-14 19:30:55] [INFO ] Deduced a trap composed of 65 places in 103 ms
[2021-05-14 19:30:55] [INFO ] Deduced a trap composed of 67 places in 105 ms
[2021-05-14 19:30:55] [INFO ] Deduced a trap composed of 145 places in 92 ms
[2021-05-14 19:30:55] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 548 ms
[2021-05-14 19:30:55] [INFO ] [Real]Absence check using 14 positive place invariants in 14 ms returned sat
[2021-05-14 19:30:55] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:30:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:30:56] [INFO ] [Real]Absence check using state equation in 609 ms returned sat
[2021-05-14 19:30:56] [INFO ] [Real]Added 132 Read/Feed constraints in 13 ms returned sat
[2021-05-14 19:30:56] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:30:56] [INFO ] [Nat]Absence check using 14 positive place invariants in 20 ms returned sat
[2021-05-14 19:30:56] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 5 ms returned sat
[2021-05-14 19:30:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:30:57] [INFO ] [Nat]Absence check using state equation in 614 ms returned sat
[2021-05-14 19:30:57] [INFO ] [Nat]Added 132 Read/Feed constraints in 25 ms returned sat
[2021-05-14 19:30:57] [INFO ] Deduced a trap composed of 17 places in 98 ms
[2021-05-14 19:30:57] [INFO ] Deduced a trap composed of 18 places in 107 ms
[2021-05-14 19:30:57] [INFO ] Deduced a trap composed of 25 places in 99 ms
[2021-05-14 19:30:57] [INFO ] Deduced a trap composed of 20 places in 99 ms
[2021-05-14 19:30:57] [INFO ] Deduced a trap composed of 69 places in 120 ms
[2021-05-14 19:30:57] [INFO ] Deduced a trap composed of 58 places in 119 ms
[2021-05-14 19:30:57] [INFO ] Deduced a trap composed of 58 places in 120 ms
[2021-05-14 19:30:58] [INFO ] Deduced a trap composed of 80 places in 121 ms
[2021-05-14 19:30:58] [INFO ] Deduced a trap composed of 80 places in 118 ms
[2021-05-14 19:30:58] [INFO ] Deduced a trap composed of 69 places in 69 ms
[2021-05-14 19:30:58] [INFO ] Deduced a trap composed of 19 places in 102 ms
[2021-05-14 19:30:58] [INFO ] Deduced a trap composed of 69 places in 69 ms
[2021-05-14 19:30:58] [INFO ] Deduced a trap composed of 91 places in 118 ms
[2021-05-14 19:30:58] [INFO ] Deduced a trap composed of 95 places in 117 ms
[2021-05-14 19:30:58] [INFO ] Deduced a trap composed of 91 places in 117 ms
[2021-05-14 19:30:59] [INFO ] Trap strengthening (SAT) tested/added 16/15 trap constraints in 1928 ms
[2021-05-14 19:30:59] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 30 ms.
[2021-05-14 19:31:03] [INFO ] Added : 555 causal constraints over 111 iterations in 4022 ms. Result :sat
[2021-05-14 19:31:03] [INFO ] Deduced a trap composed of 32 places in 132 ms
[2021-05-14 19:31:03] [INFO ] Deduced a trap composed of 98 places in 133 ms
[2021-05-14 19:31:03] [INFO ] Deduced a trap composed of 57 places in 129 ms
[2021-05-14 19:31:03] [INFO ] Deduced a trap composed of 91 places in 148 ms
[2021-05-14 19:31:03] [INFO ] Deduced a trap composed of 73 places in 148 ms
[2021-05-14 19:31:04] [INFO ] Deduced a trap composed of 36 places in 147 ms
[2021-05-14 19:31:04] [INFO ] Deduced a trap composed of 36 places in 148 ms
[2021-05-14 19:31:04] [INFO ] Deduced a trap composed of 39 places in 148 ms
[2021-05-14 19:31:04] [INFO ] Trap strengthening (SAT) tested/added 9/8 trap constraints in 1583 ms
[2021-05-14 19:31:04] [INFO ] [Real]Absence check using 14 positive place invariants in 14 ms returned sat
[2021-05-14 19:31:04] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:31:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:31:05] [INFO ] [Real]Absence check using state equation in 615 ms returned sat
[2021-05-14 19:31:05] [INFO ] [Real]Added 132 Read/Feed constraints in 16 ms returned sat
[2021-05-14 19:31:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:31:05] [INFO ] [Nat]Absence check using 14 positive place invariants in 17 ms returned sat
[2021-05-14 19:31:05] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 6 ms returned sat
[2021-05-14 19:31:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:31:06] [INFO ] [Nat]Absence check using state equation in 614 ms returned sat
[2021-05-14 19:31:06] [INFO ] [Nat]Added 132 Read/Feed constraints in 28 ms returned sat
[2021-05-14 19:31:06] [INFO ] Deduced a trap composed of 48 places in 115 ms
[2021-05-14 19:31:06] [INFO ] Deduced a trap composed of 49 places in 116 ms
[2021-05-14 19:31:06] [INFO ] Deduced a trap composed of 14 places in 113 ms
[2021-05-14 19:31:06] [INFO ] Deduced a trap composed of 65 places in 113 ms
[2021-05-14 19:31:06] [INFO ] Deduced a trap composed of 73 places in 109 ms
[2021-05-14 19:31:06] [INFO ] Deduced a trap composed of 48 places in 114 ms
[2021-05-14 19:31:06] [INFO ] Deduced a trap composed of 40 places in 113 ms
[2021-05-14 19:31:07] [INFO ] Deduced a trap composed of 18 places in 112 ms
[2021-05-14 19:31:07] [INFO ] Deduced a trap composed of 25 places in 123 ms
[2021-05-14 19:31:07] [INFO ] Deduced a trap composed of 17 places in 109 ms
[2021-05-14 19:31:07] [INFO ] Deduced a trap composed of 18 places in 113 ms
[2021-05-14 19:31:07] [INFO ] Deduced a trap composed of 69 places in 83 ms
[2021-05-14 19:31:07] [INFO ] Deduced a trap composed of 62 places in 81 ms
[2021-05-14 19:31:07] [INFO ] Deduced a trap composed of 69 places in 76 ms
[2021-05-14 19:31:07] [INFO ] Deduced a trap composed of 58 places in 83 ms
[2021-05-14 19:31:08] [INFO ] Deduced a trap composed of 38 places in 76 ms
[2021-05-14 19:31:08] [INFO ] Deduced a trap composed of 105 places in 121 ms
[2021-05-14 19:31:08] [INFO ] Deduced a trap composed of 62 places in 129 ms
[2021-05-14 19:31:08] [INFO ] Deduced a trap composed of 148 places in 97 ms
[2021-05-14 19:31:08] [INFO ] Deduced a trap composed of 83 places in 91 ms
[2021-05-14 19:31:08] [INFO ] Deduced a trap composed of 62 places in 56 ms
[2021-05-14 19:31:08] [INFO ] Deduced a trap composed of 69 places in 83 ms
[2021-05-14 19:31:08] [INFO ] Deduced a trap composed of 57 places in 119 ms
[2021-05-14 19:31:08] [INFO ] Deduced a trap composed of 122 places in 101 ms
[2021-05-14 19:31:09] [INFO ] Deduced a trap composed of 58 places in 59 ms
[2021-05-14 19:31:09] [INFO ] Deduced a trap composed of 85 places in 90 ms
[2021-05-14 19:31:09] [INFO ] Trap strengthening (SAT) tested/added 27/26 trap constraints in 3147 ms
[2021-05-14 19:31:09] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 30 ms.
[2021-05-14 19:31:13] [INFO ] Added : 553 causal constraints over 111 iterations in 4208 ms. Result :sat
[2021-05-14 19:31:13] [INFO ] Deduced a trap composed of 13 places in 146 ms
[2021-05-14 19:31:13] [INFO ] Deduced a trap composed of 32 places in 133 ms
[2021-05-14 19:31:13] [INFO ] Deduced a trap composed of 123 places in 134 ms
[2021-05-14 19:31:14] [INFO ] Deduced a trap composed of 58 places in 74 ms
[2021-05-14 19:31:14] [INFO ] Deduced a trap composed of 79 places in 64 ms
[2021-05-14 19:31:14] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 847 ms
[2021-05-14 19:31:14] [INFO ] [Real]Absence check using 14 positive place invariants in 16 ms returned sat
[2021-05-14 19:31:14] [INFO ] [Real]Absence check using 14 positive and 5 generalized place invariants in 8 ms returned sat
[2021-05-14 19:31:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-14 19:31:14] [INFO ] [Real]Absence check using state equation in 676 ms returned sat
[2021-05-14 19:31:15] [INFO ] [Real]Added 132 Read/Feed constraints in 13 ms returned sat
[2021-05-14 19:31:15] [INFO ] Solution in real domain found non-integer solution.
[2021-05-14 19:31:15] [INFO ] [Nat]Absence check using 14 positive place invariants in 20 ms returned sat
[2021-05-14 19:31:15] [INFO ] [Nat]Absence check using 14 positive and 5 generalized place invariants in 7 ms returned sat
[2021-05-14 19:31:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-14 19:31:15] [INFO ] [Nat]Absence check using state equation in 681 ms returned sat
[2021-05-14 19:31:15] [INFO ] [Nat]Added 132 Read/Feed constraints in 28 ms returned sat
[2021-05-14 19:31:15] [INFO ] Deduced a trap composed of 62 places in 152 ms
[2021-05-14 19:31:16] [INFO ] Deduced a trap composed of 18 places in 153 ms
[2021-05-14 19:31:16] [INFO ] Deduced a trap composed of 47 places in 153 ms
[2021-05-14 19:31:16] [INFO ] Deduced a trap composed of 40 places in 154 ms
[2021-05-14 19:31:16] [INFO ] Deduced a trap composed of 40 places in 154 ms
[2021-05-14 19:31:16] [INFO ] Deduced a trap composed of 14 places in 154 ms
[2021-05-14 19:31:17] [INFO ] Deduced a trap composed of 25 places in 152 ms
[2021-05-14 19:31:17] [INFO ] Deduced a trap composed of 25 places in 154 ms
[2021-05-14 19:31:17] [INFO ] Deduced a trap composed of 32 places in 135 ms
[2021-05-14 19:31:17] [INFO ] Deduced a trap composed of 101 places in 152 ms
[2021-05-14 19:31:17] [INFO ] Deduced a trap composed of 114 places in 225 ms
[2021-05-14 19:31:17] [INFO ] Deduced a trap composed of 18 places in 154 ms
[2021-05-14 19:31:18] [INFO ] Deduced a trap composed of 10 places in 150 ms
[2021-05-14 19:31:18] [INFO ] Deduced a trap composed of 25 places in 146 ms
[2021-05-14 19:31:18] [INFO ] Deduced a trap composed of 91 places in 136 ms
[2021-05-14 19:31:18] [INFO ] Deduced a trap composed of 47 places in 143 ms
[2021-05-14 19:31:18] [INFO ] Deduced a trap composed of 62 places in 142 ms
[2021-05-14 19:31:18] [INFO ] Deduced a trap composed of 87 places in 143 ms
[2021-05-14 19:31:19] [INFO ] Deduced a trap composed of 63 places in 152 ms
[2021-05-14 19:31:19] [INFO ] Deduced a trap composed of 76 places in 155 ms
[2021-05-14 19:31:19] [INFO ] Deduced a trap composed of 18 places in 109 ms
[2021-05-14 19:31:19] [INFO ] Trap strengthening (SAT) tested/added 22/21 trap constraints in 3622 ms
[2021-05-14 19:31:19] [INFO ] Computed and/alt/rep : 685/2230/625 causal constraints in 29 ms.
[2021-05-14 19:31:22] [INFO ] Added : 425 causal constraints over 85 iterations in 3022 ms. Result :sat
[2021-05-14 19:31:22] [INFO ] Deduced a trap composed of 17 places in 133 ms
[2021-05-14 19:31:22] [INFO ] Deduced a trap composed of 69 places in 110 ms
[2021-05-14 19:31:22] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 357 ms
[2021-05-14 19:31:22] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2021-05-14 19:31:22] [INFO ] Flatten gal took : 99 ms
FORMULA Peterson-COL-4-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Peterson-COL-4-05 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Peterson-COL-4-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-14 19:31:23] [INFO ] Applying decomposition
[2021-05-14 19:31:23] [INFO ] Flatten gal took : 47 ms
[2021-05-14 19:31:23] [INFO ] Decomposing Gal with order
[2021-05-14 19:31:23] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-14 19:31:23] [INFO ] Removed a total of 570 redundant transitions.
[2021-05-14 19:31:23] [INFO ] Flatten gal took : 105 ms
[2021-05-14 19:31:23] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 6 ms.
[2021-05-14 19:31:23] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 14 ms.
[2021-05-14 19:31:23] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 10 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ Peterson-COL-4 @ 3570 seconds

FORMULA Peterson-COL-4-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Peterson-COL-4-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Peterson-COL-4-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Peterson-COL-4-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Peterson-COL-4-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Peterson-COL-4-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Peterson-COL-4-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Peterson-COL-4-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Peterson-COL-4-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Peterson-COL-4-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Peterson-COL-4-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Peterson-COL-4-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16427332 kB
MemFree: 2904536 kB
After kill :
MemTotal: 16427332 kB
MemFree: 3014340 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="Peterson-COL-4"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="gold2020"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool gold2020"
echo " Input is Peterson-COL-4, 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 r151-tall-162089151400286"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' LTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;