fond
Model Checking Contest 2022
12th edition, Bergen, Norway, June 21, 2022
Execution of r067-tall-165254778100217
Last Updated
Jun 22, 2022

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
5144.867 547033.00 622580.00 1242.40 T normal

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 10M
-rw-r--r-- 1 mcc users 9.0K Apr 29 14:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 100K Apr 29 14:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Apr 29 14:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Apr 29 14:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:33 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K May 9 07:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 9 07:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 9 07:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 9 07:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 9 07:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 9 07:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 10 09:33 equiv_col
-rw-r--r-- 1 mcc users 3 May 10 09:33 instance
-rw-r--r-- 1 mcc users 6 May 10 09:33 iscolored
-rw-r--r-- 1 mcc users 9.7M May 10 09:33 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME QuasiLiveness

=== Now, execution of the tool begins

BK_START 1652566694973

Running Version 202205111006
[2022-05-14 22:18:16] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -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, 1800]
[2022-05-14 22:18:16] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-14 22:18:16] [INFO ] Load time of PNML (sax parser for PT used): 739 ms
[2022-05-14 22:18:17] [INFO ] Transformed 27146 places.
[2022-05-14 22:18:17] [INFO ] Transformed 39849 transitions.
[2022-05-14 22:18:17] [INFO ] Found NUPN structural information;
[2022-05-14 22:18:18] [INFO ] Parsed PT model containing 27146 places and 39849 transitions in 1947 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Graph (trivial) has 25297 edges and 27146 vertex of which 2248 / 27146 are part of one of the 143 SCC in 64 ms
Free SCC test removed 2105 places
Ensure Unique test removed 2238 transitions
Reduce isomorphic transitions removed 2238 transitions.
Drop transitions removed 12914 transitions
Trivial Post-agglo rules discarded 12914 transitions
Performed 12914 trivial Post agglomeration. Transition count delta: 12914
Iterating post reduction 0 with 12914 rules applied. Total rules applied 12915 place count 25041 transition count 24697
Reduce places removed 12914 places and 0 transitions.
Ensure Unique test removed 384 transitions
Reduce isomorphic transitions removed 384 transitions.
Drop transitions removed 379 transitions
Trivial Post-agglo rules discarded 379 transitions
Performed 379 trivial Post agglomeration. Transition count delta: 379
Iterating post reduction 1 with 13677 rules applied. Total rules applied 26592 place count 12127 transition count 23934
Reduce places removed 379 places and 0 transitions.
Ensure Unique test removed 123 transitions
Reduce isomorphic transitions removed 123 transitions.
Drop transitions removed 123 transitions
Trivial Post-agglo rules discarded 123 transitions
Performed 123 trivial Post agglomeration. Transition count delta: 123
Iterating post reduction 2 with 625 rules applied. Total rules applied 27217 place count 11748 transition count 23688
Reduce places removed 123 places and 0 transitions.
Iterating post reduction 3 with 123 rules applied. Total rules applied 27340 place count 11625 transition count 23688
Performed 123 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 123 Pre rules applied. Total rules applied 27340 place count 11625 transition count 23565
Deduced a syphon composed of 123 places in 886 ms
Reduce places removed 123 places and 0 transitions.
Iterating global reduction 4 with 246 rules applied. Total rules applied 27586 place count 11502 transition count 23565
Discarding 3288 places :
Symmetric choice reduction at 4 with 3288 rule applications. Total rules 30874 place count 8214 transition count 20277
Iterating global reduction 4 with 3288 rules applied. Total rules applied 34162 place count 8214 transition count 20277
Performed 1250 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 1250 Pre rules applied. Total rules applied 34162 place count 8214 transition count 19027
Deduced a syphon composed of 1250 places in 649 ms
Reduce places removed 1250 places and 0 transitions.
Iterating global reduction 4 with 2500 rules applied. Total rules applied 36662 place count 6964 transition count 19027
Discarding 281 places :
Symmetric choice reduction at 4 with 281 rule applications. Total rules 36943 place count 6683 transition count 13352
Iterating global reduction 4 with 281 rules applied. Total rules applied 37224 place count 6683 transition count 13352
Ensure Unique test removed 256 transitions
Reduce isomorphic transitions removed 256 transitions.
Iterating post reduction 4 with 256 rules applied. Total rules applied 37480 place count 6683 transition count 13096
Performed 1780 Post agglomeration using F-continuation condition with reduction of 5 identical transitions.
Deduced a syphon composed of 1780 places in 4 ms
Reduce places removed 1780 places and 0 transitions.
Iterating global reduction 5 with 3560 rules applied. Total rules applied 41040 place count 4903 transition count 11311
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 5 with 5 rules applied. Total rules applied 41045 place count 4903 transition count 11306
Renaming transitions due to excessive name length > 1024 char.
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 15 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 6 with 202 rules applied. Total rules applied 41247 place count 4802 transition count 11776
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 41248 place count 4802 transition count 11775
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 4 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 7 with 202 rules applied. Total rules applied 41450 place count 4701 transition count 12248
Performed 101 Post agglomeration using F-continuation condition with reduction of 170 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 41652 place count 4600 transition count 12720
Performed 70 Post agglomeration using F-continuation condition with reduction of 110 identical transitions.
Deduced a syphon composed of 70 places in 5 ms
Reduce places removed 70 places and 0 transitions.
Iterating global reduction 7 with 140 rules applied. Total rules applied 41792 place count 4530 transition count 13065
Applied a total of 41792 rules in 9140 ms. Remains 4530 /27146 variables (removed 22616) and now considering 13065/39849 (removed 26784) transitions.
[2022-05-14 22:18:27] [INFO ] Flow matrix only has 12296 transitions (discarded 769 similar events)
// Phase 1: matrix 12296 rows 4530 cols
[2022-05-14 22:18:27] [INFO ] Computed 1378 place invariants in 96 ms
[2022-05-14 22:18:30] [INFO ] Implicit Places using invariants in 2715 ms returned []
Implicit Place search using SMT only with invariants took 2743 ms to find 0 implicit places.
[2022-05-14 22:18:30] [INFO ] Flow matrix only has 12296 transitions (discarded 769 similar events)
// Phase 1: matrix 12296 rows 4530 cols
[2022-05-14 22:18:30] [INFO ] Computed 1378 place invariants in 41 ms
[2022-05-14 22:18:36] [INFO ] Dead Transitions using invariants and state equation in 6674 ms found 0 transitions.
Starting structural reductions in LIVENESS mode, iteration 1 : 4530/27146 places, 13065/39849 transitions.
Finished structural reductions, in 1 iterations. Remains : 4530/27146 places, 13065/39849 transitions.
Discarding 4303 transitions out of 13065. Remains 8762
Initial state reduction rules removed 1 formulas.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 8144 ms. (steps per millisecond=1 ) properties (out of 8761) seen :6379
Running SMT prover for 2382 properties.
[2022-05-14 22:18:45] [INFO ] Flow matrix only has 12296 transitions (discarded 769 similar events)
// Phase 1: matrix 12296 rows 4530 cols
[2022-05-14 22:18:45] [INFO ] Computed 1378 place invariants in 43 ms
[2022-05-14 22:19:18] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-14 22:19:18] [INFO ] After 25038ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 2382 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 2168 out of 4530 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 4530/4530 places, 13065/13065 transitions.
Drop transitions removed 153 transitions
Reduce isomorphic transitions removed 153 transitions.
Iterating post reduction 0 with 153 rules applied. Total rules applied 153 place count 4530 transition count 12912
Drop transitions removed 35 transitions
Redundant transition composition rules discarded 35 transitions
Iterating global reduction 1 with 35 rules applied. Total rules applied 188 place count 4530 transition count 12877
Discarding 9 places :
Symmetric choice reduction at 1 with 9 rule applications. Total rules 197 place count 4521 transition count 12868
Iterating global reduction 1 with 9 rules applied. Total rules applied 206 place count 4521 transition count 12868
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -35
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 1 with 8 rules applied. Total rules applied 214 place count 4517 transition count 12903
Drop transitions removed 12 transitions
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 1 with 12 rules applied. Total rules applied 226 place count 4517 transition count 12891
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 2 with 19 rules applied. Total rules applied 245 place count 4517 transition count 12872
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -41
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 8 rules applied. Total rules applied 253 place count 4513 transition count 12913
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 259 place count 4513 transition count 12907
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 3 with 22 rules applied. Total rules applied 281 place count 4513 transition count 12885
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -39
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 3 with 8 rules applied. Total rules applied 289 place count 4509 transition count 12924
Drop transitions removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 3 with 8 rules applied. Total rules applied 297 place count 4509 transition count 12916
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 4 with 21 rules applied. Total rules applied 318 place count 4509 transition count 12895
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -41
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 4 with 8 rules applied. Total rules applied 326 place count 4505 transition count 12936
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 4 with 6 rules applied. Total rules applied 332 place count 4505 transition count 12930
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 5 with 22 rules applied. Total rules applied 354 place count 4505 transition count 12908
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -41
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 5 with 8 rules applied. Total rules applied 362 place count 4501 transition count 12949
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 5 with 6 rules applied. Total rules applied 368 place count 4501 transition count 12943
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 6 with 22 rules applied. Total rules applied 390 place count 4501 transition count 12921
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -35
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 6 with 8 rules applied. Total rules applied 398 place count 4497 transition count 12956
Drop transitions removed 12 transitions
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 6 with 12 rules applied. Total rules applied 410 place count 4497 transition count 12944
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 7 with 18 rules applied. Total rules applied 428 place count 4497 transition count 12926
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 7 with 6 rules applied. Total rules applied 434 place count 4494 transition count 12959
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 7 with 5 rules applied. Total rules applied 439 place count 4494 transition count 12954
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 8 with 19 rules applied. Total rules applied 458 place count 4494 transition count 12935
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 8 with 6 rules applied. Total rules applied 464 place count 4491 transition count 12968
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 8 with 5 rules applied. Total rules applied 469 place count 4491 transition count 12963
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 9 with 19 rules applied. Total rules applied 488 place count 4491 transition count 12944
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 9 with 6 rules applied. Total rules applied 494 place count 4488 transition count 12977
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 9 with 5 rules applied. Total rules applied 499 place count 4488 transition count 12972
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 10 with 19 rules applied. Total rules applied 518 place count 4488 transition count 12953
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 10 with 6 rules applied. Total rules applied 524 place count 4485 transition count 12986
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 10 with 5 rules applied. Total rules applied 529 place count 4485 transition count 12981
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 11 with 19 rules applied. Total rules applied 548 place count 4485 transition count 12962
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 11 with 6 rules applied. Total rules applied 554 place count 4482 transition count 12995
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 11 with 5 rules applied. Total rules applied 559 place count 4482 transition count 12990
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 12 with 19 rules applied. Total rules applied 578 place count 4482 transition count 12971
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 12 with 6 rules applied. Total rules applied 584 place count 4479 transition count 13004
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 12 with 5 rules applied. Total rules applied 589 place count 4479 transition count 12999
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 13 with 19 rules applied. Total rules applied 608 place count 4479 transition count 12980
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 13 with 6 rules applied. Total rules applied 614 place count 4476 transition count 13013
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 13 with 5 rules applied. Total rules applied 619 place count 4476 transition count 13008
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 14 with 19 rules applied. Total rules applied 638 place count 4476 transition count 12989
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 14 with 6 rules applied. Total rules applied 644 place count 4473 transition count 13022
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 14 with 5 rules applied. Total rules applied 649 place count 4473 transition count 13017
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 15 with 19 rules applied. Total rules applied 668 place count 4473 transition count 12998
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 15 with 6 rules applied. Total rules applied 674 place count 4470 transition count 13031
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 15 with 5 rules applied. Total rules applied 679 place count 4470 transition count 13026
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 16 with 19 rules applied. Total rules applied 698 place count 4470 transition count 13007
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 16 with 6 rules applied. Total rules applied 704 place count 4467 transition count 13040
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 16 with 5 rules applied. Total rules applied 709 place count 4467 transition count 13035
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 17 with 19 rules applied. Total rules applied 728 place count 4467 transition count 13016
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 17 with 6 rules applied. Total rules applied 734 place count 4464 transition count 13049
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 17 with 5 rules applied. Total rules applied 739 place count 4464 transition count 13044
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 18 with 19 rules applied. Total rules applied 758 place count 4464 transition count 13025
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 18 with 6 rules applied. Total rules applied 764 place count 4461 transition count 13058
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 18 with 5 rules applied. Total rules applied 769 place count 4461 transition count 13053
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 19 with 19 rules applied. Total rules applied 788 place count 4461 transition count 13034
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -32
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 19 with 6 rules applied. Total rules applied 794 place count 4458 transition count 13066
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 19 with 3 rules applied. Total rules applied 797 place count 4458 transition count 13063
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 20 with 19 rules applied. Total rules applied 816 place count 4458 transition count 13044
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 20 with 4 rules applied. Total rules applied 820 place count 4456 transition count 13064
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 20 with 2 rules applied. Total rules applied 822 place count 4456 transition count 13062
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 21 with 10 rules applied. Total rules applied 832 place count 4456 transition count 13052
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 21 with 4 rules applied. Total rules applied 836 place count 4454 transition count 13072
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 21 with 2 rules applied. Total rules applied 838 place count 4454 transition count 13070
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 22 with 10 rules applied. Total rules applied 848 place count 4454 transition count 13060
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 22 with 4 rules applied. Total rules applied 852 place count 4452 transition count 13080
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 22 with 2 rules applied. Total rules applied 854 place count 4452 transition count 13078
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 23 with 10 rules applied. Total rules applied 864 place count 4452 transition count 13068
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 23 with 4 rules applied. Total rules applied 868 place count 4450 transition count 13088
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 23 with 2 rules applied. Total rules applied 870 place count 4450 transition count 13086
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 24 with 10 rules applied. Total rules applied 880 place count 4450 transition count 13076
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 24 with 4 rules applied. Total rules applied 884 place count 4448 transition count 13096
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 24 with 2 rules applied. Total rules applied 886 place count 4448 transition count 13094
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 25 with 10 rules applied. Total rules applied 896 place count 4448 transition count 13084
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -20
Deduced a syphon composed of 2 places in 4 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 25 with 4 rules applied. Total rules applied 900 place count 4446 transition count 13104
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 25 with 2 rules applied. Total rules applied 902 place count 4446 transition count 13102
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 26 with 10 rules applied. Total rules applied 912 place count 4446 transition count 13092
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 26 with 4 rules applied. Total rules applied 916 place count 4444 transition count 13112
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 26 with 2 rules applied. Total rules applied 918 place count 4444 transition count 13110
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 27 with 10 rules applied. Total rules applied 928 place count 4444 transition count 13100
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 27 with 4 rules applied. Total rules applied 932 place count 4442 transition count 13120
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 27 with 2 rules applied. Total rules applied 934 place count 4442 transition count 13118
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 28 with 10 rules applied. Total rules applied 944 place count 4442 transition count 13108
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 28 with 4 rules applied. Total rules applied 948 place count 4440 transition count 13128
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 28 with 2 rules applied. Total rules applied 950 place count 4440 transition count 13126
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 29 with 10 rules applied. Total rules applied 960 place count 4440 transition count 13116
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 29 with 4 rules applied. Total rules applied 964 place count 4438 transition count 13136
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 29 with 2 rules applied. Total rules applied 966 place count 4438 transition count 13134
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 30 with 10 rules applied. Total rules applied 976 place count 4438 transition count 13124
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -20
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 30 with 4 rules applied. Total rules applied 980 place count 4436 transition count 13144
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 30 with 2 rules applied. Total rules applied 982 place count 4436 transition count 13142
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 31 with 10 rules applied. Total rules applied 992 place count 4436 transition count 13132
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 31 with 4 rules applied. Total rules applied 996 place count 4434 transition count 13152
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 31 with 2 rules applied. Total rules applied 998 place count 4434 transition count 13150
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 32 with 10 rules applied. Total rules applied 1008 place count 4434 transition count 13140
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 32 with 4 rules applied. Total rules applied 1012 place count 4432 transition count 13160
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 32 with 2 rules applied. Total rules applied 1014 place count 4432 transition count 13158
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 33 with 10 rules applied. Total rules applied 1024 place count 4432 transition count 13148
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 33 with 4 rules applied. Total rules applied 1028 place count 4430 transition count 13168
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 33 with 2 rules applied. Total rules applied 1030 place count 4430 transition count 13166
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 34 with 10 rules applied. Total rules applied 1040 place count 4430 transition count 13156
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 34 with 4 rules applied. Total rules applied 1044 place count 4428 transition count 13176
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 34 with 2 rules applied. Total rules applied 1046 place count 4428 transition count 13174
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 35 with 10 rules applied. Total rules applied 1056 place count 4428 transition count 13164
Free-agglomeration rule applied 817 times with reduction of 84 identical transitions.
Iterating global reduction 35 with 817 rules applied. Total rules applied 1873 place count 4428 transition count 12263
Reduce places removed 817 places and 0 transitions.
Drop transitions removed 675 transitions
Ensure Unique test removed 66 transitions
Reduce isomorphic transitions removed 741 transitions.
Iterating post reduction 35 with 1558 rules applied. Total rules applied 3431 place count 3611 transition count 11522
Drop transitions removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 36 with 14 rules applied. Total rules applied 3445 place count 3611 transition count 11508
Applied a total of 3445 rules in 34615 ms. Remains 3611 /4530 variables (removed 919) and now considering 11508/13065 (removed 1557) transitions.
Finished structural reductions, in 1 iterations. Remains : 3611/4530 places, 11508/13065 transitions.
Interrupted random walk after 215981 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=7 ) properties seen 2320
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1851 ms. (steps per millisecond=54 ) properties (out of 62) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1877 ms. (steps per millisecond=53 ) properties (out of 61) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1800 ms. (steps per millisecond=55 ) properties (out of 60) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1829 ms. (steps per millisecond=54 ) properties (out of 59) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1847 ms. (steps per millisecond=54 ) properties (out of 58) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1805 ms. (steps per millisecond=55 ) properties (out of 57) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1834 ms. (steps per millisecond=54 ) properties (out of 56) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1859 ms. (steps per millisecond=53 ) properties (out of 55) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1801 ms. (steps per millisecond=55 ) properties (out of 54) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1846 ms. (steps per millisecond=54 ) properties (out of 53) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1854 ms. (steps per millisecond=53 ) properties (out of 52) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1816 ms. (steps per millisecond=55 ) properties (out of 51) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1821 ms. (steps per millisecond=54 ) properties (out of 50) seen :2
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1837 ms. (steps per millisecond=54 ) properties (out of 48) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1827 ms. (steps per millisecond=54 ) properties (out of 47) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1828 ms. (steps per millisecond=54 ) properties (out of 46) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1802 ms. (steps per millisecond=55 ) properties (out of 45) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1838 ms. (steps per millisecond=54 ) properties (out of 44) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1825 ms. (steps per millisecond=54 ) properties (out of 43) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1804 ms. (steps per millisecond=55 ) properties (out of 42) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1843 ms. (steps per millisecond=54 ) properties (out of 41) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1825 ms. (steps per millisecond=54 ) properties (out of 40) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1799 ms. (steps per millisecond=55 ) properties (out of 39) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1840 ms. (steps per millisecond=54 ) properties (out of 38) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1824 ms. (steps per millisecond=54 ) properties (out of 37) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1809 ms. (steps per millisecond=55 ) properties (out of 36) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1856 ms. (steps per millisecond=53 ) properties (out of 35) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1827 ms. (steps per millisecond=54 ) properties (out of 34) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1807 ms. (steps per millisecond=55 ) properties (out of 33) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1854 ms. (steps per millisecond=53 ) properties (out of 32) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1812 ms. (steps per millisecond=55 ) properties (out of 31) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1803 ms. (steps per millisecond=55 ) properties (out of 30) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1846 ms. (steps per millisecond=54 ) properties (out of 29) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1813 ms. (steps per millisecond=55 ) properties (out of 28) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1803 ms. (steps per millisecond=55 ) properties (out of 27) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1814 ms. (steps per millisecond=55 ) properties (out of 26) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1807 ms. (steps per millisecond=55 ) properties (out of 25) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1831 ms. (steps per millisecond=54 ) properties (out of 24) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1809 ms. (steps per millisecond=55 ) properties (out of 23) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1807 ms. (steps per millisecond=55 ) properties (out of 22) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1835 ms. (steps per millisecond=54 ) properties (out of 21) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1815 ms. (steps per millisecond=55 ) properties (out of 20) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1797 ms. (steps per millisecond=55 ) properties (out of 19) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1834 ms. (steps per millisecond=54 ) properties (out of 18) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1816 ms. (steps per millisecond=55 ) properties (out of 17) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1795 ms. (steps per millisecond=55 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1835 ms. (steps per millisecond=54 ) properties (out of 15) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1813 ms. (steps per millisecond=55 ) properties (out of 14) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1793 ms. (steps per millisecond=55 ) properties (out of 13) seen :0
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1836 ms. (steps per millisecond=54 ) properties (out of 13) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1822 ms. (steps per millisecond=54 ) properties (out of 12) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1797 ms. (steps per millisecond=55 ) properties (out of 11) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1849 ms. (steps per millisecond=54 ) properties (out of 10) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1805 ms. (steps per millisecond=55 ) properties (out of 9) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1797 ms. (steps per millisecond=55 ) properties (out of 8) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1853 ms. (steps per millisecond=53 ) properties (out of 7) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1810 ms. (steps per millisecond=55 ) properties (out of 6) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1804 ms. (steps per millisecond=55 ) properties (out of 5) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1858 ms. (steps per millisecond=53 ) properties (out of 4) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1801 ms. (steps per millisecond=55 ) properties (out of 3) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 1806 ms. (steps per millisecond=55 ) properties (out of 2) seen :1
Running SMT prover for 1 properties.
[2022-05-14 22:22:13] [INFO ] Flow matrix only has 8896 transitions (discarded 2612 similar events)
// Phase 1: matrix 8896 rows 3611 cols
[2022-05-14 22:22:13] [INFO ] Computed 1378 place invariants in 23 ms
[2022-05-14 22:22:14] [INFO ] [Real]Absence check using 1378 positive place invariants in 280 ms returned sat
[2022-05-14 22:22:17] [INFO ] After 3803ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2022-05-14 22:22:18] [INFO ] [Nat]Absence check using 1378 positive place invariants in 237 ms returned sat
[2022-05-14 22:22:21] [INFO ] After 3427ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2022-05-14 22:22:21] [INFO ] State equation strengthened by 1772 read => feed constraints.
[2022-05-14 22:22:23] [INFO ] After 1173ms SMT Verify possible using 1772 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2022-05-14 22:22:23] [INFO ] After 1643ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 285 ms.
[2022-05-14 22:22:23] [INFO ] After 6093ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 12 ms.
Support contains 2 out of 3611 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 3611/3611 places, 11508/11508 transitions.
Discarding 132 places :
Symmetric choice reduction at 0 with 132 rule applications. Total rules 132 place count 3479 transition count 9017
Iterating global reduction 0 with 132 rules applied. Total rules applied 264 place count 3479 transition count 9017
Ensure Unique test removed 687 transitions
Reduce isomorphic transitions removed 687 transitions.
Iterating post reduction 0 with 687 rules applied. Total rules applied 951 place count 3479 transition count 8330
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 952 place count 3478 transition count 8202
Iterating global reduction 1 with 1 rules applied. Total rules applied 953 place count 3478 transition count 8202
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 954 place count 3478 transition count 8201
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 2 with 10 rules applied. Total rules applied 964 place count 3473 transition count 8196
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 969 place count 3468 transition count 7492
Iterating global reduction 2 with 5 rules applied. Total rules applied 974 place count 3468 transition count 7492
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 2 with 5 rules applied. Total rules applied 979 place count 3468 transition count 7487
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 3 with 6 rules applied. Total rules applied 985 place count 3465 transition count 7510
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 3 with 6 rules applied. Total rules applied 991 place count 3465 transition count 7504
Drop transitions removed 17 transitions
Redundant transition composition rules discarded 17 transitions
Iterating global reduction 4 with 17 rules applied. Total rules applied 1008 place count 3465 transition count 7487
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 4 with 4 rules applied. Total rules applied 1012 place count 3463 transition count 7505
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 1014 place count 3463 transition count 7503
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 5 with 16 rules applied. Total rules applied 1030 place count 3463 transition count 7487
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 5 with 4 rules applied. Total rules applied 1034 place count 3461 transition count 7505
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 5 with 3 rules applied. Total rules applied 1037 place count 3461 transition count 7502
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 6 with 15 rules applied. Total rules applied 1052 place count 3461 transition count 7487
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 6 with 4 rules applied. Total rules applied 1056 place count 3459 transition count 7505
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 6 with 3 rules applied. Total rules applied 1059 place count 3459 transition count 7502
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 7 with 15 rules applied. Total rules applied 1074 place count 3459 transition count 7487
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 7 with 4 rules applied. Total rules applied 1078 place count 3457 transition count 7505
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 7 with 2 rules applied. Total rules applied 1080 place count 3457 transition count 7503
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 8 with 16 rules applied. Total rules applied 1096 place count 3457 transition count 7487
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 8 with 4 rules applied. Total rules applied 1100 place count 3455 transition count 7505
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 8 with 4 rules applied. Total rules applied 1104 place count 3455 transition count 7501
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 9 with 16 rules applied. Total rules applied 1120 place count 3455 transition count 7485
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 9 with 4 rules applied. Total rules applied 1124 place count 3453 transition count 7503
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 9 with 4 rules applied. Total rules applied 1128 place count 3453 transition count 7499
Drop transitions removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 10 with 14 rules applied. Total rules applied 1142 place count 3453 transition count 7485
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 10 with 4 rules applied. Total rules applied 1146 place count 3451 transition count 7503
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 10 with 3 rules applied. Total rules applied 1149 place count 3451 transition count 7500
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 11 with 15 rules applied. Total rules applied 1164 place count 3451 transition count 7485
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 11 with 4 rules applied. Total rules applied 1168 place count 3449 transition count 7503
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 11 with 3 rules applied. Total rules applied 1171 place count 3449 transition count 7500
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 12 with 15 rules applied. Total rules applied 1186 place count 3449 transition count 7485
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 12 with 4 rules applied. Total rules applied 1190 place count 3447 transition count 7503
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 12 with 5 rules applied. Total rules applied 1195 place count 3447 transition count 7498
Drop transitions removed 11 transitions
Redundant transition composition rules discarded 11 transitions
Iterating global reduction 13 with 11 rules applied. Total rules applied 1206 place count 3447 transition count 7487
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 13 with 2 rules applied. Total rules applied 1208 place count 3446 transition count 7498
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 13 with 1 rules applied. Total rules applied 1209 place count 3446 transition count 7497
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 14 with 10 rules applied. Total rules applied 1219 place count 3446 transition count 7487
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 14 with 2 rules applied. Total rules applied 1221 place count 3445 transition count 7498
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 14 with 2 rules applied. Total rules applied 1223 place count 3445 transition count 7496
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 15 with 9 rules applied. Total rules applied 1232 place count 3445 transition count 7487
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 15 with 2 rules applied. Total rules applied 1234 place count 3444 transition count 7498
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 15 with 1 rules applied. Total rules applied 1235 place count 3444 transition count 7497
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 16 with 10 rules applied. Total rules applied 1245 place count 3444 transition count 7487
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 16 with 2 rules applied. Total rules applied 1247 place count 3443 transition count 7498
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 16 with 2 rules applied. Total rules applied 1249 place count 3443 transition count 7496
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 17 with 9 rules applied. Total rules applied 1258 place count 3443 transition count 7487
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 17 with 2 rules applied. Total rules applied 1260 place count 3442 transition count 7498
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 17 with 2 rules applied. Total rules applied 1262 place count 3442 transition count 7496
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 18 with 9 rules applied. Total rules applied 1271 place count 3442 transition count 7487
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 18 with 2 rules applied. Total rules applied 1273 place count 3441 transition count 7498
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 18 with 1 rules applied. Total rules applied 1274 place count 3441 transition count 7497
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 19 with 10 rules applied. Total rules applied 1284 place count 3441 transition count 7487
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 19 with 2 rules applied. Total rules applied 1286 place count 3440 transition count 7498
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 19 with 2 rules applied. Total rules applied 1288 place count 3440 transition count 7496
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 20 with 9 rules applied. Total rules applied 1297 place count 3440 transition count 7487
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 20 with 2 rules applied. Total rules applied 1299 place count 3439 transition count 7498
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 20 with 1 rules applied. Total rules applied 1300 place count 3439 transition count 7497
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 21 with 10 rules applied. Total rules applied 1310 place count 3439 transition count 7487
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 21 with 2 rules applied. Total rules applied 1312 place count 3438 transition count 7498
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 21 with 2 rules applied. Total rules applied 1314 place count 3438 transition count 7496
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 22 with 9 rules applied. Total rules applied 1323 place count 3438 transition count 7487
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 22 with 2 rules applied. Total rules applied 1325 place count 3437 transition count 7498
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 22 with 1 rules applied. Total rules applied 1326 place count 3437 transition count 7497
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 23 with 10 rules applied. Total rules applied 1336 place count 3437 transition count 7487
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 23 with 2 rules applied. Total rules applied 1338 place count 3436 transition count 7497
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 23 with 1 rules applied. Total rules applied 1339 place count 3436 transition count 7496
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 24 with 9 rules applied. Total rules applied 1348 place count 3436 transition count 7487
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 24 with 2 rules applied. Total rules applied 1350 place count 3435 transition count 7497
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 24 with 1 rules applied. Total rules applied 1351 place count 3435 transition count 7496
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 25 with 9 rules applied. Total rules applied 1360 place count 3435 transition count 7487
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 25 with 2 rules applied. Total rules applied 1362 place count 3434 transition count 7498
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 25 with 2 rules applied. Total rules applied 1364 place count 3434 transition count 7496
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 26 with 9 rules applied. Total rules applied 1373 place count 3434 transition count 7487
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 26 with 2 rules applied. Total rules applied 1375 place count 3433 transition count 7498
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 26 with 1 rules applied. Total rules applied 1376 place count 3433 transition count 7497
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 27 with 10 rules applied. Total rules applied 1386 place count 3433 transition count 7487
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 27 with 2 rules applied. Total rules applied 1388 place count 3432 transition count 7498
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 27 with 2 rules applied. Total rules applied 1390 place count 3432 transition count 7496
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 28 with 9 rules applied. Total rules applied 1399 place count 3432 transition count 7487
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 28 with 2 rules applied. Total rules applied 1401 place count 3431 transition count 7497
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 28 with 1 rules applied. Total rules applied 1402 place count 3431 transition count 7496
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 29 with 9 rules applied. Total rules applied 1411 place count 3431 transition count 7487
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 29 with 2 rules applied. Total rules applied 1413 place count 3430 transition count 7498
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 29 with 2 rules applied. Total rules applied 1415 place count 3430 transition count 7496
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 30 with 9 rules applied. Total rules applied 1424 place count 3430 transition count 7487
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 30 with 2 rules applied. Total rules applied 1426 place count 3429 transition count 7498
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 30 with 1 rules applied. Total rules applied 1427 place count 3429 transition count 7497
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 31 with 10 rules applied. Total rules applied 1437 place count 3429 transition count 7487
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 31 with 2 rules applied. Total rules applied 1439 place count 3428 transition count 7498
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 31 with 2 rules applied. Total rules applied 1441 place count 3428 transition count 7496
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 32 with 9 rules applied. Total rules applied 1450 place count 3428 transition count 7487
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 32 with 2 rules applied. Total rules applied 1452 place count 3427 transition count 7498
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 32 with 1 rules applied. Total rules applied 1453 place count 3427 transition count 7497
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 33 with 10 rules applied. Total rules applied 1463 place count 3427 transition count 7487
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 33 with 2 rules applied. Total rules applied 1465 place count 3426 transition count 7498
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 33 with 1 rules applied. Total rules applied 1466 place count 3426 transition count 7497
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 34 with 10 rules applied. Total rules applied 1476 place count 3426 transition count 7487
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 34 with 2 rules applied. Total rules applied 1478 place count 3425 transition count 7498
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 34 with 1 rules applied. Total rules applied 1479 place count 3425 transition count 7497
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 35 with 10 rules applied. Total rules applied 1489 place count 3425 transition count 7487
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 35 with 2 rules applied. Total rules applied 1491 place count 3424 transition count 7498
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 35 with 1 rules applied. Total rules applied 1492 place count 3424 transition count 7497
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 36 with 10 rules applied. Total rules applied 1502 place count 3424 transition count 7487
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 36 with 2 rules applied. Total rules applied 1504 place count 3423 transition count 7498
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 36 with 1 rules applied. Total rules applied 1505 place count 3423 transition count 7497
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 37 with 10 rules applied. Total rules applied 1515 place count 3423 transition count 7487
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 37 with 2 rules applied. Total rules applied 1517 place count 3422 transition count 7498
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 37 with 2 rules applied. Total rules applied 1519 place count 3422 transition count 7496
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 38 with 9 rules applied. Total rules applied 1528 place count 3422 transition count 7487
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 38 with 2 rules applied. Total rules applied 1530 place count 3421 transition count 7497
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 38 with 1 rules applied. Total rules applied 1531 place count 3421 transition count 7496
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 39 with 9 rules applied. Total rules applied 1540 place count 3421 transition count 7487
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 39 with 2 rules applied. Total rules applied 1542 place count 3420 transition count 7498
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 39 with 2 rules applied. Total rules applied 1544 place count 3420 transition count 7496
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 40 with 9 rules applied. Total rules applied 1553 place count 3420 transition count 7487
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 40 with 2 rules applied. Total rules applied 1555 place count 3419 transition count 7498
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 40 with 2 rules applied. Total rules applied 1557 place count 3419 transition count 7496
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 41 with 9 rules applied. Total rules applied 1566 place count 3419 transition count 7487
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 41 with 2 rules applied. Total rules applied 1568 place count 3418 transition count 7498
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 41 with 2 rules applied. Total rules applied 1570 place count 3418 transition count 7496
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 42 with 9 rules applied. Total rules applied 1579 place count 3418 transition count 7487
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 42 with 2 rules applied. Total rules applied 1581 place count 3417 transition count 7498
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 42 with 2 rules applied. Total rules applied 1583 place count 3417 transition count 7496
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 43 with 9 rules applied. Total rules applied 1592 place count 3417 transition count 7487
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 43 with 2 rules applied. Total rules applied 1594 place count 3416 transition count 7498
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 43 with 3 rules applied. Total rules applied 1597 place count 3416 transition count 7495
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 44 with 10 rules applied. Total rules applied 1607 place count 3416 transition count 7485
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 44 with 2 rules applied. Total rules applied 1609 place count 3415 transition count 7496
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 44 with 1 rules applied. Total rules applied 1610 place count 3415 transition count 7495
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 45 with 10 rules applied. Total rules applied 1620 place count 3415 transition count 7485
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 45 with 2 rules applied. Total rules applied 1622 place count 3414 transition count 7495
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 45 with 1 rules applied. Total rules applied 1623 place count 3414 transition count 7494
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 46 with 9 rules applied. Total rules applied 1632 place count 3414 transition count 7485
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 46 with 2 rules applied. Total rules applied 1634 place count 3413 transition count 7496
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 46 with 1 rules applied. Total rules applied 1635 place count 3413 transition count 7495
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 47 with 10 rules applied. Total rules applied 1645 place count 3413 transition count 7485
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 47 with 2 rules applied. Total rules applied 1647 place count 3412 transition count 7495
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 47 with 1 rules applied. Total rules applied 1648 place count 3412 transition count 7494
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 48 with 9 rules applied. Total rules applied 1657 place count 3412 transition count 7485
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 48 with 2 rules applied. Total rules applied 1659 place count 3411 transition count 7496
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 48 with 1 rules applied. Total rules applied 1660 place count 3411 transition count 7495
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 49 with 10 rules applied. Total rules applied 1670 place count 3411 transition count 7485
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 49 with 2 rules applied. Total rules applied 1672 place count 3410 transition count 7496
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 49 with 1 rules applied. Total rules applied 1673 place count 3410 transition count 7495
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 50 with 10 rules applied. Total rules applied 1683 place count 3410 transition count 7485
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 50 with 2 rules applied. Total rules applied 1685 place count 3409 transition count 7496
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 50 with 2 rules applied. Total rules applied 1687 place count 3409 transition count 7494
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 51 with 9 rules applied. Total rules applied 1696 place count 3409 transition count 7485
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 51 with 2 rules applied. Total rules applied 1698 place count 3408 transition count 7496
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 51 with 1 rules applied. Total rules applied 1699 place count 3408 transition count 7495
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 52 with 10 rules applied. Total rules applied 1709 place count 3408 transition count 7485
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 52 with 2 rules applied. Total rules applied 1711 place count 3407 transition count 7496
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 52 with 2 rules applied. Total rules applied 1713 place count 3407 transition count 7494
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 53 with 9 rules applied. Total rules applied 1722 place count 3407 transition count 7485
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 53 with 2 rules applied. Total rules applied 1724 place count 3406 transition count 7495
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 53 with 1 rules applied. Total rules applied 1725 place count 3406 transition count 7494
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 54 with 9 rules applied. Total rules applied 1734 place count 3406 transition count 7485
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 54 with 2 rules applied. Total rules applied 1736 place count 3405 transition count 7496
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 54 with 3 rules applied. Total rules applied 1739 place count 3405 transition count 7493
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 55 with 10 rules applied. Total rules applied 1749 place count 3405 transition count 7483
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 55 with 2 rules applied. Total rules applied 1751 place count 3404 transition count 7494
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 55 with 1 rules applied. Total rules applied 1752 place count 3404 transition count 7493
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 56 with 10 rules applied. Total rules applied 1762 place count 3404 transition count 7483
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 56 with 2 rules applied. Total rules applied 1764 place count 3403 transition count 7494
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 56 with 2 rules applied. Total rules applied 1766 place count 3403 transition count 7492
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 57 with 9 rules applied. Total rules applied 1775 place count 3403 transition count 7483
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 57 with 2 rules applied. Total rules applied 1777 place count 3402 transition count 7494
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 57 with 1 rules applied. Total rules applied 1778 place count 3402 transition count 7493
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 58 with 10 rules applied. Total rules applied 1788 place count 3402 transition count 7483
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 58 with 2 rules applied. Total rules applied 1790 place count 3401 transition count 7494
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 58 with 1 rules applied. Total rules applied 1791 place count 3401 transition count 7493
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 59 with 10 rules applied. Total rules applied 1801 place count 3401 transition count 7483
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 59 with 2 rules applied. Total rules applied 1803 place count 3400 transition count 7494
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 59 with 3 rules applied. Total rules applied 1806 place count 3400 transition count 7491
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 60 with 10 rules applied. Total rules applied 1816 place count 3400 transition count 7481
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 60 with 2 rules applied. Total rules applied 1818 place count 3399 transition count 7492
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 60 with 1 rules applied. Total rules applied 1819 place count 3399 transition count 7491
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 61 with 10 rules applied. Total rules applied 1829 place count 3399 transition count 7481
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 61 with 2 rules applied. Total rules applied 1831 place count 3398 transition count 7492
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 61 with 2 rules applied. Total rules applied 1833 place count 3398 transition count 7490
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 62 with 9 rules applied. Total rules applied 1842 place count 3398 transition count 7481
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 62 with 2 rules applied. Total rules applied 1844 place count 3397 transition count 7492
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 62 with 3 rules applied. Total rules applied 1847 place count 3397 transition count 7489
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 63 with 10 rules applied. Total rules applied 1857 place count 3397 transition count 7479
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 63 with 2 rules applied. Total rules applied 1859 place count 3396 transition count 7490
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 63 with 3 rules applied. Total rules applied 1862 place count 3396 transition count 7487
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 64 with 10 rules applied. Total rules applied 1872 place count 3396 transition count 7477
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 64 with 2 rules applied. Total rules applied 1874 place count 3395 transition count 7488
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 64 with 1 rules applied. Total rules applied 1875 place count 3395 transition count 7487
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 65 with 10 rules applied. Total rules applied 1885 place count 3395 transition count 7477
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 65 with 2 rules applied. Total rules applied 1887 place count 3394 transition count 7488
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 65 with 3 rules applied. Total rules applied 1890 place count 3394 transition count 7485
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 66 with 10 rules applied. Total rules applied 1900 place count 3394 transition count 7475
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 66 with 2 rules applied. Total rules applied 1902 place count 3393 transition count 7486
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 66 with 2 rules applied. Total rules applied 1904 place count 3393 transition count 7484
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 67 with 9 rules applied. Total rules applied 1913 place count 3393 transition count 7475
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 67 with 2 rules applied. Total rules applied 1915 place count 3392 transition count 7485
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 67 with 1 rules applied. Total rules applied 1916 place count 3392 transition count 7484
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 68 with 9 rules applied. Total rules applied 1925 place count 3392 transition count 7475
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 68 with 2 rules applied. Total rules applied 1927 place count 3391 transition count 7486
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 68 with 1 rules applied. Total rules applied 1928 place count 3391 transition count 7485
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 69 with 10 rules applied. Total rules applied 1938 place count 3391 transition count 7475
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 69 with 2 rules applied. Total rules applied 1940 place count 3390 transition count 7486
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 69 with 1 rules applied. Total rules applied 1941 place count 3390 transition count 7485
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 70 with 10 rules applied. Total rules applied 1951 place count 3390 transition count 7475
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 70 with 2 rules applied. Total rules applied 1953 place count 3389 transition count 7486
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 70 with 2 rules applied. Total rules applied 1955 place count 3389 transition count 7484
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 71 with 9 rules applied. Total rules applied 1964 place count 3389 transition count 7475
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 71 with 2 rules applied. Total rules applied 1966 place count 3388 transition count 7488
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 71 with 4 rules applied. Total rules applied 1970 place count 3388 transition count 7484
Drop transitions removed 11 transitions
Redundant transition composition rules discarded 11 transitions
Iterating global reduction 72 with 11 rules applied. Total rules applied 1981 place count 3388 transition count 7473
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 72 with 2 rules applied. Total rules applied 1983 place count 3387 transition count 7485
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 72 with 1 rules applied. Total rules applied 1984 place count 3387 transition count 7484
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 73 with 10 rules applied. Total rules applied 1994 place count 3387 transition count 7474
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 73 with 2 rules applied. Total rules applied 1996 place count 3386 transition count 7485
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 73 with 2 rules applied. Total rules applied 1998 place count 3386 transition count 7483
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 74 with 9 rules applied. Total rules applied 2007 place count 3386 transition count 7474
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 74 with 2 rules applied. Total rules applied 2009 place count 3385 transition count 7484
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 74 with 1 rules applied. Total rules applied 2010 place count 3385 transition count 7483
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 75 with 9 rules applied. Total rules applied 2019 place count 3385 transition count 7474
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 75 with 2 rules applied. Total rules applied 2021 place count 3384 transition count 7485
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 75 with 1 rules applied. Total rules applied 2022 place count 3384 transition count 7484
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 76 with 10 rules applied. Total rules applied 2032 place count 3384 transition count 7474
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 76 with 2 rules applied. Total rules applied 2034 place count 3383 transition count 7485
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 76 with 1 rules applied. Total rules applied 2035 place count 3383 transition count 7484
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 77 with 10 rules applied. Total rules applied 2045 place count 3383 transition count 7474
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 77 with 2 rules applied. Total rules applied 2047 place count 3382 transition count 7485
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 77 with 3 rules applied. Total rules applied 2050 place count 3382 transition count 7482
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 78 with 10 rules applied. Total rules applied 2060 place count 3382 transition count 7472
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 78 with 2 rules applied. Total rules applied 2062 place count 3381 transition count 7482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 78 with 1 rules applied. Total rules applied 2063 place count 3381 transition count 7481
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 79 with 9 rules applied. Total rules applied 2072 place count 3381 transition count 7472
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 79 with 2 rules applied. Total rules applied 2074 place count 3380 transition count 7483
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 79 with 2 rules applied. Total rules applied 2076 place count 3380 transition count 7481
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 80 with 9 rules applied. Total rules applied 2085 place count 3380 transition count 7472
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 80 with 2 rules applied. Total rules applied 2087 place count 3379 transition count 7483
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 80 with 1 rules applied. Total rules applied 2088 place count 3379 transition count 7482
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 81 with 10 rules applied. Total rules applied 2098 place count 3379 transition count 7472
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 81 with 2 rules applied. Total rules applied 2100 place count 3378 transition count 7483
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 81 with 2 rules applied. Total rules applied 2102 place count 3378 transition count 7481
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 82 with 9 rules applied. Total rules applied 2111 place count 3378 transition count 7472
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 82 with 2 rules applied. Total rules applied 2113 place count 3377 transition count 7483
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 82 with 1 rules applied. Total rules applied 2114 place count 3377 transition count 7482
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 83 with 10 rules applied. Total rules applied 2124 place count 3377 transition count 7472
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 83 with 2 rules applied. Total rules applied 2126 place count 3376 transition count 7483
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 83 with 1 rules applied. Total rules applied 2127 place count 3376 transition count 7482
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 84 with 10 rules applied. Total rules applied 2137 place count 3376 transition count 7472
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 84 with 2 rules applied. Total rules applied 2139 place count 3375 transition count 7483
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 84 with 2 rules applied. Total rules applied 2141 place count 3375 transition count 7481
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 85 with 9 rules applied. Total rules applied 2150 place count 3375 transition count 7472
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 85 with 2 rules applied. Total rules applied 2152 place count 3374 transition count 7483
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 85 with 1 rules applied. Total rules applied 2153 place count 3374 transition count 7482
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 86 with 10 rules applied. Total rules applied 2163 place count 3374 transition count 7472
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 86 with 2 rules applied. Total rules applied 2165 place count 3373 transition count 7483
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 86 with 2 rules applied. Total rules applied 2167 place count 3373 transition count 7481
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 87 with 9 rules applied. Total rules applied 2176 place count 3373 transition count 7472
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 87 with 2 rules applied. Total rules applied 2178 place count 3372 transition count 7483
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 87 with 1 rules applied. Total rules applied 2179 place count 3372 transition count 7482
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 88 with 10 rules applied. Total rules applied 2189 place count 3372 transition count 7472
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 88 with 2 rules applied. Total rules applied 2191 place count 3371 transition count 7483
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 88 with 2 rules applied. Total rules applied 2193 place count 3371 transition count 7481
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 89 with 9 rules applied. Total rules applied 2202 place count 3371 transition count 7472
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 89 with 2 rules applied. Total rules applied 2204 place count 3370 transition count 7482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 89 with 1 rules applied. Total rules applied 2205 place count 3370 transition count 7481
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 90 with 9 rules applied. Total rules applied 2214 place count 3370 transition count 7472
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 90 with 2 rules applied. Total rules applied 2216 place count 3369 transition count 7483
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 90 with 1 rules applied. Total rules applied 2217 place count 3369 transition count 7482
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 91 with 10 rules applied. Total rules applied 2227 place count 3369 transition count 7472
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 91 with 2 rules applied. Total rules applied 2229 place count 3368 transition count 7483
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 91 with 1 rules applied. Total rules applied 2230 place count 3368 transition count 7482
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 92 with 10 rules applied. Total rules applied 2240 place count 3368 transition count 7472
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 92 with 2 rules applied. Total rules applied 2242 place count 3367 transition count 7483
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 92 with 2 rules applied. Total rules applied 2244 place count 3367 transition count 7481
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 93 with 9 rules applied. Total rules applied 2253 place count 3367 transition count 7472
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 93 with 2 rules applied. Total rules applied 2255 place count 3366 transition count 7482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 93 with 1 rules applied. Total rules applied 2256 place count 3366 transition count 7481
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 94 with 9 rules applied. Total rules applied 2265 place count 3366 transition count 7472
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 94 with 2 rules applied. Total rules applied 2267 place count 3365 transition count 7483
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 94 with 2 rules applied. Total rules applied 2269 place count 3365 transition count 7481
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 95 with 9 rules applied. Total rules applied 2278 place count 3365 transition count 7472
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 95 with 2 rules applied. Total rules applied 2280 place count 3364 transition count 7483
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 95 with 1 rules applied. Total rules applied 2281 place count 3364 transition count 7482
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 96 with 10 rules applied. Total rules applied 2291 place count 3364 transition count 7472
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 96 with 2 rules applied. Total rules applied 2293 place count 3363 transition count 7483
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 96 with 2 rules applied. Total rules applied 2295 place count 3363 transition count 7481
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 97 with 9 rules applied. Total rules applied 2304 place count 3363 transition count 7472
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 97 with 2 rules applied. Total rules applied 2306 place count 3362 transition count 7482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 97 with 1 rules applied. Total rules applied 2307 place count 3362 transition count 7481
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 98 with 9 rules applied. Total rules applied 2316 place count 3362 transition count 7472
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 98 with 2 rules applied. Total rules applied 2318 place count 3361 transition count 7483
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 98 with 2 rules applied. Total rules applied 2320 place count 3361 transition count 7481
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 99 with 9 rules applied. Total rules applied 2329 place count 3361 transition count 7472
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 99 with 2 rules applied. Total rules applied 2331 place count 3360 transition count 7483
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 99 with 1 rules applied. Total rules applied 2332 place count 3360 transition count 7482
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 100 with 10 rules applied. Total rules applied 2342 place count 3360 transition count 7472
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 100 with 2 rules applied. Total rules applied 2344 place count 3359 transition count 7483
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 100 with 2 rules applied. Total rules applied 2346 place count 3359 transition count 7481
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 101 with 9 rules applied. Total rules applied 2355 place count 3359 transition count 7472
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 101 with 2 rules applied. Total rules applied 2357 place count 3358 transition count 7483
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 101 with 1 rules applied. Total rules applied 2358 place count 3358 transition count 7482
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 102 with 10 rules applied. Total rules applied 2368 place count 3358 transition count 7472
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 102 with 2 rules applied. Total rules applied 2370 place count 3357 transition count 7483
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 102 with 2 rules applied. Total rules applied 2372 place count 3357 transition count 7481
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 103 with 9 rules applied. Total rules applied 2381 place count 3357 transition count 7472
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 103 with 2 rules applied. Total rules applied 2383 place count 3356 transition count 7483
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 103 with 2 rules applied. Total rules applied 2385 place count 3356 transition count 7481
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 104 with 9 rules applied. Total rules applied 2394 place count 3356 transition count 7472
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 104 with 2 rules applied. Total rules applied 2396 place count 3355 transition count 7482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 104 with 1 rules applied. Total rules applied 2397 place count 3355 transition count 7481
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 105 with 9 rules applied. Total rules applied 2406 place count 3355 transition count 7472
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 105 with 2 rules applied. Total rules applied 2408 place count 3354 transition count 7483
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 105 with 1 rules applied. Total rules applied 2409 place count 3354 transition count 7482
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 106 with 10 rules applied. Total rules applied 2419 place count 3354 transition count 7472
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 106 with 2 rules applied. Total rules applied 2421 place count 3353 transition count 7483
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 106 with 1 rules applied. Total rules applied 2422 place count 3353 transition count 7482
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 107 with 10 rules applied. Total rules applied 2432 place count 3353 transition count 7472
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 107 with 2 rules applied. Total rules applied 2434 place count 3352 transition count 7483
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 107 with 1 rules applied. Total rules applied 2435 place count 3352 transition count 7482
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 108 with 10 rules applied. Total rules applied 2445 place count 3352 transition count 7472
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 108 with 2 rules applied. Total rules applied 2447 place count 3351 transition count 7483
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 108 with 2 rules applied. Total rules applied 2449 place count 3351 transition count 7481
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 109 with 9 rules applied. Total rules applied 2458 place count 3351 transition count 7472
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 109 with 2 rules applied. Total rules applied 2460 place count 3350 transition count 7483
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 109 with 1 rules applied. Total rules applied 2461 place count 3350 transition count 7482
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 110 with 10 rules applied. Total rules applied 2471 place count 3350 transition count 7472
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 110 with 2 rules applied. Total rules applied 2473 place count 3349 transition count 7482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 110 with 1 rules applied. Total rules applied 2474 place count 3349 transition count 7481
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 111 with 9 rules applied. Total rules applied 2483 place count 3349 transition count 7472
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 111 with 2 rules applied. Total rules applied 2485 place count 3348 transition count 7483
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 111 with 1 rules applied. Total rules applied 2486 place count 3348 transition count 7482
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 112 with 10 rules applied. Total rules applied 2496 place count 3348 transition count 7472
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 112 with 2 rules applied. Total rules applied 2498 place count 3347 transition count 7483
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 112 with 1 rules applied. Total rules applied 2499 place count 3347 transition count 7482
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 113 with 10 rules applied. Total rules applied 2509 place count 3347 transition count 7472
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 113 with 2 rules applied. Total rules applied 2511 place count 3346 transition count 7483
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 113 with 2 rules applied. Total rules applied 2513 place count 3346 transition count 7481
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 114 with 9 rules applied. Total rules applied 2522 place count 3346 transition count 7472
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 114 with 2 rules applied. Total rules applied 2524 place count 3345 transition count 7483
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 114 with 1 rules applied. Total rules applied 2525 place count 3345 transition count 7482
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 115 with 10 rules applied. Total rules applied 2535 place count 3345 transition count 7472
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 115 with 2 rules applied. Total rules applied 2537 place count 3344 transition count 7483
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 115 with 3 rules applied. Total rules applied 2540 place count 3344 transition count 7480
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 116 with 10 rules applied. Total rules applied 2550 place count 3344 transition count 7470
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 116 with 2 rules applied. Total rules applied 2552 place count 3343 transition count 7481
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 116 with 2 rules applied. Total rules applied 2554 place count 3343 transition count 7479
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 117 with 9 rules applied. Total rules applied 2563 place count 3343 transition count 7470
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 117 with 2 rules applied. Total rules applied 2565 place count 3342 transition count 7481
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 117 with 1 rules applied. Total rules applied 2566 place count 3342 transition count 7480
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 118 with 10 rules applied. Total rules applied 2576 place count 3342 transition count 7470
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 118 with 2 rules applied. Total rules applied 2578 place count 3341 transition count 7481
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 118 with 2 rules applied. Total rules applied 2580 place count 3341 transition count 7479
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 119 with 9 rules applied. Total rules applied 2589 place count 3341 transition count 7470
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 119 with 2 rules applied. Total rules applied 2591 place count 3340 transition count 7481
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 119 with 2 rules applied. Total rules applied 2593 place count 3340 transition count 7479
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 120 with 9 rules applied. Total rules applied 2602 place count 3340 transition count 7470
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 120 with 2 rules applied. Total rules applied 2604 place count 3339 transition count 7480
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 120 with 1 rules applied. Total rules applied 2605 place count 3339 transition count 7479
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 121 with 9 rules applied. Total rules applied 2614 place count 3339 transition count 7470
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 121 with 2 rules applied. Total rules applied 2616 place count 3338 transition count 7481
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 121 with 1 rules applied. Total rules applied 2617 place count 3338 transition count 7480
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 122 with 10 rules applied. Total rules applied 2627 place count 3338 transition count 7470
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 122 with 2 rules applied. Total rules applied 2629 place count 3337 transition count 7481
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 122 with 1 rules applied. Total rules applied 2630 place count 3337 transition count 7480
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 123 with 10 rules applied. Total rules applied 2640 place count 3337 transition count 7470
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 123 with 2 rules applied. Total rules applied 2642 place count 3336 transition count 7481
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 123 with 2 rules applied. Total rules applied 2644 place count 3336 transition count 7479
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 124 with 9 rules applied. Total rules applied 2653 place count 3336 transition count 7470
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 124 with 2 rules applied. Total rules applied 2655 place count 3335 transition count 7481
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 124 with 1 rules applied. Total rules applied 2656 place count 3335 transition count 7480
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 125 with 10 rules applied. Total rules applied 2666 place count 3335 transition count 7470
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 125 with 2 rules applied. Total rules applied 2668 place count 3334 transition count 7481
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 125 with 1 rules applied. Total rules applied 2669 place count 3334 transition count 7480
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 126 with 10 rules applied. Total rules applied 2679 place count 3334 transition count 7470
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 126 with 2 rules applied. Total rules applied 2681 place count 3333 transition count 7481
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 126 with 1 rules applied. Total rules applied 2682 place count 3333 transition count 7480
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 127 with 10 rules applied. Total rules applied 2692 place count 3333 transition count 7470
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 127 with 2 rules applied. Total rules applied 2694 place count 3332 transition count 7481
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 127 with 2 rules applied. Total rules applied 2696 place count 3332 transition count 7479
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 128 with 9 rules applied. Total rules applied 2705 place count 3332 transition count 7470
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 128 with 2 rules applied. Total rules applied 2707 place count 3331 transition count 7481
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 128 with 1 rules applied. Total rules applied 2708 place count 3331 transition count 7480
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 129 with 10 rules applied. Total rules applied 2718 place count 3331 transition count 7470
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 129 with 2 rules applied. Total rules applied 2720 place count 3330 transition count 7481
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 129 with 1 rules applied. Total rules applied 2721 place count 3330 transition count 7480
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 130 with 10 rules applied. Total rules applied 2731 place count 3330 transition count 7470
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 130 with 2 rules applied. Total rules applied 2733 place count 3329 transition count 7481
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 130 with 1 rules applied. Total rules applied 2734 place count 3329 transition count 7480
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 131 with 10 rules applied. Total rules applied 2744 place count 3329 transition count 7470
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 131 with 2 rules applied. Total rules applied 2746 place count 3328 transition count 7481
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 131 with 1 rules applied. Total rules applied 2747 place count 3328 transition count 7480
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 132 with 10 rules applied. Total rules applied 2757 place count 3328 transition count 7470
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 132 with 2 rules applied. Total rules applied 2759 place count 3327 transition count 7481
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 132 with 1 rules applied. Total rules applied 2760 place count 3327 transition count 7480
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 133 with 10 rules applied. Total rules applied 2770 place count 3327 transition count 7470
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 133 with 2 rules applied. Total rules applied 2772 place count 3326 transition count 7481
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 133 with 1 rules applied. Total rules applied 2773 place count 3326 transition count 7480
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 134 with 10 rules applied. Total rules applied 2783 place count 3326 transition count 7470
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 134 with 2 rules applied. Total rules applied 2785 place count 3325 transition count 7481
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 134 with 3 rules applied. Total rules applied 2788 place count 3325 transition count 7478
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 135 with 10 rules applied. Total rules applied 2798 place count 3325 transition count 7468
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 135 with 2 rules applied. Total rules applied 2800 place count 3324 transition count 7479
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 135 with 1 rules applied. Total rules applied 2801 place count 3324 transition count 7478
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 136 with 10 rules applied. Total rules applied 2811 place count 3324 transition count 7468
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 136 with 2 rules applied. Total rules applied 2813 place count 3323 transition count 7479
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 136 with 3 rules applied. Total rules applied 2816 place count 3323 transition count 7476
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 137 with 10 rules applied. Total rules applied 2826 place count 3323 transition count 7466
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 137 with 2 rules applied. Total rules applied 2828 place count 3322 transition count 7476
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 137 with 1 rules applied. Total rules applied 2829 place count 3322 transition count 7475
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 138 with 9 rules applied. Total rules applied 2838 place count 3322 transition count 7466
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 138 with 2 rules applied. Total rules applied 2840 place count 3321 transition count 7477
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 138 with 1 rules applied. Total rules applied 2841 place count 3321 transition count 7476
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 139 with 10 rules applied. Total rules applied 2851 place count 3321 transition count 7466
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 139 with 2 rules applied. Total rules applied 2853 place count 3320 transition count 7477
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 139 with 1 rules applied. Total rules applied 2854 place count 3320 transition count 7476
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 140 with 10 rules applied. Total rules applied 2864 place count 3320 transition count 7466
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 140 with 2 rules applied. Total rules applied 2866 place count 3319 transition count 7477
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 140 with 1 rules applied. Total rules applied 2867 place count 3319 transition count 7476
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 141 with 10 rules applied. Total rules applied 2877 place count 3319 transition count 7466
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 141 with 2 rules applied. Total rules applied 2879 place count 3318 transition count 7477
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 141 with 1 rules applied. Total rules applied 2880 place count 3318 transition count 7476
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 142 with 10 rules applied. Total rules applied 2890 place count 3318 transition count 7466
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 142 with 2 rules applied. Total rules applied 2892 place count 3317 transition count 7477
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 142 with 1 rules applied. Total rules applied 2893 place count 3317 transition count 7476
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 143 with 10 rules applied. Total rules applied 2903 place count 3317 transition count 7466
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 143 with 2 rules applied. Total rules applied 2905 place count 3316 transition count 7477
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 143 with 2 rules applied. Total rules applied 2907 place count 3316 transition count 7475
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 144 with 9 rules applied. Total rules applied 2916 place count 3316 transition count 7466
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 144 with 2 rules applied. Total rules applied 2918 place count 3315 transition count 7477
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 144 with 1 rules applied. Total rules applied 2919 place count 3315 transition count 7476
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 145 with 10 rules applied. Total rules applied 2929 place count 3315 transition count 7466
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 145 with 2 rules applied. Total rules applied 2931 place count 3314 transition count 7477
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 145 with 3 rules applied. Total rules applied 2934 place count 3314 transition count 7474
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 146 with 10 rules applied. Total rules applied 2944 place count 3314 transition count 7464
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 146 with 2 rules applied. Total rules applied 2946 place count 3313 transition count 7474
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 146 with 1 rules applied. Total rules applied 2947 place count 3313 transition count 7473
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 147 with 9 rules applied. Total rules applied 2956 place count 3313 transition count 7464
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 147 with 2 rules applied. Total rules applied 2958 place count 3312 transition count 7475
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 147 with 1 rules applied. Total rules applied 2959 place count 3312 transition count 7474
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 148 with 10 rules applied. Total rules applied 2969 place count 3312 transition count 7464
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 148 with 2 rules applied. Total rules applied 2971 place count 3311 transition count 7475
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 148 with 2 rules applied. Total rules applied 2973 place count 3311 transition count 7473
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 149 with 9 rules applied. Total rules applied 2982 place count 3311 transition count 7464
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 149 with 2 rules applied. Total rules applied 2984 place count 3310 transition count 7474
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 149 with 1 rules applied. Total rules applied 2985 place count 3310 transition count 7473
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 150 with 9 rules applied. Total rules applied 2994 place count 3310 transition count 7464
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 150 with 2 rules applied. Total rules applied 2996 place count 3309 transition count 7475
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 150 with 1 rules applied. Total rules applied 2997 place count 3309 transition count 7474
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 151 with 10 rules applied. Total rules applied 3007 place count 3309 transition count 7464
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 151 with 2 rules applied. Total rules applied 3009 place count 3308 transition count 7475
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 151 with 1 rules applied. Total rules applied 3010 place count 3308 transition count 7474
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 152 with 10 rules applied. Total rules applied 3020 place count 3308 transition count 7464
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 152 with 2 rules applied. Total rules applied 3022 place count 3307 transition count 7475
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 152 with 1 rules applied. Total rules applied 3023 place count 3307 transition count 7474
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 153 with 10 rules applied. Total rules applied 3033 place count 3307 transition count 7464
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 153 with 2 rules applied. Total rules applied 3035 place count 3306 transition count 7475
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 153 with 2 rules applied. Total rules applied 3037 place count 3306 transition count 7473
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 154 with 9 rules applied. Total rules applied 3046 place count 3306 transition count 7464
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 154 with 2 rules applied. Total rules applied 3048 place count 3305 transition count 7475
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 154 with 2 rules applied. Total rules applied 3050 place count 3305 transition count 7473
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 155 with 9 rules applied. Total rules applied 3059 place count 3305 transition count 7464
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 155 with 2 rules applied. Total rules applied 3061 place count 3304 transition count 7475
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 155 with 1 rules applied. Total rules applied 3062 place count 3304 transition count 7474
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 156 with 10 rules applied. Total rules applied 3072 place count 3304 transition count 7464
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 156 with 2 rules applied. Total rules applied 3074 place count 3303 transition count 7475
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 156 with 2 rules applied. Total rules applied 3076 place count 3303 transition count 7473
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 157 with 9 rules applied. Total rules applied 3085 place count 3303 transition count 7464
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 157 with 2 rules applied. Total rules applied 3087 place count 3302 transition count 7475
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 157 with 1 rules applied. Total rules applied 3088 place count 3302 transition count 7474
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 158 with 10 rules applied. Total rules applied 3098 place count 3302 transition count 7464
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 158 with 2 rules applied. Total rules applied 3100 place count 3301 transition count 7475
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 158 with 2 rules applied. Total rules applied 3102 place count 3301 transition count 7473
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 159 with 9 rules applied. Total rules applied 3111 place count 3301 transition count 7464
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 159 with 2 rules applied. Total rules applied 3113 place count 3300 transition count 7475
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 159 with 2 rules applied. Total rules applied 3115 place count 3300 transition count 7473
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 160 with 9 rules applied. Total rules applied 3124 place count 3300 transition count 7464
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 160 with 2 rules applied. Total rules applied 3126 place count 3299 transition count 7475
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 160 with 2 rules applied. Total rules applied 3128 place count 3299 transition count 7473
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 161 with 9 rules applied. Total rules applied 3137 place count 3299 transition count 7464
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 161 with 2 rules applied. Total rules applied 3139 place count 3298 transition count 7475
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 161 with 2 rules applied. Total rules applied 3141 place count 3298 transition count 7473
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 162 with 9 rules applied. Total rules applied 3150 place count 3298 transition count 7464
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 162 with 2 rules applied. Total rules applied 3152 place count 3297 transition count 7474
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 162 with 1 rules applied. Total rules applied 3153 place count 3297 transition count 7473
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 163 with 9 rules applied. Total rules applied 3162 place count 3297 transition count 7464
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 163 with 2 rules applied. Total rules applied 3164 place count 3296 transition count 7474
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 163 with 1 rules applied. Total rules applied 3165 place count 3296 transition count 7473
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 164 with 9 rules applied. Total rules applied 3174 place count 3296 transition count 7464
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 164 with 2 rules applied. Total rules applied 3176 place count 3295 transition count 7475
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 164 with 2 rules applied. Total rules applied 3178 place count 3295 transition count 7473
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 165 with 9 rules applied. Total rules applied 3187 place count 3295 transition count 7464
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 165 with 2 rules applied. Total rules applied 3189 place count 3294 transition count 7475
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 165 with 3 rules applied. Total rules applied 3192 place count 3294 transition count 7472
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 166 with 10 rules applied. Total rules applied 3202 place count 3294 transition count 7462
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 166 with 2 rules applied. Total rules applied 3204 place count 3293 transition count 7473
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 166 with 2 rules applied. Total rules applied 3206 place count 3293 transition count 7471
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 167 with 9 rules applied. Total rules applied 3215 place count 3293 transition count 7462
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 167 with 2 rules applied. Total rules applied 3217 place count 3292 transition count 7473
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 167 with 2 rules applied. Total rules applied 3219 place count 3292 transition count 7471
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 168 with 9 rules applied. Total rules applied 3228 place count 3292 transition count 7462
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 168 with 2 rules applied. Total rules applied 3230 place count 3291 transition count 7473
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 168 with 2 rules applied. Total rules applied 3232 place count 3291 transition count 7471
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 169 with 9 rules applied. Total rules applied 3241 place count 3291 transition count 7462
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 169 with 2 rules applied. Total rules applied 3243 place count 3290 transition count 7473
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 169 with 2 rules applied. Total rules applied 3245 place count 3290 transition count 7471
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 170 with 9 rules applied. Total rules applied 3254 place count 3290 transition count 7462
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 170 with 2 rules applied. Total rules applied 3256 place count 3289 transition count 7473
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 170 with 2 rules applied. Total rules applied 3258 place count 3289 transition count 7471
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 171 with 9 rules applied. Total rules applied 3267 place count 3289 transition count 7462
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 171 with 2 rules applied. Total rules applied 3269 place count 3288 transition count 7473
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 171 with 1 rules applied. Total rules applied 3270 place count 3288 transition count 7472
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 172 with 10 rules applied. Total rules applied 3280 place count 3288 transition count 7462
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 172 with 2 rules applied. Total rules applied 3282 place count 3287 transition count 7473
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 172 with 2 rules applied. Total rules applied 3284 place count 3287 transition count 7471
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 173 with 9 rules applied. Total rules applied 3293 place count 3287 transition count 7462
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 173 with 2 rules applied. Total rules applied 3295 place count 3286 transition count 7473
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 173 with 2 rules applied. Total rules applied 3297 place count 3286 transition count 7471
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 174 with 9 rules applied. Total rules applied 3306 place count 3286 transition count 7462
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 174 with 2 rules applied. Total rules applied 3308 place count 3285 transition count 7473
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 174 with 2 rules applied. Total rules applied 3310 place count 3285 transition count 7471
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 175 with 9 rules applied. Total rules applied 3319 place count 3285 transition count 7462
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 175 with 2 rules applied. Total rules applied 3321 place count 3284 transition count 7473
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 175 with 3 rules applied. Total rules applied 3324 place count 3284 transition count 7470
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 176 with 10 rules applied. Total rules applied 3334 place count 3284 transition count 7460
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 176 with 2 rules applied. Total rules applied 3336 place count 3283 transition count 7471
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 176 with 2 rules applied. Total rules applied 3338 place count 3283 transition count 7469
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 177 with 9 rules applied. Total rules applied 3347 place count 3283 transition count 7460
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 177 with 2 rules applied. Total rules applied 3349 place count 3282 transition count 7471
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 177 with 3 rules applied. Total rules applied 3352 place count 3282 transition count 7468
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 178 with 10 rules applied. Total rules applied 3362 place count 3282 transition count 7458
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 178 with 2 rules applied. Total rules applied 3364 place count 3281 transition count 7469
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 178 with 2 rules applied. Total rules applied 3366 place count 3281 transition count 7467
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 179 with 9 rules applied. Total rules applied 3375 place count 3281 transition count 7458
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 179 with 2 rules applied. Total rules applied 3377 place count 3280 transition count 7469
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 179 with 2 rules applied. Total rules applied 3379 place count 3280 transition count 7467
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 180 with 9 rules applied. Total rules applied 3388 place count 3280 transition count 7458
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 180 with 2 rules applied. Total rules applied 3390 place count 3279 transition count 7469
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 180 with 3 rules applied. Total rules applied 3393 place count 3279 transition count 7466
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 181 with 10 rules applied. Total rules applied 3403 place count 3279 transition count 7456
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 181 with 2 rules applied. Total rules applied 3405 place count 3278 transition count 7467
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 181 with 3 rules applied. Total rules applied 3408 place count 3278 transition count 7464
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 182 with 10 rules applied. Total rules applied 3418 place count 3278 transition count 7454
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 182 with 2 rules applied. Total rules applied 3420 place count 3277 transition count 7465
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 182 with 2 rules applied. Total rules applied 3422 place count 3277 transition count 7463
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 183 with 9 rules applied. Total rules applied 3431 place count 3277 transition count 7454
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 183 with 2 rules applied. Total rules applied 3433 place count 3276 transition count 7465
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 183 with 1 rules applied. Total rules applied 3434 place count 3276 transition count 7464
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 184 with 10 rules applied. Total rules applied 3444 place count 3276 transition count 7454
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 184 with 2 rules applied. Total rules applied 3446 place count 3275 transition count 7467
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 184 with 4 rules applied. Total rules applied 3450 place count 3275 transition count 7463
Drop transitions removed 11 transitions
Redundant transition composition rules discarded 11 transitions
Iterating global reduction 185 with 11 rules applied. Total rules applied 3461 place count 3275 transition count 7452
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 185 with 2 rules applied. Total rules applied 3463 place count 3274 transition count 7463
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 185 with 2 rules applied. Total rules applied 3465 place count 3274 transition count 7461
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 186 with 9 rules applied. Total rules applied 3474 place count 3274 transition count 7452
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 186 with 2 rules applied. Total rules applied 3476 place count 3273 transition count 7463
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 186 with 2 rules applied. Total rules applied 3478 place count 3273 transition count 7461
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 187 with 9 rules applied. Total rules applied 3487 place count 3273 transition count 7452
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 187 with 2 rules applied. Total rules applied 3489 place count 3272 transition count 7463
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 187 with 3 rules applied. Total rules applied 3492 place count 3272 transition count 7460
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 188 with 10 rules applied. Total rules applied 3502 place count 3272 transition count 7450
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 188 with 2 rules applied. Total rules applied 3504 place count 3271 transition count 7461
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 188 with 1 rules applied. Total rules applied 3505 place count 3271 transition count 7460
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 189 with 10 rules applied. Total rules applied 3515 place count 3271 transition count 7450
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 189 with 2 rules applied. Total rules applied 3517 place count 3270 transition count 7461
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 189 with 2 rules applied. Total rules applied 3519 place count 3270 transition count 7459
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 190 with 9 rules applied. Total rules applied 3528 place count 3270 transition count 7450
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 190 with 2 rules applied. Total rules applied 3530 place count 3269 transition count 7461
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 190 with 2 rules applied. Total rules applied 3532 place count 3269 transition count 7459
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 191 with 9 rules applied. Total rules applied 3541 place count 3269 transition count 7450
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 191 with 2 rules applied. Total rules applied 3543 place count 3268 transition count 7461
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 191 with 2 rules applied. Total rules applied 3545 place count 3268 transition count 7459
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 192 with 9 rules applied. Total rules applied 3554 place count 3268 transition count 7450
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 192 with 2 rules applied. Total rules applied 3556 place count 3267 transition count 7461
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 192 with 2 rules applied. Total rules applied 3558 place count 3267 transition count 7459
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 193 with 9 rules applied. Total rules applied 3567 place count 3267 transition count 7450
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 193 with 2 rules applied. Total rules applied 3569 place count 3266 transition count 7461
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 193 with 2 rules applied. Total rules applied 3571 place count 3266 transition count 7459
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 194 with 9 rules applied. Total rules applied 3580 place count 3266 transition count 7450
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 194 with 2 rules applied. Total rules applied 3582 place count 3265 transition count 7461
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 194 with 2 rules applied. Total rules applied 3584 place count 3265 transition count 7459
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 195 with 9 rules applied. Total rules applied 3593 place count 3265 transition count 7450
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 195 with 2 rules applied. Total rules applied 3595 place count 3264 transition count 7461
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 195 with 1 rules applied. Total rules applied 3596 place count 3264 transition count 7460
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 196 with 10 rules applied. Total rules applied 3606 place count 3264 transition count 7450
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 196 with 2 rules applied. Total rules applied 3608 place count 3263 transition count 7461
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 196 with 3 rules applied. Total rules applied 3611 place count 3263 transition count 7458
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 197 with 10 rules applied. Total rules applied 3621 place count 3263 transition count 7448
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 197 with 2 rules applied. Total rules applied 3623 place count 3262 transition count 7459
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 197 with 3 rules applied. Total rules applied 3626 place count 3262 transition count 7456
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 198 with 10 rules applied. Total rules applied 3636 place count 3262 transition count 7446
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 198 with 2 rules applied. Total rules applied 3638 place count 3261 transition count 7457
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 198 with 3 rules applied. Total rules applied 3641 place count 3261 transition count 7454
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 199 with 10 rules applied. Total rules applied 3651 place count 3261 transition count 7444
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 199 with 2 rules applied. Total rules applied 3653 place count 3260 transition count 7455
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 199 with 2 rules applied. Total rules applied 3655 place count 3260 transition count 7453
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 200 with 9 rules applied. Total rules applied 3664 place count 3260 transition count 7444
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 200 with 2 rules applied. Total rules applied 3666 place count 3259 transition count 7455
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 200 with 2 rules applied. Total rules applied 3668 place count 3259 transition count 7453
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 201 with 9 rules applied. Total rules applied 3677 place count 3259 transition count 7444
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 201 with 2 rules applied. Total rules applied 3679 place count 3258 transition count 7455
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 201 with 2 rules applied. Total rules applied 3681 place count 3258 transition count 7453
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 202 with 9 rules applied. Total rules applied 3690 place count 3258 transition count 7444
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 202 with 2 rules applied. Total rules applied 3692 place count 3257 transition count 7455
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 202 with 2 rules applied. Total rules applied 3694 place count 3257 transition count 7453
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 203 with 9 rules applied. Total rules applied 3703 place count 3257 transition count 7444
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 203 with 2 rules applied. Total rules applied 3705 place count 3256 transition count 7455
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 203 with 1 rules applied. Total rules applied 3706 place count 3256 transition count 7454
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 204 with 10 rules applied. Total rules applied 3716 place count 3256 transition count 7444
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 204 with 2 rules applied. Total rules applied 3718 place count 3255 transition count 7455
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 204 with 2 rules applied. Total rules applied 3720 place count 3255 transition count 7453
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 205 with 9 rules applied. Total rules applied 3729 place count 3255 transition count 7444
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 205 with 2 rules applied. Total rules applied 3731 place count 3254 transition count 7455
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 205 with 1 rules applied. Total rules applied 3732 place count 3254 transition count 7454
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 206 with 10 rules applied. Total rules applied 3742 place count 3254 transition count 7444
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 206 with 2 rules applied. Total rules applied 3744 place count 3253 transition count 7455
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 206 with 3 rules applied. Total rules applied 3747 place count 3253 transition count 7452
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 207 with 10 rules applied. Total rules applied 3757 place count 3253 transition count 7442
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 207 with 2 rules applied. Total rules applied 3759 place count 3252 transition count 7453
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 207 with 2 rules applied. Total rules applied 3761 place count 3252 transition count 7451
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 208 with 9 rules applied. Total rules applied 3770 place count 3252 transition count 7442
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 208 with 2 rules applied. Total rules applied 3772 place count 3251 transition count 7453
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 208 with 1 rules applied. Total rules applied 3773 place count 3251 transition count 7452
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 209 with 10 rules applied. Total rules applied 3783 place count 3251 transition count 7442
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 209 with 2 rules applied. Total rules applied 3785 place count 3250 transition count 7453
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 209 with 2 rules applied. Total rules applied 3787 place count 3250 transition count 7451
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 210 with 9 rules applied. Total rules applied 3796 place count 3250 transition count 7442
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 210 with 2 rules applied. Total rules applied 3798 place count 3249 transition count 7453
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 210 with 2 rules applied. Total rules applied 3800 place count 3249 transition count 7451
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 211 with 9 rules applied. Total rules applied 3809 place count 3249 transition count 7442
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 211 with 2 rules applied. Total rules applied 3811 place count 3248 transition count 7453
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 211 with 2 rules applied. Total rules applied 3813 place count 3248 transition count 7451
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 212 with 9 rules applied. Total rules applied 3822 place count 3248 transition count 7442
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 212 with 2 rules applied. Total rules applied 3824 place count 3247 transition count 7452
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 212 with 1 rules applied. Total rules applied 3825 place count 3247 transition count 7451
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 213 with 9 rules applied. Total rules applied 3834 place count 3247 transition count 7442
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 213 with 2 rules applied. Total rules applied 3836 place count 3246 transition count 7453
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 213 with 2 rules applied. Total rules applied 3838 place count 3246 transition count 7451
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 214 with 9 rules applied. Total rules applied 3847 place count 3246 transition count 7442
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 214 with 2 rules applied. Total rules applied 3849 place count 3245 transition count 7453
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 214 with 3 rules applied. Total rules applied 3852 place count 3245 transition count 7450
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 215 with 10 rules applied. Total rules applied 3862 place count 3245 transition count 7440
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 215 with 2 rules applied. Total rules applied 3864 place count 3244 transition count 7450
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 215 with 1 rules applied. Total rules applied 3865 place count 3244 transition count 7449
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 216 with 9 rules applied. Total rules applied 3874 place count 3244 transition count 7440
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 216 with 2 rules applied. Total rules applied 3876 place count 3243 transition count 7451
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 216 with 2 rules applied. Total rules applied 3878 place count 3243 transition count 7449
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 217 with 9 rules applied. Total rules applied 3887 place count 3243 transition count 7440
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 217 with 2 rules applied. Total rules applied 3889 place count 3242 transition count 7451
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 217 with 2 rules applied. Total rules applied 3891 place count 3242 transition count 7449
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 218 with 9 rules applied. Total rules applied 3900 place count 3242 transition count 7440
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 218 with 2 rules applied. Total rules applied 3902 place count 3241 transition count 7451
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 218 with 1 rules applied. Total rules applied 3903 place count 3241 transition count 7450
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 219 with 10 rules applied. Total rules applied 3913 place count 3241 transition count 7440
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 219 with 2 rules applied. Total rules applied 3915 place count 3240 transition count 7451
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 219 with 2 rules applied. Total rules applied 3917 place count 3240 transition count 7449
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 220 with 9 rules applied. Total rules applied 3926 place count 3240 transition count 7440
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 220 with 2 rules applied. Total rules applied 3928 place count 3239 transition count 7451
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 220 with 2 rules applied. Total rules applied 3930 place count 3239 transition count 7449
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 221 with 9 rules applied. Total rules applied 3939 place count 3239 transition count 7440
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 221 with 2 rules applied. Total rules applied 3941 place count 3238 transition count 7451
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 221 with 1 rules applied. Total rules applied 3942 place count 3238 transition count 7450
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 222 with 10 rules applied. Total rules applied 3952 place count 3238 transition count 7440
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 222 with 2 rules applied. Total rules applied 3954 place count 3237 transition count 7451
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 222 with 2 rules applied. Total rules applied 3956 place count 3237 transition count 7449
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 223 with 9 rules applied. Total rules applied 3965 place count 3237 transition count 7440
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 223 with 2 rules applied. Total rules applied 3967 place count 3236 transition count 7451
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 223 with 1 rules applied. Total rules applied 3968 place count 3236 transition count 7450
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 224 with 10 rules applied. Total rules applied 3978 place count 3236 transition count 7440
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 224 with 2 rules applied. Total rules applied 3980 place count 3235 transition count 7451
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 224 with 2 rules applied. Total rules applied 3982 place count 3235 transition count 7449
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 225 with 9 rules applied. Total rules applied 3991 place count 3235 transition count 7440
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 225 with 2 rules applied. Total rules applied 3993 place count 3234 transition count 7451
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 225 with 2 rules applied. Total rules applied 3995 place count 3234 transition count 7449
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 226 with 9 rules applied. Total rules applied 4004 place count 3234 transition count 7440
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 226 with 2 rules applied. Total rules applied 4006 place count 3233 transition count 7450
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 226 with 1 rules applied. Total rules applied 4007 place count 3233 transition count 7449
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 227 with 9 rules applied. Total rules applied 4016 place count 3233 transition count 7440
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 227 with 2 rules applied. Total rules applied 4018 place count 3232 transition count 7451
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 227 with 2 rules applied. Total rules applied 4020 place count 3232 transition count 7449
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 228 with 9 rules applied. Total rules applied 4029 place count 3232 transition count 7440
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 228 with 2 rules applied. Total rules applied 4031 place count 3231 transition count 7451
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 228 with 2 rules applied. Total rules applied 4033 place count 3231 transition count 7449
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 229 with 9 rules applied. Total rules applied 4042 place count 3231 transition count 7440
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 229 with 2 rules applied. Total rules applied 4044 place count 3230 transition count 7451
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 229 with 1 rules applied. Total rules applied 4045 place count 3230 transition count 7450
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 230 with 10 rules applied. Total rules applied 4055 place count 3230 transition count 7440
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 230 with 2 rules applied. Total rules applied 4057 place count 3229 transition count 7451
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 230 with 2 rules applied. Total rules applied 4059 place count 3229 transition count 7449
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 231 with 9 rules applied. Total rules applied 4068 place count 3229 transition count 7440
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 231 with 2 rules applied. Total rules applied 4070 place count 3228 transition count 7451
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 231 with 2 rules applied. Total rules applied 4072 place count 3228 transition count 7449
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 232 with 9 rules applied. Total rules applied 4081 place count 3228 transition count 7440
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 232 with 2 rules applied. Total rules applied 4083 place count 3227 transition count 7451
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 232 with 2 rules applied. Total rules applied 4085 place count 3227 transition count 7449
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 233 with 9 rules applied. Total rules applied 4094 place count 3227 transition count 7440
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 233 with 2 rules applied. Total rules applied 4096 place count 3226 transition count 7451
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 233 with 2 rules applied. Total rules applied 4098 place count 3226 transition count 7449
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 234 with 9 rules applied. Total rules applied 4107 place count 3226 transition count 7440
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 234 with 2 rules applied. Total rules applied 4109 place count 3225 transition count 7451
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 234 with 1 rules applied. Total rules applied 4110 place count 3225 transition count 7450
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 235 with 10 rules applied. Total rules applied 4120 place count 3225 transition count 7440
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 235 with 2 rules applied. Total rules applied 4122 place count 3224 transition count 7451
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 235 with 2 rules applied. Total rules applied 4124 place count 3224 transition count 7449
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 236 with 9 rules applied. Total rules applied 4133 place count 3224 transition count 7440
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 236 with 2 rules applied. Total rules applied 4135 place count 3223 transition count 7451
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 236 with 2 rules applied. Total rules applied 4137 place count 3223 transition count 7449
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 237 with 9 rules applied. Total rules applied 4146 place count 3223 transition count 7440
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 237 with 2 rules applied. Total rules applied 4148 place count 3222 transition count 7451
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 237 with 3 rules applied. Total rules applied 4151 place count 3222 transition count 7448
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 238 with 10 rules applied. Total rules applied 4161 place count 3222 transition count 7438
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 238 with 2 rules applied. Total rules applied 4163 place count 3221 transition count 7449
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 238 with 3 rules applied. Total rules applied 4166 place count 3221 transition count 7446
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 239 with 10 rules applied. Total rules applied 4176 place count 3221 transition count 7436
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 239 with 2 rules applied. Total rules applied 4178 place count 3220 transition count 7446
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 239 with 1 rules applied. Total rules applied 4179 place count 3220 transition count 7445
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 240 with 9 rules applied. Total rules applied 4188 place count 3220 transition count 7436
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 240 with 2 rules applied. Total rules applied 4190 place count 3219 transition count 7447
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 240 with 2 rules applied. Total rules applied 4192 place count 3219 transition count 7445
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 241 with 9 rules applied. Total rules applied 4201 place count 3219 transition count 7436
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 241 with 2 rules applied. Total rules applied 4203 place count 3218 transition count 7447
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 241 with 1 rules applied. Total rules applied 4204 place count 3218 transition count 7446
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 242 with 10 rules applied. Total rules applied 4214 place count 3218 transition count 7436
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 242 with 2 rules applied. Total rules applied 4216 place count 3217 transition count 7447
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 242 with 2 rules applied. Total rules applied 4218 place count 3217 transition count 7445
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 243 with 9 rules applied. Total rules applied 4227 place count 3217 transition count 7436
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 4229 place count 3216 transition count 7447
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 243 with 2 rules applied. Total rules applied 4231 place count 3216 transition count 7445
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 244 with 9 rules applied. Total rules applied 4240 place count 3216 transition count 7436
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 244 with 2 rules applied. Total rules applied 4242 place count 3215 transition count 7447
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 244 with 2 rules applied. Total rules applied 4244 place count 3215 transition count 7445
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 245 with 9 rules applied. Total rules applied 4253 place count 3215 transition count 7436
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
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 4255 place count 3214 transition count 7446
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 245 with 1 rules applied. Total rules applied 4256 place count 3214 transition count 7445
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 246 with 9 rules applied. Total rules applied 4265 place count 3214 transition count 7436
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 246 with 2 rules applied. Total rules applied 4267 place count 3213 transition count 7447
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 246 with 3 rules applied. Total rules applied 4270 place count 3213 transition count 7444
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 247 with 10 rules applied. Total rules applied 4280 place count 3213 transition count 7434
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 247 with 2 rules applied. Total rules applied 4282 place count 3212 transition count 7445
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 247 with 1 rules applied. Total rules applied 4283 place count 3212 transition count 7444
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 248 with 10 rules applied. Total rules applied 4293 place count 3212 transition count 7434
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 248 with 2 rules applied. Total rules applied 4295 place count 3211 transition count 7445
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 248 with 2 rules applied. Total rules applied 4297 place count 3211 transition count 7443
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 249 with 9 rules applied. Total rules applied 4306 place count 3211 transition count 7434
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 249 with 2 rules applied. Total rules applied 4308 place count 3210 transition count 7445
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 249 with 2 rules applied. Total rules applied 4310 place count 3210 transition count 7443
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 250 with 9 rules applied. Total rules applied 4319 place count 3210 transition count 7434
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 250 with 2 rules applied. Total rules applied 4321 place count 3209 transition count 7445
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 250 with 3 rules applied. Total rules applied 4324 place count 3209 transition count 7442
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 251 with 10 rules applied. Total rules applied 4334 place count 3209 transition count 7432
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 4336 place count 3208 transition count 7443
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 251 with 2 rules applied. Total rules applied 4338 place count 3208 transition count 7441
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 252 with 9 rules applied. Total rules applied 4347 place count 3208 transition count 7432
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 252 with 2 rules applied. Total rules applied 4349 place count 3207 transition count 7443
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 252 with 2 rules applied. Total rules applied 4351 place count 3207 transition count 7441
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 253 with 9 rules applied. Total rules applied 4360 place count 3207 transition count 7432
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 253 with 2 rules applied. Total rules applied 4362 place count 3206 transition count 7443
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 253 with 3 rules applied. Total rules applied 4365 place count 3206 transition count 7440
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 254 with 10 rules applied. Total rules applied 4375 place count 3206 transition count 7430
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 254 with 2 rules applied. Total rules applied 4377 place count 3205 transition count 7441
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 254 with 1 rules applied. Total rules applied 4378 place count 3205 transition count 7440
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 255 with 10 rules applied. Total rules applied 4388 place count 3205 transition count 7430
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 4390 place count 3204 transition count 7441
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 255 with 3 rules applied. Total rules applied 4393 place count 3204 transition count 7438
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 256 with 10 rules applied. Total rules applied 4403 place count 3204 transition count 7428
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 4405 place count 3203 transition count 7439
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 256 with 2 rules applied. Total rules applied 4407 place count 3203 transition count 7437
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 257 with 9 rules applied. Total rules applied 4416 place count 3203 transition count 7428
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 4418 place count 3202 transition count 7439
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 257 with 1 rules applied. Total rules applied 4419 place count 3202 transition count 7438
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 258 with 10 rules applied. Total rules applied 4429 place count 3202 transition count 7428
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 258 with 2 rules applied. Total rules applied 4431 place count 3201 transition count 7439
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 258 with 2 rules applied. Total rules applied 4433 place count 3201 transition count 7437
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 259 with 9 rules applied. Total rules applied 4442 place count 3201 transition count 7428
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 259 with 2 rules applied. Total rules applied 4444 place count 3200 transition count 7439
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 259 with 2 rules applied. Total rules applied 4446 place count 3200 transition count 7437
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 260 with 9 rules applied. Total rules applied 4455 place count 3200 transition count 7428
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 260 with 2 rules applied. Total rules applied 4457 place count 3199 transition count 7439
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 260 with 1 rules applied. Total rules applied 4458 place count 3199 transition count 7438
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 261 with 10 rules applied. Total rules applied 4468 place count 3199 transition count 7428
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 261 with 2 rules applied. Total rules applied 4470 place count 3198 transition count 7439
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 261 with 3 rules applied. Total rules applied 4473 place count 3198 transition count 7436
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 262 with 10 rules applied. Total rules applied 4483 place count 3198 transition count 7426
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 262 with 2 rules applied. Total rules applied 4485 place count 3197 transition count 7438
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 262 with 1 rules applied. Total rules applied 4486 place count 3197 transition count 7437
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 263 with 10 rules applied. Total rules applied 4496 place count 3197 transition count 7427
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 263 with 2 rules applied. Total rules applied 4498 place count 3196 transition count 7438
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 263 with 2 rules applied. Total rules applied 4500 place count 3196 transition count 7436
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 264 with 9 rules applied. Total rules applied 4509 place count 3196 transition count 7427
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 264 with 2 rules applied. Total rules applied 4511 place count 3195 transition count 7437
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 264 with 1 rules applied. Total rules applied 4512 place count 3195 transition count 7436
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 265 with 9 rules applied. Total rules applied 4521 place count 3195 transition count 7427
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 265 with 2 rules applied. Total rules applied 4523 place count 3194 transition count 7438
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 265 with 2 rules applied. Total rules applied 4525 place count 3194 transition count 7436
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 266 with 9 rules applied. Total rules applied 4534 place count 3194 transition count 7427
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 266 with 2 rules applied. Total rules applied 4536 place count 3193 transition count 7438
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 266 with 2 rules applied. Total rules applied 4538 place count 3193 transition count 7436
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 267 with 9 rules applied. Total rules applied 4547 place count 3193 transition count 7427
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 267 with 2 rules applied. Total rules applied 4549 place count 3192 transition count 7438
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 267 with 2 rules applied. Total rules applied 4551 place count 3192 transition count 7436
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 268 with 9 rules applied. Total rules applied 4560 place count 3192 transition count 7427
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 268 with 2 rules applied. Total rules applied 4562 place count 3191 transition count 7438
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 268 with 2 rules applied. Total rules applied 4564 place count 3191 transition count 7436
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 269 with 9 rules applied. Total rules applied 4573 place count 3191 transition count 7427
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 269 with 2 rules applied. Total rules applied 4575 place count 3190 transition count 7438
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 269 with 2 rules applied. Total rules applied 4577 place count 3190 transition count 7436
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 270 with 9 rules applied. Total rules applied 4586 place count 3190 transition count 7427
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 270 with 2 rules applied. Total rules applied 4588 place count 3189 transition count 7438
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 270 with 2 rules applied. Total rules applied 4590 place count 3189 transition count 7436
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 271 with 9 rules applied. Total rules applied 4599 place count 3189 transition count 7427
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 271 with 2 rules applied. Total rules applied 4601 place count 3188 transition count 7438
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 271 with 2 rules applied. Total rules applied 4603 place count 3188 transition count 7436
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 272 with 9 rules applied. Total rules applied 4612 place count 3188 transition count 7427
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 272 with 2 rules applied. Total rules applied 4614 place count 3187 transition count 7438
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 272 with 2 rules applied. Total rules applied 4616 place count 3187 transition count 7436
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 273 with 9 rules applied. Total rules applied 4625 place count 3187 transition count 7427
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 273 with 2 rules applied. Total rules applied 4627 place count 3186 transition count 7438
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 273 with 3 rules applied. Total rules applied 4630 place count 3186 transition count 7435
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 274 with 10 rules applied. Total rules applied 4640 place count 3186 transition count 7425
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 274 with 2 rules applied. Total rules applied 4642 place count 3185 transition count 7436
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 274 with 2 rules applied. Total rules applied 4644 place count 3185 transition count 7434
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 275 with 9 rules applied. Total rules applied 4653 place count 3185 transition count 7425
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 275 with 2 rules applied. Total rules applied 4655 place count 3184 transition count 7436
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 275 with 2 rules applied. Total rules applied 4657 place count 3184 transition count 7434
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 276 with 9 rules applied. Total rules applied 4666 place count 3184 transition count 7425
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 276 with 2 rules applied. Total rules applied 4668 place count 3183 transition count 7436
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 276 with 2 rules applied. Total rules applied 4670 place count 3183 transition count 7434
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 277 with 9 rules applied. Total rules applied 4679 place count 3183 transition count 7425
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 277 with 2 rules applied. Total rules applied 4681 place count 3182 transition count 7436
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 277 with 2 rules applied. Total rules applied 4683 place count 3182 transition count 7434
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 278 with 9 rules applied. Total rules applied 4692 place count 3182 transition count 7425
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 278 with 2 rules applied. Total rules applied 4694 place count 3181 transition count 7436
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 278 with 3 rules applied. Total rules applied 4697 place count 3181 transition count 7433
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 279 with 10 rules applied. Total rules applied 4707 place count 3181 transition count 7423
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 279 with 2 rules applied. Total rules applied 4709 place count 3180 transition count 7434
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 279 with 1 rules applied. Total rules applied 4710 place count 3180 transition count 7433
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 280 with 10 rules applied. Total rules applied 4720 place count 3180 transition count 7423
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 280 with 2 rules applied. Total rules applied 4722 place count 3179 transition count 7434
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 280 with 2 rules applied. Total rules applied 4724 place count 3179 transition count 7432
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 281 with 9 rules applied. Total rules applied 4733 place count 3179 transition count 7423
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 281 with 2 rules applied. Total rules applied 4735 place count 3178 transition count 7434
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 281 with 2 rules applied. Total rules applied 4737 place count 3178 transition count 7432
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 282 with 9 rules applied. Total rules applied 4746 place count 3178 transition count 7423
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 282 with 2 rules applied. Total rules applied 4748 place count 3177 transition count 7434
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 282 with 1 rules applied. Total rules applied 4749 place count 3177 transition count 7433
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 283 with 10 rules applied. Total rules applied 4759 place count 3177 transition count 7423
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 283 with 2 rules applied. Total rules applied 4761 place count 3176 transition count 7434
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 283 with 3 rules applied. Total rules applied 4764 place count 3176 transition count 7431
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 284 with 10 rules applied. Total rules applied 4774 place count 3176 transition count 7421
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 284 with 2 rules applied. Total rules applied 4776 place count 3175 transition count 7432
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 284 with 1 rules applied. Total rules applied 4777 place count 3175 transition count 7431
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 285 with 10 rules applied. Total rules applied 4787 place count 3175 transition count 7421
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 285 with 2 rules applied. Total rules applied 4789 place count 3174 transition count 7432
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 285 with 2 rules applied. Total rules applied 4791 place count 3174 transition count 7430
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 286 with 9 rules applied. Total rules applied 4800 place count 3174 transition count 7421
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 286 with 2 rules applied. Total rules applied 4802 place count 3173 transition count 7432
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 286 with 1 rules applied. Total rules applied 4803 place count 3173 transition count 7431
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 287 with 10 rules applied. Total rules applied 4813 place count 3173 transition count 7421
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 287 with 2 rules applied. Total rules applied 4815 place count 3172 transition count 7431
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 287 with 1 rules applied. Total rules applied 4816 place count 3172 transition count 7430
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 288 with 9 rules applied. Total rules applied 4825 place count 3172 transition count 7421
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 288 with 2 rules applied. Total rules applied 4827 place count 3171 transition count 7432
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 288 with 3 rules applied. Total rules applied 4830 place count 3171 transition count 7429
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 289 with 10 rules applied. Total rules applied 4840 place count 3171 transition count 7419
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 289 with 2 rules applied. Total rules applied 4842 place count 3170 transition count 7429
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 289 with 1 rules applied. Total rules applied 4843 place count 3170 transition count 7428
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 290 with 9 rules applied. Total rules applied 4852 place count 3170 transition count 7419
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 290 with 2 rules applied. Total rules applied 4854 place count 3169 transition count 7430
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 290 with 3 rules applied. Total rules applied 4857 place count 3169 transition count 7427
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 291 with 10 rules applied. Total rules applied 4867 place count 3169 transition count 7417
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 291 with 2 rules applied. Total rules applied 4869 place count 3168 transition count 7428
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 291 with 1 rules applied. Total rules applied 4870 place count 3168 transition count 7427
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 292 with 10 rules applied. Total rules applied 4880 place count 3168 transition count 7417
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 292 with 2 rules applied. Total rules applied 4882 place count 3167 transition count 7428
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 292 with 1 rules applied. Total rules applied 4883 place count 3167 transition count 7427
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 293 with 10 rules applied. Total rules applied 4893 place count 3167 transition count 7417
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 293 with 2 rules applied. Total rules applied 4895 place count 3166 transition count 7428
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 293 with 1 rules applied. Total rules applied 4896 place count 3166 transition count 7427
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 294 with 10 rules applied. Total rules applied 4906 place count 3166 transition count 7417
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 294 with 2 rules applied. Total rules applied 4908 place count 3165 transition count 7427
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 294 with 1 rules applied. Total rules applied 4909 place count 3165 transition count 7426
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 295 with 9 rules applied. Total rules applied 4918 place count 3165 transition count 7417
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 295 with 2 rules applied. Total rules applied 4920 place count 3164 transition count 7428
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 295 with 2 rules applied. Total rules applied 4922 place count 3164 transition count 7426
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 296 with 9 rules applied. Total rules applied 4931 place count 3164 transition count 7417
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 296 with 2 rules applied. Total rules applied 4933 place count 3163 transition count 7428
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 296 with 1 rules applied. Total rules applied 4934 place count 3163 transition count 7427
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 297 with 10 rules applied. Total rules applied 4944 place count 3163 transition count 7417
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 297 with 2 rules applied. Total rules applied 4946 place count 3162 transition count 7428
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 297 with 1 rules applied. Total rules applied 4947 place count 3162 transition count 7427
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 298 with 10 rules applied. Total rules applied 4957 place count 3162 transition count 7417
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 298 with 2 rules applied. Total rules applied 4959 place count 3161 transition count 7427
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 298 with 1 rules applied. Total rules applied 4960 place count 3161 transition count 7426
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 299 with 9 rules applied. Total rules applied 4969 place count 3161 transition count 7417
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 299 with 2 rules applied. Total rules applied 4971 place count 3160 transition count 7428
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 299 with 2 rules applied. Total rules applied 4973 place count 3160 transition count 7426
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 300 with 9 rules applied. Total rules applied 4982 place count 3160 transition count 7417
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 300 with 2 rules applied. Total rules applied 4984 place count 3159 transition count 7428
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 300 with 1 rules applied. Total rules applied 4985 place count 3159 transition count 7427
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 301 with 10 rules applied. Total rules applied 4995 place count 3159 transition count 7417
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 301 with 2 rules applied. Total rules applied 4997 place count 3158 transition count 7427
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 301 with 1 rules applied. Total rules applied 4998 place count 3158 transition count 7426
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 302 with 9 rules applied. Total rules applied 5007 place count 3158 transition count 7417
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 302 with 2 rules applied. Total rules applied 5009 place count 3157 transition count 7428
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 302 with 3 rules applied. Total rules applied 5012 place count 3157 transition count 7425
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 303 with 10 rules applied. Total rules applied 5022 place count 3157 transition count 7415
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 303 with 2 rules applied. Total rules applied 5024 place count 3156 transition count 7426
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 303 with 1 rules applied. Total rules applied 5025 place count 3156 transition count 7425
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 304 with 10 rules applied. Total rules applied 5035 place count 3156 transition count 7415
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 304 with 2 rules applied. Total rules applied 5037 place count 3155 transition count 7426
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 304 with 2 rules applied. Total rules applied 5039 place count 3155 transition count 7424
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 305 with 9 rules applied. Total rules applied 5048 place count 3155 transition count 7415
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 305 with 2 rules applied. Total rules applied 5050 place count 3154 transition count 7426
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 305 with 1 rules applied. Total rules applied 5051 place count 3154 transition count 7425
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 306 with 10 rules applied. Total rules applied 5061 place count 3154 transition count 7415
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 306 with 2 rules applied. Total rules applied 5063 place count 3153 transition count 7426
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 306 with 1 rules applied. Total rules applied 5064 place count 3153 transition count 7425
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 307 with 10 rules applied. Total rules applied 5074 place count 3153 transition count 7415
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 307 with 2 rules applied. Total rules applied 5076 place count 3152 transition count 7426
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 307 with 1 rules applied. Total rules applied 5077 place count 3152 transition count 7425
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 308 with 10 rules applied. Total rules applied 5087 place count 3152 transition count 7415
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 308 with 2 rules applied. Total rules applied 5089 place count 3151 transition count 7426
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 308 with 1 rules applied. Total rules applied 5090 place count 3151 transition count 7425
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 309 with 10 rules applied. Total rules applied 5100 place count 3151 transition count 7415
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 309 with 2 rules applied. Total rules applied 5102 place count 3150 transition count 7426
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 309 with 1 rules applied. Total rules applied 5103 place count 3150 transition count 7425
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 310 with 10 rules applied. Total rules applied 5113 place count 3150 transition count 7415
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 310 with 2 rules applied. Total rules applied 5115 place count 3149 transition count 7426
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 310 with 2 rules applied. Total rules applied 5117 place count 3149 transition count 7424
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 311 with 9 rules applied. Total rules applied 5126 place count 3149 transition count 7415
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 311 with 2 rules applied. Total rules applied 5128 place count 3148 transition count 7425
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 311 with 1 rules applied. Total rules applied 5129 place count 3148 transition count 7424
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 312 with 9 rules applied. Total rules applied 5138 place count 3148 transition count 7415
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 312 with 2 rules applied. Total rules applied 5140 place count 3147 transition count 7426
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 312 with 2 rules applied. Total rules applied 5142 place count 3147 transition count 7424
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 313 with 9 rules applied. Total rules applied 5151 place count 3147 transition count 7415
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 313 with 2 rules applied. Total rules applied 5153 place count 3146 transition count 7425
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 313 with 1 rules applied. Total rules applied 5154 place count 3146 transition count 7424
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 314 with 9 rules applied. Total rules applied 5163 place count 3146 transition count 7415
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 314 with 2 rules applied. Total rules applied 5165 place count 3145 transition count 7426
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 314 with 1 rules applied. Total rules applied 5166 place count 3145 transition count 7425
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 315 with 10 rules applied. Total rules applied 5176 place count 3145 transition count 7415
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 315 with 2 rules applied. Total rules applied 5178 place count 3144 transition count 7426
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 315 with 1 rules applied. Total rules applied 5179 place count 3144 transition count 7425
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 316 with 10 rules applied. Total rules applied 5189 place count 3144 transition count 7415
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 316 with 2 rules applied. Total rules applied 5191 place count 3143 transition count 7426
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 316 with 1 rules applied. Total rules applied 5192 place count 3143 transition count 7425
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 317 with 10 rules applied. Total rules applied 5202 place count 3143 transition count 7415
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 317 with 2 rules applied. Total rules applied 5204 place count 3142 transition count 7426
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 317 with 1 rules applied. Total rules applied 5205 place count 3142 transition count 7425
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 318 with 10 rules applied. Total rules applied 5215 place count 3142 transition count 7415
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 318 with 2 rules applied. Total rules applied 5217 place count 3141 transition count 7426
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 318 with 1 rules applied. Total rules applied 5218 place count 3141 transition count 7425
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 319 with 10 rules applied. Total rules applied 5228 place count 3141 transition count 7415
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 319 with 2 rules applied. Total rules applied 5230 place count 3140 transition count 7426
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 319 with 2 rules applied. Total rules applied 5232 place count 3140 transition count 7424
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 320 with 9 rules applied. Total rules applied 5241 place count 3140 transition count 7415
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 320 with 2 rules applied. Total rules applied 5243 place count 3139 transition count 7425
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 320 with 1 rules applied. Total rules applied 5244 place count 3139 transition count 7424
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 321 with 9 rules applied. Total rules applied 5253 place count 3139 transition count 7415
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 321 with 2 rules applied. Total rules applied 5255 place count 3138 transition count 7426
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 321 with 1 rules applied. Total rules applied 5256 place count 3138 transition count 7425
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 322 with 10 rules applied. Total rules applied 5266 place count 3138 transition count 7415
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 322 with 2 rules applied. Total rules applied 5268 place count 3137 transition count 7426
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 322 with 1 rules applied. Total rules applied 5269 place count 3137 transition count 7425
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 323 with 10 rules applied. Total rules applied 5279 place count 3137 transition count 7415
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 323 with 2 rules applied. Total rules applied 5281 place count 3136 transition count 7426
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 323 with 2 rules applied. Total rules applied 5283 place count 3136 transition count 7424
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 324 with 9 rules applied. Total rules applied 5292 place count 3136 transition count 7415
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 324 with 2 rules applied. Total rules applied 5294 place count 3135 transition count 7426
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 324 with 2 rules applied. Total rules applied 5296 place count 3135 transition count 7424
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 325 with 9 rules applied. Total rules applied 5305 place count 3135 transition count 7415
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 325 with 2 rules applied. Total rules applied 5307 place count 3134 transition count 7426
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 325 with 1 rules applied. Total rules applied 5308 place count 3134 transition count 7425
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 326 with 10 rules applied. Total rules applied 5318 place count 3134 transition count 7415
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 326 with 2 rules applied. Total rules applied 5320 place count 3133 transition count 7426
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 326 with 1 rules applied. Total rules applied 5321 place count 3133 transition count 7425
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 327 with 10 rules applied. Total rules applied 5331 place count 3133 transition count 7415
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 327 with 2 rules applied. Total rules applied 5333 place count 3132 transition count 7426
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 327 with 3 rules applied. Total rules applied 5336 place count 3132 transition count 7423
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 328 with 10 rules applied. Total rules applied 5346 place count 3132 transition count 7413
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 328 with 2 rules applied. Total rules applied 5348 place count 3131 transition count 7424
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 328 with 1 rules applied. Total rules applied 5349 place count 3131 transition count 7423
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 329 with 10 rules applied. Total rules applied 5359 place count 3131 transition count 7413
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 329 with 2 rules applied. Total rules applied 5361 place count 3130 transition count 7423
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 329 with 1 rules applied. Total rules applied 5362 place count 3130 transition count 7422
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 330 with 9 rules applied. Total rules applied 5371 place count 3130 transition count 7413
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 330 with 2 rules applied. Total rules applied 5373 place count 3129 transition count 7424
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 330 with 1 rules applied. Total rules applied 5374 place count 3129 transition count 7423
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 331 with 10 rules applied. Total rules applied 5384 place count 3129 transition count 7413
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 331 with 2 rules applied. Total rules applied 5386 place count 3128 transition count 7424
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 331 with 1 rules applied. Total rules applied 5387 place count 3128 transition count 7423
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 332 with 10 rules applied. Total rules applied 5397 place count 3128 transition count 7413
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 332 with 2 rules applied. Total rules applied 5399 place count 3127 transition count 7424
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 332 with 1 rules applied. Total rules applied 5400 place count 3127 transition count 7423
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 333 with 10 rules applied. Total rules applied 5410 place count 3127 transition count 7413
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 333 with 2 rules applied. Total rules applied 5412 place count 3126 transition count 7424
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 333 with 1 rules applied. Total rules applied 5413 place count 3126 transition count 7423
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 334 with 10 rules applied. Total rules applied 5423 place count 3126 transition count 7413
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 334 with 2 rules applied. Total rules applied 5425 place count 3125 transition count 7424
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 334 with 2 rules applied. Total rules applied 5427 place count 3125 transition count 7422
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 335 with 9 rules applied. Total rules applied 5436 place count 3125 transition count 7413
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 335 with 2 rules applied. Total rules applied 5438 place count 3124 transition count 7424
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 335 with 1 rules applied. Total rules applied 5439 place count 3124 transition count 7423
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 336 with 10 rules applied. Total rules applied 5449 place count 3124 transition count 7413
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 336 with 2 rules applied. Total rules applied 5451 place count 3123 transition count 7423
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 336 with 1 rules applied. Total rules applied 5452 place count 3123 transition count 7422
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 337 with 9 rules applied. Total rules applied 5461 place count 3123 transition count 7413
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 337 with 2 rules applied. Total rules applied 5463 place count 3122 transition count 7424
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 337 with 1 rules applied. Total rules applied 5464 place count 3122 transition count 7423
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 338 with 10 rules applied. Total rules applied 5474 place count 3122 transition count 7413
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 338 with 2 rules applied. Total rules applied 5476 place count 3121 transition count 7424
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 338 with 1 rules applied. Total rules applied 5477 place count 3121 transition count 7423
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 339 with 10 rules applied. Total rules applied 5487 place count 3121 transition count 7413
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 339 with 2 rules applied. Total rules applied 5489 place count 3120 transition count 7424
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 339 with 1 rules applied. Total rules applied 5490 place count 3120 transition count 7423
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 340 with 10 rules applied. Total rules applied 5500 place count 3120 transition count 7413
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 340 with 2 rules applied. Total rules applied 5502 place count 3119 transition count 7424
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 340 with 1 rules applied. Total rules applied 5503 place count 3119 transition count 7423
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 341 with 10 rules applied. Total rules applied 5513 place count 3119 transition count 7413
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 341 with 2 rules applied. Total rules applied 5515 place count 3118 transition count 7424
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 341 with 2 rules applied. Total rules applied 5517 place count 3118 transition count 7422
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 342 with 9 rules applied. Total rules applied 5526 place count 3118 transition count 7413
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 342 with 2 rules applied. Total rules applied 5528 place count 3117 transition count 7424
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 342 with 1 rules applied. Total rules applied 5529 place count 3117 transition count 7423
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 343 with 10 rules applied. Total rules applied 5539 place count 3117 transition count 7413
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 343 with 2 rules applied. Total rules applied 5541 place count 3116 transition count 7424
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 343 with 1 rules applied. Total rules applied 5542 place count 3116 transition count 7423
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 344 with 10 rules applied. Total rules applied 5552 place count 3116 transition count 7413
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 344 with 2 rules applied. Total rules applied 5554 place count 3115 transition count 7424
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 344 with 1 rules applied. Total rules applied 5555 place count 3115 transition count 7423
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 345 with 10 rules applied. Total rules applied 5565 place count 3115 transition count 7413
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 345 with 2 rules applied. Total rules applied 5567 place count 3114 transition count 7424
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 345 with 1 rules applied. Total rules applied 5568 place count 3114 transition count 7423
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 346 with 10 rules applied. Total rules applied 5578 place count 3114 transition count 7413
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 346 with 2 rules applied. Total rules applied 5580 place count 3113 transition count 7424
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 346 with 1 rules applied. Total rules applied 5581 place count 3113 transition count 7423
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 347 with 10 rules applied. Total rules applied 5591 place count 3113 transition count 7413
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 347 with 2 rules applied. Total rules applied 5593 place count 3112 transition count 7426
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 347 with 4 rules applied. Total rules applied 5597 place count 3112 transition count 7422
Drop transitions removed 11 transitions
Redundant transition composition rules discarded 11 transitions
Iterating global reduction 348 with 11 rules applied. Total rules applied 5608 place count 3112 transition count 7411
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 348 with 2 rules applied. Total rules applied 5610 place count 3111 transition count 7422
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 348 with 2 rules applied. Total rules applied 5612 place count 3111 transition count 7420
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 349 with 9 rules applied. Total rules applied 5621 place count 3111 transition count 7411
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 349 with 2 rules applied. Total rules applied 5623 place count 3110 transition count 7422
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 349 with 3 rules applied. Total rules applied 5626 place count 3110 transition count 7419
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 350 with 10 rules applied. Total rules applied 5636 place count 3110 transition count 7409
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 350 with 2 rules applied. Total rules applied 5638 place count 3109 transition count 7420
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 350 with 2 rules applied. Total rules applied 5640 place count 3109 transition count 7418
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 351 with 9 rules applied. Total rules applied 5649 place count 3109 transition count 7409
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 351 with 2 rules applied. Total rules applied 5651 place count 3108 transition count 7420
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 351 with 1 rules applied. Total rules applied 5652 place count 3108 transition count 7419
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 352 with 10 rules applied. Total rules applied 5662 place count 3108 transition count 7409
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 352 with 2 rules applied. Total rules applied 5664 place count 3107 transition count 7420
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 352 with 1 rules applied. Total rules applied 5665 place count 3107 transition count 7419
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 353 with 10 rules applied. Total rules applied 5675 place count 3107 transition count 7409
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 353 with 2 rules applied. Total rules applied 5677 place count 3106 transition count 7420
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 353 with 1 rules applied. Total rules applied 5678 place count 3106 transition count 7419
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 354 with 10 rules applied. Total rules applied 5688 place count 3106 transition count 7409
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 354 with 2 rules applied. Total rules applied 5690 place count 3105 transition count 7420
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 354 with 1 rules applied. Total rules applied 5691 place count 3105 transition count 7419
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 355 with 10 rules applied. Total rules applied 5701 place count 3105 transition count 7409
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 355 with 2 rules applied. Total rules applied 5703 place count 3104 transition count 7420
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 355 with 1 rules applied. Total rules applied 5704 place count 3104 transition count 7419
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 356 with 10 rules applied. Total rules applied 5714 place count 3104 transition count 7409
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 356 with 2 rules applied. Total rules applied 5716 place count 3103 transition count 7420
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 356 with 1 rules applied. Total rules applied 5717 place count 3103 transition count 7419
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 357 with 10 rules applied. Total rules applied 5727 place count 3103 transition count 7409
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 357 with 2 rules applied. Total rules applied 5729 place count 3102 transition count 7420
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 357 with 1 rules applied. Total rules applied 5730 place count 3102 transition count 7419
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 358 with 10 rules applied. Total rules applied 5740 place count 3102 transition count 7409
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 358 with 2 rules applied. Total rules applied 5742 place count 3101 transition count 7420
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 358 with 1 rules applied. Total rules applied 5743 place count 3101 transition count 7419
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 359 with 10 rules applied. Total rules applied 5753 place count 3101 transition count 7409
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 359 with 2 rules applied. Total rules applied 5755 place count 3100 transition count 7420
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 359 with 1 rules applied. Total rules applied 5756 place count 3100 transition count 7419
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 360 with 10 rules applied. Total rules applied 5766 place count 3100 transition count 7409
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 360 with 2 rules applied. Total rules applied 5768 place count 3099 transition count 7419
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 360 with 1 rules applied. Total rules applied 5769 place count 3099 transition count 7418
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 361 with 9 rules applied. Total rules applied 5778 place count 3099 transition count 7409
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 361 with 2 rules applied. Total rules applied 5780 place count 3098 transition count 7420
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 361 with 2 rules applied. Total rules applied 5782 place count 3098 transition count 7418
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 362 with 9 rules applied. Total rules applied 5791 place count 3098 transition count 7409
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 362 with 2 rules applied. Total rules applied 5793 place count 3097 transition count 7420
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 362 with 1 rules applied. Total rules applied 5794 place count 3097 transition count 7419
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 363 with 10 rules applied. Total rules applied 5804 place count 3097 transition count 7409
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 363 with 2 rules applied. Total rules applied 5806 place count 3096 transition count 7420
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 363 with 2 rules applied. Total rules applied 5808 place count 3096 transition count 7418
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 364 with 9 rules applied. Total rules applied 5817 place count 3096 transition count 7409
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 364 with 2 rules applied. Total rules applied 5819 place count 3095 transition count 7420
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 364 with 2 rules applied. Total rules applied 5821 place count 3095 transition count 7418
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 365 with 9 rules applied. Total rules applied 5830 place count 3095 transition count 7409
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 365 with 2 rules applied. Total rules applied 5832 place count 3094 transition count 7419
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 365 with 1 rules applied. Total rules applied 5833 place count 3094 transition count 7418
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 366 with 9 rules applied. Total rules applied 5842 place count 3094 transition count 7409
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 366 with 2 rules applied. Total rules applied 5844 place count 3093 transition count 7420
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 366 with 2 rules applied. Total rules applied 5846 place count 3093 transition count 7418
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 367 with 9 rules applied. Total rules applied 5855 place count 3093 transition count 7409
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 367 with 2 rules applied. Total rules applied 5857 place count 3092 transition count 7419
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 367 with 1 rules applied. Total rules applied 5858 place count 3092 transition count 7418
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 368 with 9 rules applied. Total rules applied 5867 place count 3092 transition count 7409
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 368 with 2 rules applied. Total rules applied 5869 place count 3091 transition count 7420
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 368 with 2 rules applied. Total rules applied 5871 place count 3091 transition count 7418
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 369 with 9 rules applied. Total rules applied 5880 place count 3091 transition count 7409
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 369 with 2 rules applied. Total rules applied 5882 place count 3090 transition count 7420
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 369 with 1 rules applied. Total rules applied 5883 place count 3090 transition count 7419
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 370 with 10 rules applied. Total rules applied 5893 place count 3090 transition count 7409
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 370 with 2 rules applied. Total rules applied 5895 place count 3089 transition count 7420
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 370 with 1 rules applied. Total rules applied 5896 place count 3089 transition count 7419
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 371 with 10 rules applied. Total rules applied 5906 place count 3089 transition count 7409
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 371 with 2 rules applied. Total rules applied 5908 place count 3088 transition count 7420
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 371 with 1 rules applied. Total rules applied 5909 place count 3088 transition count 7419
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 372 with 10 rules applied. Total rules applied 5919 place count 3088 transition count 7409
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -10
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 372 with 2 rules applied. Total rules applied 5921 place count 3087 transition count 7419
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 372 with 1 rules applied. Total rules applied 5922 place count 3087 transition count 7418
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 373 with 9 rules applied. Total rules applied 5931 place count 3087 transition count 7409
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 373 with 2 rules applied. Total rules applied 5933 place count 3086 transition count 7420
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 373 with 3 rules applied. Total rules applied 5936 place count 3086 transition count 7417
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 374 with 10 rules applied. Total rules applied 5946 place count 3086 transition count 7407
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 374 with 2 rules applied. Total rules applied 5948 place count 3085 transition count 7418
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 374 with 1 rules applied. Total rules applied 5949 place count 3085 transition count 7417
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 375 with 10 rules applied. Total rules applied 5959 place count 3085 transition count 7407
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 375 with 2 rules applied. Total rules applied 5961 place count 3084 transition count 7418
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 375 with 1 rules applied. Total rules applied 5962 place count 3084 transition count 7417
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 376 with 10 rules applied. Total rules applied 5972 place count 3084 transition count 7407
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 376 with 2 rules applied. Total rules applied 5974 place count 3083 transition count 7418
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 376 with 1 rules applied. Total rules applied 5975 place count 3083 transition count 7417
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 377 with 10 rules applied. Total rules applied 5985 place count 3083 transition count 7407
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 377 with 2 rules applied. Total rules applied 5987 place count 3082 transition count 7416
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 377 with 1 rules applied. Total rules applied 5988 place count 3082 transition count 7415
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 378 with 9 rules applied. Total rules applied 5997 place count 3082 transition count 7406
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 378 with 2 rules applied. Total rules applied 5999 place count 3081 transition count 7415
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 378 with 1 rules applied. Total rules applied 6000 place count 3081 transition count 7414
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 379 with 9 rules applied. Total rules applied 6009 place count 3081 transition count 7405
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 379 with 2 rules applied. Total rules applied 6011 place count 3080 transition count 7414
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 379 with 1 rules applied. Total rules applied 6012 place count 3080 transition count 7413
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 380 with 9 rules applied. Total rules applied 6021 place count 3080 transition count 7404
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 380 with 2 rules applied. Total rules applied 6023 place count 3079 transition count 7413
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 380 with 1 rules applied. Total rules applied 6024 place count 3079 transition count 7412
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 381 with 9 rules applied. Total rules applied 6033 place count 3079 transition count 7403
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 381 with 2 rules applied. Total rules applied 6035 place count 3078 transition count 7412
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 381 with 1 rules applied. Total rules applied 6036 place count 3078 transition count 7411
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 382 with 9 rules applied. Total rules applied 6045 place count 3078 transition count 7402
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 382 with 2 rules applied. Total rules applied 6047 place count 3077 transition count 7411
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 382 with 1 rules applied. Total rules applied 6048 place count 3077 transition count 7410
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 383 with 9 rules applied. Total rules applied 6057 place count 3077 transition count 7401
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 383 with 2 rules applied. Total rules applied 6059 place count 3076 transition count 7410
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 383 with 1 rules applied. Total rules applied 6060 place count 3076 transition count 7409
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 384 with 9 rules applied. Total rules applied 6069 place count 3076 transition count 7400
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 384 with 2 rules applied. Total rules applied 6071 place count 3075 transition count 7409
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 384 with 1 rules applied. Total rules applied 6072 place count 3075 transition count 7408
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 385 with 9 rules applied. Total rules applied 6081 place count 3075 transition count 7399
Free-agglomeration rule applied 1081 times with reduction of 307 identical transitions.
Iterating global reduction 385 with 1081 rules applied. Total rules applied 7162 place count 3075 transition count 6011
Reduce places removed 1081 places and 0 transitions.
Drop transitions removed 3125 transitions
Reduce isomorphic transitions removed 3125 transitions.
Graph (complete) has 5054 edges and 1994 vertex of which 24 are kept as prefixes of interest. Removing 1970 places using SCC suffix rule.9 ms
Discarding 1970 places :
Also discarding 2401 output transitions
Drop transitions removed 2401 transitions
Iterating post reduction 385 with 4207 rules applied. Total rules applied 11369 place count 24 transition count 485
Drop transitions removed 433 transitions
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 440 transitions.
Iterating post reduction 386 with 440 rules applied. Total rules applied 11809 place count 24 transition count 45
Discarding 2 places :
Symmetric choice reduction at 387 with 2 rule applications. Total rules 11811 place count 22 transition count 41
Iterating global reduction 387 with 2 rules applied. Total rules applied 11813 place count 22 transition count 41
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 387 with 1 rules applied. Total rules applied 11814 place count 21 transition count 40
Reduce places removed 6 places and 0 transitions.
Graph (trivial) has 7 edges and 15 vertex of which 2 / 15 are part of one of the 1 SCC in 0 ms
Free SCC test removed 1 places
Iterating post reduction 387 with 7 rules applied. Total rules applied 11821 place count 14 transition count 40
Drop transitions removed 7 transitions
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 14 transitions.
Iterating post reduction 388 with 14 rules applied. Total rules applied 11835 place count 14 transition count 26
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 0 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 389 with 15 rules applied. Total rules applied 11850 place count 4 transition count 21
Drop transitions removed 8 transitions
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 15 transitions.
Iterating post reduction 389 with 15 rules applied. Total rules applied 11865 place count 4 transition count 6
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 390 with 1 rules applied. Total rules applied 11866 place count 4 transition count 5
Applied a total of 11866 rules in 298002 ms. Remains 4 /3611 variables (removed 3607) and now considering 5/11508 (removed 11503) transitions.
Finished structural reductions, in 1 iterations. Remains : 4/3611 places, 5/11508 transitions.
Finished random walk after 8 steps, including 0 resets, run visited all 1 properties in 1 ms. (steps per millisecond=8 )
Able to resolve query QuasiLiveness after proving 8762 properties.
FORMULA QuasiLiveness TRUE TECHNIQUES RANDOM_WALK BESTFIRST_WALK TOPOLOGICAL INITIAL_STATE
Total runtime 545800 ms.

BK_STOP 1652567242006

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

+ export LANG=C
+ LANG=C
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ QuasiLiveness = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ export PYTHONPATH=/usr/lib/python3.9/site-packages/
+ PYTHONPATH=/usr/lib/python3.9/site-packages/
+ export LD_LIBRARY_PATH=/usr/local/lib:
+ LD_LIBRARY_PATH=/usr/local/lib:
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202205111006.jar
+ VERSION=202205111006
+ echo 'Running Version 202205111006'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data @none -pnfolder /home/mcc/execution -examination QuasiLiveness -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 1800 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=@none -Xss128m -Xms40m -Xmx8192m

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="QuasiLiveness"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is DLCshifumi-PT-5b, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r067-tall-165254778100217"
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 [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "UpperBounds" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] || [ "QuasiLiveness" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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