About the Execution of ITS-Tools for DLCshifumi-PT-5b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8914.976 | 298409.00 | 345127.00 | 3552.70 | TFFFFFFTFTTTFFTT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r064-tall-162038397300510.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is DLCshifumi-PT-5b, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-tall-162038397300510
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 11M
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K May 5 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 108K May 5 16:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Mar 28 15:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 28 15:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 28 15:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 15:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 23 09:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 23 09:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 22 16:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 22 16:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 09:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 09:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 3 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 9.7M May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DLCshifumi-PT-5b-ReachabilityCardinality-00
FORMULA_NAME DLCshifumi-PT-5b-ReachabilityCardinality-01
FORMULA_NAME DLCshifumi-PT-5b-ReachabilityCardinality-02
FORMULA_NAME DLCshifumi-PT-5b-ReachabilityCardinality-03
FORMULA_NAME DLCshifumi-PT-5b-ReachabilityCardinality-04
FORMULA_NAME DLCshifumi-PT-5b-ReachabilityCardinality-05
FORMULA_NAME DLCshifumi-PT-5b-ReachabilityCardinality-06
FORMULA_NAME DLCshifumi-PT-5b-ReachabilityCardinality-07
FORMULA_NAME DLCshifumi-PT-5b-ReachabilityCardinality-08
FORMULA_NAME DLCshifumi-PT-5b-ReachabilityCardinality-09
FORMULA_NAME DLCshifumi-PT-5b-ReachabilityCardinality-10
FORMULA_NAME DLCshifumi-PT-5b-ReachabilityCardinality-11
FORMULA_NAME DLCshifumi-PT-5b-ReachabilityCardinality-12
FORMULA_NAME DLCshifumi-PT-5b-ReachabilityCardinality-13
FORMULA_NAME DLCshifumi-PT-5b-ReachabilityCardinality-14
FORMULA_NAME DLCshifumi-PT-5b-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1620538366096
Running Version 0
[2021-05-09 05:32:47] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-09 05:32:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-09 05:32:48] [INFO ] Load time of PNML (sax parser for PT used): 720 ms
[2021-05-09 05:32:48] [INFO ] Transformed 27146 places.
[2021-05-09 05:32:48] [INFO ] Transformed 39849 transitions.
[2021-05-09 05:32:48] [INFO ] Found NUPN structural information;
[2021-05-09 05:32:49] [INFO ] Parsed PT model containing 27146 places and 39849 transitions in 1872 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 19 ms.
Working with output stream class java.io.PrintStream
FORMULA DLCshifumi-PT-5b-ReachabilityCardinality-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-ReachabilityCardinality-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-ReachabilityCardinality-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Incomplete random walk after 10000 steps, including 2 resets, run finished after 244 ms. (steps per millisecond=40 ) properties (out of 13) seen :1
FORMULA DLCshifumi-PT-5b-ReachabilityCardinality-06 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 49 ms. (steps per millisecond=204 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 35 ms. (steps per millisecond=285 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 28 ms. (steps per millisecond=357 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 29 ms. (steps per millisecond=344 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 27 ms. (steps per millisecond=370 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 35 ms. (steps per millisecond=285 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=555 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=666 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 30 ms. (steps per millisecond=333 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 37 ms. (steps per millisecond=270 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=526 ) properties (out of 12) seen :0
Interrupted probabilistic random walk after 1129314 steps, run timeout after 30002 ms. (steps per millisecond=37 ) properties seen :{3=1, 4=1, 5=1, 7=1}
Probabilistic random walk after 1129314 steps, saw 1123034 distinct states, run finished after 30005 ms. (steps per millisecond=37 ) properties seen :{3=1, 4=1, 5=1, 7=1}
FORMULA DLCshifumi-PT-5b-ReachabilityCardinality-10 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DLCshifumi-PT-5b-ReachabilityCardinality-07 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DLCshifumi-PT-5b-ReachabilityCardinality-05 FALSE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA DLCshifumi-PT-5b-ReachabilityCardinality-03 FALSE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
Running SMT prover for 8 properties.
// Phase 1: matrix 39849 rows 27146 cols
[2021-05-09 05:33:22] [INFO ] Computed 1378 place invariants in 219 ms
[2021-05-09 05:33:38] [INFO ] [Real]Absence check using 1378 positive place invariants in 6279 ms returned sat
[2021-05-09 05:33:39] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:8
[2021-05-09 05:33:53] [INFO ] [Nat]Absence check using 1378 positive place invariants in 6078 ms returned sat
[2021-05-09 05:33:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-09 05:34:04] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
FORMULA DLCshifumi-PT-5b-ReachabilityCardinality-11 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 8 Parikh solutions to 1 different solutions.
Support contains 27 out of 27146 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Graph (trivial) has 25243 edges and 27146 vertex of which 2218 / 27146 are part of one of the 142 SCC in 54 ms
Free SCC test removed 2076 places
Drop transitions removed 2348 transitions
Reduce isomorphic transitions removed 2348 transitions.
Drop transitions removed 12884 transitions
Trivial Post-agglo rules discarded 12884 transitions
Performed 12884 trivial Post agglomeration. Transition count delta: 12884
Iterating post reduction 0 with 12884 rules applied. Total rules applied 12885 place count 25070 transition count 24617
Reduce places removed 12884 places and 0 transitions.
Ensure Unique test removed 383 transitions
Reduce isomorphic transitions removed 383 transitions.
Drop transitions removed 378 transitions
Trivial Post-agglo rules discarded 378 transitions
Performed 378 trivial Post agglomeration. Transition count delta: 378
Iterating post reduction 1 with 13645 rules applied. Total rules applied 26530 place count 12186 transition count 23856
Reduce places removed 378 places and 0 transitions.
Ensure Unique test removed 122 transitions
Reduce isomorphic transitions removed 122 transitions.
Drop transitions removed 122 transitions
Trivial Post-agglo rules discarded 122 transitions
Performed 122 trivial Post agglomeration. Transition count delta: 122
Iterating post reduction 2 with 622 rules applied. Total rules applied 27152 place count 11808 transition count 23612
Reduce places removed 122 places and 0 transitions.
Performed 18 Post agglomeration using F-continuation condition.Transition count delta: 18
Iterating post reduction 3 with 140 rules applied. Total rules applied 27292 place count 11686 transition count 23594
Reduce places removed 18 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 4 with 19 rules applied. Total rules applied 27311 place count 11668 transition count 23593
Performed 138 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 138 Pre rules applied. Total rules applied 27311 place count 11668 transition count 23455
Deduced a syphon composed of 138 places in 788 ms
Reduce places removed 138 places and 0 transitions.
Iterating global reduction 5 with 276 rules applied. Total rules applied 27587 place count 11530 transition count 23455
Discarding 3272 places :
Symmetric choice reduction at 5 with 3272 rule applications. Total rules 30859 place count 8258 transition count 20183
Iterating global reduction 5 with 3272 rules applied. Total rules applied 34131 place count 8258 transition count 20183
Performed 1369 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1369 Pre rules applied. Total rules applied 34131 place count 8258 transition count 18814
Deduced a syphon composed of 1369 places in 702 ms
Reduce places removed 1369 places and 0 transitions.
Iterating global reduction 5 with 2738 rules applied. Total rules applied 36869 place count 6889 transition count 18814
Discarding 272 places :
Symmetric choice reduction at 5 with 272 rule applications. Total rules 37141 place count 6617 transition count 13184
Iterating global reduction 5 with 272 rules applied. Total rules applied 37413 place count 6617 transition count 13184
Ensure Unique test removed 246 transitions
Reduce isomorphic transitions removed 246 transitions.
Iterating post reduction 5 with 246 rules applied. Total rules applied 37659 place count 6617 transition count 12938
Performed 1657 Post agglomeration using F-continuation condition with reduction of 5 identical transitions.
Deduced a syphon composed of 1657 places in 5 ms
Reduce places removed 1657 places and 0 transitions.
Iterating global reduction 6 with 3314 rules applied. Total rules applied 40973 place count 4960 transition count 11276
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 6 with 5 rules applied. Total rules applied 40978 place count 4960 transition count 11271
Renaming transitions due to excessive name length > 1024 char.
Performed 101 Post agglomeration using F-continuation condition with reduction of 155 identical transitions.
Deduced a syphon composed of 101 places in 7 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 7 with 202 rules applied. Total rules applied 41180 place count 4859 transition count 11751
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 41181 place count 4859 transition count 11750
Discarding 32 places :
Symmetric choice reduction at 8 with 32 rule applications. Total rules 41213 place count 4827 transition count 11430
Iterating global reduction 8 with 32 rules applied. Total rules applied 41245 place count 4827 transition count 11430
Ensure Unique test removed 156 transitions
Reduce isomorphic transitions removed 156 transitions.
Iterating post reduction 8 with 156 rules applied. Total rules applied 41401 place count 4827 transition count 11274
Performed 101 Post agglomeration using F-continuation condition with reduction of 160 identical transitions.
Deduced a syphon composed of 101 places in 4 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 9 with 202 rules applied. Total rules applied 41603 place count 4726 transition count 11740
Discarding 31 places :
Symmetric choice reduction at 9 with 31 rule applications. Total rules 41634 place count 4695 transition count 11430
Iterating global reduction 9 with 31 rules applied. Total rules applied 41665 place count 4695 transition count 11430
Ensure Unique test removed 155 transitions
Reduce isomorphic transitions removed 155 transitions.
Iterating post reduction 9 with 155 rules applied. Total rules applied 41820 place count 4695 transition count 11275
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 3 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 10 with 202 rules applied. Total rules applied 42022 place count 4594 transition count 11744
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 10 with 1 rules applied. Total rules applied 42023 place count 4594 transition count 11743
Discarding 34 places :
Symmetric choice reduction at 11 with 34 rule applications. Total rules 42057 place count 4560 transition count 11403
Iterating global reduction 11 with 34 rules applied. Total rules applied 42091 place count 4560 transition count 11403
Ensure Unique test removed 165 transitions
Reduce isomorphic transitions removed 165 transitions.
Iterating post reduction 11 with 165 rules applied. Total rules applied 42256 place count 4560 transition count 11238
Performed 91 Post agglomeration using F-continuation condition with reduction of 115 identical transitions.
Deduced a syphon composed of 91 places in 3 ms
Reduce places removed 91 places and 0 transitions.
Iterating global reduction 12 with 182 rules applied. Total rules applied 42438 place count 4469 transition count 11719
Drop transitions removed 37 transitions
Reduce isomorphic transitions removed 37 transitions.
Iterating post reduction 12 with 37 rules applied. Total rules applied 42475 place count 4469 transition count 11682
Discarding 23 places :
Symmetric choice reduction at 13 with 23 rule applications. Total rules 42498 place count 4446 transition count 11451
Iterating global reduction 13 with 23 rules applied. Total rules applied 42521 place count 4446 transition count 11451
Ensure Unique test removed 115 transitions
Reduce isomorphic transitions removed 115 transitions.
Iterating post reduction 13 with 115 rules applied. Total rules applied 42636 place count 4446 transition count 11336
Drop transitions removed 61 transitions
Redundant transition composition rules discarded 61 transitions
Iterating global reduction 14 with 61 rules applied. Total rules applied 42697 place count 4446 transition count 11275
Discarding 10 places :
Symmetric choice reduction at 14 with 10 rule applications. Total rules 42707 place count 4436 transition count 11265
Iterating global reduction 14 with 10 rules applied. Total rules applied 42717 place count 4436 transition count 11265
Discarding 10 places :
Symmetric choice reduction at 14 with 10 rule applications. Total rules 42727 place count 4426 transition count 9979
Iterating global reduction 14 with 10 rules applied. Total rules applied 42737 place count 4426 transition count 9979
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 14 with 10 rules applied. Total rules applied 42747 place count 4426 transition count 9969
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 2 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 15 with 10 rules applied. Total rules applied 42757 place count 4421 transition count 9964
Discarding 5 places :
Symmetric choice reduction at 15 with 5 rule applications. Total rules 42762 place count 4416 transition count 9321
Iterating global reduction 15 with 5 rules applied. Total rules applied 42767 place count 4416 transition count 9321
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 15 with 4 rules applied. Total rules applied 42771 place count 4416 transition count 9317
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 16 with 8 rules applied. Total rules applied 42779 place count 4412 transition count 9345
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 16 with 6 rules applied. Total rules applied 42785 place count 4412 transition count 9339
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 17 with 22 rules applied. Total rules applied 42807 place count 4412 transition count 9317
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 17 with 8 rules applied. Total rules applied 42815 place count 4408 transition count 9344
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 17 with 6 rules applied. Total rules applied 42821 place count 4408 transition count 9338
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 18 with 21 rules applied. Total rules applied 42842 place count 4408 transition count 9317
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 18 with 8 rules applied. Total rules applied 42850 place count 4404 transition count 9344
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 18 with 6 rules applied. Total rules applied 42856 place count 4404 transition count 9338
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 19 with 21 rules applied. Total rules applied 42877 place count 4404 transition count 9317
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 19 with 8 rules applied. Total rules applied 42885 place count 4400 transition count 9345
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 19 with 6 rules applied. Total rules applied 42891 place count 4400 transition count 9339
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 20 with 21 rules applied. Total rules applied 42912 place count 4400 transition count 9318
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 20 with 8 rules applied. Total rules applied 42920 place count 4396 transition count 9345
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 20 with 6 rules applied. Total rules applied 42926 place count 4396 transition count 9339
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 21 with 21 rules applied. Total rules applied 42947 place count 4396 transition count 9318
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 21 with 8 rules applied. Total rules applied 42955 place count 4392 transition count 9345
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 21 with 6 rules applied. Total rules applied 42961 place count 4392 transition count 9339
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 22 with 21 rules applied. Total rules applied 42982 place count 4392 transition count 9318
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 22 with 8 rules applied. Total rules applied 42990 place count 4388 transition count 9346
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 22 with 6 rules applied. Total rules applied 42996 place count 4388 transition count 9340
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 23 with 21 rules applied. Total rules applied 43017 place count 4388 transition count 9319
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 23 with 8 rules applied. Total rules applied 43025 place count 4384 transition count 9346
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 23 with 6 rules applied. Total rules applied 43031 place count 4384 transition count 9340
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 24 with 21 rules applied. Total rules applied 43052 place count 4384 transition count 9319
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 24 with 8 rules applied. Total rules applied 43060 place count 4380 transition count 9346
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 24 with 6 rules applied. Total rules applied 43066 place count 4380 transition count 9340
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 25 with 21 rules applied. Total rules applied 43087 place count 4380 transition count 9319
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 25 with 8 rules applied. Total rules applied 43095 place count 4376 transition count 9348
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 25 with 7 rules applied. Total rules applied 43102 place count 4376 transition count 9341
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 26 with 21 rules applied. Total rules applied 43123 place count 4376 transition count 9320
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 26 with 8 rules applied. Total rules applied 43131 place count 4372 transition count 9347
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 26 with 6 rules applied. Total rules applied 43137 place count 4372 transition count 9341
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 27 with 21 rules applied. Total rules applied 43158 place count 4372 transition count 9320
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 27 with 8 rules applied. Total rules applied 43166 place count 4368 transition count 9347
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 27 with 6 rules applied. Total rules applied 43172 place count 4368 transition count 9341
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 28 with 21 rules applied. Total rules applied 43193 place count 4368 transition count 9320
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 43201 place count 4364 transition count 9347
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 28 with 6 rules applied. Total rules applied 43207 place count 4364 transition count 9341
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 29 with 21 rules applied. Total rules applied 43228 place count 4364 transition count 9320
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 29 with 8 rules applied. Total rules applied 43236 place count 4360 transition count 9347
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 29 with 6 rules applied. Total rules applied 43242 place count 4360 transition count 9341
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 30 with 21 rules applied. Total rules applied 43263 place count 4360 transition count 9320
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 30 with 8 rules applied. Total rules applied 43271 place count 4356 transition count 9347
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 30 with 6 rules applied. Total rules applied 43277 place count 4356 transition count 9341
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 31 with 21 rules applied. Total rules applied 43298 place count 4356 transition count 9320
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 31 with 8 rules applied. Total rules applied 43306 place count 4352 transition count 9347
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 31 with 6 rules applied. Total rules applied 43312 place count 4352 transition count 9341
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 32 with 21 rules applied. Total rules applied 43333 place count 4352 transition count 9320
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 43341 place count 4348 transition count 9347
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 32 with 6 rules applied. Total rules applied 43347 place count 4348 transition count 9341
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 33 with 21 rules applied. Total rules applied 43368 place count 4348 transition count 9320
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 33 with 8 rules applied. Total rules applied 43376 place count 4344 transition count 9347
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 33 with 6 rules applied. Total rules applied 43382 place count 4344 transition count 9341
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 34 with 21 rules applied. Total rules applied 43403 place count 4344 transition count 9320
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 43411 place count 4340 transition count 9347
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 34 with 6 rules applied. Total rules applied 43417 place count 4340 transition count 9341
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 35 with 21 rules applied. Total rules applied 43438 place count 4340 transition count 9320
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 35 with 8 rules applied. Total rules applied 43446 place count 4336 transition count 9347
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 35 with 6 rules applied. Total rules applied 43452 place count 4336 transition count 9341
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 36 with 21 rules applied. Total rules applied 43473 place count 4336 transition count 9320
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 36 with 8 rules applied. Total rules applied 43481 place count 4332 transition count 9347
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 36 with 6 rules applied. Total rules applied 43487 place count 4332 transition count 9341
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 37 with 21 rules applied. Total rules applied 43508 place count 4332 transition count 9320
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 37 with 8 rules applied. Total rules applied 43516 place count 4328 transition count 9347
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 37 with 6 rules applied. Total rules applied 43522 place count 4328 transition count 9341
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 38 with 21 rules applied. Total rules applied 43543 place count 4328 transition count 9320
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 38 with 8 rules applied. Total rules applied 43551 place count 4324 transition count 9348
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 38 with 6 rules applied. Total rules applied 43557 place count 4324 transition count 9342
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 39 with 20 rules applied. Total rules applied 43577 place count 4324 transition count 9322
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 39 with 6 rules applied. Total rules applied 43583 place count 4321 transition count 9345
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 39 with 4 rules applied. Total rules applied 43587 place count 4321 transition count 9341
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 40 with 19 rules applied. Total rules applied 43606 place count 4321 transition count 9322
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 40 with 6 rules applied. Total rules applied 43612 place count 4318 transition count 9345
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 40 with 5 rules applied. Total rules applied 43617 place count 4318 transition count 9340
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 41 with 18 rules applied. Total rules applied 43635 place count 4318 transition count 9322
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 41 with 6 rules applied. Total rules applied 43641 place count 4315 transition count 9345
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 41 with 4 rules applied. Total rules applied 43645 place count 4315 transition count 9341
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 42 with 19 rules applied. Total rules applied 43664 place count 4315 transition count 9322
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 42 with 6 rules applied. Total rules applied 43670 place count 4312 transition count 9345
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 42 with 5 rules applied. Total rules applied 43675 place count 4312 transition count 9340
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 43 with 18 rules applied. Total rules applied 43693 place count 4312 transition count 9322
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 43 with 6 rules applied. Total rules applied 43699 place count 4309 transition count 9345
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 43 with 4 rules applied. Total rules applied 43703 place count 4309 transition count 9341
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 44 with 19 rules applied. Total rules applied 43722 place count 4309 transition count 9322
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 44 with 6 rules applied. Total rules applied 43728 place count 4306 transition count 9345
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 44 with 5 rules applied. Total rules applied 43733 place count 4306 transition count 9340
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 45 with 18 rules applied. Total rules applied 43751 place count 4306 transition count 9322
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 45 with 6 rules applied. Total rules applied 43757 place count 4303 transition count 9345
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 45 with 4 rules applied. Total rules applied 43761 place count 4303 transition count 9341
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 46 with 19 rules applied. Total rules applied 43780 place count 4303 transition count 9322
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 46 with 6 rules applied. Total rules applied 43786 place count 4300 transition count 9349
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 46 with 6 rules applied. Total rules applied 43792 place count 4300 transition count 9343
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 47 with 18 rules applied. Total rules applied 43810 place count 4300 transition count 9325
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 47 with 6 rules applied. Total rules applied 43816 place count 4297 transition count 9348
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 47 with 4 rules applied. Total rules applied 43820 place count 4297 transition count 9344
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 48 with 19 rules applied. Total rules applied 43839 place count 4297 transition count 9325
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 48 with 6 rules applied. Total rules applied 43845 place count 4294 transition count 9348
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 48 with 5 rules applied. Total rules applied 43850 place count 4294 transition count 9343
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 49 with 18 rules applied. Total rules applied 43868 place count 4294 transition count 9325
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 49 with 6 rules applied. Total rules applied 43874 place count 4291 transition count 9349
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 49 with 4 rules applied. Total rules applied 43878 place count 4291 transition count 9345
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 50 with 19 rules applied. Total rules applied 43897 place count 4291 transition count 9326
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 50 with 6 rules applied. Total rules applied 43903 place count 4288 transition count 9350
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 50 with 5 rules applied. Total rules applied 43908 place count 4288 transition count 9345
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 51 with 18 rules applied. Total rules applied 43926 place count 4288 transition count 9327
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 51 with 6 rules applied. Total rules applied 43932 place count 4285 transition count 9350
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 51 with 4 rules applied. Total rules applied 43936 place count 4285 transition count 9346
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 52 with 19 rules applied. Total rules applied 43955 place count 4285 transition count 9327
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 52 with 6 rules applied. Total rules applied 43961 place count 4282 transition count 9350
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 52 with 5 rules applied. Total rules applied 43966 place count 4282 transition count 9345
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 53 with 18 rules applied. Total rules applied 43984 place count 4282 transition count 9327
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 53 with 6 rules applied. Total rules applied 43990 place count 4279 transition count 9350
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 53 with 4 rules applied. Total rules applied 43994 place count 4279 transition count 9346
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 54 with 19 rules applied. Total rules applied 44013 place count 4279 transition count 9327
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 54 with 6 rules applied. Total rules applied 44019 place count 4276 transition count 9350
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 54 with 5 rules applied. Total rules applied 44024 place count 4276 transition count 9345
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 55 with 18 rules applied. Total rules applied 44042 place count 4276 transition count 9327
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 55 with 6 rules applied. Total rules applied 44048 place count 4273 transition count 9351
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 55 with 4 rules applied. Total rules applied 44052 place count 4273 transition count 9347
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 56 with 19 rules applied. Total rules applied 44071 place count 4273 transition count 9328
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 56 with 6 rules applied. Total rules applied 44077 place count 4270 transition count 9351
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 56 with 5 rules applied. Total rules applied 44082 place count 4270 transition count 9346
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 57 with 18 rules applied. Total rules applied 44100 place count 4270 transition count 9328
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 57 with 6 rules applied. Total rules applied 44106 place count 4267 transition count 9351
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 57 with 4 rules applied. Total rules applied 44110 place count 4267 transition count 9347
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 58 with 19 rules applied. Total rules applied 44129 place count 4267 transition count 9328
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 58 with 6 rules applied. Total rules applied 44135 place count 4264 transition count 9351
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 58 with 5 rules applied. Total rules applied 44140 place count 4264 transition count 9346
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 59 with 18 rules applied. Total rules applied 44158 place count 4264 transition count 9328
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 59 with 6 rules applied. Total rules applied 44164 place count 4261 transition count 9351
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 59 with 4 rules applied. Total rules applied 44168 place count 4261 transition count 9347
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 60 with 19 rules applied. Total rules applied 44187 place count 4261 transition count 9328
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 60 with 6 rules applied. Total rules applied 44193 place count 4258 transition count 9355
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 60 with 6 rules applied. Total rules applied 44199 place count 4258 transition count 9349
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 61 with 18 rules applied. Total rules applied 44217 place count 4258 transition count 9331
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 61 with 6 rules applied. Total rules applied 44223 place count 4255 transition count 9354
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 61 with 4 rules applied. Total rules applied 44227 place count 4255 transition count 9350
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 62 with 19 rules applied. Total rules applied 44246 place count 4255 transition count 9331
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 62 with 6 rules applied. Total rules applied 44252 place count 4252 transition count 9354
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 62 with 5 rules applied. Total rules applied 44257 place count 4252 transition count 9349
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 63 with 18 rules applied. Total rules applied 44275 place count 4252 transition count 9331
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 63 with 6 rules applied. Total rules applied 44281 place count 4249 transition count 9354
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 63 with 4 rules applied. Total rules applied 44285 place count 4249 transition count 9350
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 64 with 19 rules applied. Total rules applied 44304 place count 4249 transition count 9331
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 64 with 6 rules applied. Total rules applied 44310 place count 4246 transition count 9354
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 64 with 5 rules applied. Total rules applied 44315 place count 4246 transition count 9349
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 65 with 18 rules applied. Total rules applied 44333 place count 4246 transition count 9331
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 65 with 6 rules applied. Total rules applied 44339 place count 4243 transition count 9354
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 65 with 4 rules applied. Total rules applied 44343 place count 4243 transition count 9350
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 66 with 19 rules applied. Total rules applied 44362 place count 4243 transition count 9331
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 66 with 6 rules applied. Total rules applied 44368 place count 4240 transition count 9354
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 66 with 5 rules applied. Total rules applied 44373 place count 4240 transition count 9349
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 67 with 18 rules applied. Total rules applied 44391 place count 4240 transition count 9331
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 67 with 6 rules applied. Total rules applied 44397 place count 4237 transition count 9354
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 67 with 4 rules applied. Total rules applied 44401 place count 4237 transition count 9350
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 68 with 19 rules applied. Total rules applied 44420 place count 4237 transition count 9331
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 68 with 6 rules applied. Total rules applied 44426 place count 4234 transition count 9358
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 68 with 6 rules applied. Total rules applied 44432 place count 4234 transition count 9352
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 69 with 18 rules applied. Total rules applied 44450 place count 4234 transition count 9334
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 69 with 6 rules applied. Total rules applied 44456 place count 4231 transition count 9357
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 69 with 4 rules applied. Total rules applied 44460 place count 4231 transition count 9353
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 70 with 19 rules applied. Total rules applied 44479 place count 4231 transition count 9334
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 70 with 6 rules applied. Total rules applied 44485 place count 4228 transition count 9357
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 70 with 5 rules applied. Total rules applied 44490 place count 4228 transition count 9352
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 71 with 18 rules applied. Total rules applied 44508 place count 4228 transition count 9334
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 71 with 6 rules applied. Total rules applied 44514 place count 4225 transition count 9357
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 71 with 4 rules applied. Total rules applied 44518 place count 4225 transition count 9353
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 72 with 19 rules applied. Total rules applied 44537 place count 4225 transition count 9334
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 72 with 6 rules applied. Total rules applied 44543 place count 4222 transition count 9357
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 72 with 5 rules applied. Total rules applied 44548 place count 4222 transition count 9352
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 73 with 18 rules applied. Total rules applied 44566 place count 4222 transition count 9334
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 73 with 6 rules applied. Total rules applied 44572 place count 4219 transition count 9357
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 73 with 4 rules applied. Total rules applied 44576 place count 4219 transition count 9353
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 74 with 19 rules applied. Total rules applied 44595 place count 4219 transition count 9334
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 74 with 6 rules applied. Total rules applied 44601 place count 4216 transition count 9357
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 74 with 5 rules applied. Total rules applied 44606 place count 4216 transition count 9352
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 75 with 18 rules applied. Total rules applied 44624 place count 4216 transition count 9334
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 75 with 6 rules applied. Total rules applied 44630 place count 4213 transition count 9357
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 75 with 4 rules applied. Total rules applied 44634 place count 4213 transition count 9353
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 76 with 19 rules applied. Total rules applied 44653 place count 4213 transition count 9334
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 76 with 6 rules applied. Total rules applied 44659 place count 4210 transition count 9357
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 76 with 5 rules applied. Total rules applied 44664 place count 4210 transition count 9352
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 77 with 18 rules applied. Total rules applied 44682 place count 4210 transition count 9334
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 77 with 6 rules applied. Total rules applied 44688 place count 4207 transition count 9357
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 77 with 4 rules applied. Total rules applied 44692 place count 4207 transition count 9353
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 78 with 19 rules applied. Total rules applied 44711 place count 4207 transition count 9334
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 78 with 6 rules applied. Total rules applied 44717 place count 4204 transition count 9357
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 78 with 5 rules applied. Total rules applied 44722 place count 4204 transition count 9352
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 79 with 18 rules applied. Total rules applied 44740 place count 4204 transition count 9334
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 79 with 6 rules applied. Total rules applied 44746 place count 4201 transition count 9357
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 79 with 4 rules applied. Total rules applied 44750 place count 4201 transition count 9353
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 80 with 19 rules applied. Total rules applied 44769 place count 4201 transition count 9334
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 80 with 6 rules applied. Total rules applied 44775 place count 4198 transition count 9357
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 80 with 5 rules applied. Total rules applied 44780 place count 4198 transition count 9352
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 81 with 18 rules applied. Total rules applied 44798 place count 4198 transition count 9334
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 81 with 6 rules applied. Total rules applied 44804 place count 4195 transition count 9357
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 81 with 4 rules applied. Total rules applied 44808 place count 4195 transition count 9353
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 82 with 19 rules applied. Total rules applied 44827 place count 4195 transition count 9334
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 82 with 6 rules applied. Total rules applied 44833 place count 4192 transition count 9357
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 82 with 5 rules applied. Total rules applied 44838 place count 4192 transition count 9352
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 83 with 18 rules applied. Total rules applied 44856 place count 4192 transition count 9334
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 83 with 6 rules applied. Total rules applied 44862 place count 4189 transition count 9357
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 83 with 4 rules applied. Total rules applied 44866 place count 4189 transition count 9353
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 84 with 19 rules applied. Total rules applied 44885 place count 4189 transition count 9334
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 84 with 6 rules applied. Total rules applied 44891 place count 4186 transition count 9359
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 84 with 5 rules applied. Total rules applied 44896 place count 4186 transition count 9354
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 85 with 18 rules applied. Total rules applied 44914 place count 4186 transition count 9336
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 85 with 6 rules applied. Total rules applied 44920 place count 4183 transition count 9359
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 85 with 4 rules applied. Total rules applied 44924 place count 4183 transition count 9355
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 86 with 19 rules applied. Total rules applied 44943 place count 4183 transition count 9336
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 86 with 6 rules applied. Total rules applied 44949 place count 4180 transition count 9359
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 86 with 5 rules applied. Total rules applied 44954 place count 4180 transition count 9354
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 87 with 18 rules applied. Total rules applied 44972 place count 4180 transition count 9336
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 87 with 6 rules applied. Total rules applied 44978 place count 4177 transition count 9359
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 87 with 4 rules applied. Total rules applied 44982 place count 4177 transition count 9355
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 88 with 19 rules applied. Total rules applied 45001 place count 4177 transition count 9336
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 88 with 6 rules applied. Total rules applied 45007 place count 4174 transition count 9359
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 88 with 5 rules applied. Total rules applied 45012 place count 4174 transition count 9354
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 89 with 18 rules applied. Total rules applied 45030 place count 4174 transition count 9336
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 89 with 6 rules applied. Total rules applied 45036 place count 4171 transition count 9359
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 89 with 4 rules applied. Total rules applied 45040 place count 4171 transition count 9355
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 90 with 19 rules applied. Total rules applied 45059 place count 4171 transition count 9336
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 90 with 6 rules applied. Total rules applied 45065 place count 4168 transition count 9359
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 90 with 5 rules applied. Total rules applied 45070 place count 4168 transition count 9354
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 91 with 18 rules applied. Total rules applied 45088 place count 4168 transition count 9336
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 91 with 6 rules applied. Total rules applied 45094 place count 4165 transition count 9360
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 91 with 4 rules applied. Total rules applied 45098 place count 4165 transition count 9356
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 92 with 19 rules applied. Total rules applied 45117 place count 4165 transition count 9337
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 92 with 6 rules applied. Total rules applied 45123 place count 4162 transition count 9360
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 92 with 5 rules applied. Total rules applied 45128 place count 4162 transition count 9355
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 93 with 18 rules applied. Total rules applied 45146 place count 4162 transition count 9337
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 93 with 6 rules applied. Total rules applied 45152 place count 4159 transition count 9360
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 93 with 4 rules applied. Total rules applied 45156 place count 4159 transition count 9356
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 94 with 19 rules applied. Total rules applied 45175 place count 4159 transition count 9337
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 94 with 6 rules applied. Total rules applied 45181 place count 4156 transition count 9360
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 94 with 5 rules applied. Total rules applied 45186 place count 4156 transition count 9355
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 95 with 18 rules applied. Total rules applied 45204 place count 4156 transition count 9337
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 95 with 6 rules applied. Total rules applied 45210 place count 4153 transition count 9361
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 95 with 4 rules applied. Total rules applied 45214 place count 4153 transition count 9357
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 96 with 19 rules applied. Total rules applied 45233 place count 4153 transition count 9338
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 96 with 6 rules applied. Total rules applied 45239 place count 4150 transition count 9361
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 96 with 5 rules applied. Total rules applied 45244 place count 4150 transition count 9356
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 97 with 18 rules applied. Total rules applied 45262 place count 4150 transition count 9338
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 97 with 6 rules applied. Total rules applied 45268 place count 4147 transition count 9361
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 97 with 4 rules applied. Total rules applied 45272 place count 4147 transition count 9357
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 98 with 19 rules applied. Total rules applied 45291 place count 4147 transition count 9338
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 98 with 6 rules applied. Total rules applied 45297 place count 4144 transition count 9362
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 98 with 5 rules applied. Total rules applied 45302 place count 4144 transition count 9357
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 99 with 18 rules applied. Total rules applied 45320 place count 4144 transition count 9339
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 99 with 6 rules applied. Total rules applied 45326 place count 4141 transition count 9362
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 99 with 4 rules applied. Total rules applied 45330 place count 4141 transition count 9358
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 100 with 19 rules applied. Total rules applied 45349 place count 4141 transition count 9339
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 100 with 6 rules applied. Total rules applied 45355 place count 4138 transition count 9362
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 100 with 5 rules applied. Total rules applied 45360 place count 4138 transition count 9357
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 101 with 18 rules applied. Total rules applied 45378 place count 4138 transition count 9339
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 101 with 6 rules applied. Total rules applied 45384 place count 4135 transition count 9362
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 101 with 4 rules applied. Total rules applied 45388 place count 4135 transition count 9358
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 102 with 19 rules applied. Total rules applied 45407 place count 4135 transition count 9339
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 102 with 6 rules applied. Total rules applied 45413 place count 4132 transition count 9362
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 102 with 5 rules applied. Total rules applied 45418 place count 4132 transition count 9357
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 103 with 18 rules applied. Total rules applied 45436 place count 4132 transition count 9339
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 103 with 6 rules applied. Total rules applied 45442 place count 4129 transition count 9364
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 103 with 5 rules applied. Total rules applied 45447 place count 4129 transition count 9359
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 104 with 19 rules applied. Total rules applied 45466 place count 4129 transition count 9340
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 104 with 6 rules applied. Total rules applied 45472 place count 4126 transition count 9363
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 104 with 5 rules applied. Total rules applied 45477 place count 4126 transition count 9358
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 105 with 18 rules applied. Total rules applied 45495 place count 4126 transition count 9340
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 105 with 6 rules applied. Total rules applied 45501 place count 4123 transition count 9363
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 105 with 4 rules applied. Total rules applied 45505 place count 4123 transition count 9359
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 106 with 19 rules applied. Total rules applied 45524 place count 4123 transition count 9340
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 106 with 6 rules applied. Total rules applied 45530 place count 4120 transition count 9363
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 106 with 5 rules applied. Total rules applied 45535 place count 4120 transition count 9358
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 107 with 18 rules applied. Total rules applied 45553 place count 4120 transition count 9340
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 107 with 6 rules applied. Total rules applied 45559 place count 4117 transition count 9363
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 107 with 4 rules applied. Total rules applied 45563 place count 4117 transition count 9359
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 108 with 19 rules applied. Total rules applied 45582 place count 4117 transition count 9340
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 108 with 6 rules applied. Total rules applied 45588 place count 4114 transition count 9363
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 108 with 5 rules applied. Total rules applied 45593 place count 4114 transition count 9358
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 109 with 18 rules applied. Total rules applied 45611 place count 4114 transition count 9340
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 109 with 6 rules applied. Total rules applied 45617 place count 4111 transition count 9363
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 109 with 4 rules applied. Total rules applied 45621 place count 4111 transition count 9359
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 110 with 19 rules applied. Total rules applied 45640 place count 4111 transition count 9340
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 110 with 6 rules applied. Total rules applied 45646 place count 4108 transition count 9363
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 110 with 5 rules applied. Total rules applied 45651 place count 4108 transition count 9358
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 111 with 18 rules applied. Total rules applied 45669 place count 4108 transition count 9340
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 111 with 6 rules applied. Total rules applied 45675 place count 4105 transition count 9363
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 111 with 4 rules applied. Total rules applied 45679 place count 4105 transition count 9359
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 112 with 19 rules applied. Total rules applied 45698 place count 4105 transition count 9340
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 112 with 6 rules applied. Total rules applied 45704 place count 4102 transition count 9363
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 112 with 5 rules applied. Total rules applied 45709 place count 4102 transition count 9358
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 113 with 18 rules applied. Total rules applied 45727 place count 4102 transition count 9340
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 113 with 6 rules applied. Total rules applied 45733 place count 4099 transition count 9363
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 113 with 4 rules applied. Total rules applied 45737 place count 4099 transition count 9359
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 114 with 19 rules applied. Total rules applied 45756 place count 4099 transition count 9340
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 114 with 6 rules applied. Total rules applied 45762 place count 4096 transition count 9363
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 114 with 5 rules applied. Total rules applied 45767 place count 4096 transition count 9358
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 115 with 18 rules applied. Total rules applied 45785 place count 4096 transition count 9340
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 115 with 6 rules applied. Total rules applied 45791 place count 4093 transition count 9363
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 115 with 4 rules applied. Total rules applied 45795 place count 4093 transition count 9359
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 116 with 19 rules applied. Total rules applied 45814 place count 4093 transition count 9340
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 116 with 6 rules applied. Total rules applied 45820 place count 4090 transition count 9363
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 116 with 5 rules applied. Total rules applied 45825 place count 4090 transition count 9358
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 117 with 18 rules applied. Total rules applied 45843 place count 4090 transition count 9340
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 117 with 6 rules applied. Total rules applied 45849 place count 4087 transition count 9363
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 117 with 4 rules applied. Total rules applied 45853 place count 4087 transition count 9359
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 118 with 19 rules applied. Total rules applied 45872 place count 4087 transition count 9340
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 118 with 6 rules applied. Total rules applied 45878 place count 4084 transition count 9363
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 118 with 5 rules applied. Total rules applied 45883 place count 4084 transition count 9358
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 119 with 18 rules applied. Total rules applied 45901 place count 4084 transition count 9340
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 119 with 6 rules applied. Total rules applied 45907 place count 4081 transition count 9363
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 119 with 4 rules applied. Total rules applied 45911 place count 4081 transition count 9359
Drop transitions removed 17 transitions
Redundant transition composition rules discarded 17 transitions
Iterating global reduction 120 with 17 rules applied. Total rules applied 45928 place count 4081 transition count 9342
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 120 with 4 rules applied. Total rules applied 45932 place count 4079 transition count 9361
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 120 with 3 rules applied. Total rules applied 45935 place count 4079 transition count 9358
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 121 with 15 rules applied. Total rules applied 45950 place count 4079 transition count 9343
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 121 with 4 rules applied. Total rules applied 45954 place count 4077 transition count 9361
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 121 with 3 rules applied. Total rules applied 45957 place count 4077 transition count 9358
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 122 with 15 rules applied. Total rules applied 45972 place count 4077 transition count 9343
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 122 with 4 rules applied. Total rules applied 45976 place count 4075 transition count 9361
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 122 with 3 rules applied. Total rules applied 45979 place count 4075 transition count 9358
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 123 with 15 rules applied. Total rules applied 45994 place count 4075 transition count 9343
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 123 with 4 rules applied. Total rules applied 45998 place count 4073 transition count 9361
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 123 with 3 rules applied. Total rules applied 46001 place count 4073 transition count 9358
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 124 with 15 rules applied. Total rules applied 46016 place count 4073 transition count 9343
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 124 with 4 rules applied. Total rules applied 46020 place count 4071 transition count 9361
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 124 with 3 rules applied. Total rules applied 46023 place count 4071 transition count 9358
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 125 with 15 rules applied. Total rules applied 46038 place count 4071 transition count 9343
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 125 with 4 rules applied. Total rules applied 46042 place count 4069 transition count 9361
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 125 with 3 rules applied. Total rules applied 46045 place count 4069 transition count 9358
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 126 with 15 rules applied. Total rules applied 46060 place count 4069 transition count 9343
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 126 with 4 rules applied. Total rules applied 46064 place count 4067 transition count 9361
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 126 with 3 rules applied. Total rules applied 46067 place count 4067 transition count 9358
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 127 with 15 rules applied. Total rules applied 46082 place count 4067 transition count 9343
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 127 with 4 rules applied. Total rules applied 46086 place count 4065 transition count 9361
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 127 with 3 rules applied. Total rules applied 46089 place count 4065 transition count 9358
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 128 with 15 rules applied. Total rules applied 46104 place count 4065 transition count 9343
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 128 with 4 rules applied. Total rules applied 46108 place count 4063 transition count 9361
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 128 with 3 rules applied. Total rules applied 46111 place count 4063 transition count 9358
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 129 with 15 rules applied. Total rules applied 46126 place count 4063 transition count 9343
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 129 with 4 rules applied. Total rules applied 46130 place count 4061 transition count 9361
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 129 with 3 rules applied. Total rules applied 46133 place count 4061 transition count 9358
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 130 with 15 rules applied. Total rules applied 46148 place count 4061 transition count 9343
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 130 with 4 rules applied. Total rules applied 46152 place count 4059 transition count 9361
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 130 with 3 rules applied. Total rules applied 46155 place count 4059 transition count 9358
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 131 with 15 rules applied. Total rules applied 46170 place count 4059 transition count 9343
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 131 with 4 rules applied. Total rules applied 46174 place count 4057 transition count 9361
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 131 with 3 rules applied. Total rules applied 46177 place count 4057 transition count 9358
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 132 with 15 rules applied. Total rules applied 46192 place count 4057 transition count 9343
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -22
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 132 with 4 rules applied. Total rules applied 46196 place count 4055 transition count 9365
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 132 with 4 rules applied. Total rules applied 46200 place count 4055 transition count 9361
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 133 with 15 rules applied. Total rules applied 46215 place count 4055 transition count 9346
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 133 with 4 rules applied. Total rules applied 46219 place count 4053 transition count 9364
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 133 with 3 rules applied. Total rules applied 46222 place count 4053 transition count 9361
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 134 with 15 rules applied. Total rules applied 46237 place count 4053 transition count 9346
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 134 with 4 rules applied. Total rules applied 46241 place count 4051 transition count 9364
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 134 with 3 rules applied. Total rules applied 46244 place count 4051 transition count 9361
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 135 with 15 rules applied. Total rules applied 46259 place count 4051 transition count 9346
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 135 with 4 rules applied. Total rules applied 46263 place count 4049 transition count 9364
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 135 with 3 rules applied. Total rules applied 46266 place count 4049 transition count 9361
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 136 with 15 rules applied. Total rules applied 46281 place count 4049 transition count 9346
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 136 with 4 rules applied. Total rules applied 46285 place count 4047 transition count 9365
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 136 with 3 rules applied. Total rules applied 46288 place count 4047 transition count 9362
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 137 with 15 rules applied. Total rules applied 46303 place count 4047 transition count 9347
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 137 with 4 rules applied. Total rules applied 46307 place count 4045 transition count 9365
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 137 with 3 rules applied. Total rules applied 46310 place count 4045 transition count 9362
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 138 with 15 rules applied. Total rules applied 46325 place count 4045 transition count 9347
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 138 with 4 rules applied. Total rules applied 46329 place count 4043 transition count 9366
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 138 with 3 rules applied. Total rules applied 46332 place count 4043 transition count 9363
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 139 with 15 rules applied. Total rules applied 46347 place count 4043 transition count 9348
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 139 with 4 rules applied. Total rules applied 46351 place count 4041 transition count 9366
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 139 with 3 rules applied. Total rules applied 46354 place count 4041 transition count 9363
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 140 with 15 rules applied. Total rules applied 46369 place count 4041 transition count 9348
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 140 with 4 rules applied. Total rules applied 46373 place count 4039 transition count 9366
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 140 with 3 rules applied. Total rules applied 46376 place count 4039 transition count 9363
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 141 with 15 rules applied. Total rules applied 46391 place count 4039 transition count 9348
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 141 with 4 rules applied. Total rules applied 46395 place count 4037 transition count 9366
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 141 with 3 rules applied. Total rules applied 46398 place count 4037 transition count 9363
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 142 with 15 rules applied. Total rules applied 46413 place count 4037 transition count 9348
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 142 with 4 rules applied. Total rules applied 46417 place count 4035 transition count 9366
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 142 with 3 rules applied. Total rules applied 46420 place count 4035 transition count 9363
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 143 with 15 rules applied. Total rules applied 46435 place count 4035 transition count 9348
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 143 with 4 rules applied. Total rules applied 46439 place count 4033 transition count 9366
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 143 with 3 rules applied. Total rules applied 46442 place count 4033 transition count 9363
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 144 with 15 rules applied. Total rules applied 46457 place count 4033 transition count 9348
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 144 with 4 rules applied. Total rules applied 46461 place count 4031 transition count 9366
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 144 with 3 rules applied. Total rules applied 46464 place count 4031 transition count 9363
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 145 with 15 rules applied. Total rules applied 46479 place count 4031 transition count 9348
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 145 with 4 rules applied. Total rules applied 46483 place count 4029 transition count 9367
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 145 with 3 rules applied. Total rules applied 46486 place count 4029 transition count 9364
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 146 with 15 rules applied. Total rules applied 46501 place count 4029 transition count 9349
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 146 with 4 rules applied. Total rules applied 46505 place count 4027 transition count 9367
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 146 with 3 rules applied. Total rules applied 46508 place count 4027 transition count 9364
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 147 with 15 rules applied. Total rules applied 46523 place count 4027 transition count 9349
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 147 with 4 rules applied. Total rules applied 46527 place count 4025 transition count 9367
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 147 with 3 rules applied. Total rules applied 46530 place count 4025 transition count 9364
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 148 with 15 rules applied. Total rules applied 46545 place count 4025 transition count 9349
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 148 with 4 rules applied. Total rules applied 46549 place count 4023 transition count 9367
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 148 with 3 rules applied. Total rules applied 46552 place count 4023 transition count 9364
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 149 with 15 rules applied. Total rules applied 46567 place count 4023 transition count 9349
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 149 with 4 rules applied. Total rules applied 46571 place count 4021 transition count 9367
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 149 with 3 rules applied. Total rules applied 46574 place count 4021 transition count 9364
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 150 with 15 rules applied. Total rules applied 46589 place count 4021 transition count 9349
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 150 with 4 rules applied. Total rules applied 46593 place count 4019 transition count 9367
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 150 with 3 rules applied. Total rules applied 46596 place count 4019 transition count 9364
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 151 with 15 rules applied. Total rules applied 46611 place count 4019 transition count 9349
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 151 with 4 rules applied. Total rules applied 46615 place count 4017 transition count 9367
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 151 with 3 rules applied. Total rules applied 46618 place count 4017 transition count 9364
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 152 with 15 rules applied. Total rules applied 46633 place count 4017 transition count 9349
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 152 with 4 rules applied. Total rules applied 46637 place count 4015 transition count 9367
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 152 with 3 rules applied. Total rules applied 46640 place count 4015 transition count 9364
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 153 with 15 rules applied. Total rules applied 46655 place count 4015 transition count 9349
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -22
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 153 with 4 rules applied. Total rules applied 46659 place count 4013 transition count 9371
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 153 with 4 rules applied. Total rules applied 46663 place count 4013 transition count 9367
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 154 with 15 rules applied. Total rules applied 46678 place count 4013 transition count 9352
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 154 with 4 rules applied. Total rules applied 46682 place count 4011 transition count 9370
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 154 with 3 rules applied. Total rules applied 46685 place count 4011 transition count 9367
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 155 with 15 rules applied. Total rules applied 46700 place count 4011 transition count 9352
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 155 with 4 rules applied. Total rules applied 46704 place count 4009 transition count 9370
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 155 with 3 rules applied. Total rules applied 46707 place count 4009 transition count 9367
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 156 with 15 rules applied. Total rules applied 46722 place count 4009 transition count 9352
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 156 with 4 rules applied. Total rules applied 46726 place count 4007 transition count 9370
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 156 with 3 rules applied. Total rules applied 46729 place count 4007 transition count 9367
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 157 with 15 rules applied. Total rules applied 46744 place count 4007 transition count 9352
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 157 with 4 rules applied. Total rules applied 46748 place count 4005 transition count 9370
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 157 with 3 rules applied. Total rules applied 46751 place count 4005 transition count 9367
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 158 with 15 rules applied. Total rules applied 46766 place count 4005 transition count 9352
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 158 with 4 rules applied. Total rules applied 46770 place count 4003 transition count 9370
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 158 with 3 rules applied. Total rules applied 46773 place count 4003 transition count 9367
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 159 with 15 rules applied. Total rules applied 46788 place count 4003 transition count 9352
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 159 with 4 rules applied. Total rules applied 46792 place count 4001 transition count 9370
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 159 with 3 rules applied. Total rules applied 46795 place count 4001 transition count 9367
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 160 with 15 rules applied. Total rules applied 46810 place count 4001 transition count 9352
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 160 with 4 rules applied. Total rules applied 46814 place count 3999 transition count 9370
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 160 with 3 rules applied. Total rules applied 46817 place count 3999 transition count 9367
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 161 with 15 rules applied. Total rules applied 46832 place count 3999 transition count 9352
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 161 with 4 rules applied. Total rules applied 46836 place count 3997 transition count 9370
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 161 with 3 rules applied. Total rules applied 46839 place count 3997 transition count 9367
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 162 with 15 rules applied. Total rules applied 46854 place count 3997 transition count 9352
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 162 with 4 rules applied. Total rules applied 46858 place count 3995 transition count 9370
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 162 with 3 rules applied. Total rules applied 46861 place count 3995 transition count 9367
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 163 with 15 rules applied. Total rules applied 46876 place count 3995 transition count 9352
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 163 with 4 rules applied. Total rules applied 46880 place count 3993 transition count 9370
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 163 with 3 rules applied. Total rules applied 46883 place count 3993 transition count 9367
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 164 with 15 rules applied. Total rules applied 46898 place count 3993 transition count 9352
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 164 with 4 rules applied. Total rules applied 46902 place count 3991 transition count 9370
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 164 with 3 rules applied. Total rules applied 46905 place count 3991 transition count 9367
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 165 with 15 rules applied. Total rules applied 46920 place count 3991 transition count 9352
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -22
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 165 with 4 rules applied. Total rules applied 46924 place count 3989 transition count 9374
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 165 with 4 rules applied. Total rules applied 46928 place count 3989 transition count 9370
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 166 with 15 rules applied. Total rules applied 46943 place count 3989 transition count 9355
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 166 with 4 rules applied. Total rules applied 46947 place count 3987 transition count 9373
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 166 with 3 rules applied. Total rules applied 46950 place count 3987 transition count 9370
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 167 with 15 rules applied. Total rules applied 46965 place count 3987 transition count 9355
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 167 with 4 rules applied. Total rules applied 46969 place count 3985 transition count 9373
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 167 with 3 rules applied. Total rules applied 46972 place count 3985 transition count 9370
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 168 with 15 rules applied. Total rules applied 46987 place count 3985 transition count 9355
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 168 with 4 rules applied. Total rules applied 46991 place count 3983 transition count 9373
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 168 with 3 rules applied. Total rules applied 46994 place count 3983 transition count 9370
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 169 with 15 rules applied. Total rules applied 47009 place count 3983 transition count 9355
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 169 with 4 rules applied. Total rules applied 47013 place count 3981 transition count 9373
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 169 with 3 rules applied. Total rules applied 47016 place count 3981 transition count 9370
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 170 with 15 rules applied. Total rules applied 47031 place count 3981 transition count 9355
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 170 with 4 rules applied. Total rules applied 47035 place count 3979 transition count 9373
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 170 with 3 rules applied. Total rules applied 47038 place count 3979 transition count 9370
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 171 with 15 rules applied. Total rules applied 47053 place count 3979 transition count 9355
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 171 with 4 rules applied. Total rules applied 47057 place count 3977 transition count 9373
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 171 with 3 rules applied. Total rules applied 47060 place count 3977 transition count 9370
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 172 with 15 rules applied. Total rules applied 47075 place count 3977 transition count 9355
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 172 with 4 rules applied. Total rules applied 47079 place count 3975 transition count 9373
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 172 with 3 rules applied. Total rules applied 47082 place count 3975 transition count 9370
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 173 with 15 rules applied. Total rules applied 47097 place count 3975 transition count 9355
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 173 with 4 rules applied. Total rules applied 47101 place count 3973 transition count 9373
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 173 with 3 rules applied. Total rules applied 47104 place count 3973 transition count 9370
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 174 with 15 rules applied. Total rules applied 47119 place count 3973 transition count 9355
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 174 with 4 rules applied. Total rules applied 47123 place count 3971 transition count 9373
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 174 with 3 rules applied. Total rules applied 47126 place count 3971 transition count 9370
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 175 with 15 rules applied. Total rules applied 47141 place count 3971 transition count 9355
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 175 with 4 rules applied. Total rules applied 47145 place count 3969 transition count 9373
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 175 with 3 rules applied. Total rules applied 47148 place count 3969 transition count 9370
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 176 with 15 rules applied. Total rules applied 47163 place count 3969 transition count 9355
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 176 with 4 rules applied. Total rules applied 47167 place count 3967 transition count 9373
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 176 with 3 rules applied. Total rules applied 47170 place count 3967 transition count 9370
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 177 with 15 rules applied. Total rules applied 47185 place count 3967 transition count 9355
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 177 with 4 rules applied. Total rules applied 47189 place count 3965 transition count 9373
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 177 with 3 rules applied. Total rules applied 47192 place count 3965 transition count 9370
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 178 with 15 rules applied. Total rules applied 47207 place count 3965 transition count 9355
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 178 with 4 rules applied. Total rules applied 47211 place count 3963 transition count 9373
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 178 with 3 rules applied. Total rules applied 47214 place count 3963 transition count 9370
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 179 with 15 rules applied. Total rules applied 47229 place count 3963 transition count 9355
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 179 with 4 rules applied. Total rules applied 47233 place count 3961 transition count 9373
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 179 with 3 rules applied. Total rules applied 47236 place count 3961 transition count 9370
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 180 with 15 rules applied. Total rules applied 47251 place count 3961 transition count 9355
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 180 with 4 rules applied. Total rules applied 47255 place count 3959 transition count 9373
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 180 with 3 rules applied. Total rules applied 47258 place count 3959 transition count 9370
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 181 with 15 rules applied. Total rules applied 47273 place count 3959 transition count 9355
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 181 with 4 rules applied. Total rules applied 47277 place count 3957 transition count 9373
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 181 with 3 rules applied. Total rules applied 47280 place count 3957 transition count 9370
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 182 with 15 rules applied. Total rules applied 47295 place count 3957 transition count 9355
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 182 with 4 rules applied. Total rules applied 47299 place count 3955 transition count 9373
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 182 with 3 rules applied. Total rules applied 47302 place count 3955 transition count 9370
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 183 with 15 rules applied. Total rules applied 47317 place count 3955 transition count 9355
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 183 with 4 rules applied. Total rules applied 47321 place count 3953 transition count 9373
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 183 with 3 rules applied. Total rules applied 47324 place count 3953 transition count 9370
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 184 with 15 rules applied. Total rules applied 47339 place count 3953 transition count 9355
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 184 with 4 rules applied. Total rules applied 47343 place count 3951 transition count 9373
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 184 with 3 rules applied. Total rules applied 47346 place count 3951 transition count 9370
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 185 with 15 rules applied. Total rules applied 47361 place count 3951 transition count 9355
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 185 with 4 rules applied. Total rules applied 47365 place count 3949 transition count 9373
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 185 with 3 rules applied. Total rules applied 47368 place count 3949 transition count 9370
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 186 with 15 rules applied. Total rules applied 47383 place count 3949 transition count 9355
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 186 with 4 rules applied. Total rules applied 47387 place count 3947 transition count 9373
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 186 with 3 rules applied. Total rules applied 47390 place count 3947 transition count 9370
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 187 with 15 rules applied. Total rules applied 47405 place count 3947 transition count 9355
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 187 with 4 rules applied. Total rules applied 47409 place count 3945 transition count 9373
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 187 with 3 rules applied. Total rules applied 47412 place count 3945 transition count 9370
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 188 with 15 rules applied. Total rules applied 47427 place count 3945 transition count 9355
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 188 with 4 rules applied. Total rules applied 47431 place count 3943 transition count 9373
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 188 with 3 rules applied. Total rules applied 47434 place count 3943 transition count 9370
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 189 with 15 rules applied. Total rules applied 47449 place count 3943 transition count 9355
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -20
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 189 with 4 rules applied. Total rules applied 47453 place count 3941 transition count 9375
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 189 with 3 rules applied. Total rules applied 47456 place count 3941 transition count 9372
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 190 with 15 rules applied. Total rules applied 47471 place count 3941 transition count 9357
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 190 with 4 rules applied. Total rules applied 47475 place count 3939 transition count 9375
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 190 with 3 rules applied. Total rules applied 47478 place count 3939 transition count 9372
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 191 with 15 rules applied. Total rules applied 47493 place count 3939 transition count 9357
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 191 with 4 rules applied. Total rules applied 47497 place count 3937 transition count 9375
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 191 with 3 rules applied. Total rules applied 47500 place count 3937 transition count 9372
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 192 with 15 rules applied. Total rules applied 47515 place count 3937 transition count 9357
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 192 with 4 rules applied. Total rules applied 47519 place count 3935 transition count 9375
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 192 with 3 rules applied. Total rules applied 47522 place count 3935 transition count 9372
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 193 with 15 rules applied. Total rules applied 47537 place count 3935 transition count 9357
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 193 with 4 rules applied. Total rules applied 47541 place count 3933 transition count 9375
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 193 with 3 rules applied. Total rules applied 47544 place count 3933 transition count 9372
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 194 with 15 rules applied. Total rules applied 47559 place count 3933 transition count 9357
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 194 with 4 rules applied. Total rules applied 47563 place count 3931 transition count 9375
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 194 with 3 rules applied. Total rules applied 47566 place count 3931 transition count 9372
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 195 with 15 rules applied. Total rules applied 47581 place count 3931 transition count 9357
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 195 with 4 rules applied. Total rules applied 47585 place count 3929 transition count 9375
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 195 with 3 rules applied. Total rules applied 47588 place count 3929 transition count 9372
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 196 with 15 rules applied. Total rules applied 47603 place count 3929 transition count 9357
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 196 with 4 rules applied. Total rules applied 47607 place count 3927 transition count 9375
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 196 with 3 rules applied. Total rules applied 47610 place count 3927 transition count 9372
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 197 with 15 rules applied. Total rules applied 47625 place count 3927 transition count 9357
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 197 with 4 rules applied. Total rules applied 47629 place count 3925 transition count 9375
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 197 with 3 rules applied. Total rules applied 47632 place count 3925 transition count 9372
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 198 with 15 rules applied. Total rules applied 47647 place count 3925 transition count 9357
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 198 with 4 rules applied. Total rules applied 47651 place count 3923 transition count 9375
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 198 with 3 rules applied. Total rules applied 47654 place count 3923 transition count 9372
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 199 with 15 rules applied. Total rules applied 47669 place count 3923 transition count 9357
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 199 with 4 rules applied. Total rules applied 47673 place count 3921 transition count 9376
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 199 with 3 rules applied. Total rules applied 47676 place count 3921 transition count 9373
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 200 with 15 rules applied. Total rules applied 47691 place count 3921 transition count 9358
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 200 with 4 rules applied. Total rules applied 47695 place count 3919 transition count 9376
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 200 with 3 rules applied. Total rules applied 47698 place count 3919 transition count 9373
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 201 with 15 rules applied. Total rules applied 47713 place count 3919 transition count 9358
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 201 with 4 rules applied. Total rules applied 47717 place count 3917 transition count 9376
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 201 with 3 rules applied. Total rules applied 47720 place count 3917 transition count 9373
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 202 with 15 rules applied. Total rules applied 47735 place count 3917 transition count 9358
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 202 with 4 rules applied. Total rules applied 47739 place count 3915 transition count 9376
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 202 with 3 rules applied. Total rules applied 47742 place count 3915 transition count 9373
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 203 with 15 rules applied. Total rules applied 47757 place count 3915 transition count 9358
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 203 with 4 rules applied. Total rules applied 47761 place count 3913 transition count 9376
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 203 with 3 rules applied. Total rules applied 47764 place count 3913 transition count 9373
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 204 with 15 rules applied. Total rules applied 47779 place count 3913 transition count 9358
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 204 with 4 rules applied. Total rules applied 47783 place count 3911 transition count 9376
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 204 with 3 rules applied. Total rules applied 47786 place count 3911 transition count 9373
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 205 with 15 rules applied. Total rules applied 47801 place count 3911 transition count 9358
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 205 with 4 rules applied. Total rules applied 47805 place count 3909 transition count 9377
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 205 with 3 rules applied. Total rules applied 47808 place count 3909 transition count 9374
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 206 with 15 rules applied. Total rules applied 47823 place count 3909 transition count 9359
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 206 with 4 rules applied. Total rules applied 47827 place count 3907 transition count 9377
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 206 with 3 rules applied. Total rules applied 47830 place count 3907 transition count 9374
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 207 with 15 rules applied. Total rules applied 47845 place count 3907 transition count 9359
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 207 with 4 rules applied. Total rules applied 47849 place count 3905 transition count 9377
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 207 with 3 rules applied. Total rules applied 47852 place count 3905 transition count 9374
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 208 with 15 rules applied. Total rules applied 47867 place count 3905 transition count 9359
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 208 with 4 rules applied. Total rules applied 47871 place count 3903 transition count 9377
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 208 with 3 rules applied. Total rules applied 47874 place count 3903 transition count 9374
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 209 with 15 rules applied. Total rules applied 47889 place count 3903 transition count 9359
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 209 with 4 rules applied. Total rules applied 47893 place count 3901 transition count 9377
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 209 with 3 rules applied. Total rules applied 47896 place count 3901 transition count 9374
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 210 with 15 rules applied. Total rules applied 47911 place count 3901 transition count 9359
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 210 with 4 rules applied. Total rules applied 47915 place count 3899 transition count 9378
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 210 with 3 rules applied. Total rules applied 47918 place count 3899 transition count 9375
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 211 with 15 rules applied. Total rules applied 47933 place count 3899 transition count 9360
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 211 with 4 rules applied. Total rules applied 47937 place count 3897 transition count 9378
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 211 with 3 rules applied. Total rules applied 47940 place count 3897 transition count 9375
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 212 with 15 rules applied. Total rules applied 47955 place count 3897 transition count 9360
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 212 with 4 rules applied. Total rules applied 47959 place count 3895 transition count 9378
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 212 with 3 rules applied. Total rules applied 47962 place count 3895 transition count 9375
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 213 with 15 rules applied. Total rules applied 47977 place count 3895 transition count 9360
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 213 with 4 rules applied. Total rules applied 47981 place count 3893 transition count 9378
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 213 with 3 rules applied. Total rules applied 47984 place count 3893 transition count 9375
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 214 with 15 rules applied. Total rules applied 47999 place count 3893 transition count 9360
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 214 with 4 rules applied. Total rules applied 48003 place count 3891 transition count 9378
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 214 with 3 rules applied. Total rules applied 48006 place count 3891 transition count 9375
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 215 with 15 rules applied. Total rules applied 48021 place count 3891 transition count 9360
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 215 with 4 rules applied. Total rules applied 48025 place count 3889 transition count 9378
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 215 with 3 rules applied. Total rules applied 48028 place count 3889 transition count 9375
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 216 with 15 rules applied. Total rules applied 48043 place count 3889 transition count 9360
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 216 with 4 rules applied. Total rules applied 48047 place count 3887 transition count 9378
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 216 with 3 rules applied. Total rules applied 48050 place count 3887 transition count 9375
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 217 with 15 rules applied. Total rules applied 48065 place count 3887 transition count 9360
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 217 with 4 rules applied. Total rules applied 48069 place count 3885 transition count 9378
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 217 with 3 rules applied. Total rules applied 48072 place count 3885 transition count 9375
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 218 with 15 rules applied. Total rules applied 48087 place count 3885 transition count 9360
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -16
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 218 with 4 rules applied. Total rules applied 48091 place count 3883 transition count 9376
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 218 with 2 rules applied. Total rules applied 48093 place count 3883 transition count 9374
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 219 with 15 rules applied. Total rules applied 48108 place count 3883 transition count 9359
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 219 with 4 rules applied. Total rules applied 48112 place count 3881 transition count 9377
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 219 with 3 rules applied. Total rules applied 48115 place count 3881 transition count 9374
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 220 with 15 rules applied. Total rules applied 48130 place count 3881 transition count 9359
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 220 with 4 rules applied. Total rules applied 48134 place count 3879 transition count 9377
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 220 with 3 rules applied. Total rules applied 48137 place count 3879 transition count 9374
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 221 with 15 rules applied. Total rules applied 48152 place count 3879 transition count 9359
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 221 with 4 rules applied. Total rules applied 48156 place count 3877 transition count 9377
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 221 with 3 rules applied. Total rules applied 48159 place count 3877 transition count 9374
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 222 with 15 rules applied. Total rules applied 48174 place count 3877 transition count 9359
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 222 with 4 rules applied. Total rules applied 48178 place count 3875 transition count 9377
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 222 with 3 rules applied. Total rules applied 48181 place count 3875 transition count 9374
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 223 with 15 rules applied. Total rules applied 48196 place count 3875 transition count 9359
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 223 with 4 rules applied. Total rules applied 48200 place count 3873 transition count 9377
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 223 with 3 rules applied. Total rules applied 48203 place count 3873 transition count 9374
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 224 with 15 rules applied. Total rules applied 48218 place count 3873 transition count 9359
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 224 with 4 rules applied. Total rules applied 48222 place count 3871 transition count 9377
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 224 with 3 rules applied. Total rules applied 48225 place count 3871 transition count 9374
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 225 with 15 rules applied. Total rules applied 48240 place count 3871 transition count 9359
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 225 with 4 rules applied. Total rules applied 48244 place count 3869 transition count 9377
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 225 with 3 rules applied. Total rules applied 48247 place count 3869 transition count 9374
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 226 with 15 rules applied. Total rules applied 48262 place count 3869 transition count 9359
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 226 with 4 rules applied. Total rules applied 48266 place count 3867 transition count 9377
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 226 with 3 rules applied. Total rules applied 48269 place count 3867 transition count 9374
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 227 with 15 rules applied. Total rules applied 48284 place count 3867 transition count 9359
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 227 with 4 rules applied. Total rules applied 48288 place count 3865 transition count 9377
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 227 with 3 rules applied. Total rules applied 48291 place count 3865 transition count 9374
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 228 with 15 rules applied. Total rules applied 48306 place count 3865 transition count 9359
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 228 with 4 rules applied. Total rules applied 48310 place count 3863 transition count 9377
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 228 with 3 rules applied. Total rules applied 48313 place count 3863 transition count 9374
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 229 with 15 rules applied. Total rules applied 48328 place count 3863 transition count 9359
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 229 with 4 rules applied. Total rules applied 48332 place count 3861 transition count 9377
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 229 with 3 rules applied. Total rules applied 48335 place count 3861 transition count 9374
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 230 with 15 rules applied. Total rules applied 48350 place count 3861 transition count 9359
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 230 with 4 rules applied. Total rules applied 48354 place count 3859 transition count 9377
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 230 with 3 rules applied. Total rules applied 48357 place count 3859 transition count 9374
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 231 with 15 rules applied. Total rules applied 48372 place count 3859 transition count 9359
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 231 with 4 rules applied. Total rules applied 48376 place count 3857 transition count 9377
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 231 with 3 rules applied. Total rules applied 48379 place count 3857 transition count 9374
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 232 with 15 rules applied. Total rules applied 48394 place count 3857 transition count 9359
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 232 with 4 rules applied. Total rules applied 48398 place count 3855 transition count 9377
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 232 with 3 rules applied. Total rules applied 48401 place count 3855 transition count 9374
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 233 with 15 rules applied. Total rules applied 48416 place count 3855 transition count 9359
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 233 with 4 rules applied. Total rules applied 48420 place count 3853 transition count 9377
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 233 with 3 rules applied. Total rules applied 48423 place count 3853 transition count 9374
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 234 with 15 rules applied. Total rules applied 48438 place count 3853 transition count 9359
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 234 with 4 rules applied. Total rules applied 48442 place count 3851 transition count 9377
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 234 with 3 rules applied. Total rules applied 48445 place count 3851 transition count 9374
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 235 with 15 rules applied. Total rules applied 48460 place count 3851 transition count 9359
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 235 with 4 rules applied. Total rules applied 48464 place count 3849 transition count 9377
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 235 with 3 rules applied. Total rules applied 48467 place count 3849 transition count 9374
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 236 with 15 rules applied. Total rules applied 48482 place count 3849 transition count 9359
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 236 with 4 rules applied. Total rules applied 48486 place count 3847 transition count 9377
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 236 with 3 rules applied. Total rules applied 48489 place count 3847 transition count 9374
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 237 with 15 rules applied. Total rules applied 48504 place count 3847 transition count 9359
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 237 with 4 rules applied. Total rules applied 48508 place count 3845 transition count 9377
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 237 with 3 rules applied. Total rules applied 48511 place count 3845 transition count 9374
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 238 with 15 rules applied. Total rules applied 48526 place count 3845 transition count 9359
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 238 with 4 rules applied. Total rules applied 48530 place count 3843 transition count 9377
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 238 with 3 rules applied. Total rules applied 48533 place count 3843 transition count 9374
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 239 with 15 rules applied. Total rules applied 48548 place count 3843 transition count 9359
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 239 with 4 rules applied. Total rules applied 48552 place count 3841 transition count 9377
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 239 with 3 rules applied. Total rules applied 48555 place count 3841 transition count 9374
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 240 with 15 rules applied. Total rules applied 48570 place count 3841 transition count 9359
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 240 with 4 rules applied. Total rules applied 48574 place count 3839 transition count 9377
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 240 with 3 rules applied. Total rules applied 48577 place count 3839 transition count 9374
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 241 with 15 rules applied. Total rules applied 48592 place count 3839 transition count 9359
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 241 with 4 rules applied. Total rules applied 48596 place count 3837 transition count 9377
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 241 with 3 rules applied. Total rules applied 48599 place count 3837 transition count 9374
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 242 with 15 rules applied. Total rules applied 48614 place count 3837 transition count 9359
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 242 with 4 rules applied. Total rules applied 48618 place count 3835 transition count 9377
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 242 with 3 rules applied. Total rules applied 48621 place count 3835 transition count 9374
Drop transitions removed 11 transitions
Redundant transition composition rules discarded 11 transitions
Iterating global reduction 243 with 11 rules applied. Total rules applied 48632 place count 3835 transition count 9363
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 243 with 2 rules applied. Total rules applied 48634 place count 3834 transition count 9374
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 243 with 2 rules applied. Total rules applied 48636 place count 3834 transition count 9372
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 244 with 9 rules applied. Total rules applied 48645 place count 3834 transition count 9363
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 244 with 2 rules applied. Total rules applied 48647 place count 3833 transition count 9375
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 244 with 1 rules applied. Total rules applied 48648 place count 3833 transition count 9374
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 245 with 10 rules applied. Total rules applied 48658 place count 3833 transition count 9364
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 245 with 2 rules applied. Total rules applied 48660 place count 3832 transition count 9375
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 245 with 2 rules applied. Total rules applied 48662 place count 3832 transition count 9373
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 246 with 9 rules applied. Total rules applied 48671 place count 3832 transition count 9364
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 246 with 2 rules applied. Total rules applied 48673 place count 3831 transition count 9375
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 246 with 1 rules applied. Total rules applied 48674 place count 3831 transition count 9374
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 247 with 10 rules applied. Total rules applied 48684 place count 3831 transition count 9364
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 247 with 2 rules applied. Total rules applied 48686 place count 3830 transition count 9375
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 247 with 2 rules applied. Total rules applied 48688 place count 3830 transition count 9373
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 248 with 9 rules applied. Total rules applied 48697 place count 3830 transition count 9364
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 248 with 2 rules applied. Total rules applied 48699 place count 3829 transition count 9375
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 248 with 1 rules applied. Total rules applied 48700 place count 3829 transition count 9374
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 249 with 10 rules applied. Total rules applied 48710 place count 3829 transition count 9364
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 249 with 2 rules applied. Total rules applied 48712 place count 3828 transition count 9375
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 249 with 2 rules applied. Total rules applied 48714 place count 3828 transition count 9373
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 250 with 9 rules applied. Total rules applied 48723 place count 3828 transition count 9364
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 250 with 2 rules applied. Total rules applied 48725 place count 3827 transition count 9375
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 250 with 1 rules applied. Total rules applied 48726 place count 3827 transition count 9374
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 251 with 10 rules applied. Total rules applied 48736 place count 3827 transition count 9364
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 251 with 2 rules applied. Total rules applied 48738 place count 3826 transition count 9375
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 251 with 2 rules applied. Total rules applied 48740 place count 3826 transition count 9373
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 252 with 9 rules applied. Total rules applied 48749 place count 3826 transition count 9364
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 252 with 2 rules applied. Total rules applied 48751 place count 3825 transition count 9375
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 252 with 1 rules applied. Total rules applied 48752 place count 3825 transition count 9374
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 253 with 10 rules applied. Total rules applied 48762 place count 3825 transition count 9364
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 253 with 2 rules applied. Total rules applied 48764 place count 3824 transition count 9375
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 253 with 2 rules applied. Total rules applied 48766 place count 3824 transition count 9373
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 254 with 9 rules applied. Total rules applied 48775 place count 3824 transition count 9364
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 254 with 2 rules applied. Total rules applied 48777 place count 3823 transition count 9375
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 254 with 1 rules applied. Total rules applied 48778 place count 3823 transition count 9374
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 255 with 10 rules applied. Total rules applied 48788 place count 3823 transition count 9364
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 255 with 2 rules applied. Total rules applied 48790 place count 3822 transition count 9375
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 255 with 2 rules applied. Total rules applied 48792 place count 3822 transition count 9373
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 256 with 9 rules applied. Total rules applied 48801 place count 3822 transition count 9364
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 256 with 2 rules applied. Total rules applied 48803 place count 3821 transition count 9375
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 256 with 1 rules applied. Total rules applied 48804 place count 3821 transition count 9374
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 257 with 10 rules applied. Total rules applied 48814 place count 3821 transition count 9364
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 257 with 2 rules applied. Total rules applied 48816 place count 3820 transition count 9375
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 257 with 2 rules applied. Total rules applied 48818 place count 3820 transition count 9373
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 258 with 9 rules applied. Total rules applied 48827 place count 3820 transition count 9364
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 258 with 2 rules applied. Total rules applied 48829 place count 3819 transition count 9375
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 258 with 1 rules applied. Total rules applied 48830 place count 3819 transition count 9374
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 259 with 10 rules applied. Total rules applied 48840 place count 3819 transition count 9364
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 259 with 2 rules applied. Total rules applied 48842 place count 3818 transition count 9373
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 259 with 1 rules applied. Total rules applied 48843 place count 3818 transition count 9372
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 260 with 9 rules applied. Total rules applied 48852 place count 3818 transition count 9363
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 260 with 2 rules applied. Total rules applied 48854 place count 3817 transition count 9372
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 260 with 1 rules applied. Total rules applied 48855 place count 3817 transition count 9371
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 261 with 9 rules applied. Total rules applied 48864 place count 3817 transition count 9362
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 261 with 2 rules applied. Total rules applied 48866 place count 3816 transition count 9371
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 261 with 1 rules applied. Total rules applied 48867 place count 3816 transition count 9370
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 262 with 9 rules applied. Total rules applied 48876 place count 3816 transition count 9361
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 262 with 2 rules applied. Total rules applied 48878 place count 3815 transition count 9370
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 262 with 1 rules applied. Total rules applied 48879 place count 3815 transition count 9369
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 263 with 9 rules applied. Total rules applied 48888 place count 3815 transition count 9360
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 263 with 2 rules applied. Total rules applied 48890 place count 3814 transition count 9369
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 263 with 1 rules applied. Total rules applied 48891 place count 3814 transition count 9368
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 264 with 9 rules applied. Total rules applied 48900 place count 3814 transition count 9359
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 264 with 2 rules applied. Total rules applied 48902 place count 3813 transition count 9368
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 264 with 1 rules applied. Total rules applied 48903 place count 3813 transition count 9367
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 265 with 9 rules applied. Total rules applied 48912 place count 3813 transition count 9358
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 265 with 2 rules applied. Total rules applied 48914 place count 3812 transition count 9367
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 265 with 1 rules applied. Total rules applied 48915 place count 3812 transition count 9366
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 266 with 9 rules applied. Total rules applied 48924 place count 3812 transition count 9357
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 266 with 2 rules applied. Total rules applied 48926 place count 3811 transition count 9366
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 266 with 1 rules applied. Total rules applied 48927 place count 3811 transition count 9365
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 267 with 9 rules applied. Total rules applied 48936 place count 3811 transition count 9356
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 267 with 2 rules applied. Total rules applied 48938 place count 3810 transition count 9365
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 267 with 1 rules applied. Total rules applied 48939 place count 3810 transition count 9364
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 268 with 9 rules applied. Total rules applied 48948 place count 3810 transition count 9355
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 268 with 2 rules applied. Total rules applied 48950 place count 3809 transition count 9364
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 268 with 1 rules applied. Total rules applied 48951 place count 3809 transition count 9363
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 269 with 9 rules applied. Total rules applied 48960 place count 3809 transition count 9354
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 269 with 2 rules applied. Total rules applied 48962 place count 3808 transition count 9363
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 269 with 1 rules applied. Total rules applied 48963 place count 3808 transition count 9362
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 270 with 9 rules applied. Total rules applied 48972 place count 3808 transition count 9353
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 270 with 2 rules applied. Total rules applied 48974 place count 3807 transition count 9362
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 270 with 1 rules applied. Total rules applied 48975 place count 3807 transition count 9361
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 271 with 9 rules applied. Total rules applied 48984 place count 3807 transition count 9352
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 271 with 2 rules applied. Total rules applied 48986 place count 3806 transition count 9361
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 271 with 1 rules applied. Total rules applied 48987 place count 3806 transition count 9360
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 272 with 9 rules applied. Total rules applied 48996 place count 3806 transition count 9351
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 272 with 2 rules applied. Total rules applied 48998 place count 3805 transition count 9360
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 272 with 1 rules applied. Total rules applied 48999 place count 3805 transition count 9359
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 273 with 9 rules applied. Total rules applied 49008 place count 3805 transition count 9350
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 273 with 2 rules applied. Total rules applied 49010 place count 3804 transition count 9359
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 273 with 1 rules applied. Total rules applied 49011 place count 3804 transition count 9358
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 274 with 9 rules applied. Total rules applied 49020 place count 3804 transition count 9349
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 274 with 2 rules applied. Total rules applied 49022 place count 3803 transition count 9358
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 274 with 1 rules applied. Total rules applied 49023 place count 3803 transition count 9357
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 275 with 9 rules applied. Total rules applied 49032 place count 3803 transition count 9348
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 275 with 2 rules applied. Total rules applied 49034 place count 3802 transition count 9357
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 275 with 1 rules applied. Total rules applied 49035 place count 3802 transition count 9356
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 276 with 9 rules applied. Total rules applied 49044 place count 3802 transition count 9347
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 276 with 2 rules applied. Total rules applied 49046 place count 3801 transition count 9356
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 276 with 1 rules applied. Total rules applied 49047 place count 3801 transition count 9355
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 277 with 9 rules applied. Total rules applied 49056 place count 3801 transition count 9346
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 277 with 2 rules applied. Total rules applied 49058 place count 3800 transition count 9355
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 277 with 1 rules applied. Total rules applied 49059 place count 3800 transition count 9354
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 278 with 9 rules applied. Total rules applied 49068 place count 3800 transition count 9345
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 278 with 2 rules applied. Total rules applied 49070 place count 3799 transition count 9354
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 278 with 1 rules applied. Total rules applied 49071 place count 3799 transition count 9353
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 279 with 9 rules applied. Total rules applied 49080 place count 3799 transition count 9344
Free-agglomeration rule applied 1600 times with reduction of 914 identical transitions.
Iterating global reduction 279 with 1600 rules applied. Total rules applied 50680 place count 3799 transition count 6830
Reduce places removed 1600 places and 0 transitions.
Drop transitions removed 2981 transitions
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 2986 transitions.
Graph (complete) has 6073 edges and 2199 vertex of which 2167 are kept as prefixes of interest. Removing 32 places using SCC suffix rule.3 ms
Discarding 32 places :
Also discarding 0 output transitions
Iterating post reduction 279 with 4587 rules applied. Total rules applied 55267 place count 2167 transition count 3844
Drop transitions removed 32 transitions
Reduce isomorphic transitions removed 32 transitions.
Iterating post reduction 280 with 32 rules applied. Total rules applied 55299 place count 2167 transition count 3812
Discarding 361 places :
Symmetric choice reduction at 281 with 361 rule applications. Total rules 55660 place count 1806 transition count 3419
Iterating global reduction 281 with 361 rules applied. Total rules applied 56021 place count 1806 transition count 3419
Drop transitions removed 318 transitions
Redundant transition composition rules discarded 318 transitions
Iterating global reduction 281 with 318 rules applied. Total rules applied 56339 place count 1806 transition count 3101
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 281 with 1 rules applied. Total rules applied 56340 place count 1805 transition count 3101
Partial Free-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 282 with 2 rules applied. Total rules applied 56342 place count 1805 transition count 3101
Applied a total of 56342 rules in 191409 ms. Remains 1805 /27146 variables (removed 25341) and now considering 3101/39849 (removed 36748) transitions.
Finished structural reductions, in 1 iterations. Remains : 1805/27146 places, 3101/39849 transitions.
[2021-05-09 05:37:16] [INFO ] Flatten gal took : 700 ms
[2021-05-09 05:37:16] [INFO ] Flatten gal took : 501 ms
[2021-05-09 05:37:16] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality12500364563027352842.gal : 50 ms
[2021-05-09 05:37:17] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality3934500280684047159.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality12500364563027352842.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality3934500280684047159.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality12500364563027352842.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality3934500280684047159.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality3934500280684047159.prop.
Detected timeout of ITS tools.
[2021-05-09 05:37:32] [INFO ] Flatten gal took : 452 ms
[2021-05-09 05:37:32] [INFO ] Applying decomposition
[2021-05-09 05:37:33] [INFO ] Flatten gal took : 490 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph5402692415748551407.txt, -o, /tmp/graph5402692415748551407.bin, -w, /tmp/graph5402692415748551407.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph5402692415748551407.bin, -l, -1, -v, -w, /tmp/graph5402692415748551407.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-09 05:37:33] [INFO ] Decomposing Gal with order
[2021-05-09 05:37:33] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-09 05:37:34] [INFO ] Removed a total of 8475 redundant transitions.
[2021-05-09 05:37:34] [INFO ] Flatten gal took : 424 ms
[2021-05-09 05:37:42] [INFO ] Fuse similar labels procedure discarded/fused a total of 952 labels/synchronizations in 7536 ms.
[2021-05-09 05:37:42] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality10199621033324978735.gal : 45 ms
[2021-05-09 05:37:42] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality15918429309888697785.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality10199621033324978735.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality15918429309888697785.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality10199621033324978735.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality15918429309888697785.prop --nowitness
Loading property file /tmp/ReachabilityCardinality15918429309888697785.prop.
SDD proceeding with computation,7 properties remain. new max is 4
SDD size :1 after 13
SDD proceeding with computation,7 properties remain. new max is 8
SDD size :13 after 1.57286e+06
SDD proceeding with computation,7 properties remain. new max is 16
SDD size :1.57286e+06 after 1.44311e+12
SDD proceeding with computation,7 properties remain. new max is 32
SDD size :1.44311e+12 after 1.45071e+26
Invariant property DLCshifumi-PT-5b-ReachabilityCardinality-13 does not hold.
FORMULA DLCshifumi-PT-5b-ReachabilityCardinality-13 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
Invariant property DLCshifumi-PT-5b-ReachabilityCardinality-01 does not hold.
FORMULA DLCshifumi-PT-5b-ReachabilityCardinality-01 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
SDD proceeding with computation,5 properties remain. new max is 32
SDD size :1.45071e+26 after 1.69095e+112
Reachability property DLCshifumi-PT-5b-ReachabilityCardinality-15 is true.
FORMULA DLCshifumi-PT-5b-ReachabilityCardinality-15 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
Reachability property DLCshifumi-PT-5b-ReachabilityCardinality-09 is true.
FORMULA DLCshifumi-PT-5b-ReachabilityCardinality-09 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
SDD proceeding with computation,3 properties remain. new max is 32
SDD size :1.69095e+112 after 6.63392e+169
SDD proceeding with computation,3 properties remain. new max is 64
SDD size :6.63392e+169 after 1.18311e+189
Reachability property DLCshifumi-PT-5b-ReachabilityCardinality-14 is true.
FORMULA DLCshifumi-PT-5b-ReachabilityCardinality-14 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
Invariant property DLCshifumi-PT-5b-ReachabilityCardinality-02 does not hold.
FORMULA DLCshifumi-PT-5b-ReachabilityCardinality-02 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
SDD proceeding with computation,1 properties remain. new max is 64
SDD size :1.18311e+189 after 1.8481e+195
Reachability property DLCshifumi-PT-5b-ReachabilityCardinality-00 is true.
FORMULA DLCshifumi-PT-5b-ReachabilityCardinality-00 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
Found states matching all0 target predicate
Will report total states built up to this point. Computation was interrupted after 65 fixpoint passes
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
petri\_inst\_inst\_mod\_flat,7.26154e+195,1.48312,55960,1176,277,14465,2108,2531,11400,241,2826,0
Total reachable state count : 7.261537831778860035554067290539988030624e+195
Verifying 7 reachability properties.
Reachability property DLCshifumi-PT-5b-ReachabilityCardinality-00 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCshifumi-PT-5b-ReachabilityCardinality-00,6.7668e+194,1.48516,55960,322,111,14465,2108,2539,11400,246,2826,0
Invariant property DLCshifumi-PT-5b-ReachabilityCardinality-01 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCshifumi-PT-5b-ReachabilityCardinality-01,9.07582e+194,1.49015,55960,1283,269,14465,2108,2564,11400,250,2826,0
Invariant property DLCshifumi-PT-5b-ReachabilityCardinality-02 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCshifumi-PT-5b-ReachabilityCardinality-02,1.80448e+195,1.49078,55960,324,111,14465,2108,2570,11400,252,2826,0
Reachability property DLCshifumi-PT-5b-ReachabilityCardinality-09 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCshifumi-PT-5b-ReachabilityCardinality-09,1.79259e+186,1.49118,55960,308,80,14465,2108,2571,11400,252,2826,0
Invariant property DLCshifumi-PT-5b-ReachabilityCardinality-13 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCshifumi-PT-5b-ReachabilityCardinality-13,1.07555e+187,1.49343,55960,390,95,14465,2108,2591,11400,255,2826,0
Reachability property DLCshifumi-PT-5b-ReachabilityCardinality-14 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCshifumi-PT-5b-ReachabilityCardinality-14,2.03004e+194,1.49444,55960,341,113,14465,2108,2614,11400,258,2826,0
Reachability property DLCshifumi-PT-5b-ReachabilityCardinality-15 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCshifumi-PT-5b-ReachabilityCardinality-15,4.90162e+185,1.4953,55960,317,86,14465,2108,2634,11400,260,2826,0
All properties solved without resorting to model-checking.
BK_STOP 1620538664505
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution ReachabilityCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination ReachabilityCardinality -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m
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-5b"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is DLCshifumi-PT-5b, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r064-tall-162038397300510"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCshifumi-PT-5b.tgz
mv DLCshifumi-PT-5b execution
cd execution
if [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "UpperBounds" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] || [ "ReachabilityCardinality" = "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 [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityCardinality"
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 ;