Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2024-input.r122-smll-171624283300207.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-5568
Executing tool greatspnxred
Input is DLCshifumi-PT-4b, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r122-smll-171624283300207
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.6M
-rw-r--r-- 1 mcc users 7.2K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:42 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Apr 22 14:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 22 14:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 22 14:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 22 14:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Apr 13 05:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 148K Apr 13 05:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Apr 13 05:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 95K Apr 13 05:59 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 22 14:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 22 14:38 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 3 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 5.1M May 18 16:42 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME QuasiLiveness

=== Now, execution of the tool begins

BK_START 1716328797949

Invoking MCC driver with
BK_TOOL=greatspnxred
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=DLCshifumi-PT-4b
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2024-05-21 22:00:00] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -timeout, 180, -rebuildPNML]
[2024-05-21 22:00:00] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-21 22:00:02] [INFO ] Load time of PNML (sax parser for PT used): 1310 ms
[2024-05-21 22:00:02] [INFO ] Transformed 15015 places.
[2024-05-21 22:00:02] [INFO ] Transformed 21341 transitions.
[2024-05-21 22:00:02] [INFO ] Found NUPN structural information;
[2024-05-21 22:00:02] [INFO ] Parsed PT model containing 15015 places and 21341 transitions and 56284 arcs in 2302 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 15015/15015 places, 21341/21341 transitions.
Graph (trivial) has 14195 edges and 15015 vertex of which 1424 / 15015 are part of one of the 91 SCC in 78 ms
Free SCC test removed 1333 places
Ensure Unique test removed 1416 transitions
Reduce isomorphic transitions removed 1416 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 7305 transitions
Trivial Post-agglo rules discarded 7305 transitions
Performed 7305 trivial Post agglomeration. Transition count delta: 7305
Iterating post reduction 0 with 7305 rules applied. Total rules applied 7306 place count 13682 transition count 12620
Reduce places removed 7305 places and 0 transitions.
Ensure Unique test removed 237 transitions
Reduce isomorphic transitions removed 237 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 233 transitions
Trivial Post-agglo rules discarded 233 transitions
Performed 233 trivial Post agglomeration. Transition count delta: 233
Iterating post reduction 1 with 7775 rules applied. Total rules applied 15081 place count 6377 transition count 12150
Reduce places removed 233 places and 0 transitions.
Ensure Unique test removed 75 transitions
Reduce isomorphic transitions removed 75 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 75 transitions
Trivial Post-agglo rules discarded 75 transitions
Performed 75 trivial Post agglomeration. Transition count delta: 75
Iterating post reduction 2 with 383 rules applied. Total rules applied 15464 place count 6144 transition count 12000
Reduce places removed 75 places and 0 transitions.
Iterating post reduction 3 with 75 rules applied. Total rules applied 15539 place count 6069 transition count 12000
Performed 75 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 75 Pre rules applied. Total rules applied 15539 place count 6069 transition count 11925
Deduced a syphon composed of 75 places in 358 ms
Reduce places removed 75 places and 0 transitions.
Iterating global reduction 4 with 150 rules applied. Total rules applied 15689 place count 5994 transition count 11925
Performed 3268 Post agglomeration using F-continuation condition.Transition count delta: 3268
Deduced a syphon composed of 3268 places in 3 ms
Reduce places removed 3268 places and 0 transitions.
Iterating global reduction 4 with 6536 rules applied. Total rules applied 22225 place count 2726 transition count 8657
Renaming transitions due to excessive name length > 1024 char.
Performed 101 Post agglomeration using F-continuation condition with reduction of 132 identical transitions.
Deduced a syphon composed of 101 places in 8 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 4 with 202 rules applied. Total rules applied 22427 place count 2625 transition count 8993
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 22428 place count 2625 transition count 8992
Performed 101 Post agglomeration using F-continuation condition with reduction of 132 identical transitions.
Deduced a syphon composed of 101 places in 5 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 5 with 202 rules applied. Total rules applied 22630 place count 2524 transition count 9330
Performed 26 Post agglomeration using F-continuation condition with reduction of 32 identical transitions.
Deduced a syphon composed of 26 places in 4 ms
Reduce places removed 26 places and 0 transitions.
Iterating global reduction 5 with 52 rules applied. Total rules applied 22682 place count 2498 transition count 9435
Applied a total of 22682 rules in 2784 ms. Remains 2498 /15015 variables (removed 12517) and now considering 9435/21341 (removed 11906) transitions.
[2024-05-21 22:00:05] [INFO ] Flow matrix only has 9032 transitions (discarded 403 similar events)
// Phase 1: matrix 9032 rows 2498 cols
[2024-05-21 22:00:05] [INFO ] Computed 691 invariants in 77 ms
[2024-05-21 22:00:10] [INFO ] Implicit Places using invariants in 4608 ms returned []
[2024-05-21 22:00:10] [INFO ] Flow matrix only has 9032 transitions (discarded 403 similar events)
[2024-05-21 22:00:10] [INFO ] Invariant cache hit.
[2024-05-21 22:00:15] [INFO ] State equation strengthened by 927 read => feed constraints.
[2024-05-21 22:00:39] [INFO ] Implicit Places using invariants and state equation in 29455 ms returned []
Implicit Place search using SMT with State Equation took 34108 ms to find 0 implicit places.
Running 9427 sub problems to find dead transitions.
[2024-05-21 22:00:40] [INFO ] Flow matrix only has 9032 transitions (discarded 403 similar events)
[2024-05-21 22:00:40] [INFO ] Invariant cache hit.
[2024-05-21 22:00:40] [INFO ] State equation strengthened by 927 read => feed constraints.
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/2497 variables, 2497/2497 constraints. Problems are: Problem set: 0 solved, 9427 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 2497/11530 variables, and 2497 constraints, problems are : Problem set: 0 solved, 9427 unsolved in 30533 ms.
Refiners :[Domain max(s): 2497/2498 constraints, Positive P Invariants (semi-flows): 0/691 constraints, State Equation: 0/2498 constraints, ReadFeed: 0/927 constraints, PredecessorRefiner: 9427/9427 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 9427 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/2497 variables, 2497/2497 constraints. Problems are: Problem set: 0 solved, 9427 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 2497/11530 variables, and 2497 constraints, problems are : Problem set: 0 solved, 9427 unsolved in 30308 ms.
Refiners :[Domain max(s): 2497/2498 constraints, Positive P Invariants (semi-flows): 0/691 constraints, State Equation: 0/2498 constraints, ReadFeed: 0/927 constraints, PredecessorRefiner: 0/9427 constraints, Known Traps: 0/0 constraints]
After SMT, in 89626ms problems are : Problem set: 0 solved, 9427 unsolved
Search for dead transitions found 0 dead transitions in 89980ms
Starting structural reductions in LIVENESS mode, iteration 1 : 2498/15015 places, 9435/21341 transitions.
Finished structural reductions in LIVENESS mode , in 1 iterations and 126995 ms. Remains : 2498/15015 places, 9435/21341 transitions.
Discarding 2357 transitions out of 9435. Remains 7078
Initial state reduction rules removed 1 formulas.
RANDOM walk for 40000 steps (8 resets) in 29400 ms. (1 steps per ms) remains 65/7077 properties
BEST_FIRST walk for 4004 steps (0 resets) in 95 ms. (41 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 89 ms. (44 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 71 ms. (55 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 86 ms. (46 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 78 ms. (50 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 75 ms. (52 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 64 ms. (61 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 64 ms. (61 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 64 ms. (61 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 64 ms. (61 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 64 ms. (61 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 62 ms. (63 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 63 ms. (62 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 61 ms. (64 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 64 ms. (61 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 76 ms. (52 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 63 ms. (62 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 73 ms. (54 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 76 ms. (52 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 79 ms. (50 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 94 ms. (42 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 95 ms. (41 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 76 ms. (52 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 76 ms. (52 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 76 ms. (52 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 72 ms. (54 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 89 ms. (44 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 76 ms. (52 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 69 ms. (57 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 61 ms. (64 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 65 ms. (60 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 61 ms. (64 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 62 ms. (63 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 60 ms. (65 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 60 ms. (65 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 61 ms. (64 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 61 ms. (64 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 61 ms. (64 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 64 ms. (61 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 61 ms. (64 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 63 ms. (62 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 61 ms. (64 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 62 ms. (63 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 65 ms. (60 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 63 ms. (62 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 60 ms. (65 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 62 ms. (63 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 60 ms. (65 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 61 ms. (64 steps per ms) remains 65/65 properties
BEST_FIRST walk for 4004 steps (0 resets) in 61 ms. (64 steps per ms) remains 65/65 properties
[2024-05-21 22:02:19] [INFO ] Flow matrix only has 9032 transitions (discarded 403 similar events)
[2024-05-21 22:02:19] [INFO ] Invariant cache hit.
[2024-05-21 22:02:19] [INFO ] State equation strengthened by 927 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/107 variables, 107/107 constraints. Problems are: Problem set: 0 solved, 65 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/107 variables, 0/107 constraints. Problems are: Problem set: 0 solved, 65 unsolved
At refinement iteration 2 (OVERLAPS) 359/466 variables, 94/201 constraints. Problems are: Problem set: 0 solved, 65 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/466 variables, 359/560 constraints. Problems are: Problem set: 0 solved, 65 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 466/11530 variables, and 560 constraints, problems are : Problem set: 0 solved, 65 unsolved in 5030 ms.
Refiners :[Domain max(s): 466/2498 constraints, Positive P Invariants (semi-flows): 94/691 constraints, State Equation: 0/2498 constraints, ReadFeed: 0/927 constraints, PredecessorRefiner: 65/65 constraints, Known Traps: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 65 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/107 variables, 107/107 constraints. Problems are: Problem set: 0 solved, 65 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/107 variables, 0/107 constraints. Problems are: Problem set: 0 solved, 65 unsolved
At refinement iteration 2 (OVERLAPS) 359/466 variables, 94/201 constraints. Problems are: Problem set: 0 solved, 65 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/466 variables, 359/560 constraints. Problems are: Problem set: 0 solved, 65 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/466 variables, 0/560 constraints. Problems are: Problem set: 0 solved, 65 unsolved
At refinement iteration 5 (OVERLAPS) 2032/2498 variables, 597/1157 constraints. Problems are: Problem set: 0 solved, 65 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/2498 variables, 2032/3189 constraints. Problems are: Problem set: 0 solved, 65 unsolved
Error getting values : (error "ParserException while parsing response: ((s0 0)
(s1 0)
(s2 1)
(s3 0)
(s4 0)
(s5 0)
(s6 0)
(s7 0)
(s8 0)
(s9 0)
(s10 0)
(s11 0)
(s12 0)
(s13 0)
(s14 1)
(s15 0)
(s16 0)
(s17 0)
(s18 0)
(s19 0)
(s20 0)
(s21 0)
(s22 0)
(s23 0)
(s24 1)
(s25 0)
(s26 0)
(s27 0)
(s28 1)
(s29 0)
(s30 0)
(s31 0)
(s32 0)
(s33 1)
(s34 0)
(s35 0)
(s36 0)
(s37 0)
(s38 0)
(s39 0)
(s40 0)
(s41 0)
(s42 1)
(s43 0)
(s44 0)
(s45 0)
(s46 0)
(s47 0)
(s48 0)
(s49 1)
(s50 0)
(s51 0)
(s52 0)
(s53 0)
(s54 0)
(s55 0)
(s56 0)
(s57 1)
(s58 0)
(s59 0)
(s60 0)
(s61 0)
(s62 0)
(s63 0)
(s64 0)
(s65 0)
(s66 1)
(s67 0)
(s68 0)
(s69 0)
(s70 0)
(s71 0)
(s72 0)
(s73 1)
(s74 0)
(s75 0)
(s76 0)
(s77 0)
(s78 0)
(s79 0)
(s80 0)
(s81 0)
(s82 1)
(s83 0)
(s84 0)
(s85 0)
(s86 0)
(s87 0)
(s88 0)
(s89 1)
(s90 0)
(s91 0)
(s92 0)
(s93 0)
(s94 0)
(s95 0)
(s96 0)
(s97 0)
(s98 0)
(s99 0)
(s100 0)
(s101 1)
(s102 0)
(s103 0)
(s104 0)
(s105 1)
(s106 0)
(s107 0)
(s108 0)
(s109 0)
(s110 0)
(s111 0)
(s112 0)
(s113 1)
(s114 0)
(s115 0)
(s116 0)
(s117 0)
(s118 0)
(s119 0)
(s120 0)
(s121 0)
(s122 0)
(s123 0)
(s124 1)
(s125 0)
(s126 0)
(s127 0)
(s128 0)
(s129 0)
(s130 1)
(s131 0)
(s132 0)
(s133 0)
(s134 0)
(s135 0)
(s136 0)
(s137 0)
(s138 0)
(s139 0)
(s140 0)
(s141 0)
(s142 1)
(s143 0)
(s144 0)
(s145 0)
(s146 1)
(s147 0)
(s148 0)
(s149 0)
(s150 0)
(s151 0)
(s152 0)
(s153 0)
(s154 0)
(s155 1)
(s156 0)
(s157 0)
(s158 0)
(s159 0)
(s160 0)
(s161 1)
(s162 0)
(s163 0)
(s164 0)
(s165 0)
(s166 0)
(s167 0)
(s168 0)
(s169 0)
(s170 0)
(s171 0)
(s172 0)
(s173 1)
(s174 0)
(s175 0)
(s176 0)
(s177 1)
(s178 0)
(s179 0)
(s180 0)
(s181 0)
(s182 0)
(s183 0)
(s184 0)
(s185 0)
(s186 0)
(s187 1)
(s188 0)
(s189 0)
(s190 0)
(s191 0)
(s192 0)
(s193 1)
(s194 0)
(s195 0)
(s196 0)
(s197 0)
(s198 0)
(s199 0)
(s200 0)
(s201 0)
(s202 0)
(s203 0)
(s204 0)
(s205 0)
(s206 0)
(s207 1)
(s208 0)
(s209 0)
(s210 0)
(s211 1)
(s212 0)
(s213 0)
(s214 0)
(s215 0)
(s216 0)
(s217 0)
(s218 0)
(s219 0)
(s220 0)
(s221 1)
(s222 0)
(s223 0)
(s224 0)
(s225 0)
(s226 0)
(s227 0)
(s228 0)
(s229 0)
(s230 1)
(s231 0)
(s232 0)
(s233 1)
(s234 0)
(s235 0)
(s236 0)
(s237 0)
(s238 0)
(s239 0)
(s240 0)
(s241 0)
(s242 1)
(s243 0)
(s244 0)
(s245 0)
(s246 0)
(s247 0)
(s248 0)
(s249 0)
(s250 0)
(s251 0)
(s252 0)
(s253 0)
(s254 0)
(s255 0)
(s256 1)
(s257 1)
(s258 0)
(s259 0)
(s260 0)
(s261 0)
(s262 0)
(s263 0)
(s264 0)
(s265 0)
(s266 0)
(s267 0)
(s268 0)
(s269 0)
(s270 0)
(s271 1)
(s272 0)
(s273 0)
(s274 0)
(s275 0)
(s276 0)
(s277 0)
(s278 0)
(s279 0)
(s280 1)
(s281 0)
(s282 0)
(s283 1)
(s284 0)
(s285 0)
(s286 0)
(s287 0)
(s288 0)
(s289 0)
(s290 0)
(s291 0)
(s292 0)
(s293 0)
(s294 0)
(s295 1)
(s296 0)
(s297 0)
(s298 0)
(s299 1)
(s300 0)
(s301 0)
(s302 0)
(s303 0)
(s304 0)
(s305 0)
(s306 0)
(s307 0)
(s308 1)
(s309 0)
(s310 0)
(s311 0)
(s312 0)
(s313 0)
(s314 0)
(s315 0)
(s316 1)
(s317 0)
(s318 0)
(s319 0)
(s320 0)
(s321 0)
(s322 1)
(s323 0)
(s324 0)
(s325 0)
(s326 0)
(s327 0)
(s328 0)
(s329 0)
(s330 1)
(s331 0)
(s332 0)
(s333 0)
(s334 0)
(s335 0)
(s336 0)
(s337 0)
(s338 0)
(s339 1)
(s340 0)
(s341 0)
(s342 0)
(s343 0)
(s344 0)
(s345 1)
(s346 0)
(s347 0)
(s348 0)
(s349 0)
(s350 0)
(s351 0)
(s352 0)
(s353 0)
(s354 0)
(s355 0)
(s356 1)
(s357 0)
(s358 0)
(s359 0)
(s360 0)
(s361 0)
(s362 1)
(s363 0)
(s364 0)
(s365 0)
(s366 0)
(s367 0)
(s368 0)
(s369 0)
(s370 0)
(s371 1)
(s372 0)
(s373 0)
(s374 0)
(s375 0)
(s376 0)
(s377 0)
(s378 1)
(s379 0)
(s380 0)
(s381 0)
(s382 0)
(s383 0)
(s384 0)
(s385 0)
(s386 0)
(s387 0)
(s388 0)
(s389 0)
(s390 1)
(s391 0)
(s392 0)
(s393 0)
(s394 0)
(s395 0)
(s396 0)
(s397 1)
(s398 0)
(s399 0)
(s400 0)
(s401 0)
(s402 0)
(s403 0)
(s404 0)
(s405 0)
(s406 0)
(s407 1)
(s408 0)
(s409 1)
(s410 0)
(s411 0)
(s412 0)
(s413 0)
(s414 0)
(s415 0)
(s416 0)
(s417 0)
(s418 1)
(s419 0)
(s420 0)
(s421 0)
(s422 0)
(s423 0)
(s424 0)
(s425 0)
(s426 0)
(s427 0)
(s428 0)
(s429 0)
(s430 1)
(s431 0)
(s432 0)
(s433 0)
(s434 0)
(s435 0)
(s436 0)
(s437 1)
(s438 0)
(s439 0)
(s440 0)
(s441 0)
(s442 1)
(s443 0)
(s444 0)
(s445 0)
(s446 0)
(s447 0)
(s448 0)
(s449 0)
(s450 0)
(s451 0)
(s452 1)
(s453 0)
(s454 0)
(s455 0)
(s456 0)
(s457 0)
(s458 1)
(s459 0)
(s460 0)
(s461 0)
(s462 0)
(s463 0)
(s464 0)
(s465 0)
(s466 0)
(s467 0)
(s468 0)
(s469 0)
(s470 0)
(s471 0)
(s472 1)
(s473 0)
(s474 1)
(s475 0)
(s476 0)
(s477 0)
(s478 0)
(s479 0)
(s480 0)
(s481 0)
(s482 0)
(s483 1)
(s484 0)
(s485 0)
(s486 0)
(s487 0)
(s488 0)
(s489 0)
(s490 1)
(s491 0)
(s492 0)
(s493 0)
(s494 0)
(s495 0)
(s496 0)
(s497 1)
(s498 0)
(s499 0)
(s500 0)
(s501 0)
(s502 0)
(s503 0)
(s504 0)
(s505 0)
(s506 0)
(s507 0)
(s508 0)
(s509 0)
(s510 0)
(s511 0)
(s512 1)
(s513 0)
(s514 0)
(s515 0)
(s516 0)
(s517 0)
(s518 1)
(s519 0)
(s520 0)
(s521 0)
(s522 1)
(s523 0)
(s524 0)
(s525 0)
(s526 0)
(s527 0)
(s528 0)
(s529 0)
(s530 0)
(s531 0)
(s532 0)
(s533 0)
(s534 1)
(s535 0)
(s536 0)
(s537 0)
(s538 0)
(s539 0)
(s540 0)
(s541 0)
(s542 0)
(s543 0)
(s544 1)
(s545 0)
(s546 0)
(s547 0)
(s548 0)
(s549 0)
(s550 1)
(s551 0)
(s552 0)
(s553 0)
(s554 1)
(s555 0)
(s556 0)
(s557 0)
(s558 0)
(s559 0)
(s560 0)
(s561 1)
(s562 0)
(s563 0)
(s564 0)
(s565 0)
(s566 0)
(s567 0)
(s568 0)
(s569 0)
(s570 0)
(s571 1)
(s572 0)
(s573 0)
(s574 0)
(s575 0)
(s576 0)
(s577 1)
(s578 0)
(s579 0)
(s580 0)
(s581 0)
(s582 0)
(s583 0)
(s584 0)
(s585 0)
(s586 0)
(s587 0)
(s588 0)
(s589 1)
(s590 0)
(s591 0)
(s592 0)
(s593 1)
(s594 0)
(s595 0)
(s596 0)
(s597 0)
(s598 0)
(s599 0)
(s600 0)
(s601 1)
(s602 0)
(s603 0)
(s604 0)
(s605 0)
(s606 0)
(s607 0)
(s608 0)
(s609 0)
(s610 0)
(s611 0)
(s612 0)
(s613 0)
(s614 0)
(s615 0)
(s616 0)
(s617 1)
(s618 0)
(s619 0)
(s620 0)
(s621 0)
(s622 0)
(s623 0)
(s624 0)
(s625 0)
(s626 0)
(s627 0)
(s628 0)
(s629 0)
(s630 0)
(s631 0)
(s632 0)
(s633 0)
(s634 0)
(s635 0)
(s636 0)
(s637 0)
(s638 0)
(s639 0)
(s640 0)
(s641 0)
(s642 0)
(s643 0)
(s644 1)
(s645 0)
(s646 0)
(s647 0)
(s648 0)
(s649 0)
(s650 1)
(s651 0)
(s652 0)
(s653 0)
(s654 0)
(s655 0)
(s656 0)
(s657 0)
(s658 0)
(s659 0)
(s660 0)
(s661 0)
(s662 0)
(s663 0)
(s664 0)
(s665 0)
(s666 1)
(s667 0)
(s668 0)
(s669 1)
(s670 1)
(s671 0)
(s672 1)
(s673 0)
(s674 0)
(s675 0)
(s676 1)
(s677 0)
(s678 0)
(s679 1)
(s680 1)
(s681 0)
(s682 0)
(s683 0)
(s684 1)
(s685 0)
(s686 0)
(s687 0)
(s688 1)
(s689 0)
(s690 0)
(s691 1)
(s692 0)
(s693 0)
(s694 1)
(s695 0)
(s696 1)
(s697 0)
(s698 0)
(s699 0)
(s700 1)
(s701 0)
(s702 1)
(s703 0)
(s704 1)
(s705 0)
(s706 0)
(s707 1)
(s708 0)
(s709 0)
(s710 0)
(s711 1)
(s712 0)
(s713 1)
(s714 0)
(s715 0)
(s716 0)
(s717 1)
(s718 0)
(s719 0)
(s720 0)
(s721 1)
(s722 0)
(s723 1)
(s724 0)
(s725 0)
(s726 0)
(s727 1)
(s728 1)
(s729 0)
(s730 0)
(s731 1)
(s732 0)
(s733 0)
(s734 1)
(s735 0)
(s736 0)
(s737 0)
(s738 0)
(s739 1)
(s740 0)
(s741 1)
(s742 0)
(s743 0)
(s744 0)
(s745 1)
(s746 0)
(s747 0)
(s748 1)
(s749 1)
(s750 0)
(s751 0)
(s752 0)
(s753 0)
(s754 1)
(s755 1)
(s756 0)
(s757 0)
(s758 0)
(s759 1)
(s760 0)
(s761 1)
(s762 0)
(s763 0)
(s764 0)
(s765 1)
(s766 0)
(s767 0)
(s768 1)
(s769 0)
(s770 0)
(s771 1)
(s772 0)
(s773 0)
(s774 0)
(s775 1)
(s776 0)
(s777 0)
(s778 1)
(s779 1)
(s780 0)
(s781 0)
(s782 0)
(s783 1)
(s784 0)
(s785 0)
(s786 0)
(s787 1)
(s788 1)
(s789 0)
(s790 0)
(s791 0)
(s792 0)
(s793 1)
(s794 0)
(s795 1)
(s796 0)
(s797 1)
(s798 0)
(s799 0)
(s800 0)
(s801 1)
(s802 0)
(s803 1)
(s804 0)
(s805 0)
(s806 1)
(s807 0)
(s808 0)
(s809 1)
(s810 0)
(s811 0)
(s812 1)
(s813 0)
(s814 0)
(s815 0)
(s816 0)
(s817 1)
(s818 0)
(s819 1)
(s820 0)
(s821 0)
(s822 0)
(s823 1)
(s824 1)
(s825 0)
(s826 0)
(s827 0)
(s828 1)
(s829 0)
(s830 0)
(s831 0)
(s832 1)
(s833 0)
(s834 1)
(s835 0)
(s836 0)
(s837 1)
(s838 0)
(s839 0)
(s840 0)
(s841 1)
(s842 0)
(s843 0)
(s844 1)
(s845 1)
(s846 0)
(s847 0)
(s848 0)
(s849 1)
(s850 0)
(s851 0)
(s852 1)
(s853 0)
(s854 1)
(s855 0)
(s856 0)
(s857 0)
(s858 0)
(s859 1)
(s860 1)
(s861 0)
(s862 0)
(s863 0)
(s864 1)
(s865 0)
(s866 1)
(s867 0)
(s868 0)
(s869 0)
(s870 0)
(s871 1)
(s872 0)
(s873 0)
(s874 1)
(s875 1)
(s876 0)
(s877 0)
(s878 0)
(s879 1)
(s880 0)
(s881 0)
(s882 0)
(s883 1)
(s884 0)
(s885 1)
(s886 0)
(s887 0)
(s888 0)
(s889 1)
(s890 0)
(s891 1)
(s892 0)
(s893 1)
(s894 0)
(s895 0)
(s896 0)
(s897 0)
(s898 1)
(s899 0)
(s900 1)
(s901 0)
(s902 0)
(s903 0)
(s904 1)
(s905 0)
(s906 1)
(s907 0)
(s908 0)
(s909 1)
(s910 0)
(s911 0)
(s912 0)
(s913 1)
(s914 0)
(s915 1)
(s916 0)
(s917 1)
(s918 0)
(s919 0)
(s920 1)
(s921 0)
(s922 0)
(s923 1)
(s924 0)
(s925 0)
(s926 0)
(s927 0)
(s928 1)
(s929 1)
(s930 0)
(s931 0)
(s932 0)
(s933 1)
(s934 0)
(s935 1)
(s936 0)
(s937 0)
(s938 0)
(s939 0)
(s940 1)
(s941 0)
(s942 1)
(s943 0)
(s944 0)
(s945 1)
(s946 0)
(s947 0)
(s948 1)
(s949 0)
(s950 1)
(s951 0)
(s952 0)
(s953 1)
(s954 0)
(s955 0)
(s956 0)
(s957 0)
(s958 1)
(s959 1)
(s960 0)
(s961 0)
(s962 0)
(s963 1)
(s964 0)
(s965 1)
(s966 0)
(s967 0)
(s968 1)
(s969 0)
(s970 0)
(s971 1)
(s972 0)
(s973 0)
(s974 0)
(s975 1)
(s976 0)
(s977 0)
(s978 1)
(s979 0)
(s980 0)
(s981 0)
(s982 1)
(s983 0)
(s984 1)
(s985 0)
(s986 1)
(s987 0)
(s988 0)
(s989 0)
(s990 0)
(s991 1)
(s992 1)
(s993 0)
(s994 0)
(s995 0)
(s996 0)
(s997 1)
(s998 0)
(s999 1)
(s1000 0)
(s1001 0)
(s1002 1)
(s1003 0)
(s1004 0)
(s1005 1)
(s1006 0)
(s1007 0)
(s1008 0)
(s1009 1)
(s1010 0)
(s1011 0)
(s1012 1)
(s1013 0)
(s1014 1)
(s1015 0)
(s1016 0)
(s1017 0)
(s1018 1)
(s1019 0)
(s1020 0)
(s1021 1)
(s1022 0)
(s1023 1)
(s1024 0)
(s1025 0)
(s1026 1)
(s1027 0)
(s1028 0)
(s1029 1)
(s1030 0)
(s1031 0)
(s1032 1)
(s1033 0)
(s1034 0)
(s1035 1)
(s1036 0)
(s1037 1)
(s1038 0)
(s1039 0)
(s1040 0)
(s1041 1)
(s1042 0)
(s1043 1)
(s1044 0)
(s1045 0)
(s1046 0)
(s1047 0)
(s1048 1)
(s1049 0)
(s1050 0)
(s1051 1)
(s1052 0)
(s1053 1)
(s1054 0)
(s1055 0)
(s1056 0)
(s1057 1)
(s1058 0)
(s1059 0)
(s1060 1)
(s1061 0)
(s1062 0)
(s1063 1)
(s1064 0)
(s1065 0)
(s1066 1)
(s1067 0)
(s1068 0)
(s1069 1)
(s1070 0)
(s1071 0)
(s1072 1)
(s1073 0)
(s1074 1)
(s1075 0)
(s1076 0)
(s1077 1)
(s1078 0)
(s1079 0)
(s1080 0)
(s1081 1)
(s1082 0)
(s1083 1)
(s1084 0)
(s1085 0)
(s1086 1)
(s1087 0)
(s1088 0)
(s1089 1)
(s1090 0)
(s1091 0)
(s1092 0)
(s1093 1)
(s1094 0)
(s1095 1)
(s1096 0)
(s1097 0)
(s1098 0)
(s1099 1)
(s1100 0)
(s1101 1)
(s1102 0)
(s1103 1)
(s1104 0)
(s1105 0)
(s1106 1)
(s1107 0)
(s1108 0)
(s1109 0)
(s1110 1)
(s1111 0)
(s1112 0)
(s1113 0)
(s1114 1)
(s1115 0)
(s1116 1)
(s1117 0)
(s1118 1)
(s1119 0)
(s1120 0)
(s1121 0)
(s1122 0)
(s1123 1)
(s1124 0)
(s1125 0)
(s1126 1)
(s1127 0)
(s1128 1)
(s1129 0)
(s1130 0)
(s1131 0)
(s1132 1)
(s1133 0)
(s1134 1)
(s1135 0)
(s1136 0)
(s1137 0)
(s1138 1)
(s1139 1)
(s1140 0)
(s1141 0)
(s1142 0)
(s1143 1)
(s1144 0)
(s1145 1)
(s1146 0)
(s1147 0)
(s1148 1)
(s1149 0)
(s1150 0)
(s1151 1)
(s1152 0)
(s1153 0)
(s1154 0)
(s1155 1)
(s1156 0)
(s1157 1)
(s1158 0)
(s1159 0)
(s1160 1)
(s1161 0)
(s1162 0)
(s1163 0)
(s1164 0)
(s1165 1)
(s1166 0)
(s1167 1)
(s1168 0)
(s1169 0)
(s1170 1)
(s1171 0)
(s1172 0)
(s1173 1)
(s1174 0)
(s1175 1)
(s1176 0)
(s1177 0)
(s1178 1)
(s1179 0)
(s1180 0)
(s1181 0)
(s1182 1)
(s1183 0)
(s1184 1)
(s1185 0)
(s1186 0)
(s1187 0)
(s1188 1)
(s1189 0)
(s1190 1)
(s1191 0)
(s1192 0)
(s1193 0)
(s1194 0)
(s1195 1)
(s1196 0)
(s1197 1)
(s1198 0)
(s1199 1)
(s1200 0)
(s1201 0)
(s1202 1)
(s1203 0)
(s1204 0)
(s1205 1)
(s1206 0)
(s1207 0)
(s1208 0)
(s1209 1)
(s1210 0)
(s1211 0)
(s1212 1)
(s1213 0)
(s1214 1)
(s1215 0)
(s1216 0)
(s1217 0)
(s1218 0)
(s1219 1)
(s1220 0)
(s1221 1)
(s1222 0)
(s1223 0)
(s1224 0)
(s1225 1)
(s1226 0)
(s1227 1)
(s1228 0)
(s1229 1)
(s1230 0)
(s1231 0)
(s1232 0)
(s1233 1)
(s1234 0)
(s1235 0)
(s1236 1)
(s1237 0)
(s1238 0)
(s1239 1)
(s1240 0)
(s1241 1)
(s1242 0)
(s1243 0)
(s1244 0)
(s1245 0)
(s1246 1)
(s1247 1)
(s1248 0)
(s1249 0)
(s1250 0)
(s1251 1)
(s1252 0)
(s1253 0)
(s1254 1)
(s1255 0)
(s1256 0)
(s1257 1)
(s1258 0)
(s1259 0)
(s1260 1)
(s1261 0)
(s1262 0)
(s1263 0)
(s1264 1)
(s1265 1)
(s1266 0)
(s1267 0)
(s1268 0)
(s1269 1)
(s1270 0)
(s1271 0)
(s1272 0)
(s1273 1)
(s1274 0)
(s1275 1)
(s1276 0)
(s1277 0)
(s1278 0)
(s1279 1)
(s1280 0)
(s1281 0)
(s1282 1)
(s1283 1)
(s1284 0)
(s1285 0)
(s1286 1)
(s1287 0)
(s1288 0)
(s1289 0)
(s1290 1)
(s1291 0)
(s1292 0)
(s1293 1)
(s1294 0)
(s1295 0)
(s1296 1)
(s1297 0)
(s1298 0)
(s1299 1)
(s1300 0)
(s1301 0)
(s1302 1)
(s1303 0)
(s1304 0)
(s1305 0)
(s1306 1)
(s1307 1)
(s1308 0)
(s1309 0)
(s1310 0)
(s1311 0)
(s1312 1)
(s1313 0)
(s1314 1)
(s1315 0)
(s1316 0)
(s1317 1)
(s1318 0)
(s1319 0)
(s1320 1)
(s1321 0)
(s1322 0)
(s1323 1)
(s1324 0)
(s1325 0)
(s1326 0)
(s1327 1)
(s1328 1)
(s1329 0)
(s1330 0)
(s1331 0)
(s1332 1)
(s1333 0)
(s1334 0)
(s1335 1)
(s1336 0)
(s1337 0)
(s1338 1)
(s1339 0)
(s1340 1)
(s1341 0)
(s1342 0)
(s1343 0)
(s1344 1)
(s1345 0)
(s1346 1)
(s1347 0)
(s1348 0)
(s1349 0)
(s1350 1)
(s1351 0)
(s1352 0)
(s1353 1)
(s1354 0)
(s1355 0)
(s1356 1)
(s1357 0)
(s1358 1)
(s1359 0)
(s1360 0)
(s1361 1)
(s1362 0)
(s1363 0)
(s1364 0)
(s1365 1)
(s1366 0)
(s1367 0)
(s1368 0)
(s1369 1)
(s1370 0)
(s1371 1)
(s1372 0)
(s1373 0)
(s1374 1)
(s1375 0)
(s1376 0)
(s1377 1)
(s1378 0)
(s1379 1)
(s1380 0)
(s1381 0)
(s1382 1)
(s1383 0)
(s1384 0)
(s1385 0)
(s1386 1)
(s1387 0)
(s1388 0)
(s1389 1)
(s1390 0)
(s1391 0)
(s1392 0)
(s1393 1)
(s1394 0)
(s1395 1)
(s1396 0)
(s1397 0)
(s1398 0)
(s1399 1)
(s1400 1)
(s1401 0)
(s1402 0)
(s1403 0)
(s1404 0)
(s1405 1)
(s1406 0)
(s1407 0)
(s1408 1)
(s1409 1)
(s1410 0)
(s1411 0)
(s1412 1)
(s1413 0)
(s1414 0)
(s1415 0)
(s1416 0)
(s1417 1)
(s1418 0)
(s1419 1)
(s1420 0)
(s1421 1)
(s1422 0)
(s1423 0)
(s1424 0)
(s1425 1)
(s1426 0)
(s1427 0)
(s1428 0)
(s1429 1)
(s1430 0)
(s1431 0)
(s1432 1)
(s1433 0)
(s1434 0)
(s1435 1)
(s1436 0)
(s1437 0)
(s1438 1)
(s1439 0)
(s1440 0)
(s1441 1)
(s1442 1)
(s1443 0)
(s1444 0)
(s1445 0)
(s1446 1)
(s1447 0)
(s1448 0)
(s1449 0)
(s1450 1)
(s1451 0)
(s1452 1)
(s1453 0)
(s1454 0)
(s1455 1)
(s1456 0)
(s1457 1)
(s1458 0)
(s1459 0)
(s1460 0)
(s1461 0)
(s1462 1)
(s1463 0)
(s1464 0)
(s1465 1)
(s1466 1)
(s1467 0)
(s1468 0)
(s1469 0)
(s1470 1)
(s1471 0)
(s1472 0)
(s1473 1)
(s1474 0)
(s1475 0)
(s1476 1)
(s1477 0)
(s1478 0)
(s1479 1)
(s1480 0)
(s1481 0)
(s1482 0)
(s1483 1)
(s1484 0)
(s1485 0)
(s1486 1)
(s1487 0)
(s1488 1)
(s1489 0)
(s1490 1)
(s1491 0)
(s1492 0)
(s1493 1)
(s1494 0)
(s1495 0)
(s1496 1)
(s1497 0)
(s1498 0)
(s1499 0)
(s1500 1)
(s1501 0)
(s1502 0)
(s1503 0)
(s1504 1)
(s1505 0)
(s1506 1)
(s1507 0)
(s1508 0)
(s1509 1)
(s1510 0)
(s1511 0)
(s1512 1)
(s1513 0)
(s1514 0)
(s1515 1)
(s1516 0)
(s1517 1)
(s1518 0)
(s1519 0)
(s1520 1)
(s1521 0)
(s1522 0)
(s1523 0)
(s1524 0)
(s1525 1)
(s1526 0)
(s1527 1)
(s1528 0)
(s1529 0)
(s1530 0)
(s1531 1)
(s1532 0)
(s1533 0)
(s1534 1)
(s1535 0)
(s1536 1)
(s1537 0)
(s1538 0)
(s1539 1)
(s1540 0)
(s1541 0)
(s1542 0)
(s1543 1)
(s1544 0)
(s1545 1)
(s1546 0)
(s1547 0)
(s1548 0)
(s1549 1)
(s1550 1)
(s1551 0)
(s1552 0)
(s1553 1)
(s1554 0)
(s1555 0)
(s1556 0)
(s1557 0)
(s1558 1)
(s1559 0)
(s1560 0)
(s1561 1)
(s1562 0)
(s1563 1)
(s1564 0)
(s1565 0)
(s1566 0)
(s1567 1)
(s1568 0)
(s1569 0)
(s1570 1)
(s1571 1)
(s1572 0)
(s1573 0)
(s1574 1)
(s1575 0)
(s1576 0)
(s1577 0)
(s1578 1)
(s1579 0)
(s1580 0)
(s1581 0)
(s1582 1)
(s1583 1)
(s1584 0)
(s1585 0)
(s1586 0)
(s1587 0)
(s1588 1)
(s1589 0)
(s1590 1)
(s1591 0)
(s1592 0)
(s1593 0)
(s1594 1)
(s1595 0)
(s1596 0)
(s1597 1)
(s1598 0)
(s1599 0)
(s1600 1)
(s1601 0)
(s1602 1)
(s1603 0)
(s1604 0)
(s1605 0)
(s1606 1)
(s1607 0)
(s1608 1)
(s1609 0)
(s1610 0)
(s1611 1)
(s1612 0)
(s1613 1)
(s1614 0)
(s1615 0)
(s1616 0)
(s1617 1)
(s1618 0)
(s1619 1)
(s1620 0)
(s1621 0)
(s1622 1)
(s1623 0)
(s1624 0)
(s1625 0)
(s1626 0)
(s1627 1)
(s1628 0)
(s1629 0)
(s1630 1)
(s1631 0)
(s1632 1)
(s1633 0)
(s1634 0)
(s1635 1)
(s1636 0)
(s1637 0)
(s1638 1)
(s1639 0)
(s1640 0)
(s1641 1)
(s1642 0)
(s1643 1)
(s1644 0)
(s1645 0)
(s1646 0)
(s1647 0)
(s1648 1)
(s1649 1)
(s1650 0)
(s1651 0)
(s1652 0)
(s1653 1)
(s1654 0)
(s1655 0)
(s1656 0)
(s1657 1)
(s1658 0)
(s1659 0)
(s1660 1)
(s1661 0)
(s1662 1)
(s1663 0)
(s1664 1)
(s1665 0)
(s1666 0)
(s1667 0)
(s1668 1)
(s1669 0)
(s1670 0)
(s1671 0)
(s1672 1)
(s1673 0)
(s1674 0)
(s1675 1)
(s1676 0)
(s1677 1)
(s1678 0)
(s1679 0)
(s1680 0)
(s1681 1)
(s1682 1)
(s1683 0)
(s1684 0)
(s1685 0)
(s1686 0)
(s1687 1)
(s1688 0)
(s1689 0)
(s1690 1)
(s1691 1)
(s1692 0)
(s1693 0)
(s1694 0)
(s1695 0)
(s1696 1)
(s1697 0)
(s1698 1)
(s1699 0)
(s1700 0)
(s1701 1)
(s1702 0)
(s1703 0)
(s1704 0)
(s1705 1)
(s1706 0)
(s1707 0)
(s1708 1)
(s1709 1)
(s1710 0)
(s1711 0)
(s1712 0)
(s1713 0)
(s1714 1)
(s1715 0)
(s1716 1)
(s1717 0)
(s1718 0)
(s1719 0)
(s1720 1)
(s1721 0)
(s1722 1)
(s1723 0)
(s1724 0)
(s1725 0)
(s1726 1)
(s1727 0)
(s1728 1)
(s1729 0)
(s1730 0)
(s1731 1)
(s1732 0)
(s1733 0)
(s1734 1)
(s1735 0)
(s1736 0)
(s1737 0)
(s1738 1)
(s1739 1)
(s1740 0)
(s1741 0)
(s1742 1)
(s1743 0)
(s1744 0)
(s1745 0)
(s1746 0)
(s1747 1)
(s1748 0)
(s1749 1)
(s1750 0)
(s1751 0)
(s1752 0)
(s1753 1)
(s1754 0)
(s1755 1)
(s1756 0)
(s1757 0)
(s1758 1)
(s1759 0)
(s1760 0)
(s1761 1)
(s1762 0)
(s1763 0)
(s1764 0)
(s1765 1)
(s1766 0)
(s1767 0)
(s1768 1)
(s1769 0)
(s1770 0)
(s1771 1)
(s1772 0)
(s1773 1)
(s1774 0)
(s1775 0)
(s1776 0)
(s1777 1)
(s1778 0)
(s1779 0)
(s1780 1)
(s1781 0)
(s1782 1)
(s1783 0)
(s1784 0)
(s1785 1)
(s1786 0)
(s1787 0)
(s1788 0)
(s1789 1)
(s1790 0)
(s1791 1)
(s1792 0)
(s1793 1)
(s1794 0)
(s1795 0)
(s1796 1)
(s1797 0)
(s1798 0)
(s1799 0)
(s1800 1)
(s1801 0)
(s1802 1)
(s1803 0)
(s1804 0)
(s1805 0)
(s1806 0)
(s1807 1)
(s1808 0)
(s1809 1)
(s1810 0)
(s1811 0)
(s1812 0)
(s1813 1)
(s1814 1)
(s1815 0)
(s1816 0)
(s1817 1)
(s1818 0)
(s1819 0)
(s1820 1)
(s1821 0)
(s1822 0)
(s1823 1)
(s1824 0)
(s1825 0)
(s1826 0)
(s1827 0)
(s1828 1)
(s1829 0)
(s1830 0)
(s1831 1)
(s1832 0)
(s1833 0)
(s1834 1)
(s1835 0)
(s1836 1)
(s1837 0)
(s1838 0)
(s1839 1)
(s1840 0)
(s1841 0)
(s1842 1)
(s1843 0)
(s1844 0)
(s1845 1)
(s1846 0)
(s1847 0)
(s1848 0)
(s1849 1)
(s1850 0)
(s1851 1)
(s1852 0)
(s1853 0)
(s1854 1)
(s1855 0)
(s1856 0)
(s1857 1)
(s1858 0)
(s1859 0)
(s1860 1)
(s1861 0)
(s1862 0)
(s1863 0)
(s1864 1)
(s1865 0)
(s1866 1)
(s1867 0)
(s1868 0)
(s1869 1)
(s1870 0)
(s1871 0)
(s1872 0)
(s1873 1)
(s1874 0)
(s1875 0)
(s1876 1)
(s1877 1)
(s1878 0)
(s1879 0)
(s1880 0)
(s1881 0)
(s1882 1)
(s1883 0)
(s1884 1)
(s1885 0)
(s1886 0)
(s1887 0)
(s1888 1)
(s1889 0)
(s1890 0)
(s1891 1)
(s1892 1)
(s1893 0)
(s1894 0)
(s1895 1)
(s1896 0)
(s1897 0)
(s1898 1)
(s1899 0)
(s1900 0)
(s1901 0)
(s1902 1)
(s1903 0)
(s1904 0)
(s1905 1)
(s1906 0)
(s1907 0)
(s1908 0)
(s1909 1)
(s1910 1)timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 2498/11530 variables, and 3189 constraints, problems are : Problem set: 0 solved, 65 unsolved in 5021 ms.
Refiners :[Domain max(s): 2498/2498 constraints, Positive P Invariants (semi-flows): 691/691 constraints, State Equation: 0/2498 constraints, ReadFeed: 0/927 constraints, PredecessorRefiner: 0/65 constraints, Known Traps: 0/0 constraints]
After SMT, in 10268ms problems are : Problem set: 0 solved, 65 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 107 out of 2498 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 2498/2498 places, 9435/9435 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 100 transitions
Reduce isomorphic transitions removed 100 transitions.
Iterating post reduction 0 with 100 rules applied. Total rules applied 100 place count 2498 transition count 9335
Discarding 215 places :
Symmetric choice reduction at 1 with 215 rule applications. Total rules 315 place count 2283 transition count 6297
Iterating global reduction 1 with 215 rules applied. Total rules applied 530 place count 2283 transition count 6297
Ensure Unique test removed 332 transitions
Reduce isomorphic transitions removed 332 transitions.
Iterating post reduction 1 with 332 rules applied. Total rules applied 862 place count 2283 transition count 5965
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 864 place count 2282 transition count 5976
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 866 place count 2282 transition count 5974
Drop transitions (Redundant composition of simpler transitions.) removed 31 transitions
Redundant transition composition rules discarded 31 transitions
Iterating global reduction 3 with 31 rules applied. Total rules applied 897 place count 2282 transition count 5943
Discarding 8 places :
Symmetric choice reduction at 3 with 8 rule applications. Total rules 905 place count 2274 transition count 5935
Iterating global reduction 3 with 8 rules applied. Total rules applied 913 place count 2274 transition count 5935
Discarding 8 places :
Symmetric choice reduction at 3 with 8 rule applications. Total rules 921 place count 2266 transition count 5311
Iterating global reduction 3 with 8 rules applied. Total rules applied 929 place count 2266 transition count 5311
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 3 with 8 rules applied. Total rules applied 937 place count 2266 transition count 5303
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 4 with 8 rules applied. Total rules applied 945 place count 2262 transition count 5299
Discarding 4 places :
Symmetric choice reduction at 4 with 4 rule applications. Total rules 949 place count 2258 transition count 4987
Iterating global reduction 4 with 4 rules applied. Total rules applied 953 place count 2258 transition count 4987
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 4 with 4 rules applied. Total rules applied 957 place count 2258 transition count 4983
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 5 with 8 rules applied. Total rules applied 965 place count 2254 transition count 5012
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 5 with 4 rules applied. Total rules applied 969 place count 2254 transition count 5008
Drop transitions (Redundant composition of simpler transitions.) removed 24 transitions
Redundant transition composition rules discarded 24 transitions
Iterating global reduction 6 with 24 rules applied. Total rules applied 993 place count 2254 transition count 4984
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 6 with 8 rules applied. Total rules applied 1001 place count 2250 transition count 5014
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 6 with 7 rules applied. Total rules applied 1008 place count 2250 transition count 5007
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 7 with 21 rules applied. Total rules applied 1029 place count 2250 transition count 4986
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 7 with 8 rules applied. Total rules applied 1037 place count 2246 transition count 5013
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 7 with 6 rules applied. Total rules applied 1043 place count 2246 transition count 5007
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 8 with 21 rules applied. Total rules applied 1064 place count 2246 transition count 4986
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 8 with 8 rules applied. Total rules applied 1072 place count 2242 transition count 5016
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 8 with 5 rules applied. Total rules applied 1077 place count 2242 transition count 5011
Drop transitions (Redundant composition of simpler transitions.) removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 9 with 22 rules applied. Total rules applied 1099 place count 2242 transition count 4989
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 9 with 8 rules applied. Total rules applied 1107 place count 2238 transition count 5018
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 9 with 7 rules applied. Total rules applied 1114 place count 2238 transition count 5011
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 10 with 21 rules applied. Total rules applied 1135 place count 2238 transition count 4990
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 10 with 8 rules applied. Total rules applied 1143 place count 2234 transition count 5021
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 10 with 7 rules applied. Total rules applied 1150 place count 2234 transition count 5014
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 11 with 21 rules applied. Total rules applied 1171 place count 2234 transition count 4993
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 11 with 8 rules applied. Total rules applied 1179 place count 2230 transition count 5023
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 11 with 7 rules applied. Total rules applied 1186 place count 2230 transition count 5016
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 12 with 21 rules applied. Total rules applied 1207 place count 2230 transition count 4995
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 12 with 8 rules applied. Total rules applied 1215 place count 2226 transition count 5023
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 12 with 5 rules applied. Total rules applied 1220 place count 2226 transition count 5018
Drop transitions (Redundant composition of simpler transitions.) removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 13 with 22 rules applied. Total rules applied 1242 place count 2226 transition count 4996
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -32
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 13 with 8 rules applied. Total rules applied 1250 place count 2222 transition count 5028
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 13 with 7 rules applied. Total rules applied 1257 place count 2222 transition count 5021
Drop transitions (Redundant composition of simpler transitions.) removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 14 with 22 rules applied. Total rules applied 1279 place count 2222 transition count 4999
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 14 with 8 rules applied. Total rules applied 1287 place count 2218 transition count 5030
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 14 with 6 rules applied. Total rules applied 1293 place count 2218 transition count 5024
Drop transitions (Redundant composition of simpler transitions.) removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 15 with 22 rules applied. Total rules applied 1315 place count 2218 transition count 5002
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 15 with 8 rules applied. Total rules applied 1323 place count 2214 transition count 5029
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 15 with 6 rules applied. Total rules applied 1329 place count 2214 transition count 5023
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 16 with 21 rules applied. Total rules applied 1350 place count 2214 transition count 5002
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 16 with 8 rules applied. Total rules applied 1358 place count 2210 transition count 5029
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 16 with 6 rules applied. Total rules applied 1364 place count 2210 transition count 5023
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 17 with 21 rules applied. Total rules applied 1385 place count 2210 transition count 5002
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 17 with 8 rules applied. Total rules applied 1393 place count 2206 transition count 5033
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 17 with 7 rules applied. Total rules applied 1400 place count 2206 transition count 5026
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 18 with 21 rules applied. Total rules applied 1421 place count 2206 transition count 5005
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 18 with 8 rules applied. Total rules applied 1429 place count 2202 transition count 5035
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 18 with 7 rules applied. Total rules applied 1436 place count 2202 transition count 5028
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 19 with 21 rules applied. Total rules applied 1457 place count 2202 transition count 5007
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 19 with 8 rules applied. Total rules applied 1465 place count 2198 transition count 5034
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 19 with 6 rules applied. Total rules applied 1471 place count 2198 transition count 5028
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 20 with 21 rules applied. Total rules applied 1492 place count 2198 transition count 5007
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 20 with 8 rules applied. Total rules applied 1500 place count 2194 transition count 5035
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 20 with 5 rules applied. Total rules applied 1505 place count 2194 transition count 5030
Drop transitions (Redundant composition of simpler transitions.) removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 21 with 22 rules applied. Total rules applied 1527 place count 2194 transition count 5008
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 21 with 8 rules applied. Total rules applied 1535 place count 2190 transition count 5039
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 21 with 7 rules applied. Total rules applied 1542 place count 2190 transition count 5032
Drop transitions (Redundant composition of simpler transitions.) removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 22 with 22 rules applied. Total rules applied 1564 place count 2190 transition count 5010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 22 with 8 rules applied. Total rules applied 1572 place count 2186 transition count 5041
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 22 with 7 rules applied. Total rules applied 1579 place count 2186 transition count 5034
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 23 with 21 rules applied. Total rules applied 1600 place count 2186 transition count 5013
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 23 with 8 rules applied. Total rules applied 1608 place count 2182 transition count 5042
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 23 with 7 rules applied. Total rules applied 1615 place count 2182 transition count 5035
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 24 with 21 rules applied. Total rules applied 1636 place count 2182 transition count 5014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 24 with 8 rules applied. Total rules applied 1644 place count 2178 transition count 5041
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 24 with 6 rules applied. Total rules applied 1650 place count 2178 transition count 5035
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 25 with 21 rules applied. Total rules applied 1671 place count 2178 transition count 5014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 25 with 8 rules applied. Total rules applied 1679 place count 2174 transition count 5042
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 25 with 6 rules applied. Total rules applied 1685 place count 2174 transition count 5036
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 26 with 21 rules applied. Total rules applied 1706 place count 2174 transition count 5015
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 26 with 8 rules applied. Total rules applied 1714 place count 2170 transition count 5044
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 26 with 7 rules applied. Total rules applied 1721 place count 2170 transition count 5037
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 27 with 21 rules applied. Total rules applied 1742 place count 2170 transition count 5016
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 27 with 8 rules applied. Total rules applied 1750 place count 2166 transition count 5045
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 27 with 5 rules applied. Total rules applied 1755 place count 2166 transition count 5040
Drop transitions (Redundant composition of simpler transitions.) removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 28 with 22 rules applied. Total rules applied 1777 place count 2166 transition count 5018
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 28 with 8 rules applied. Total rules applied 1785 place count 2162 transition count 5045
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 28 with 6 rules applied. Total rules applied 1791 place count 2162 transition count 5039
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 29 with 21 rules applied. Total rules applied 1812 place count 2162 transition count 5018
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 29 with 8 rules applied. Total rules applied 1820 place count 2158 transition count 5048
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 29 with 7 rules applied. Total rules applied 1827 place count 2158 transition count 5041
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 30 with 21 rules applied. Total rules applied 1848 place count 2158 transition count 5020
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 30 with 8 rules applied. Total rules applied 1856 place count 2154 transition count 5050
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 30 with 7 rules applied. Total rules applied 1863 place count 2154 transition count 5043
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 31 with 21 rules applied. Total rules applied 1884 place count 2154 transition count 5022
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 31 with 8 rules applied. Total rules applied 1892 place count 2150 transition count 5050
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 31 with 6 rules applied. Total rules applied 1898 place count 2150 transition count 5044
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 32 with 21 rules applied. Total rules applied 1919 place count 2150 transition count 5023
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 32 with 8 rules applied. Total rules applied 1927 place count 2146 transition count 5050
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 32 with 6 rules applied. Total rules applied 1933 place count 2146 transition count 5044
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 33 with 21 rules applied. Total rules applied 1954 place count 2146 transition count 5023
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 33 with 8 rules applied. Total rules applied 1962 place count 2142 transition count 5051
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 33 with 5 rules applied. Total rules applied 1967 place count 2142 transition count 5046
Drop transitions (Redundant composition of simpler transitions.) removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 34 with 22 rules applied. Total rules applied 1989 place count 2142 transition count 5024
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 34 with 8 rules applied. Total rules applied 1997 place count 2138 transition count 5051
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 34 with 6 rules applied. Total rules applied 2003 place count 2138 transition count 5045
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 35 with 21 rules applied. Total rules applied 2024 place count 2138 transition count 5024
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 35 with 8 rules applied. Total rules applied 2032 place count 2134 transition count 5055
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 35 with 7 rules applied. Total rules applied 2039 place count 2134 transition count 5048
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 36 with 21 rules applied. Total rules applied 2060 place count 2134 transition count 5027
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 36 with 8 rules applied. Total rules applied 2068 place count 2130 transition count 5056
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 36 with 5 rules applied. Total rules applied 2073 place count 2130 transition count 5051
Drop transitions (Redundant composition of simpler transitions.) removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 37 with 23 rules applied. Total rules applied 2096 place count 2130 transition count 5028
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 37 with 8 rules applied. Total rules applied 2104 place count 2126 transition count 5061
Drop transitions (Empty/Sink Transition effects.) removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 37 with 8 rules applied. Total rules applied 2112 place count 2126 transition count 5053
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 38 with 21 rules applied. Total rules applied 2133 place count 2126 transition count 5032
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 38 with 8 rules applied. Total rules applied 2141 place count 2122 transition count 5059
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 38 with 6 rules applied. Total rules applied 2147 place count 2122 transition count 5053
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 39 with 21 rules applied. Total rules applied 2168 place count 2122 transition count 5032
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 39 with 8 rules applied. Total rules applied 2176 place count 2118 transition count 5060
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 39 with 6 rules applied. Total rules applied 2182 place count 2118 transition count 5054
Drop transitions (Redundant composition of simpler transitions.) removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 40 with 22 rules applied. Total rules applied 2204 place count 2118 transition count 5032
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 40 with 8 rules applied. Total rules applied 2212 place count 2114 transition count 5062
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 40 with 7 rules applied. Total rules applied 2219 place count 2114 transition count 5055
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 41 with 21 rules applied. Total rules applied 2240 place count 2114 transition count 5034
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 41 with 8 rules applied. Total rules applied 2248 place count 2110 transition count 5064
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 41 with 7 rules applied. Total rules applied 2255 place count 2110 transition count 5057
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 42 with 21 rules applied. Total rules applied 2276 place count 2110 transition count 5036
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 42 with 8 rules applied. Total rules applied 2284 place count 2106 transition count 5067
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 42 with 7 rules applied. Total rules applied 2291 place count 2106 transition count 5060
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 43 with 21 rules applied. Total rules applied 2312 place count 2106 transition count 5039
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 43 with 8 rules applied. Total rules applied 2320 place count 2102 transition count 5068
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 43 with 7 rules applied. Total rules applied 2327 place count 2102 transition count 5061
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 44 with 21 rules applied. Total rules applied 2348 place count 2102 transition count 5040
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 44 with 8 rules applied. Total rules applied 2356 place count 2098 transition count 5069
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 44 with 5 rules applied. Total rules applied 2361 place count 2098 transition count 5064
Drop transitions (Redundant composition of simpler transitions.) removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 45 with 22 rules applied. Total rules applied 2383 place count 2098 transition count 5042
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 45 with 8 rules applied. Total rules applied 2391 place count 2094 transition count 5071
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 45 with 5 rules applied. Total rules applied 2396 place count 2094 transition count 5066
Drop transitions (Redundant composition of simpler transitions.) removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 46 with 22 rules applied. Total rules applied 2418 place count 2094 transition count 5044
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 46 with 8 rules applied. Total rules applied 2426 place count 2090 transition count 5074
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 46 with 7 rules applied. Total rules applied 2433 place count 2090 transition count 5067
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 47 with 21 rules applied. Total rules applied 2454 place count 2090 transition count 5046
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 47 with 8 rules applied. Total rules applied 2462 place count 2086 transition count 5075
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 47 with 5 rules applied. Total rules applied 2467 place count 2086 transition count 5070
Drop transitions (Redundant composition of simpler transitions.) removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 48 with 22 rules applied. Total rules applied 2489 place count 2086 transition count 5048
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 48 with 8 rules applied. Total rules applied 2497 place count 2082 transition count 5075
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 48 with 6 rules applied. Total rules applied 2503 place count 2082 transition count 5069
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 49 with 21 rules applied. Total rules applied 2524 place count 2082 transition count 5048
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 49 with 8 rules applied. Total rules applied 2532 place count 2078 transition count 5075
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 49 with 6 rules applied. Total rules applied 2538 place count 2078 transition count 5069
Renaming transitions due to excessive name length > 1024 char.
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 50 with 21 rules applied. Total rules applied 2559 place count 2078 transition count 5048
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 50 with 8 rules applied. Total rules applied 2567 place count 2074 transition count 5081
Drop transitions (Empty/Sink Transition effects.) removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 50 with 8 rules applied. Total rules applied 2575 place count 2074 transition count 5073
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 51 with 21 rules applied. Total rules applied 2596 place count 2074 transition count 5052
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 51 with 8 rules applied. Total rules applied 2604 place count 2070 transition count 5082
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 51 with 7 rules applied. Total rules applied 2611 place count 2070 transition count 5075
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 52 with 21 rules applied. Total rules applied 2632 place count 2070 transition count 5054
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 52 with 8 rules applied. Total rules applied 2640 place count 2066 transition count 5081
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 52 with 6 rules applied. Total rules applied 2646 place count 2066 transition count 5075
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 53 with 21 rules applied. Total rules applied 2667 place count 2066 transition count 5054
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 53 with 8 rules applied. Total rules applied 2675 place count 2062 transition count 5081
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 53 with 6 rules applied. Total rules applied 2681 place count 2062 transition count 5075
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 54 with 21 rules applied. Total rules applied 2702 place count 2062 transition count 5054
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -32
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 54 with 8 rules applied. Total rules applied 2710 place count 2058 transition count 5086
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 54 with 7 rules applied. Total rules applied 2717 place count 2058 transition count 5079
Drop transitions (Redundant composition of simpler transitions.) removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 55 with 22 rules applied. Total rules applied 2739 place count 2058 transition count 5057
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 55 with 8 rules applied. Total rules applied 2747 place count 2054 transition count 5088
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 55 with 6 rules applied. Total rules applied 2753 place count 2054 transition count 5082
Drop transitions (Redundant composition of simpler transitions.) removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 56 with 22 rules applied. Total rules applied 2775 place count 2054 transition count 5060
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 56 with 8 rules applied. Total rules applied 2783 place count 2050 transition count 5087
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 56 with 6 rules applied. Total rules applied 2789 place count 2050 transition count 5081
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 57 with 21 rules applied. Total rules applied 2810 place count 2050 transition count 5060
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 57 with 8 rules applied. Total rules applied 2818 place count 2046 transition count 5091
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 57 with 7 rules applied. Total rules applied 2825 place count 2046 transition count 5084
Drop transitions (Redundant composition of simpler transitions.) removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 58 with 22 rules applied. Total rules applied 2847 place count 2046 transition count 5062
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 58 with 8 rules applied. Total rules applied 2855 place count 2042 transition count 5090
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 58 with 6 rules applied. Total rules applied 2861 place count 2042 transition count 5084
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 59 with 21 rules applied. Total rules applied 2882 place count 2042 transition count 5063
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 59 with 8 rules applied. Total rules applied 2890 place count 2038 transition count 5090
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 59 with 6 rules applied. Total rules applied 2896 place count 2038 transition count 5084
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 60 with 21 rules applied. Total rules applied 2917 place count 2038 transition count 5063
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 60 with 8 rules applied. Total rules applied 2925 place count 2034 transition count 5094
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 60 with 6 rules applied. Total rules applied 2931 place count 2034 transition count 5088
Drop transitions (Redundant composition of simpler transitions.) removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 61 with 22 rules applied. Total rules applied 2953 place count 2034 transition count 5066
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 61 with 8 rules applied. Total rules applied 2961 place count 2030 transition count 5093
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 61 with 6 rules applied. Total rules applied 2967 place count 2030 transition count 5087
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 62 with 21 rules applied. Total rules applied 2988 place count 2030 transition count 5066
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 62 with 8 rules applied. Total rules applied 2996 place count 2026 transition count 5093
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 62 with 6 rules applied. Total rules applied 3002 place count 2026 transition count 5087
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 63 with 21 rules applied. Total rules applied 3023 place count 2026 transition count 5066
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 63 with 8 rules applied. Total rules applied 3031 place count 2022 transition count 5096
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 63 with 7 rules applied. Total rules applied 3038 place count 2022 transition count 5089
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 64 with 21 rules applied. Total rules applied 3059 place count 2022 transition count 5068
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 64 with 8 rules applied. Total rules applied 3067 place count 2018 transition count 5097
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 64 with 5 rules applied. Total rules applied 3072 place count 2018 transition count 5092
Drop transitions (Redundant composition of simpler transitions.) removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 65 with 22 rules applied. Total rules applied 3094 place count 2018 transition count 5070
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 65 with 8 rules applied. Total rules applied 3102 place count 2014 transition count 5097
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 65 with 6 rules applied. Total rules applied 3108 place count 2014 transition count 5091
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 66 with 21 rules applied. Total rules applied 3129 place count 2014 transition count 5070
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 66 with 8 rules applied. Total rules applied 3137 place count 2010 transition count 5100
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 66 with 7 rules applied. Total rules applied 3144 place count 2010 transition count 5093
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 67 with 21 rules applied. Total rules applied 3165 place count 2010 transition count 5072
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 67 with 8 rules applied. Total rules applied 3173 place count 2006 transition count 5099
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 67 with 6 rules applied. Total rules applied 3179 place count 2006 transition count 5093
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 68 with 21 rules applied. Total rules applied 3200 place count 2006 transition count 5072
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 68 with 8 rules applied. Total rules applied 3208 place count 2002 transition count 5102
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 68 with 7 rules applied. Total rules applied 3215 place count 2002 transition count 5095
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 69 with 21 rules applied. Total rules applied 3236 place count 2002 transition count 5074
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 69 with 8 rules applied. Total rules applied 3244 place count 1998 transition count 5104
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 69 with 7 rules applied. Total rules applied 3251 place count 1998 transition count 5097
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 70 with 21 rules applied. Total rules applied 3272 place count 1998 transition count 5076
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 70 with 8 rules applied. Total rules applied 3280 place count 1994 transition count 5107
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 70 with 7 rules applied. Total rules applied 3287 place count 1994 transition count 5100
Drop transitions (Redundant composition of simpler transitions.) removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 71 with 22 rules applied. Total rules applied 3309 place count 1994 transition count 5078
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 71 with 8 rules applied. Total rules applied 3317 place count 1990 transition count 5109
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 71 with 7 rules applied. Total rules applied 3324 place count 1990 transition count 5102
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 72 with 21 rules applied. Total rules applied 3345 place count 1990 transition count 5081
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 72 with 8 rules applied. Total rules applied 3353 place count 1986 transition count 5108
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 72 with 6 rules applied. Total rules applied 3359 place count 1986 transition count 5102
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 73 with 21 rules applied. Total rules applied 3380 place count 1986 transition count 5081
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 73 with 8 rules applied. Total rules applied 3388 place count 1982 transition count 5111
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 73 with 7 rules applied. Total rules applied 3395 place count 1982 transition count 5104
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 74 with 21 rules applied. Total rules applied 3416 place count 1982 transition count 5083
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 74 with 8 rules applied. Total rules applied 3424 place count 1978 transition count 5110
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 74 with 6 rules applied. Total rules applied 3430 place count 1978 transition count 5104
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 75 with 21 rules applied. Total rules applied 3451 place count 1978 transition count 5083
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 75 with 8 rules applied. Total rules applied 3459 place count 1974 transition count 5116
Drop transitions (Empty/Sink Transition effects.) removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 75 with 8 rules applied. Total rules applied 3467 place count 1974 transition count 5108
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 76 with 21 rules applied. Total rules applied 3488 place count 1974 transition count 5087
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 76 with 8 rules applied. Total rules applied 3496 place count 1970 transition count 5115
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 76 with 6 rules applied. Total rules applied 3502 place count 1970 transition count 5109
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 77 with 21 rules applied. Total rules applied 3523 place count 1970 transition count 5088
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -32
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 77 with 8 rules applied. Total rules applied 3531 place count 1966 transition count 5120
Drop transitions (Empty/Sink Transition effects.) removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 77 with 8 rules applied. Total rules applied 3539 place count 1966 transition count 5112
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 78 with 21 rules applied. Total rules applied 3560 place count 1966 transition count 5091
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 78 with 8 rules applied. Total rules applied 3568 place count 1962 transition count 5121
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 78 with 7 rules applied. Total rules applied 3575 place count 1962 transition count 5114
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 79 with 21 rules applied. Total rules applied 3596 place count 1962 transition count 5093
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 79 with 8 rules applied. Total rules applied 3604 place count 1958 transition count 5123
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 79 with 7 rules applied. Total rules applied 3611 place count 1958 transition count 5116
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 80 with 21 rules applied. Total rules applied 3632 place count 1958 transition count 5095
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 80 with 8 rules applied. Total rules applied 3640 place count 1954 transition count 5125
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 80 with 7 rules applied. Total rules applied 3647 place count 1954 transition count 5118
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 81 with 21 rules applied. Total rules applied 3668 place count 1954 transition count 5097
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -32
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 81 with 8 rules applied. Total rules applied 3676 place count 1950 transition count 5129
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 81 with 7 rules applied. Total rules applied 3683 place count 1950 transition count 5122
Drop transitions (Redundant composition of simpler transitions.) removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 82 with 22 rules applied. Total rules applied 3705 place count 1950 transition count 5100
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 82 with 8 rules applied. Total rules applied 3713 place count 1946 transition count 5131
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 82 with 6 rules applied. Total rules applied 3719 place count 1946 transition count 5125
Drop transitions (Redundant composition of simpler transitions.) removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 83 with 22 rules applied. Total rules applied 3741 place count 1946 transition count 5103
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 83 with 8 rules applied. Total rules applied 3749 place count 1942 transition count 5130
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 83 with 6 rules applied. Total rules applied 3755 place count 1942 transition count 5124
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 84 with 21 rules applied. Total rules applied 3776 place count 1942 transition count 5103
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 84 with 8 rules applied. Total rules applied 3784 place count 1938 transition count 5130
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 84 with 6 rules applied. Total rules applied 3790 place count 1938 transition count 5124
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 85 with 21 rules applied. Total rules applied 3811 place count 1938 transition count 5103
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 85 with 8 rules applied. Total rules applied 3819 place count 1934 transition count 5136
Drop transitions (Empty/Sink Transition effects.) removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 85 with 8 rules applied. Total rules applied 3827 place count 1934 transition count 5128
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 86 with 21 rules applied. Total rules applied 3848 place count 1934 transition count 5107
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 86 with 8 rules applied. Total rules applied 3856 place count 1930 transition count 5135
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 86 with 6 rules applied. Total rules applied 3862 place count 1930 transition count 5129
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 87 with 21 rules applied. Total rules applied 3883 place count 1930 transition count 5108
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 87 with 8 rules applied. Total rules applied 3891 place count 1926 transition count 5135
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 87 with 6 rules applied. Total rules applied 3897 place count 1926 transition count 5129
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 88 with 21 rules applied. Total rules applied 3918 place count 1926 transition count 5108
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 88 with 8 rules applied. Total rules applied 3926 place count 1922 transition count 5136
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 88 with 5 rules applied. Total rules applied 3931 place count 1922 transition count 5131
Drop transitions (Redundant composition of simpler transitions.) removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 89 with 22 rules applied. Total rules applied 3953 place count 1922 transition count 5109
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 89 with 8 rules applied. Total rules applied 3961 place count 1918 transition count 5139
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 89 with 7 rules applied. Total rules applied 3968 place count 1918 transition count 5132
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 90 with 21 rules applied. Total rules applied 3989 place count 1918 transition count 5111
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 90 with 8 rules applied. Total rules applied 3997 place count 1914 transition count 5141
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 90 with 7 rules applied. Total rules applied 4004 place count 1914 transition count 5134
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 91 with 21 rules applied. Total rules applied 4025 place count 1914 transition count 5113
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 91 with 8 rules applied. Total rules applied 4033 place count 1910 transition count 5144
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 91 with 7 rules applied. Total rules applied 4040 place count 1910 transition count 5137
Drop transitions (Redundant composition of simpler transitions.) removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 92 with 22 rules applied. Total rules applied 4062 place count 1910 transition count 5115
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 92 with 8 rules applied. Total rules applied 4070 place count 1906 transition count 5142
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 92 with 6 rules applied. Total rules applied 4076 place count 1906 transition count 5136
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 93 with 21 rules applied. Total rules applied 4097 place count 1906 transition count 5115
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 93 with 8 rules applied. Total rules applied 4105 place count 1902 transition count 5143
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 93 with 6 rules applied. Total rules applied 4111 place count 1902 transition count 5137
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 94 with 21 rules applied. Total rules applied 4132 place count 1902 transition count 5116
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 94 with 8 rules applied. Total rules applied 4140 place count 1898 transition count 5145
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 94 with 7 rules applied. Total rules applied 4147 place count 1898 transition count 5138
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 95 with 21 rules applied. Total rules applied 4168 place count 1898 transition count 5117
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 95 with 8 rules applied. Total rules applied 4176 place count 1894 transition count 5148
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 95 with 7 rules applied. Total rules applied 4183 place count 1894 transition count 5141
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 96 with 21 rules applied. Total rules applied 4204 place count 1894 transition count 5120
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 96 with 8 rules applied. Total rules applied 4212 place count 1890 transition count 5147
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 96 with 6 rules applied. Total rules applied 4218 place count 1890 transition count 5141
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 97 with 21 rules applied. Total rules applied 4239 place count 1890 transition count 5120
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 97 with 8 rules applied. Total rules applied 4247 place count 1886 transition count 5148
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 97 with 5 rules applied. Total rules applied 4252 place count 1886 transition count 5143
Drop transitions (Redundant composition of simpler transitions.) removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 98 with 22 rules applied. Total rules applied 4274 place count 1886 transition count 5121
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 98 with 8 rules applied. Total rules applied 4282 place count 1882 transition count 5149
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 98 with 6 rules applied. Total rules applied 4288 place count 1882 transition count 5143
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 99 with 21 rules applied. Total rules applied 4309 place count 1882 transition count 5122
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 99 with 8 rules applied. Total rules applied 4317 place count 1878 transition count 5150
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 99 with 5 rules applied. Total rules applied 4322 place count 1878 transition count 5145
Drop transitions (Redundant composition of simpler transitions.) removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 100 with 22 rules applied. Total rules applied 4344 place count 1878 transition count 5123
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 100 with 8 rules applied. Total rules applied 4352 place count 1874 transition count 5150
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 100 with 6 rules applied. Total rules applied 4358 place count 1874 transition count 5144
Renaming transitions due to excessive name length > 1024 char.
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 101 with 21 rules applied. Total rules applied 4379 place count 1874 transition count 5123
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 101 with 8 rules applied. Total rules applied 4387 place count 1870 transition count 5153
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 101 with 7 rules applied. Total rules applied 4394 place count 1870 transition count 5146
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 102 with 21 rules applied. Total rules applied 4415 place count 1870 transition count 5125
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 102 with 8 rules applied. Total rules applied 4423 place count 1866 transition count 5152
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 102 with 6 rules applied. Total rules applied 4429 place count 1866 transition count 5146
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 103 with 21 rules applied. Total rules applied 4450 place count 1866 transition count 5125
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 103 with 8 rules applied. Total rules applied 4458 place count 1862 transition count 5158
Drop transitions (Empty/Sink Transition effects.) removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 103 with 8 rules applied. Total rules applied 4466 place count 1862 transition count 5150
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 104 with 21 rules applied. Total rules applied 4487 place count 1862 transition count 5129
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 104 with 8 rules applied. Total rules applied 4495 place count 1858 transition count 5159
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 104 with 7 rules applied. Total rules applied 4502 place count 1858 transition count 5152
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 105 with 21 rules applied. Total rules applied 4523 place count 1858 transition count 5131
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 105 with 8 rules applied. Total rules applied 4531 place count 1854 transition count 5161
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 105 with 5 rules applied. Total rules applied 4536 place count 1854 transition count 5156
Drop transitions (Redundant composition of simpler transitions.) removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 106 with 23 rules applied. Total rules applied 4559 place count 1854 transition count 5133
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -32
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 106 with 8 rules applied. Total rules applied 4567 place count 1850 transition count 5165
Drop transitions (Empty/Sink Transition effects.) removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 106 with 8 rules applied. Total rules applied 4575 place count 1850 transition count 5157
Drop transitions (Redundant composition of simpler transitions.) removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 107 with 23 rules applied. Total rules applied 4598 place count 1850 transition count 5134
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 107 with 8 rules applied. Total rules applied 4606 place count 1846 transition count 5164
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 107 with 6 rules applied. Total rules applied 4612 place count 1846 transition count 5158
Drop transitions (Redundant composition of simpler transitions.) removed 24 transitions
Redundant transition composition rules discarded 24 transitions
Iterating global reduction 108 with 24 rules applied. Total rules applied 4636 place count 1846 transition count 5134
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 108 with 8 rules applied. Total rules applied 4644 place count 1842 transition count 5163
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 108 with 5 rules applied. Total rules applied 4649 place count 1842 transition count 5158
Drop transitions (Redundant composition of simpler transitions.) removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 109 with 23 rules applied. Total rules applied 4672 place count 1842 transition count 5135
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 109 with 8 rules applied. Total rules applied 4680 place count 1838 transition count 5165
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 109 with 5 rules applied. Total rules applied 4685 place count 1838 transition count 5160
Drop transitions (Redundant composition of simpler transitions.) removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 110 with 23 rules applied. Total rules applied 4708 place count 1838 transition count 5137
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -35
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 110 with 8 rules applied. Total rules applied 4716 place count 1834 transition count 5172
Drop transitions (Empty/Sink Transition effects.) removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 110 with 9 rules applied. Total rules applied 4725 place count 1834 transition count 5163
Drop transitions (Redundant composition of simpler transitions.) removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 111 with 23 rules applied. Total rules applied 4748 place count 1834 transition count 5140
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 111 with 8 rules applied. Total rules applied 4756 place count 1830 transition count 5169
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 111 with 5 rules applied. Total rules applied 4761 place count 1830 transition count 5164
Drop transitions (Redundant composition of simpler transitions.) removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 112 with 23 rules applied. Total rules applied 4784 place count 1830 transition count 5141
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -32
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 112 with 8 rules applied. Total rules applied 4792 place count 1826 transition count 5173
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 112 with 7 rules applied. Total rules applied 4799 place count 1826 transition count 5166
Drop transitions (Redundant composition of simpler transitions.) removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 113 with 23 rules applied. Total rules applied 4822 place count 1826 transition count 5143
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 113 with 8 rules applied. Total rules applied 4830 place count 1822 transition count 5173
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 113 with 5 rules applied. Total rules applied 4835 place count 1822 transition count 5168
Drop transitions (Redundant composition of simpler transitions.) removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 114 with 23 rules applied. Total rules applied 4858 place count 1822 transition count 5145
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -32
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 114 with 8 rules applied. Total rules applied 4866 place count 1818 transition count 5177
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 114 with 7 rules applied. Total rules applied 4873 place count 1818 transition count 5170
Drop transitions (Redundant composition of simpler transitions.) removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 115 with 23 rules applied. Total rules applied 4896 place count 1818 transition count 5147
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 115 with 8 rules applied. Total rules applied 4904 place count 1814 transition count 5180
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 115 with 7 rules applied. Total rules applied 4911 place count 1814 transition count 5173
Drop transitions (Redundant composition of simpler transitions.) removed 24 transitions
Redundant transition composition rules discarded 24 transitions
Iterating global reduction 116 with 24 rules applied. Total rules applied 4935 place count 1814 transition count 5149
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -32
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 116 with 8 rules applied. Total rules applied 4943 place count 1810 transition count 5181
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 116 with 7 rules applied. Total rules applied 4950 place count 1810 transition count 5174
Drop transitions (Redundant composition of simpler transitions.) removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 117 with 23 rules applied. Total rules applied 4973 place count 1810 transition count 5151
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 117 with 8 rules applied. Total rules applied 4981 place count 1806 transition count 5180
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 117 with 6 rules applied. Total rules applied 4987 place count 1806 transition count 5174
Drop transitions (Redundant composition of simpler transitions.) removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 118 with 23 rules applied. Total rules applied 5010 place count 1806 transition count 5151
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -32
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 118 with 8 rules applied. Total rules applied 5018 place count 1802 transition count 5183
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 118 with 7 rules applied. Total rules applied 5025 place count 1802 transition count 5176
Drop transitions (Redundant composition of simpler transitions.) removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 119 with 23 rules applied. Total rules applied 5048 place count 1802 transition count 5153
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 119 with 8 rules applied. Total rules applied 5056 place count 1798 transition count 5183
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 119 with 5 rules applied. Total rules applied 5061 place count 1798 transition count 5178
Drop transitions (Redundant composition of simpler transitions.) removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 120 with 23 rules applied. Total rules applied 5084 place count 1798 transition count 5155
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -32
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 120 with 8 rules applied. Total rules applied 5092 place count 1794 transition count 5187
Drop transitions (Empty/Sink Transition effects.) removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 120 with 8 rules applied. Total rules applied 5100 place count 1794 transition count 5179
Drop transitions (Redundant composition of simpler transitions.) removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 121 with 23 rules applied. Total rules applied 5123 place count 1794 transition count 5156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 121 with 8 rules applied. Total rules applied 5131 place count 1790 transition count 5185
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 121 with 6 rules applied. Total rules applied 5137 place count 1790 transition count 5179
Drop transitions (Redundant composition of simpler transitions.) removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 122 with 23 rules applied. Total rules applied 5160 place count 1790 transition count 5156
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -35
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 122 with 8 rules applied. Total rules applied 5168 place count 1786 transition count 5191
Drop transitions (Empty/Sink Transition effects.) removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 122 with 8 rules applied. Total rules applied 5176 place count 1786 transition count 5183
Drop transitions (Redundant composition of simpler transitions.) removed 24 transitions
Redundant transition composition rules discarded 24 transitions
Iterating global reduction 123 with 24 rules applied. Total rules applied 5200 place count 1786 transition count 5159
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 123 with 8 rules applied. Total rules applied 5208 place count 1782 transition count 5189
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 123 with 5 rules applied. Total rules applied 5213 place count 1782 transition count 5184
Drop transitions (Redundant composition of simpler transitions.) removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 124 with 23 rules applied. Total rules applied 5236 place count 1782 transition count 5161
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 124 with 8 rules applied. Total rules applied 5244 place count 1778 transition count 5190
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 124 with 6 rules applied. Total rules applied 5250 place count 1778 transition count 5184
Drop transitions (Redundant composition of simpler transitions.) removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 125 with 23 rules applied. Total rules applied 5273 place count 1778 transition count 5161
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 125 with 8 rules applied. Total rules applied 5281 place count 1774 transition count 5192
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 125 with 6 rules applied. Total rules applied 5287 place count 1774 transition count 5186
Drop transitions (Redundant composition of simpler transitions.) removed 24 transitions
Redundant transition composition rules discarded 24 transitions
Iterating global reduction 126 with 24 rules applied. Total rules applied 5311 place count 1774 transition count 5162
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -32
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 126 with 8 rules applied. Total rules applied 5319 place count 1770 transition count 5194
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 126 with 7 rules applied. Total rules applied 5326 place count 1770 transition count 5187
Drop transitions (Redundant composition of simpler transitions.) removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 127 with 23 rules applied. Total rules applied 5349 place count 1770 transition count 5164
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 127 with 8 rules applied. Total rules applied 5357 place count 1766 transition count 5193
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 127 with 6 rules applied. Total rules applied 5363 place count 1766 transition count 5187
Drop transitions (Redundant composition of simpler transitions.) removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 128 with 23 rules applied. Total rules applied 5386 place count 1766 transition count 5164
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -32
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 128 with 8 rules applied. Total rules applied 5394 place count 1762 transition count 5196
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 128 with 6 rules applied. Total rules applied 5400 place count 1762 transition count 5190
Drop transitions (Redundant composition of simpler transitions.) removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 129 with 23 rules applied. Total rules applied 5423 place count 1762 transition count 5167
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 129 with 8 rules applied. Total rules applied 5431 place count 1758 transition count 5196
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 129 with 6 rules applied. Total rules applied 5437 place count 1758 transition count 5190
Drop transitions (Redundant composition of simpler transitions.) removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 130 with 23 rules applied. Total rules applied 5460 place count 1758 transition count 5167
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 130 with 8 rules applied. Total rules applied 5468 place count 1754 transition count 5196
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 130 with 6 rules applied. Total rules applied 5474 place count 1754 transition count 5190
Drop transitions (Redundant composition of simpler transitions.) removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 131 with 23 rules applied. Total rules applied 5497 place count 1754 transition count 5167
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -32
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 131 with 8 rules applied. Total rules applied 5505 place count 1750 transition count 5199
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 131 with 7 rules applied. Total rules applied 5512 place count 1750 transition count 5192
Drop transitions (Redundant composition of simpler transitions.) removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 132 with 23 rules applied. Total rules applied 5535 place count 1750 transition count 5169
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -32
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 132 with 8 rules applied. Total rules applied 5543 place count 1746 transition count 5201
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 132 with 7 rules applied. Total rules applied 5550 place count 1746 transition count 5194
Drop transitions (Redundant composition of simpler transitions.) removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 133 with 23 rules applied. Total rules applied 5573 place count 1746 transition count 5171
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -32
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 133 with 8 rules applied. Total rules applied 5581 place count 1742 transition count 5203
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 133 with 7 rules applied. Total rules applied 5588 place count 1742 transition count 5196
Drop transitions (Redundant composition of simpler transitions.) removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 134 with 23 rules applied. Total rules applied 5611 place count 1742 transition count 5173
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 134 with 8 rules applied. Total rules applied 5619 place count 1738 transition count 5202
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 134 with 6 rules applied. Total rules applied 5625 place count 1738 transition count 5196
Drop transitions (Redundant composition of simpler transitions.) removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 135 with 23 rules applied. Total rules applied 5648 place count 1738 transition count 5173
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -32
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 135 with 8 rules applied. Total rules applied 5656 place count 1734 transition count 5205
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 135 with 7 rules applied. Total rules applied 5663 place count 1734 transition count 5198
Drop transitions (Redundant composition of simpler transitions.) removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 136 with 23 rules applied. Total rules applied 5686 place count 1734 transition count 5175
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 136 with 8 rules applied. Total rules applied 5694 place count 1730 transition count 5204
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 136 with 6 rules applied. Total rules applied 5700 place count 1730 transition count 5198
Drop transitions (Redundant composition of simpler transitions.) removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 137 with 23 rules applied. Total rules applied 5723 place count 1730 transition count 5175
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 137 with 8 rules applied. Total rules applied 5731 place count 1726 transition count 5205
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 137 with 5 rules applied. Total rules applied 5736 place count 1726 transition count 5200
Drop transitions (Redundant composition of simpler transitions.) removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 138 with 23 rules applied. Total rules applied 5759 place count 1726 transition count 5177
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 138 with 8 rules applied. Total rules applied 5767 place count 1722 transition count 5210
Drop transitions (Empty/Sink Transition effects.) removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 138 with 7 rules applied. Total rules applied 5774 place count 1722 transition count 5203
Drop transitions (Redundant composition of simpler transitions.) removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 139 with 23 rules applied. Total rules applied 5797 place count 1722 transition count 5180
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 139 with 8 rules applied. Total rules applied 5805 place count 1718 transition count 5205
Drop transitions (Empty/Sink Transition effects.) removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 139 with 6 rules applied. Total rules applied 5811 place count 1718 transition count 5199
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 140 with 21 rules applied. Total rules applied 5832 place count 1718 transition count 5178
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -20
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 140 with 8 rules applied. Total rules applied 5840 place count 1714 transition count 5198
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 140 with 4 rules applied. Total rules applied 5844 place count 1714 transition count 5194
Drop transitions (Redundant composition of simpler transitions.) removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 141 with 20 rules applied. Total rules applied 5864 place count 1714 transition count 5174
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -20
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 141 with 8 rules applied. Total rules applied 5872 place count 1710 transition count 5194
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 141 with 4 rules applied. Total rules applied 5876 place count 1710 transition count 5190
Drop transitions (Redundant composition of simpler transitions.) removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 142 with 20 rules applied. Total rules applied 5896 place count 1710 transition count 5170
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -2
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 142 with 2 rules applied. Total rules applied 5898 place count 1709 transition count 5172
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 142 with 1 rules applied. Total rules applied 5899 place count 1709 transition count 5171
Drop transitions (Redundant composition of simpler transitions.) removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 143 with 2 rules applied. Total rules applied 5901 place count 1709 transition count 5169
Free-agglomeration rule applied 289 times with reduction of 51 identical transitions.
Iterating global reduction 143 with 289 rules applied. Total rules applied 6190 place count 1709 transition count 4829
Reduce places removed 289 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 1451 transitions
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 1463 transitions.
Graph (complete) has 4590 edges and 1420 vertex of which 1402 are kept as prefixes of interest. Removing 18 places using SCC suffix rule.4 ms
Discarding 18 places :
Also discarding 0 output transitions
Iterating post reduction 143 with 1753 rules applied. Total rules applied 7943 place count 1402 transition count 3366
Drop transitions (Empty/Sink Transition effects.) removed 18 transitions
Reduce isomorphic transitions removed 18 transitions.
Iterating post reduction 144 with 18 rules applied. Total rules applied 7961 place count 1402 transition count 3348
Drop transitions (Redundant composition of simpler transitions.) removed 324 transitions
Redundant transition composition rules discarded 324 transitions
Iterating global reduction 145 with 324 rules applied. Total rules applied 8285 place count 1402 transition count 3024
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 145 with 1 rules applied. Total rules applied 8286 place count 1401 transition count 3023
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 145 with 3 rules applied. Total rules applied 8289 place count 1398 transition count 3023
Performed 224 Post agglomeration using F-continuation condition.Transition count delta: 224
Deduced a syphon composed of 224 places in 4 ms
Reduce places removed 448 places and 0 transitions.
Iterating global reduction 146 with 672 rules applied. Total rules applied 8961 place count 950 transition count 2799
Drop transitions (Empty/Sink Transition effects.) removed 224 transitions
Ensure Unique test removed 534 transitions
Reduce isomorphic transitions removed 758 transitions.
Iterating post reduction 146 with 758 rules applied. Total rules applied 9719 place count 950 transition count 2041
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: 101
Deduced a syphon composed of 101 places in 1 ms
Reduce places removed 202 places and 0 transitions.
Iterating global reduction 147 with 303 rules applied. Total rules applied 10022 place count 748 transition count 1940
Drop transitions (Empty/Sink Transition effects.) removed 231 transitions
Ensure Unique test removed 43 transitions
Reduce isomorphic transitions removed 274 transitions.
Graph (trivial) has 214 edges and 748 vertex of which 124 / 748 are part of one of the 62 SCC in 0 ms
Free SCC test removed 62 places
Iterating post reduction 147 with 275 rules applied. Total rules applied 10297 place count 686 transition count 1666
Reduce places removed 41 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 315 transitions
Ensure Unique test removed 236 transitions
Reduce isomorphic transitions removed 551 transitions.
Graph (complete) has 1330 edges and 645 vertex of which 449 are kept as prefixes of interest. Removing 196 places using SCC suffix rule.1 ms
Discarding 196 places :
Also discarding 152 output transitions
Drop transitions (Output transitions of discarded places.) removed 152 transitions
Iterating post reduction 148 with 593 rules applied. Total rules applied 10890 place count 449 transition count 963
Drop transitions (Empty/Sink Transition effects.) removed 44 transitions
Reduce isomorphic transitions removed 44 transitions.
Iterating post reduction 149 with 44 rules applied. Total rules applied 10934 place count 449 transition count 919
Performed 41 Post agglomeration using F-continuation condition.Transition count delta: 41
Deduced a syphon composed of 41 places in 0 ms
Reduce places removed 82 places and 0 transitions.
Iterating global reduction 150 with 123 rules applied. Total rules applied 11057 place count 367 transition count 878
Drop transitions (Empty/Sink Transition effects.) removed 41 transitions
Ensure Unique test removed 41 transitions
Reduce isomorphic transitions removed 82 transitions.
Iterating post reduction 150 with 82 rules applied. Total rules applied 11139 place count 367 transition count 796
Performed 28 Post agglomeration using F-continuation condition.Transition count delta: 28
Deduced a syphon composed of 28 places in 1 ms
Reduce places removed 56 places and 0 transitions.
Iterating global reduction 151 with 84 rules applied. Total rules applied 11223 place count 311 transition count 768
Drop transitions (Empty/Sink Transition effects.) removed 67 transitions
Ensure Unique test removed 27 transitions
Reduce isomorphic transitions removed 94 transitions.
Graph (trivial) has 9 edges and 311 vertex of which 8 / 311 are part of one of the 4 SCC in 0 ms
Free SCC test removed 4 places
Iterating post reduction 151 with 95 rules applied. Total rules applied 11318 place count 307 transition count 674
Drop transitions (Empty/Sink Transition effects.) removed 15 transitions
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 34 transitions.
Iterating post reduction 152 with 34 rules applied. Total rules applied 11352 place count 307 transition count 640
Drop transitions (Redundant composition of simpler transitions.) removed 193 transitions
Redundant transition composition rules discarded 193 transitions
Iterating global reduction 153 with 193 rules applied. Total rules applied 11545 place count 307 transition count 447
Graph (complete) has 638 edges and 307 vertex of which 235 are kept as prefixes of interest. Removing 72 places using SCC suffix rule.0 ms
Discarding 72 places :
Also discarding 0 output transitions
Iterating post reduction 153 with 1 rules applied. Total rules applied 11546 place count 235 transition count 447
Drop transitions (Empty/Sink Transition effects.) removed 89 transitions
Reduce isomorphic transitions removed 89 transitions.
Iterating post reduction 154 with 89 rules applied. Total rules applied 11635 place count 235 transition count 358
Applied a total of 11635 rules in 68420 ms. Remains 235 /2498 variables (removed 2263) and now considering 358/9435 (removed 9077) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 68420 ms. Remains : 235/2498 places, 358/9435 transitions.
RANDOM walk for 6875 steps (0 resets) in 332 ms. (20 steps per ms) remains 0/65 properties
Able to resolve query QuasiLiveness after proving 7078 properties.
FORMULA QuasiLiveness TRUE TECHNIQUES RANDOM_WALK TOPOLOGICAL INITIAL_STATE
Total runtime 217403 ms.
ITS solved all properties within timeout

BK_STOP 1716329018058

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination QuasiLiveness -timeout 180 -rebuildPNML

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="DLCshifumi-PT-4b"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="greatspnxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
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-5568"
echo " Executing tool greatspnxred"
echo " Input is DLCshifumi-PT-4b, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r122-smll-171624283300207"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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