Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 11M
-rw-r--r-- 1 mcc users 5.5K Feb 26 08:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 52K Feb 26 08:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 08:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 08:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K Jan 29 11:40 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 08:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 107K Feb 26 08:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 08:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 08:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 9.7M Mar 5 18:22 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1678396303988

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=ltsminxred
BK_EXAMINATION=LTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCshifumi-PT-5b
Applying reductions before tool ltsmin
Invoking reducer
Running Version 202303021504
[2023-03-09 21:11:45] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLCardinality, -timeout, 360, -rebuildPNML]
[2023-03-09 21:11:45] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 21:11:46] [INFO ] Load time of PNML (sax parser for PT used): 621 ms
[2023-03-09 21:11:46] [INFO ] Transformed 27146 places.
[2023-03-09 21:11:46] [INFO ] Transformed 39849 transitions.
[2023-03-09 21:11:46] [INFO ] Found NUPN structural information;
[2023-03-09 21:11:47] [INFO ] Parsed PT model containing 27146 places and 39849 transitions and 107425 arcs in 1954 ms.
Parsed 16 properties from file /home/mcc/execution/LTLCardinality.xml in 18 ms.
Working with output stream class java.io.PrintStream
Initial state reduction rules removed 6 formulas.
FORMULA DLCshifumi-PT-5b-LTLCardinality-04 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-LTLCardinality-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-LTLCardinality-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-LTLCardinality-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-LTLCardinality-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-LTLCardinality-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-LTLCardinality-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-LTLCardinality-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-LTLCardinality-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-LTLCardinality-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 19 out of 27146 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Applied a total of 0 rules in 2008 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
// Phase 1: matrix 39849 rows 27146 cols
[2023-03-09 21:11:52] [INFO ] Computed 1378 place invariants in 233 ms
[2023-03-09 21:11:55] [INFO ] Implicit Places using invariants in 3776 ms returned []
Implicit Place search using SMT only with invariants took 3800 ms to find 0 implicit places.
[2023-03-09 21:11:55] [INFO ] Invariant cache hit.
[2023-03-09 21:11:58] [INFO ] Dead Transitions using invariants and state equation in 3205 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 9032 ms. Remains : 27146/27146 places, 39849/39849 transitions.
Support contains 19 out of 27146 places after structural reductions.
[2023-03-09 21:12:01] [INFO ] Flatten gal took : 1120 ms
[2023-03-09 21:12:02] [INFO ] Flatten gal took : 782 ms
[2023-03-09 21:12:04] [INFO ] Input system was already deterministic with 39849 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 676 ms. (steps per millisecond=14 ) properties (out of 10) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 28 ms. (steps per millisecond=357 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 28 ms. (steps per millisecond=357 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 28 ms. (steps per millisecond=357 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=384 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 31 ms. (steps per millisecond=322 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 23 ms. (steps per millisecond=434 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=400 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=416 ) properties (out of 9) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=400 ) properties (out of 9) seen :0
Running SMT prover for 9 properties.
[2023-03-09 21:12:07] [INFO ] Invariant cache hit.
[2023-03-09 21:12:22] [INFO ] [Real]Absence check using 1378 positive place invariants in 6087 ms returned sat
[2023-03-09 21:12:24] [INFO ] After 16827ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:9
[2023-03-09 21:12:38] [INFO ] [Nat]Absence check using 1378 positive place invariants in 5596 ms returned sat
[2023-03-09 21:12:49] [INFO ] After 7443ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :8
[2023-03-09 21:12:49] [INFO ] After 7499ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :8
Attempting to minimize the solution found.
Minimization took 12 ms.
[2023-03-09 21:12:49] [INFO ] After 25094ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :8
Fused 9 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 17 out of 27146 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Graph (trivial) has 25267 edges and 27146 vertex of which 2235 / 27146 are part of one of the 142 SCC in 51 ms
Free SCC test removed 2093 places
Drop transitions removed 2367 transitions
Reduce isomorphic transitions removed 2367 transitions.
Drop transitions removed 12898 transitions
Trivial Post-agglo rules discarded 12898 transitions
Performed 12898 trivial Post agglomeration. Transition count delta: 12898
Iterating post reduction 0 with 12898 rules applied. Total rules applied 12899 place count 25053 transition count 24584
Reduce places removed 12898 places and 0 transitions.
Ensure Unique test removed 382 transitions
Reduce isomorphic transitions removed 382 transitions.
Drop transitions removed 377 transitions
Trivial Post-agglo rules discarded 377 transitions
Performed 377 trivial Post agglomeration. Transition count delta: 377
Iterating post reduction 1 with 13657 rules applied. Total rules applied 26556 place count 12155 transition count 23825
Reduce places removed 377 places and 0 transitions.
Ensure Unique test removed 123 transitions
Reduce isomorphic transitions removed 123 transitions.
Drop transitions removed 121 transitions
Trivial Post-agglo rules discarded 121 transitions
Performed 121 trivial Post agglomeration. Transition count delta: 121
Iterating post reduction 2 with 621 rules applied. Total rules applied 27177 place count 11778 transition count 23581
Reduce places removed 121 places and 0 transitions.
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Iterating post reduction 3 with 131 rules applied. Total rules applied 27308 place count 11657 transition count 23571
Reduce places removed 10 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 4 with 12 rules applied. Total rules applied 27320 place count 11647 transition count 23569
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 27321 place count 11646 transition count 23569
Performed 125 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 125 Pre rules applied. Total rules applied 27321 place count 11646 transition count 23444
Deduced a syphon composed of 125 places in 744 ms
Reduce places removed 125 places and 0 transitions.
Iterating global reduction 6 with 250 rules applied. Total rules applied 27571 place count 11521 transition count 23444
Discarding 3280 places :
Symmetric choice reduction at 6 with 3280 rule applications. Total rules 30851 place count 8241 transition count 20164
Iterating global reduction 6 with 3280 rules applied. Total rules applied 34131 place count 8241 transition count 20164
Performed 1380 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 1380 Pre rules applied. Total rules applied 34131 place count 8241 transition count 18784
Deduced a syphon composed of 1380 places in 637 ms
Reduce places removed 1380 places and 0 transitions.
Iterating global reduction 6 with 2760 rules applied. Total rules applied 36891 place count 6861 transition count 18784
Discarding 276 places :
Symmetric choice reduction at 6 with 276 rule applications. Total rules 37167 place count 6585 transition count 13256
Iterating global reduction 6 with 276 rules applied. Total rules applied 37443 place count 6585 transition count 13256
Ensure Unique test removed 251 transitions
Reduce isomorphic transitions removed 251 transitions.
Iterating post reduction 6 with 251 rules applied. Total rules applied 37694 place count 6585 transition count 13005
Performed 1647 Post agglomeration using F-continuation condition with reduction of 4 identical transitions.
Deduced a syphon composed of 1647 places in 4 ms
Reduce places removed 1647 places and 0 transitions.
Iterating global reduction 7 with 3294 rules applied. Total rules applied 40988 place count 4938 transition count 11354
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 7 with 4 rules applied. Total rules applied 40992 place count 4938 transition count 11350
Renaming transitions due to excessive name length > 1024 char.
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 40993 place count 4937 transition count 11223
Iterating global reduction 8 with 1 rules applied. Total rules applied 40994 place count 4937 transition count 11223
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 3 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 8 with 202 rules applied. Total rules applied 41196 place count 4836 transition count 11689
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 41197 place count 4836 transition count 11688
Discarding 33 places :
Symmetric choice reduction at 9 with 33 rule applications. Total rules 41230 place count 4803 transition count 11358
Iterating global reduction 9 with 33 rules applied. Total rules applied 41263 place count 4803 transition count 11358
Ensure Unique test removed 161 transitions
Reduce isomorphic transitions removed 161 transitions.
Iterating post reduction 9 with 161 rules applied. Total rules applied 41424 place count 4803 transition count 11197
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 2 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 10 with 202 rules applied. Total rules applied 41626 place count 4702 transition count 11666
Discarding 33 places :
Symmetric choice reduction at 10 with 33 rule applications. Total rules 41659 place count 4669 transition count 11336
Iterating global reduction 10 with 33 rules applied. Total rules applied 41692 place count 4669 transition count 11336
Ensure Unique test removed 165 transitions
Reduce isomorphic transitions removed 165 transitions.
Iterating post reduction 10 with 165 rules applied. Total rules applied 41857 place count 4669 transition count 11171
Performed 101 Post agglomeration using F-continuation condition with reduction of 160 identical transitions.
Deduced a syphon composed of 101 places in 2 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 11 with 202 rules applied. Total rules applied 42059 place count 4568 transition count 11649
Discarding 32 places :
Symmetric choice reduction at 11 with 32 rule applications. Total rules 42091 place count 4536 transition count 11329
Iterating global reduction 11 with 32 rules applied. Total rules applied 42123 place count 4536 transition count 11329
Ensure Unique test removed 160 transitions
Reduce isomorphic transitions removed 160 transitions.
Iterating post reduction 11 with 160 rules applied. Total rules applied 42283 place count 4536 transition count 11169
Performed 75 Post agglomeration using F-continuation condition with reduction of 110 identical transitions.
Deduced a syphon composed of 75 places in 2 ms
Reduce places removed 75 places and 0 transitions.
Iterating global reduction 12 with 150 rules applied. Total rules applied 42433 place count 4461 transition count 11552
Drop transitions removed 18 transitions
Reduce isomorphic transitions removed 18 transitions.
Iterating post reduction 12 with 18 rules applied. Total rules applied 42451 place count 4461 transition count 11534
Discarding 22 places :
Symmetric choice reduction at 13 with 22 rule applications. Total rules 42473 place count 4439 transition count 11311
Iterating global reduction 13 with 22 rules applied. Total rules applied 42495 place count 4439 transition count 11311
Ensure Unique test removed 112 transitions
Reduce isomorphic transitions removed 112 transitions.
Iterating post reduction 13 with 112 rules applied. Total rules applied 42607 place count 4439 transition count 11199
Drop transitions removed 42 transitions
Redundant transition composition rules discarded 42 transitions
Iterating global reduction 14 with 42 rules applied. Total rules applied 42649 place count 4439 transition count 11157
Discarding 8 places :
Symmetric choice reduction at 14 with 8 rule applications. Total rules 42657 place count 4431 transition count 11149
Iterating global reduction 14 with 8 rules applied. Total rules applied 42665 place count 4431 transition count 11149
Discarding 8 places :
Symmetric choice reduction at 14 with 8 rule applications. Total rules 42673 place count 4423 transition count 10129
Iterating global reduction 14 with 8 rules applied. Total rules applied 42681 place count 4423 transition count 10129
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 14 with 8 rules applied. Total rules applied 42689 place count 4423 transition count 10121
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 1 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 15 with 10 rules applied. Total rules applied 42699 place count 4418 transition count 10116
Discarding 5 places :
Symmetric choice reduction at 15 with 5 rule applications. Total rules 42704 place count 4413 transition count 9478
Iterating global reduction 15 with 5 rules applied. Total rules applied 42709 place count 4413 transition count 9478
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 15 with 5 rules applied. Total rules applied 42714 place count 4413 transition count 9473
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 16 with 8 rules applied. Total rules applied 42722 place count 4409 transition count 9502
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 16 with 6 rules applied. Total rules applied 42728 place count 4409 transition count 9496
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 17 with 21 rules applied. Total rules applied 42749 place count 4409 transition count 9475
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 17 with 8 rules applied. Total rules applied 42757 place count 4405 transition count 9504
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 17 with 6 rules applied. Total rules applied 42763 place count 4405 transition count 9498
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 18 with 21 rules applied. Total rules applied 42784 place count 4405 transition count 9477
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 18 with 8 rules applied. Total rules applied 42792 place count 4401 transition count 9506
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 18 with 6 rules applied. Total rules applied 42798 place count 4401 transition count 9500
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 19 with 21 rules applied. Total rules applied 42819 place count 4401 transition count 9479
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 19 with 8 rules applied. Total rules applied 42827 place count 4397 transition count 9508
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 19 with 6 rules applied. Total rules applied 42833 place count 4397 transition count 9502
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 20 with 21 rules applied. Total rules applied 42854 place count 4397 transition count 9481
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 20 with 8 rules applied. Total rules applied 42862 place count 4393 transition count 9510
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 20 with 6 rules applied. Total rules applied 42868 place count 4393 transition count 9504
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 21 with 21 rules applied. Total rules applied 42889 place count 4393 transition count 9483
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 21 with 8 rules applied. Total rules applied 42897 place count 4389 transition count 9512
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 21 with 6 rules applied. Total rules applied 42903 place count 4389 transition count 9506
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 22 with 21 rules applied. Total rules applied 42924 place count 4389 transition count 9485
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 22 with 8 rules applied. Total rules applied 42932 place count 4385 transition count 9514
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 22 with 6 rules applied. Total rules applied 42938 place count 4385 transition count 9508
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 23 with 21 rules applied. Total rules applied 42959 place count 4385 transition count 9487
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 23 with 8 rules applied. Total rules applied 42967 place count 4381 transition count 9516
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 23 with 6 rules applied. Total rules applied 42973 place count 4381 transition count 9510
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 24 with 21 rules applied. Total rules applied 42994 place count 4381 transition count 9489
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 24 with 8 rules applied. Total rules applied 43002 place count 4377 transition count 9520
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 24 with 7 rules applied. Total rules applied 43009 place count 4377 transition count 9513
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 25 with 21 rules applied. Total rules applied 43030 place count 4377 transition count 9492
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 25 with 8 rules applied. Total rules applied 43038 place count 4373 transition count 9521
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 25 with 6 rules applied. Total rules applied 43044 place count 4373 transition count 9515
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 26 with 21 rules applied. Total rules applied 43065 place count 4373 transition count 9494
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 26 with 8 rules applied. Total rules applied 43073 place count 4369 transition count 9523
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 26 with 6 rules applied. Total rules applied 43079 place count 4369 transition count 9517
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 27 with 21 rules applied. Total rules applied 43100 place count 4369 transition count 9496
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 27 with 8 rules applied. Total rules applied 43108 place count 4365 transition count 9525
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 27 with 5 rules applied. Total rules applied 43113 place count 4365 transition count 9520
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 28 with 18 rules applied. Total rules applied 43131 place count 4365 transition count 9502
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 28 with 6 rules applied. Total rules applied 43137 place count 4362 transition count 9527
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 28 with 4 rules applied. Total rules applied 43141 place count 4362 transition count 9523
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 29 with 19 rules applied. Total rules applied 43160 place count 4362 transition count 9504
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 29 with 6 rules applied. Total rules applied 43166 place count 4359 transition count 9528
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 29 with 5 rules applied. Total rules applied 43171 place count 4359 transition count 9523
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 30 with 18 rules applied. Total rules applied 43189 place count 4359 transition count 9505
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 30 with 6 rules applied. Total rules applied 43195 place count 4356 transition count 9530
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 30 with 4 rules applied. Total rules applied 43199 place count 4356 transition count 9526
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 31 with 19 rules applied. Total rules applied 43218 place count 4356 transition count 9507
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 31 with 6 rules applied. Total rules applied 43224 place count 4353 transition count 9531
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 31 with 5 rules applied. Total rules applied 43229 place count 4353 transition count 9526
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 32 with 18 rules applied. Total rules applied 43247 place count 4353 transition count 9508
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 32 with 6 rules applied. Total rules applied 43253 place count 4350 transition count 9533
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 32 with 4 rules applied. Total rules applied 43257 place count 4350 transition count 9529
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 33 with 19 rules applied. Total rules applied 43276 place count 4350 transition count 9510
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 33 with 6 rules applied. Total rules applied 43282 place count 4347 transition count 9534
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 33 with 5 rules applied. Total rules applied 43287 place count 4347 transition count 9529
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 34 with 18 rules applied. Total rules applied 43305 place count 4347 transition count 9511
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 34 with 6 rules applied. Total rules applied 43311 place count 4344 transition count 9536
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 34 with 4 rules applied. Total rules applied 43315 place count 4344 transition count 9532
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 35 with 19 rules applied. Total rules applied 43334 place count 4344 transition count 9513
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -26
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 35 with 6 rules applied. Total rules applied 43340 place count 4341 transition count 9539
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 35 with 5 rules applied. Total rules applied 43345 place count 4341 transition count 9534
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 36 with 18 rules applied. Total rules applied 43363 place count 4341 transition count 9516
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 36 with 6 rules applied. Total rules applied 43369 place count 4338 transition count 9541
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 36 with 4 rules applied. Total rules applied 43373 place count 4338 transition count 9537
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 37 with 19 rules applied. Total rules applied 43392 place count 4338 transition count 9518
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 37 with 6 rules applied. Total rules applied 43398 place count 4335 transition count 9542
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 37 with 5 rules applied. Total rules applied 43403 place count 4335 transition count 9537
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 38 with 18 rules applied. Total rules applied 43421 place count 4335 transition count 9519
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 3 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 38 with 6 rules applied. Total rules applied 43427 place count 4332 transition count 9544
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 38 with 4 rules applied. Total rules applied 43431 place count 4332 transition count 9540
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 39 with 19 rules applied. Total rules applied 43450 place count 4332 transition count 9521
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 39 with 6 rules applied. Total rules applied 43456 place count 4329 transition count 9545
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 39 with 5 rules applied. Total rules applied 43461 place count 4329 transition count 9540
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 40 with 18 rules applied. Total rules applied 43479 place count 4329 transition count 9522
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 40 with 6 rules applied. Total rules applied 43485 place count 4326 transition count 9547
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 40 with 4 rules applied. Total rules applied 43489 place count 4326 transition count 9543
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 41 with 19 rules applied. Total rules applied 43508 place count 4326 transition count 9524
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 41 with 6 rules applied. Total rules applied 43514 place count 4323 transition count 9548
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 41 with 5 rules applied. Total rules applied 43519 place count 4323 transition count 9543
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 42 with 18 rules applied. Total rules applied 43537 place count 4323 transition count 9525
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 42 with 6 rules applied. Total rules applied 43543 place count 4320 transition count 9550
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 42 with 4 rules applied. Total rules applied 43547 place count 4320 transition count 9546
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 43 with 19 rules applied. Total rules applied 43566 place count 4320 transition count 9527
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 43 with 6 rules applied. Total rules applied 43572 place count 4317 transition count 9552
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 43 with 5 rules applied. Total rules applied 43577 place count 4317 transition count 9547
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 44 with 18 rules applied. Total rules applied 43595 place count 4317 transition count 9529
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 44 with 6 rules applied. Total rules applied 43601 place count 4314 transition count 9554
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 44 with 4 rules applied. Total rules applied 43605 place count 4314 transition count 9550
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 45 with 19 rules applied. Total rules applied 43624 place count 4314 transition count 9531
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 45 with 6 rules applied. Total rules applied 43630 place count 4311 transition count 9555
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 45 with 5 rules applied. Total rules applied 43635 place count 4311 transition count 9550
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 46 with 18 rules applied. Total rules applied 43653 place count 4311 transition count 9532
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 46 with 6 rules applied. Total rules applied 43659 place count 4308 transition count 9557
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 46 with 4 rules applied. Total rules applied 43663 place count 4308 transition count 9553
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 47 with 19 rules applied. Total rules applied 43682 place count 4308 transition count 9534
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 47 with 6 rules applied. Total rules applied 43688 place count 4305 transition count 9558
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 47 with 5 rules applied. Total rules applied 43693 place count 4305 transition count 9553
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 48 with 18 rules applied. Total rules applied 43711 place count 4305 transition count 9535
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 48 with 6 rules applied. Total rules applied 43717 place count 4302 transition count 9559
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 48 with 4 rules applied. Total rules applied 43721 place count 4302 transition count 9555
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 49 with 19 rules applied. Total rules applied 43740 place count 4302 transition count 9536
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 49 with 6 rules applied. Total rules applied 43746 place count 4299 transition count 9560
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 49 with 5 rules applied. Total rules applied 43751 place count 4299 transition count 9555
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 50 with 18 rules applied. Total rules applied 43769 place count 4299 transition count 9537
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 50 with 6 rules applied. Total rules applied 43775 place count 4296 transition count 9562
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 50 with 4 rules applied. Total rules applied 43779 place count 4296 transition count 9558
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 51 with 19 rules applied. Total rules applied 43798 place count 4296 transition count 9539
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 51 with 6 rules applied. Total rules applied 43804 place count 4293 transition count 9563
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 51 with 5 rules applied. Total rules applied 43809 place count 4293 transition count 9558
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 52 with 18 rules applied. Total rules applied 43827 place count 4293 transition count 9540
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 52 with 6 rules applied. Total rules applied 43833 place count 4290 transition count 9565
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 52 with 4 rules applied. Total rules applied 43837 place count 4290 transition count 9561
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 53 with 19 rules applied. Total rules applied 43856 place count 4290 transition count 9542
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 53 with 6 rules applied. Total rules applied 43862 place count 4287 transition count 9566
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 53 with 5 rules applied. Total rules applied 43867 place count 4287 transition count 9561
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 54 with 18 rules applied. Total rules applied 43885 place count 4287 transition count 9543
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 54 with 6 rules applied. Total rules applied 43891 place count 4284 transition count 9568
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 54 with 4 rules applied. Total rules applied 43895 place count 4284 transition count 9564
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 55 with 19 rules applied. Total rules applied 43914 place count 4284 transition count 9545
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 55 with 6 rules applied. Total rules applied 43920 place count 4281 transition count 9569
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 55 with 5 rules applied. Total rules applied 43925 place count 4281 transition count 9564
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 56 with 18 rules applied. Total rules applied 43943 place count 4281 transition count 9546
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 56 with 6 rules applied. Total rules applied 43949 place count 4278 transition count 9571
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 56 with 4 rules applied. Total rules applied 43953 place count 4278 transition count 9567
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 57 with 19 rules applied. Total rules applied 43972 place count 4278 transition count 9548
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 57 with 6 rules applied. Total rules applied 43978 place count 4275 transition count 9572
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 57 with 5 rules applied. Total rules applied 43983 place count 4275 transition count 9567
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 58 with 18 rules applied. Total rules applied 44001 place count 4275 transition count 9549
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 58 with 6 rules applied. Total rules applied 44007 place count 4272 transition count 9574
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 58 with 4 rules applied. Total rules applied 44011 place count 4272 transition count 9570
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 59 with 19 rules applied. Total rules applied 44030 place count 4272 transition count 9551
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 59 with 6 rules applied. Total rules applied 44036 place count 4269 transition count 9575
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 59 with 5 rules applied. Total rules applied 44041 place count 4269 transition count 9570
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 60 with 18 rules applied. Total rules applied 44059 place count 4269 transition count 9552
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 60 with 6 rules applied. Total rules applied 44065 place count 4266 transition count 9577
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 60 with 4 rules applied. Total rules applied 44069 place count 4266 transition count 9573
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 61 with 19 rules applied. Total rules applied 44088 place count 4266 transition count 9554
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 61 with 6 rules applied. Total rules applied 44094 place count 4263 transition count 9578
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 61 with 5 rules applied. Total rules applied 44099 place count 4263 transition count 9573
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 62 with 18 rules applied. Total rules applied 44117 place count 4263 transition count 9555
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 62 with 6 rules applied. Total rules applied 44123 place count 4260 transition count 9580
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 62 with 3 rules applied. Total rules applied 44126 place count 4260 transition count 9577
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 63 with 15 rules applied. Total rules applied 44141 place count 4260 transition count 9562
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 63 with 4 rules applied. Total rules applied 44145 place count 4258 transition count 9581
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 63 with 3 rules applied. Total rules applied 44148 place count 4258 transition count 9578
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 64 with 15 rules applied. Total rules applied 44163 place count 4258 transition count 9563
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 64 with 4 rules applied. Total rules applied 44167 place count 4256 transition count 9582
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 64 with 3 rules applied. Total rules applied 44170 place count 4256 transition count 9579
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 65 with 15 rules applied. Total rules applied 44185 place count 4256 transition count 9564
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 65 with 4 rules applied. Total rules applied 44189 place count 4254 transition count 9583
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 65 with 3 rules applied. Total rules applied 44192 place count 4254 transition count 9580
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 66 with 15 rules applied. Total rules applied 44207 place count 4254 transition count 9565
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 66 with 4 rules applied. Total rules applied 44211 place count 4252 transition count 9584
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 66 with 3 rules applied. Total rules applied 44214 place count 4252 transition count 9581
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 67 with 15 rules applied. Total rules applied 44229 place count 4252 transition count 9566
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 67 with 4 rules applied. Total rules applied 44233 place count 4250 transition count 9586
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 67 with 3 rules applied. Total rules applied 44236 place count 4250 transition count 9583
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 68 with 15 rules applied. Total rules applied 44251 place count 4250 transition count 9568
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 68 with 4 rules applied. Total rules applied 44255 place count 4248 transition count 9587
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 68 with 3 rules applied. Total rules applied 44258 place count 4248 transition count 9584
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 69 with 15 rules applied. Total rules applied 44273 place count 4248 transition count 9569
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 69 with 4 rules applied. Total rules applied 44277 place count 4246 transition count 9588
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 69 with 3 rules applied. Total rules applied 44280 place count 4246 transition count 9585
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 70 with 15 rules applied. Total rules applied 44295 place count 4246 transition count 9570
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 70 with 4 rules applied. Total rules applied 44299 place count 4244 transition count 9589
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 70 with 3 rules applied. Total rules applied 44302 place count 4244 transition count 9586
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 71 with 15 rules applied. Total rules applied 44317 place count 4244 transition count 9571
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 71 with 4 rules applied. Total rules applied 44321 place count 4242 transition count 9590
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 71 with 3 rules applied. Total rules applied 44324 place count 4242 transition count 9587
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 72 with 15 rules applied. Total rules applied 44339 place count 4242 transition count 9572
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 72 with 4 rules applied. Total rules applied 44343 place count 4240 transition count 9591
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 72 with 3 rules applied. Total rules applied 44346 place count 4240 transition count 9588
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 73 with 15 rules applied. Total rules applied 44361 place count 4240 transition count 9573
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 73 with 4 rules applied. Total rules applied 44365 place count 4238 transition count 9592
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 73 with 3 rules applied. Total rules applied 44368 place count 4238 transition count 9589
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 74 with 15 rules applied. Total rules applied 44383 place count 4238 transition count 9574
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 74 with 4 rules applied. Total rules applied 44387 place count 4236 transition count 9593
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 74 with 3 rules applied. Total rules applied 44390 place count 4236 transition count 9590
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 75 with 15 rules applied. Total rules applied 44405 place count 4236 transition count 9575
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 75 with 4 rules applied. Total rules applied 44409 place count 4234 transition count 9594
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 75 with 3 rules applied. Total rules applied 44412 place count 4234 transition count 9591
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 76 with 15 rules applied. Total rules applied 44427 place count 4234 transition count 9576
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 76 with 4 rules applied. Total rules applied 44431 place count 4232 transition count 9595
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 76 with 3 rules applied. Total rules applied 44434 place count 4232 transition count 9592
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 77 with 15 rules applied. Total rules applied 44449 place count 4232 transition count 9577
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 77 with 4 rules applied. Total rules applied 44453 place count 4230 transition count 9596
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 77 with 3 rules applied. Total rules applied 44456 place count 4230 transition count 9593
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 78 with 15 rules applied. Total rules applied 44471 place count 4230 transition count 9578
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -21
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 78 with 4 rules applied. Total rules applied 44475 place count 4228 transition count 9599
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 78 with 3 rules applied. Total rules applied 44478 place count 4228 transition count 9596
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 79 with 15 rules applied. Total rules applied 44493 place count 4228 transition count 9581
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 79 with 4 rules applied. Total rules applied 44497 place count 4226 transition count 9600
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 79 with 3 rules applied. Total rules applied 44500 place count 4226 transition count 9597
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 80 with 15 rules applied. Total rules applied 44515 place count 4226 transition count 9582
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 80 with 4 rules applied. Total rules applied 44519 place count 4224 transition count 9601
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 80 with 3 rules applied. Total rules applied 44522 place count 4224 transition count 9598
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 81 with 15 rules applied. Total rules applied 44537 place count 4224 transition count 9583
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 81 with 4 rules applied. Total rules applied 44541 place count 4222 transition count 9602
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 81 with 3 rules applied. Total rules applied 44544 place count 4222 transition count 9599
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 82 with 15 rules applied. Total rules applied 44559 place count 4222 transition count 9584
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 82 with 4 rules applied. Total rules applied 44563 place count 4220 transition count 9603
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 82 with 3 rules applied. Total rules applied 44566 place count 4220 transition count 9600
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 83 with 15 rules applied. Total rules applied 44581 place count 4220 transition count 9585
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 83 with 4 rules applied. Total rules applied 44585 place count 4218 transition count 9604
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 83 with 3 rules applied. Total rules applied 44588 place count 4218 transition count 9601
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 84 with 15 rules applied. Total rules applied 44603 place count 4218 transition count 9586
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 84 with 4 rules applied. Total rules applied 44607 place count 4216 transition count 9605
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 84 with 3 rules applied. Total rules applied 44610 place count 4216 transition count 9602
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 85 with 15 rules applied. Total rules applied 44625 place count 4216 transition count 9587
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 85 with 4 rules applied. Total rules applied 44629 place count 4214 transition count 9606
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 85 with 3 rules applied. Total rules applied 44632 place count 4214 transition count 9603
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 86 with 15 rules applied. Total rules applied 44647 place count 4214 transition count 9588
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 86 with 4 rules applied. Total rules applied 44651 place count 4212 transition count 9607
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 86 with 3 rules applied. Total rules applied 44654 place count 4212 transition count 9604
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 87 with 15 rules applied. Total rules applied 44669 place count 4212 transition count 9589
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 87 with 4 rules applied. Total rules applied 44673 place count 4210 transition count 9608
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 87 with 3 rules applied. Total rules applied 44676 place count 4210 transition count 9605
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 88 with 15 rules applied. Total rules applied 44691 place count 4210 transition count 9590
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 88 with 4 rules applied. Total rules applied 44695 place count 4208 transition count 9610
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 88 with 3 rules applied. Total rules applied 44698 place count 4208 transition count 9607
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 89 with 15 rules applied. Total rules applied 44713 place count 4208 transition count 9592
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 89 with 4 rules applied. Total rules applied 44717 place count 4206 transition count 9611
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 89 with 3 rules applied. Total rules applied 44720 place count 4206 transition count 9608
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 90 with 15 rules applied. Total rules applied 44735 place count 4206 transition count 9593
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 90 with 4 rules applied. Total rules applied 44739 place count 4204 transition count 9612
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 90 with 3 rules applied. Total rules applied 44742 place count 4204 transition count 9609
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 91 with 15 rules applied. Total rules applied 44757 place count 4204 transition count 9594
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 91 with 4 rules applied. Total rules applied 44761 place count 4202 transition count 9613
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 91 with 3 rules applied. Total rules applied 44764 place count 4202 transition count 9610
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 92 with 15 rules applied. Total rules applied 44779 place count 4202 transition count 9595
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 92 with 4 rules applied. Total rules applied 44783 place count 4200 transition count 9615
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 92 with 5 rules applied. Total rules applied 44788 place count 4200 transition count 9610
Drop transitions removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 93 with 14 rules applied. Total rules applied 44802 place count 4200 transition count 9596
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -22
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 93 with 4 rules applied. Total rules applied 44806 place count 4198 transition count 9618
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 93 with 2 rules applied. Total rules applied 44808 place count 4198 transition count 9616
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 94 with 16 rules applied. Total rules applied 44824 place count 4198 transition count 9600
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 94 with 4 rules applied. Total rules applied 44828 place count 4196 transition count 9619
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 94 with 3 rules applied. Total rules applied 44831 place count 4196 transition count 9616
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 95 with 15 rules applied. Total rules applied 44846 place count 4196 transition count 9601
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 95 with 4 rules applied. Total rules applied 44850 place count 4194 transition count 9620
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 95 with 3 rules applied. Total rules applied 44853 place count 4194 transition count 9617
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 96 with 15 rules applied. Total rules applied 44868 place count 4194 transition count 9602
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 96 with 4 rules applied. Total rules applied 44872 place count 4192 transition count 9621
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 96 with 3 rules applied. Total rules applied 44875 place count 4192 transition count 9618
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 97 with 15 rules applied. Total rules applied 44890 place count 4192 transition count 9603
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 97 with 4 rules applied. Total rules applied 44894 place count 4190 transition count 9622
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 97 with 3 rules applied. Total rules applied 44897 place count 4190 transition count 9619
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 98 with 15 rules applied. Total rules applied 44912 place count 4190 transition count 9604
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 98 with 4 rules applied. Total rules applied 44916 place count 4188 transition count 9623
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 98 with 3 rules applied. Total rules applied 44919 place count 4188 transition count 9620
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 99 with 15 rules applied. Total rules applied 44934 place count 4188 transition count 9605
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 99 with 4 rules applied. Total rules applied 44938 place count 4186 transition count 9624
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 99 with 3 rules applied. Total rules applied 44941 place count 4186 transition count 9621
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 100 with 15 rules applied. Total rules applied 44956 place count 4186 transition count 9606
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 100 with 4 rules applied. Total rules applied 44960 place count 4184 transition count 9625
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 100 with 3 rules applied. Total rules applied 44963 place count 4184 transition count 9622
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 101 with 15 rules applied. Total rules applied 44978 place count 4184 transition count 9607
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 101 with 4 rules applied. Total rules applied 44982 place count 4182 transition count 9626
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 101 with 3 rules applied. Total rules applied 44985 place count 4182 transition count 9623
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 102 with 15 rules applied. Total rules applied 45000 place count 4182 transition count 9608
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 102 with 4 rules applied. Total rules applied 45004 place count 4180 transition count 9627
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 102 with 3 rules applied. Total rules applied 45007 place count 4180 transition count 9624
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 103 with 15 rules applied. Total rules applied 45022 place count 4180 transition count 9609
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 103 with 4 rules applied. Total rules applied 45026 place count 4178 transition count 9628
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 103 with 3 rules applied. Total rules applied 45029 place count 4178 transition count 9625
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 104 with 15 rules applied. Total rules applied 45044 place count 4178 transition count 9610
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 104 with 4 rules applied. Total rules applied 45048 place count 4176 transition count 9629
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 104 with 3 rules applied. Total rules applied 45051 place count 4176 transition count 9626
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 105 with 15 rules applied. Total rules applied 45066 place count 4176 transition count 9611
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 105 with 4 rules applied. Total rules applied 45070 place count 4174 transition count 9630
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 105 with 3 rules applied. Total rules applied 45073 place count 4174 transition count 9627
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 106 with 15 rules applied. Total rules applied 45088 place count 4174 transition count 9612
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 106 with 4 rules applied. Total rules applied 45092 place count 4172 transition count 9631
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 106 with 3 rules applied. Total rules applied 45095 place count 4172 transition count 9628
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 107 with 15 rules applied. Total rules applied 45110 place count 4172 transition count 9613
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 107 with 4 rules applied. Total rules applied 45114 place count 4170 transition count 9632
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 107 with 3 rules applied. Total rules applied 45117 place count 4170 transition count 9629
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 108 with 15 rules applied. Total rules applied 45132 place count 4170 transition count 9614
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 108 with 4 rules applied. Total rules applied 45136 place count 4168 transition count 9633
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 108 with 3 rules applied. Total rules applied 45139 place count 4168 transition count 9630
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 109 with 15 rules applied. Total rules applied 45154 place count 4168 transition count 9615
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 109 with 4 rules applied. Total rules applied 45158 place count 4166 transition count 9634
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 109 with 3 rules applied. Total rules applied 45161 place count 4166 transition count 9631
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 110 with 15 rules applied. Total rules applied 45176 place count 4166 transition count 9616
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 110 with 4 rules applied. Total rules applied 45180 place count 4164 transition count 9635
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 110 with 3 rules applied. Total rules applied 45183 place count 4164 transition count 9632
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 111 with 15 rules applied. Total rules applied 45198 place count 4164 transition count 9617
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 111 with 4 rules applied. Total rules applied 45202 place count 4162 transition count 9636
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 111 with 3 rules applied. Total rules applied 45205 place count 4162 transition count 9633
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 112 with 15 rules applied. Total rules applied 45220 place count 4162 transition count 9618
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 112 with 4 rules applied. Total rules applied 45224 place count 4160 transition count 9637
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 112 with 3 rules applied. Total rules applied 45227 place count 4160 transition count 9634
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 113 with 15 rules applied. Total rules applied 45242 place count 4160 transition count 9619
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 113 with 4 rules applied. Total rules applied 45246 place count 4158 transition count 9638
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 113 with 3 rules applied. Total rules applied 45249 place count 4158 transition count 9635
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 114 with 15 rules applied. Total rules applied 45264 place count 4158 transition count 9620
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 114 with 4 rules applied. Total rules applied 45268 place count 4156 transition count 9639
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 114 with 3 rules applied. Total rules applied 45271 place count 4156 transition count 9636
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 115 with 15 rules applied. Total rules applied 45286 place count 4156 transition count 9621
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 115 with 4 rules applied. Total rules applied 45290 place count 4154 transition count 9640
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 115 with 3 rules applied. Total rules applied 45293 place count 4154 transition count 9637
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 116 with 15 rules applied. Total rules applied 45308 place count 4154 transition count 9622
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 116 with 4 rules applied. Total rules applied 45312 place count 4152 transition count 9641
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 116 with 3 rules applied. Total rules applied 45315 place count 4152 transition count 9638
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 117 with 15 rules applied. Total rules applied 45330 place count 4152 transition count 9623
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 117 with 4 rules applied. Total rules applied 45334 place count 4150 transition count 9642
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 117 with 3 rules applied. Total rules applied 45337 place count 4150 transition count 9639
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 118 with 15 rules applied. Total rules applied 45352 place count 4150 transition count 9624
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 118 with 4 rules applied. Total rules applied 45356 place count 4148 transition count 9643
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 118 with 3 rules applied. Total rules applied 45359 place count 4148 transition count 9640
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 119 with 15 rules applied. Total rules applied 45374 place count 4148 transition count 9625
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 119 with 4 rules applied. Total rules applied 45378 place count 4146 transition count 9644
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 119 with 3 rules applied. Total rules applied 45381 place count 4146 transition count 9641
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 120 with 15 rules applied. Total rules applied 45396 place count 4146 transition count 9626
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 120 with 4 rules applied. Total rules applied 45400 place count 4144 transition count 9645
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 120 with 3 rules applied. Total rules applied 45403 place count 4144 transition count 9642
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 121 with 15 rules applied. Total rules applied 45418 place count 4144 transition count 9627
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 121 with 4 rules applied. Total rules applied 45422 place count 4142 transition count 9646
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 121 with 3 rules applied. Total rules applied 45425 place count 4142 transition count 9643
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 122 with 15 rules applied. Total rules applied 45440 place count 4142 transition count 9628
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 122 with 4 rules applied. Total rules applied 45444 place count 4140 transition count 9647
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 122 with 3 rules applied. Total rules applied 45447 place count 4140 transition count 9644
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 123 with 15 rules applied. Total rules applied 45462 place count 4140 transition count 9629
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 123 with 4 rules applied. Total rules applied 45466 place count 4138 transition count 9648
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 123 with 3 rules applied. Total rules applied 45469 place count 4138 transition count 9645
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 124 with 15 rules applied. Total rules applied 45484 place count 4138 transition count 9630
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 124 with 4 rules applied. Total rules applied 45488 place count 4136 transition count 9649
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 124 with 3 rules applied. Total rules applied 45491 place count 4136 transition count 9646
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 125 with 15 rules applied. Total rules applied 45506 place count 4136 transition count 9631
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 125 with 4 rules applied. Total rules applied 45510 place count 4134 transition count 9650
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 125 with 3 rules applied. Total rules applied 45513 place count 4134 transition count 9647
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 126 with 15 rules applied. Total rules applied 45528 place count 4134 transition count 9632
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 126 with 4 rules applied. Total rules applied 45532 place count 4132 transition count 9651
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 126 with 3 rules applied. Total rules applied 45535 place count 4132 transition count 9648
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 127 with 15 rules applied. Total rules applied 45550 place count 4132 transition count 9633
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -21
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 127 with 4 rules applied. Total rules applied 45554 place count 4130 transition count 9654
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 127 with 4 rules applied. Total rules applied 45558 place count 4130 transition count 9650
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 128 with 15 rules applied. Total rules applied 45573 place count 4130 transition count 9635
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 128 with 4 rules applied. Total rules applied 45577 place count 4128 transition count 9654
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 128 with 3 rules applied. Total rules applied 45580 place count 4128 transition count 9651
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 129 with 15 rules applied. Total rules applied 45595 place count 4128 transition count 9636
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 129 with 4 rules applied. Total rules applied 45599 place count 4126 transition count 9654
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 129 with 3 rules applied. Total rules applied 45602 place count 4126 transition count 9651
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 130 with 15 rules applied. Total rules applied 45617 place count 4126 transition count 9636
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 130 with 4 rules applied. Total rules applied 45621 place count 4124 transition count 9654
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 130 with 3 rules applied. Total rules applied 45624 place count 4124 transition count 9651
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 131 with 15 rules applied. Total rules applied 45639 place count 4124 transition count 9636
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 131 with 4 rules applied. Total rules applied 45643 place count 4122 transition count 9654
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 131 with 3 rules applied. Total rules applied 45646 place count 4122 transition count 9651
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 132 with 15 rules applied. Total rules applied 45661 place count 4122 transition count 9636
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 132 with 4 rules applied. Total rules applied 45665 place count 4120 transition count 9654
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 132 with 2 rules applied. Total rules applied 45667 place count 4120 transition count 9652
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 133 with 9 rules applied. Total rules applied 45676 place count 4120 transition count 9643
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 45678 place count 4119 transition count 9654
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 133 with 2 rules applied. Total rules applied 45680 place count 4119 transition count 9652
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 134 with 9 rules applied. Total rules applied 45689 place count 4119 transition count 9643
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 134 with 2 rules applied. Total rules applied 45691 place count 4118 transition count 9654
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 134 with 1 rules applied. Total rules applied 45692 place count 4118 transition count 9653
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 135 with 10 rules applied. Total rules applied 45702 place count 4118 transition count 9643
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 45704 place count 4117 transition count 9654
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 135 with 2 rules applied. Total rules applied 45706 place count 4117 transition count 9652
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 136 with 9 rules applied. Total rules applied 45715 place count 4117 transition count 9643
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 45717 place count 4116 transition count 9654
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 136 with 1 rules applied. Total rules applied 45718 place count 4116 transition count 9653
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 137 with 10 rules applied. Total rules applied 45728 place count 4116 transition count 9643
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 137 with 2 rules applied. Total rules applied 45730 place count 4115 transition count 9654
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 137 with 2 rules applied. Total rules applied 45732 place count 4115 transition count 9652
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 138 with 9 rules applied. Total rules applied 45741 place count 4115 transition count 9643
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 45743 place count 4114 transition count 9654
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 138 with 1 rules applied. Total rules applied 45744 place count 4114 transition count 9653
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 139 with 10 rules applied. Total rules applied 45754 place count 4114 transition count 9643
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 139 with 2 rules applied. Total rules applied 45756 place count 4113 transition count 9654
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 139 with 2 rules applied. Total rules applied 45758 place count 4113 transition count 9652
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 140 with 9 rules applied. Total rules applied 45767 place count 4113 transition count 9643
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 45769 place count 4112 transition count 9654
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 140 with 1 rules applied. Total rules applied 45770 place count 4112 transition count 9653
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 141 with 10 rules applied. Total rules applied 45780 place count 4112 transition count 9643
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 141 with 2 rules applied. Total rules applied 45782 place count 4111 transition count 9654
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 141 with 2 rules applied. Total rules applied 45784 place count 4111 transition count 9652
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 142 with 9 rules applied. Total rules applied 45793 place count 4111 transition count 9643
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 45795 place count 4110 transition count 9654
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 142 with 1 rules applied. Total rules applied 45796 place count 4110 transition count 9653
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 143 with 10 rules applied. Total rules applied 45806 place count 4110 transition count 9643
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 143 with 2 rules applied. Total rules applied 45808 place count 4109 transition count 9654
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 143 with 2 rules applied. Total rules applied 45810 place count 4109 transition count 9652
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 144 with 9 rules applied. Total rules applied 45819 place count 4109 transition count 9643
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 144 with 2 rules applied. Total rules applied 45821 place count 4108 transition count 9654
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 144 with 1 rules applied. Total rules applied 45822 place count 4108 transition count 9653
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 145 with 10 rules applied. Total rules applied 45832 place count 4108 transition count 9643
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 45834 place count 4107 transition count 9654
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 145 with 2 rules applied. Total rules applied 45836 place count 4107 transition count 9652
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 146 with 9 rules applied. Total rules applied 45845 place count 4107 transition count 9643
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 146 with 2 rules applied. Total rules applied 45847 place count 4106 transition count 9654
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 146 with 1 rules applied. Total rules applied 45848 place count 4106 transition count 9653
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 147 with 10 rules applied. Total rules applied 45858 place count 4106 transition count 9643
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 45860 place count 4105 transition count 9654
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 147 with 2 rules applied. Total rules applied 45862 place count 4105 transition count 9652
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 148 with 9 rules applied. Total rules applied 45871 place count 4105 transition count 9643
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 45873 place count 4104 transition count 9654
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 148 with 1 rules applied. Total rules applied 45874 place count 4104 transition count 9653
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 149 with 10 rules applied. Total rules applied 45884 place count 4104 transition count 9643
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 149 with 2 rules applied. Total rules applied 45886 place count 4103 transition count 9654
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 149 with 2 rules applied. Total rules applied 45888 place count 4103 transition count 9652
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 150 with 9 rules applied. Total rules applied 45897 place count 4103 transition count 9643
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 150 with 2 rules applied. Total rules applied 45899 place count 4102 transition count 9654
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 150 with 1 rules applied. Total rules applied 45900 place count 4102 transition count 9653
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 151 with 10 rules applied. Total rules applied 45910 place count 4102 transition count 9643
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 45912 place count 4101 transition count 9654
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 151 with 2 rules applied. Total rules applied 45914 place count 4101 transition count 9652
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 152 with 9 rules applied. Total rules applied 45923 place count 4101 transition count 9643
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 152 with 2 rules applied. Total rules applied 45925 place count 4100 transition count 9654
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 152 with 1 rules applied. Total rules applied 45926 place count 4100 transition count 9653
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 153 with 10 rules applied. Total rules applied 45936 place count 4100 transition count 9643
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 45938 place count 4099 transition count 9654
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 153 with 2 rules applied. Total rules applied 45940 place count 4099 transition count 9652
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 154 with 9 rules applied. Total rules applied 45949 place count 4099 transition count 9643
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 154 with 2 rules applied. Total rules applied 45951 place count 4098 transition count 9654
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 154 with 1 rules applied. Total rules applied 45952 place count 4098 transition count 9653
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 155 with 10 rules applied. Total rules applied 45962 place count 4098 transition count 9643
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 155 with 2 rules applied. Total rules applied 45964 place count 4097 transition count 9655
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 155 with 2 rules applied. Total rules applied 45966 place count 4097 transition count 9653
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 156 with 9 rules applied. Total rules applied 45975 place count 4097 transition count 9644
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 156 with 2 rules applied. Total rules applied 45977 place count 4096 transition count 9656
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 156 with 1 rules applied. Total rules applied 45978 place count 4096 transition count 9655
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 157 with 10 rules applied. Total rules applied 45988 place count 4096 transition count 9645
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 157 with 2 rules applied. Total rules applied 45990 place count 4095 transition count 9656
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 157 with 2 rules applied. Total rules applied 45992 place count 4095 transition count 9654
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 158 with 9 rules applied. Total rules applied 46001 place count 4095 transition count 9645
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 46003 place count 4094 transition count 9656
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 158 with 1 rules applied. Total rules applied 46004 place count 4094 transition count 9655
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 159 with 10 rules applied. Total rules applied 46014 place count 4094 transition count 9645
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 46016 place count 4093 transition count 9656
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 159 with 2 rules applied. Total rules applied 46018 place count 4093 transition count 9654
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 160 with 9 rules applied. Total rules applied 46027 place count 4093 transition count 9645
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 46029 place count 4092 transition count 9656
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 160 with 1 rules applied. Total rules applied 46030 place count 4092 transition count 9655
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 161 with 10 rules applied. Total rules applied 46040 place count 4092 transition count 9645
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 46042 place count 4091 transition count 9656
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 161 with 2 rules applied. Total rules applied 46044 place count 4091 transition count 9654
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 162 with 9 rules applied. Total rules applied 46053 place count 4091 transition count 9645
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 162 with 2 rules applied. Total rules applied 46055 place count 4090 transition count 9656
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 162 with 1 rules applied. Total rules applied 46056 place count 4090 transition count 9655
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 163 with 10 rules applied. Total rules applied 46066 place count 4090 transition count 9645
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 163 with 2 rules applied. Total rules applied 46068 place count 4089 transition count 9656
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 163 with 2 rules applied. Total rules applied 46070 place count 4089 transition count 9654
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 164 with 9 rules applied. Total rules applied 46079 place count 4089 transition count 9645
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 46081 place count 4088 transition count 9656
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 164 with 1 rules applied. Total rules applied 46082 place count 4088 transition count 9655
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 165 with 10 rules applied. Total rules applied 46092 place count 4088 transition count 9645
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 46094 place count 4087 transition count 9656
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 165 with 2 rules applied. Total rules applied 46096 place count 4087 transition count 9654
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 166 with 9 rules applied. Total rules applied 46105 place count 4087 transition count 9645
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 46107 place count 4086 transition count 9656
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 166 with 1 rules applied. Total rules applied 46108 place count 4086 transition count 9655
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 167 with 10 rules applied. Total rules applied 46118 place count 4086 transition count 9645
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 46120 place count 4085 transition count 9656
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 167 with 2 rules applied. Total rules applied 46122 place count 4085 transition count 9654
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 168 with 9 rules applied. Total rules applied 46131 place count 4085 transition count 9645
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 168 with 2 rules applied. Total rules applied 46133 place count 4084 transition count 9656
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 168 with 1 rules applied. Total rules applied 46134 place count 4084 transition count 9655
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 169 with 10 rules applied. Total rules applied 46144 place count 4084 transition count 9645
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 46146 place count 4083 transition count 9656
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 169 with 2 rules applied. Total rules applied 46148 place count 4083 transition count 9654
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 170 with 9 rules applied. Total rules applied 46157 place count 4083 transition count 9645
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 46159 place count 4082 transition count 9656
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 170 with 1 rules applied. Total rules applied 46160 place count 4082 transition count 9655
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 171 with 10 rules applied. Total rules applied 46170 place count 4082 transition count 9645
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 46172 place count 4081 transition count 9656
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 171 with 2 rules applied. Total rules applied 46174 place count 4081 transition count 9654
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 172 with 9 rules applied. Total rules applied 46183 place count 4081 transition count 9645
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 172 with 2 rules applied. Total rules applied 46185 place count 4080 transition count 9656
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 172 with 1 rules applied. Total rules applied 46186 place count 4080 transition count 9655
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 173 with 10 rules applied. Total rules applied 46196 place count 4080 transition count 9645
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 46198 place count 4079 transition count 9656
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 173 with 2 rules applied. Total rules applied 46200 place count 4079 transition count 9654
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 174 with 9 rules applied. Total rules applied 46209 place count 4079 transition count 9645
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 46211 place count 4078 transition count 9656
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 174 with 1 rules applied. Total rules applied 46212 place count 4078 transition count 9655
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 175 with 10 rules applied. Total rules applied 46222 place count 4078 transition count 9645
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 46224 place count 4077 transition count 9656
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 175 with 2 rules applied. Total rules applied 46226 place count 4077 transition count 9654
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 176 with 9 rules applied. Total rules applied 46235 place count 4077 transition count 9645
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 46237 place count 4076 transition count 9656
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 176 with 1 rules applied. Total rules applied 46238 place count 4076 transition count 9655
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 177 with 10 rules applied. Total rules applied 46248 place count 4076 transition count 9645
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 177 with 2 rules applied. Total rules applied 46250 place count 4075 transition count 9656
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 177 with 2 rules applied. Total rules applied 46252 place count 4075 transition count 9654
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 178 with 9 rules applied. Total rules applied 46261 place count 4075 transition count 9645
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 46263 place count 4074 transition count 9656
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 178 with 1 rules applied. Total rules applied 46264 place count 4074 transition count 9655
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 179 with 10 rules applied. Total rules applied 46274 place count 4074 transition count 9645
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 46276 place count 4073 transition count 9656
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 179 with 2 rules applied. Total rules applied 46278 place count 4073 transition count 9654
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 180 with 9 rules applied. Total rules applied 46287 place count 4073 transition count 9645
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 180 with 2 rules applied. Total rules applied 46289 place count 4072 transition count 9657
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 180 with 1 rules applied. Total rules applied 46290 place count 4072 transition count 9656
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 181 with 10 rules applied. Total rules applied 46300 place count 4072 transition count 9646
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 46302 place count 4071 transition count 9657
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 181 with 2 rules applied. Total rules applied 46304 place count 4071 transition count 9655
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 182 with 9 rules applied. Total rules applied 46313 place count 4071 transition count 9646
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 46315 place count 4070 transition count 9657
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 182 with 1 rules applied. Total rules applied 46316 place count 4070 transition count 9656
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 183 with 10 rules applied. Total rules applied 46326 place count 4070 transition count 9646
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 183 with 2 rules applied. Total rules applied 46328 place count 4069 transition count 9657
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 183 with 2 rules applied. Total rules applied 46330 place count 4069 transition count 9655
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 184 with 9 rules applied. Total rules applied 46339 place count 4069 transition count 9646
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 184 with 2 rules applied. Total rules applied 46341 place count 4068 transition count 9657
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 184 with 1 rules applied. Total rules applied 46342 place count 4068 transition count 9656
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 185 with 10 rules applied. Total rules applied 46352 place count 4068 transition count 9646
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 46354 place count 4067 transition count 9657
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 185 with 2 rules applied. Total rules applied 46356 place count 4067 transition count 9655
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 186 with 9 rules applied. Total rules applied 46365 place count 4067 transition count 9646
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 186 with 2 rules applied. Total rules applied 46367 place count 4066 transition count 9657
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 186 with 1 rules applied. Total rules applied 46368 place count 4066 transition count 9656
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 187 with 10 rules applied. Total rules applied 46378 place count 4066 transition count 9646
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 46380 place count 4065 transition count 9657
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 187 with 2 rules applied. Total rules applied 46382 place count 4065 transition count 9655
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 188 with 9 rules applied. Total rules applied 46391 place count 4065 transition count 9646
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 46393 place count 4064 transition count 9657
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 188 with 1 rules applied. Total rules applied 46394 place count 4064 transition count 9656
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 189 with 10 rules applied. Total rules applied 46404 place count 4064 transition count 9646
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 46406 place count 4063 transition count 9657
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 189 with 2 rules applied. Total rules applied 46408 place count 4063 transition count 9655
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 190 with 9 rules applied. Total rules applied 46417 place count 4063 transition count 9646
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 46419 place count 4062 transition count 9657
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 190 with 1 rules applied. Total rules applied 46420 place count 4062 transition count 9656
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 191 with 10 rules applied. Total rules applied 46430 place count 4062 transition count 9646
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 46432 place count 4061 transition count 9657
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 191 with 2 rules applied. Total rules applied 46434 place count 4061 transition count 9655
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 192 with 9 rules applied. Total rules applied 46443 place count 4061 transition count 9646
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 192 with 2 rules applied. Total rules applied 46445 place count 4060 transition count 9657
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 192 with 1 rules applied. Total rules applied 46446 place count 4060 transition count 9656
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 193 with 10 rules applied. Total rules applied 46456 place count 4060 transition count 9646
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 193 with 2 rules applied. Total rules applied 46458 place count 4059 transition count 9657
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 193 with 2 rules applied. Total rules applied 46460 place count 4059 transition count 9655
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 194 with 9 rules applied. Total rules applied 46469 place count 4059 transition count 9646
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 194 with 2 rules applied. Total rules applied 46471 place count 4058 transition count 9657
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 194 with 1 rules applied. Total rules applied 46472 place count 4058 transition count 9656
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 195 with 10 rules applied. Total rules applied 46482 place count 4058 transition count 9646
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 195 with 2 rules applied. Total rules applied 46484 place count 4057 transition count 9657
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 195 with 2 rules applied. Total rules applied 46486 place count 4057 transition count 9655
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 196 with 9 rules applied. Total rules applied 46495 place count 4057 transition count 9646
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 46497 place count 4056 transition count 9657
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 196 with 1 rules applied. Total rules applied 46498 place count 4056 transition count 9656
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 197 with 10 rules applied. Total rules applied 46508 place count 4056 transition count 9646
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 197 with 2 rules applied. Total rules applied 46510 place count 4055 transition count 9657
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 197 with 2 rules applied. Total rules applied 46512 place count 4055 transition count 9655
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 198 with 9 rules applied. Total rules applied 46521 place count 4055 transition count 9646
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 46523 place count 4054 transition count 9657
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 198 with 1 rules applied. Total rules applied 46524 place count 4054 transition count 9656
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 199 with 10 rules applied. Total rules applied 46534 place count 4054 transition count 9646
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 199 with 2 rules applied. Total rules applied 46536 place count 4053 transition count 9657
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 199 with 2 rules applied. Total rules applied 46538 place count 4053 transition count 9655
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 200 with 9 rules applied. Total rules applied 46547 place count 4053 transition count 9646
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 200 with 2 rules applied. Total rules applied 46549 place count 4052 transition count 9657
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 200 with 1 rules applied. Total rules applied 46550 place count 4052 transition count 9656
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 201 with 10 rules applied. Total rules applied 46560 place count 4052 transition count 9646
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 201 with 2 rules applied. Total rules applied 46562 place count 4051 transition count 9657
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 201 with 2 rules applied. Total rules applied 46564 place count 4051 transition count 9655
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 202 with 9 rules applied. Total rules applied 46573 place count 4051 transition count 9646
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 46575 place count 4050 transition count 9657
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 202 with 1 rules applied. Total rules applied 46576 place count 4050 transition count 9656
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 203 with 10 rules applied. Total rules applied 46586 place count 4050 transition count 9646
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 46588 place count 4049 transition count 9657
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 203 with 2 rules applied. Total rules applied 46590 place count 4049 transition count 9655
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 204 with 9 rules applied. Total rules applied 46599 place count 4049 transition count 9646
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 46601 place count 4048 transition count 9657
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 204 with 1 rules applied. Total rules applied 46602 place count 4048 transition count 9656
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 205 with 10 rules applied. Total rules applied 46612 place count 4048 transition count 9646
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 46614 place count 4047 transition count 9657
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 205 with 2 rules applied. Total rules applied 46616 place count 4047 transition count 9655
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 206 with 9 rules applied. Total rules applied 46625 place count 4047 transition count 9646
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 46627 place count 4046 transition count 9657
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 206 with 1 rules applied. Total rules applied 46628 place count 4046 transition count 9656
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 207 with 10 rules applied. Total rules applied 46638 place count 4046 transition count 9646
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 46640 place count 4045 transition count 9657
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 207 with 2 rules applied. Total rules applied 46642 place count 4045 transition count 9655
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 208 with 9 rules applied. Total rules applied 46651 place count 4045 transition count 9646
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 46653 place count 4044 transition count 9657
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 208 with 1 rules applied. Total rules applied 46654 place count 4044 transition count 9656
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 209 with 10 rules applied. Total rules applied 46664 place count 4044 transition count 9646
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 46666 place count 4043 transition count 9657
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 209 with 2 rules applied. Total rules applied 46668 place count 4043 transition count 9655
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 210 with 9 rules applied. Total rules applied 46677 place count 4043 transition count 9646
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 46679 place count 4042 transition count 9657
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 210 with 1 rules applied. Total rules applied 46680 place count 4042 transition count 9656
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 211 with 10 rules applied. Total rules applied 46690 place count 4042 transition count 9646
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 46692 place count 4041 transition count 9657
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 211 with 2 rules applied. Total rules applied 46694 place count 4041 transition count 9655
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 212 with 9 rules applied. Total rules applied 46703 place count 4041 transition count 9646
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 8 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 212 with 2 rules applied. Total rules applied 46705 place count 4040 transition count 9657
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 212 with 1 rules applied. Total rules applied 46706 place count 4040 transition count 9656
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 213 with 10 rules applied. Total rules applied 46716 place count 4040 transition count 9646
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 46718 place count 4039 transition count 9657
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 213 with 2 rules applied. Total rules applied 46720 place count 4039 transition count 9655
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 214 with 9 rules applied. Total rules applied 46729 place count 4039 transition count 9646
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 214 with 2 rules applied. Total rules applied 46731 place count 4038 transition count 9657
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 214 with 1 rules applied. Total rules applied 46732 place count 4038 transition count 9656
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 215 with 10 rules applied. Total rules applied 46742 place count 4038 transition count 9646
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 215 with 2 rules applied. Total rules applied 46744 place count 4037 transition count 9657
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 215 with 2 rules applied. Total rules applied 46746 place count 4037 transition count 9655
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 216 with 9 rules applied. Total rules applied 46755 place count 4037 transition count 9646
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 46757 place count 4036 transition count 9657
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 216 with 1 rules applied. Total rules applied 46758 place count 4036 transition count 9656
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 217 with 10 rules applied. Total rules applied 46768 place count 4036 transition count 9646
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 217 with 2 rules applied. Total rules applied 46770 place count 4035 transition count 9657
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 217 with 2 rules applied. Total rules applied 46772 place count 4035 transition count 9655
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 218 with 9 rules applied. Total rules applied 46781 place count 4035 transition count 9646
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 218 with 2 rules applied. Total rules applied 46783 place count 4034 transition count 9657
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 218 with 1 rules applied. Total rules applied 46784 place count 4034 transition count 9656
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 219 with 10 rules applied. Total rules applied 46794 place count 4034 transition count 9646
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 219 with 2 rules applied. Total rules applied 46796 place count 4033 transition count 9657
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 219 with 2 rules applied. Total rules applied 46798 place count 4033 transition count 9655
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 220 with 9 rules applied. Total rules applied 46807 place count 4033 transition count 9646
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 46809 place count 4032 transition count 9657
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 220 with 1 rules applied. Total rules applied 46810 place count 4032 transition count 9656
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 221 with 10 rules applied. Total rules applied 46820 place count 4032 transition count 9646
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 221 with 2 rules applied. Total rules applied 46822 place count 4031 transition count 9657
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 221 with 2 rules applied. Total rules applied 46824 place count 4031 transition count 9655
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 222 with 9 rules applied. Total rules applied 46833 place count 4031 transition count 9646
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 46835 place count 4030 transition count 9657
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 222 with 1 rules applied. Total rules applied 46836 place count 4030 transition count 9656
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 223 with 10 rules applied. Total rules applied 46846 place count 4030 transition count 9646
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 46848 place count 4029 transition count 9657
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 223 with 2 rules applied. Total rules applied 46850 place count 4029 transition count 9655
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 224 with 9 rules applied. Total rules applied 46859 place count 4029 transition count 9646
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 46861 place count 4028 transition count 9657
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 224 with 1 rules applied. Total rules applied 46862 place count 4028 transition count 9656
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 225 with 10 rules applied. Total rules applied 46872 place count 4028 transition count 9646
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 225 with 2 rules applied. Total rules applied 46874 place count 4027 transition count 9657
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 225 with 2 rules applied. Total rules applied 46876 place count 4027 transition count 9655
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 226 with 9 rules applied. Total rules applied 46885 place count 4027 transition count 9646
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 226 with 2 rules applied. Total rules applied 46887 place count 4026 transition count 9657
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 226 with 1 rules applied. Total rules applied 46888 place count 4026 transition count 9656
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 227 with 10 rules applied. Total rules applied 46898 place count 4026 transition count 9646
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 46900 place count 4025 transition count 9657
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 227 with 2 rules applied. Total rules applied 46902 place count 4025 transition count 9655
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 228 with 9 rules applied. Total rules applied 46911 place count 4025 transition count 9646
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 228 with 2 rules applied. Total rules applied 46913 place count 4024 transition count 9657
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 228 with 1 rules applied. Total rules applied 46914 place count 4024 transition count 9656
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 229 with 10 rules applied. Total rules applied 46924 place count 4024 transition count 9646
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 229 with 2 rules applied. Total rules applied 46926 place count 4023 transition count 9657
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 229 with 2 rules applied. Total rules applied 46928 place count 4023 transition count 9655
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 230 with 9 rules applied. Total rules applied 46937 place count 4023 transition count 9646
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 46939 place count 4022 transition count 9657
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 230 with 1 rules applied. Total rules applied 46940 place count 4022 transition count 9656
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 231 with 10 rules applied. Total rules applied 46950 place count 4022 transition count 9646
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 231 with 2 rules applied. Total rules applied 46952 place count 4021 transition count 9657
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 231 with 2 rules applied. Total rules applied 46954 place count 4021 transition count 9655
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 232 with 9 rules applied. Total rules applied 46963 place count 4021 transition count 9646
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 232 with 2 rules applied. Total rules applied 46965 place count 4020 transition count 9657
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 232 with 1 rules applied. Total rules applied 46966 place count 4020 transition count 9656
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 233 with 10 rules applied. Total rules applied 46976 place count 4020 transition count 9646
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 46978 place count 4019 transition count 9657
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 233 with 2 rules applied. Total rules applied 46980 place count 4019 transition count 9655
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 234 with 9 rules applied. Total rules applied 46989 place count 4019 transition count 9646
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 46991 place count 4018 transition count 9657
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 234 with 1 rules applied. Total rules applied 46992 place count 4018 transition count 9656
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 235 with 10 rules applied. Total rules applied 47002 place count 4018 transition count 9646
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 47004 place count 4017 transition count 9657
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 235 with 2 rules applied. Total rules applied 47006 place count 4017 transition count 9655
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 236 with 9 rules applied. Total rules applied 47015 place count 4017 transition count 9646
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 236 with 2 rules applied. Total rules applied 47017 place count 4016 transition count 9657
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 236 with 1 rules applied. Total rules applied 47018 place count 4016 transition count 9656
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 237 with 10 rules applied. Total rules applied 47028 place count 4016 transition count 9646
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 47030 place count 4015 transition count 9657
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 237 with 2 rules applied. Total rules applied 47032 place count 4015 transition count 9655
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 238 with 9 rules applied. Total rules applied 47041 place count 4015 transition count 9646
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 47043 place count 4014 transition count 9657
Free-agglomeration rule applied 2068 times with reduction of 1248 identical transitions.
Iterating global reduction 238 with 2068 rules applied. Total rules applied 49111 place count 4014 transition count 6341
Reduce places removed 2068 places and 0 transitions.
Drop transitions removed 2988 transitions
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 2992 transitions.
Graph (complete) has 5353 edges and 1946 vertex of which 1933 are kept as prefixes of interest. Removing 13 places using SCC suffix rule.4 ms
Discarding 13 places :
Also discarding 0 output transitions
Iterating post reduction 238 with 5061 rules applied. Total rules applied 54172 place count 1933 transition count 3349
Discarding 478 places :
Symmetric choice reduction at 239 with 478 rule applications. Total rules 54650 place count 1455 transition count 2844
Iterating global reduction 239 with 478 rules applied. Total rules applied 55128 place count 1455 transition count 2844
Drop transitions removed 215 transitions
Redundant transition composition rules discarded 215 transitions
Iterating global reduction 239 with 215 rules applied. Total rules applied 55343 place count 1455 transition count 2629
Free-agglomeration rule applied 1 times.
Iterating global reduction 239 with 1 rules applied. Total rules applied 55344 place count 1455 transition count 2628
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 239 with 1 rules applied. Total rules applied 55345 place count 1454 transition count 2628
Drop transitions removed 123 transitions
Redundant transition composition rules discarded 123 transitions
Iterating global reduction 240 with 123 rules applied. Total rules applied 55468 place count 1454 transition count 2505
Partial Free-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 240 with 1 rules applied. Total rules applied 55469 place count 1454 transition count 2505
Applied a total of 55469 rules in 236017 ms. Remains 1454 /27146 variables (removed 25692) and now considering 2505/39849 (removed 37344) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 236018 ms. Remains : 1454/27146 places, 2505/39849 transitions.
Computed a total of 6377 stabilizing places and 6377 stable transitions
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202303021504/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G((F(p0)&&F(G(p1)))))'
Support contains 4 out of 27146 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Graph (trivial) has 25292 edges and 27146 vertex of which 2248 / 27146 are part of one of the 143 SCC in 9 ms
Free SCC test removed 2105 places
Ensure Unique test removed 2238 transitions
Reduce isomorphic transitions removed 2238 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 12909 transitions
Trivial Post-agglo rules discarded 12909 transitions
Performed 12909 trivial Post agglomeration. Transition count delta: 12909
Iterating post reduction 0 with 12909 rules applied. Total rules applied 12910 place count 25040 transition count 24701
Reduce places removed 12909 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 13672 rules applied. Total rules applied 26582 place count 12131 transition count 23938
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 27207 place count 11752 transition count 23692
Reduce places removed 123 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 3 with 125 rules applied. Total rules applied 27332 place count 11629 transition count 23690
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 27334 place count 11627 transition count 23690
Performed 123 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 123 Pre rules applied. Total rules applied 27334 place count 11627 transition count 23567
Deduced a syphon composed of 123 places in 686 ms
Reduce places removed 123 places and 0 transitions.
Iterating global reduction 5 with 246 rules applied. Total rules applied 27580 place count 11504 transition count 23567
Discarding 3286 places :
Symmetric choice reduction at 5 with 3286 rule applications. Total rules 30866 place count 8218 transition count 20281
Iterating global reduction 5 with 3286 rules applied. Total rules applied 34152 place count 8218 transition count 20281
Performed 1249 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1249 Pre rules applied. Total rules applied 34152 place count 8218 transition count 19032
Deduced a syphon composed of 1249 places in 578 ms
Reduce places removed 1249 places and 0 transitions.
Iterating global reduction 5 with 2498 rules applied. Total rules applied 36650 place count 6969 transition count 19032
Discarding 280 places :
Symmetric choice reduction at 5 with 280 rule applications. Total rules 36930 place count 6689 transition count 13362
Iterating global reduction 5 with 280 rules applied. Total rules applied 37210 place count 6689 transition count 13362
Ensure Unique test removed 255 transitions
Reduce isomorphic transitions removed 255 transitions.
Iterating post reduction 5 with 255 rules applied. Total rules applied 37465 place count 6689 transition count 13107
Performed 1777 Post agglomeration using F-continuation condition with reduction of 5 identical transitions.
Deduced a syphon composed of 1777 places in 2 ms
Reduce places removed 1777 places and 0 transitions.
Iterating global reduction 6 with 3554 rules applied. Total rules applied 41019 place count 4912 transition count 11325
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 6 with 5 rules applied. Total rules applied 41024 place count 4912 transition count 11320
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 1 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 7 with 202 rules applied. Total rules applied 41226 place count 4811 transition count 11790
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 41227 place count 4811 transition count 11789
Discarding 34 places :
Symmetric choice reduction at 8 with 34 rule applications. Total rules 41261 place count 4777 transition count 11449
Iterating global reduction 8 with 34 rules applied. Total rules applied 41295 place count 4777 transition count 11449
Ensure Unique test removed 166 transitions
Reduce isomorphic transitions removed 166 transitions.
Iterating post reduction 8 with 166 rules applied. Total rules applied 41461 place count 4777 transition count 11283
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 2 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 9 with 202 rules applied. Total rules applied 41663 place count 4676 transition count 11752
Discarding 33 places :
Symmetric choice reduction at 9 with 33 rule applications. Total rules 41696 place count 4643 transition count 11422
Iterating global reduction 9 with 33 rules applied. Total rules applied 41729 place count 4643 transition count 11422
Ensure Unique test removed 165 transitions
Reduce isomorphic transitions removed 165 transitions.
Iterating post reduction 9 with 165 rules applied. Total rules applied 41894 place count 4643 transition count 11257
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 2 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 10 with 202 rules applied. Total rules applied 42096 place count 4542 transition count 11734
Discarding 33 places :
Symmetric choice reduction at 10 with 33 rule applications. Total rules 42129 place count 4509 transition count 11404
Iterating global reduction 10 with 33 rules applied. Total rules applied 42162 place count 4509 transition count 11404
Ensure Unique test removed 165 transitions
Reduce isomorphic transitions removed 165 transitions.
Iterating post reduction 10 with 165 rules applied. Total rules applied 42327 place count 4509 transition count 11239
Performed 75 Post agglomeration using F-continuation condition with reduction of 110 identical transitions.
Deduced a syphon composed of 75 places in 1 ms
Reduce places removed 75 places and 0 transitions.
Iterating global reduction 11 with 150 rules applied. Total rules applied 42477 place count 4434 transition count 11622
Discarding 22 places :
Symmetric choice reduction at 11 with 22 rule applications. Total rules 42499 place count 4412 transition count 11396
Iterating global reduction 11 with 22 rules applied. Total rules applied 42521 place count 4412 transition count 11396
Ensure Unique test removed 112 transitions
Reduce isomorphic transitions removed 112 transitions.
Iterating post reduction 11 with 112 rules applied. Total rules applied 42633 place count 4412 transition count 11284
Drop transitions removed 36 transitions
Redundant transition composition rules discarded 36 transitions
Iterating global reduction 12 with 36 rules applied. Total rules applied 42669 place count 4412 transition count 11248
Discarding 10 places :
Symmetric choice reduction at 12 with 10 rule applications. Total rules 42679 place count 4402 transition count 11228
Iterating global reduction 12 with 10 rules applied. Total rules applied 42689 place count 4402 transition count 11228
Discarding 10 places :
Symmetric choice reduction at 12 with 10 rule applications. Total rules 42699 place count 4392 transition count 9952
Iterating global reduction 12 with 10 rules applied. Total rules applied 42709 place count 4392 transition count 9952
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 12 with 10 rules applied. Total rules applied 42719 place count 4392 transition count 9942
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 13 with 1 rules applied. Total rules applied 42720 place count 4391 transition count 9941
Applied a total of 42720 rules in 12738 ms. Remains 4391 /27146 variables (removed 22755) and now considering 9941/39849 (removed 29908) transitions.
[2023-03-09 21:17:01] [INFO ] Flow matrix only has 9792 transitions (discarded 149 similar events)
// Phase 1: matrix 9792 rows 4391 cols
[2023-03-09 21:17:01] [INFO ] Computed 1378 place invariants in 35 ms
[2023-03-09 21:17:04] [INFO ] Implicit Places using invariants in 2387 ms returned []
[2023-03-09 21:17:04] [INFO ] Flow matrix only has 9792 transitions (discarded 149 similar events)
[2023-03-09 21:17:04] [INFO ] Invariant cache hit.
[2023-03-09 21:17:06] [INFO ] Implicit Places using invariants and state equation in 2367 ms returned []
Implicit Place search using SMT with State Equation took 4758 ms to find 0 implicit places.
[2023-03-09 21:17:07] [INFO ] Redundant transitions in 1284 ms returned []
[2023-03-09 21:17:07] [INFO ] Flow matrix only has 9792 transitions (discarded 149 similar events)
[2023-03-09 21:17:07] [INFO ] Invariant cache hit.
[2023-03-09 21:17:13] [INFO ] Dead Transitions using invariants and state equation in 5219 ms found 0 transitions.
Starting structural reductions in SI_LTL mode, iteration 1 : 4391/27146 places, 9941/39849 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 24020 ms. Remains : 4391/27146 places, 9941/39849 transitions.
Stuttering acceptance computed with spot in 230 ms :[(OR (NOT p0) (NOT p1)), (NOT p0), (NOT p1)]
Running random walk in product with property : DLCshifumi-PT-5b-LTLCardinality-01 automaton TGBA Formula[mat=[[{ cond=true, acceptance={} source=0 dest: 0}, { cond=(NOT p0), acceptance={} source=0 dest: 1}, { cond=(NOT p1), acceptance={} source=0 dest: 2}], [{ cond=(NOT p0), acceptance={0} source=1 dest: 1}], [{ cond=p1, acceptance={} source=2 dest: 2}, { cond=(NOT p1), acceptance={0} source=2 dest: 2}]], initial=0, aps=[p0:(AND (EQ s433 0) (EQ s648 1)), p1:(AND (EQ s2324 0) (EQ s137 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-invariant], stateDesc=[null, null, null][true, true, true]]
Stuttering criterion allowed to conclude after 0 steps with 0 reset in 3 ms.
FORMULA DLCshifumi-PT-5b-LTLCardinality-01 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DLCshifumi-PT-5b-LTLCardinality-01 finished in 24340 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202303021504/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G(F(p0)))'
Support contains 2 out of 27146 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Graph (trivial) has 25294 edges and 27146 vertex of which 2248 / 27146 are part of one of the 143 SCC in 10 ms
Free SCC test removed 2105 places
Ensure Unique test removed 2238 transitions
Reduce isomorphic transitions removed 2238 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 12911 transitions
Trivial Post-agglo rules discarded 12911 transitions
Performed 12911 trivial Post agglomeration. Transition count delta: 12911
Iterating post reduction 0 with 12911 rules applied. Total rules applied 12912 place count 25040 transition count 24699
Reduce places removed 12911 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 13674 rules applied. Total rules applied 26586 place count 12129 transition count 23936
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 27211 place count 11750 transition count 23690
Reduce places removed 123 places and 0 transitions.
Iterating post reduction 3 with 123 rules applied. Total rules applied 27334 place count 11627 transition count 23690
Performed 124 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 124 Pre rules applied. Total rules applied 27334 place count 11627 transition count 23566
Deduced a syphon composed of 124 places in 692 ms
Reduce places removed 124 places and 0 transitions.
Iterating global reduction 4 with 248 rules applied. Total rules applied 27582 place count 11503 transition count 23566
Discarding 3287 places :
Symmetric choice reduction at 4 with 3287 rule applications. Total rules 30869 place count 8216 transition count 20279
Iterating global reduction 4 with 3287 rules applied. Total rules applied 34156 place count 8216 transition count 20279
Performed 1250 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 1250 Pre rules applied. Total rules applied 34156 place count 8216 transition count 19029
Deduced a syphon composed of 1250 places in 590 ms
Reduce places removed 1250 places and 0 transitions.
Iterating global reduction 4 with 2500 rules applied. Total rules applied 36656 place count 6966 transition count 19029
Discarding 279 places :
Symmetric choice reduction at 4 with 279 rule applications. Total rules 36935 place count 6687 transition count 13364
Iterating global reduction 4 with 279 rules applied. Total rules applied 37214 place count 6687 transition count 13364
Ensure Unique test removed 254 transitions
Reduce isomorphic transitions removed 254 transitions.
Iterating post reduction 4 with 254 rules applied. Total rules applied 37468 place count 6687 transition count 13110
Performed 1778 Post agglomeration using F-continuation condition with reduction of 5 identical transitions.
Deduced a syphon composed of 1778 places in 2 ms
Reduce places removed 1778 places and 0 transitions.
Iterating global reduction 5 with 3556 rules applied. Total rules applied 41024 place count 4909 transition count 11327
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 5 with 5 rules applied. Total rules applied 41029 place count 4909 transition count 11322
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 2 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 6 with 202 rules applied. Total rules applied 41231 place count 4808 transition count 11792
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 41232 place count 4808 transition count 11791
Discarding 34 places :
Symmetric choice reduction at 7 with 34 rule applications. Total rules 41266 place count 4774 transition count 11451
Iterating global reduction 7 with 34 rules applied. Total rules applied 41300 place count 4774 transition count 11451
Ensure Unique test removed 166 transitions
Reduce isomorphic transitions removed 166 transitions.
Iterating post reduction 7 with 166 rules applied. Total rules applied 41466 place count 4774 transition count 11285
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 2 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 8 with 202 rules applied. Total rules applied 41668 place count 4673 transition count 11754
Discarding 33 places :
Symmetric choice reduction at 8 with 33 rule applications. Total rules 41701 place count 4640 transition count 11424
Iterating global reduction 8 with 33 rules applied. Total rules applied 41734 place count 4640 transition count 11424
Ensure Unique test removed 165 transitions
Reduce isomorphic transitions removed 165 transitions.
Iterating post reduction 8 with 165 rules applied. Total rules applied 41899 place count 4640 transition count 11259
Performed 101 Post agglomeration using F-continuation condition with reduction of 170 identical transitions.
Deduced a syphon composed of 101 places in 1 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 9 with 202 rules applied. Total rules applied 42101 place count 4539 transition count 11731
Discarding 34 places :
Symmetric choice reduction at 9 with 34 rule applications. Total rules 42135 place count 4505 transition count 11391
Iterating global reduction 9 with 34 rules applied. Total rules applied 42169 place count 4505 transition count 11391
Ensure Unique test removed 170 transitions
Reduce isomorphic transitions removed 170 transitions.
Iterating post reduction 9 with 170 rules applied. Total rules applied 42339 place count 4505 transition count 11221
Performed 70 Post agglomeration using F-continuation condition with reduction of 110 identical transitions.
Deduced a syphon composed of 70 places in 2 ms
Reduce places removed 70 places and 0 transitions.
Iterating global reduction 10 with 140 rules applied. Total rules applied 42479 place count 4435 transition count 11559
Discarding 22 places :
Symmetric choice reduction at 10 with 22 rule applications. Total rules 42501 place count 4413 transition count 11339
Iterating global reduction 10 with 22 rules applied. Total rules applied 42523 place count 4413 transition count 11339
Ensure Unique test removed 110 transitions
Reduce isomorphic transitions removed 110 transitions.
Iterating post reduction 10 with 110 rules applied. Total rules applied 42633 place count 4413 transition count 11229
Drop transitions removed 24 transitions
Redundant transition composition rules discarded 24 transitions
Iterating global reduction 11 with 24 rules applied. Total rules applied 42657 place count 4413 transition count 11205
Discarding 10 places :
Symmetric choice reduction at 11 with 10 rule applications. Total rules 42667 place count 4403 transition count 11185
Iterating global reduction 11 with 10 rules applied. Total rules applied 42677 place count 4403 transition count 11185
Discarding 10 places :
Symmetric choice reduction at 11 with 10 rule applications. Total rules 42687 place count 4393 transition count 9913
Iterating global reduction 11 with 10 rules applied. Total rules applied 42697 place count 4393 transition count 9913
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 11 with 10 rules applied. Total rules applied 42707 place count 4393 transition count 9903
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 12 with 1 rules applied. Total rules applied 42708 place count 4392 transition count 9902
Applied a total of 42708 rules in 14216 ms. Remains 4392 /27146 variables (removed 22754) and now considering 9902/39849 (removed 29947) transitions.
[2023-03-09 21:17:27] [INFO ] Flow matrix only has 9765 transitions (discarded 137 similar events)
// Phase 1: matrix 9765 rows 4392 cols
[2023-03-09 21:17:27] [INFO ] Computed 1378 place invariants in 26 ms
[2023-03-09 21:17:30] [INFO ] Implicit Places using invariants in 2345 ms returned []
[2023-03-09 21:17:30] [INFO ] Flow matrix only has 9765 transitions (discarded 137 similar events)
[2023-03-09 21:17:30] [INFO ] Invariant cache hit.
[2023-03-09 21:17:32] [INFO ] Implicit Places using invariants and state equation in 2324 ms returned []
Implicit Place search using SMT with State Equation took 4671 ms to find 0 implicit places.
[2023-03-09 21:17:33] [INFO ] Redundant transitions in 1082 ms returned []
[2023-03-09 21:17:33] [INFO ] Flow matrix only has 9765 transitions (discarded 137 similar events)
[2023-03-09 21:17:33] [INFO ] Invariant cache hit.
[2023-03-09 21:17:38] [INFO ] Dead Transitions using invariants and state equation in 5205 ms found 0 transitions.
Starting structural reductions in SI_LTL mode, iteration 1 : 4392/27146 places, 9902/39849 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 25186 ms. Remains : 4392/27146 places, 9902/39849 transitions.
Stuttering acceptance computed with spot in 93 ms :[(NOT p0), (NOT p0)]
Running random walk in product with property : DLCshifumi-PT-5b-LTLCardinality-02 automaton TGBA Formula[mat=[[{ cond=true, acceptance={} source=0 dest: 0}, { cond=(NOT p0), acceptance={} source=0 dest: 1}], [{ cond=(NOT p0), acceptance={0} source=1 dest: 1}]], initial=0, aps=[p0:(OR (EQ s415 0) (EQ s308 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-invariant, very-weak, weak, inherently-weak], stateDesc=[null, null][true, true]]
Stuttering criterion allowed to conclude after 1799 steps with 0 reset in 402 ms.
FORMULA DLCshifumi-PT-5b-LTLCardinality-02 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DLCshifumi-PT-5b-LTLCardinality-02 finished in 25728 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202303021504/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(F((G(F(!p0))||(!p1&&F(!p0))))))'
Support contains 4 out of 27146 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Applied a total of 0 rules in 1652 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
// Phase 1: matrix 39849 rows 27146 cols
[2023-03-09 21:17:41] [INFO ] Computed 1378 place invariants in 155 ms
[2023-03-09 21:17:44] [INFO ] Implicit Places using invariants in 3580 ms returned []
Implicit Place search using SMT only with invariants took 3583 ms to find 0 implicit places.
[2023-03-09 21:17:44] [INFO ] Invariant cache hit.
[2023-03-09 21:17:47] [INFO ] Dead Transitions using invariants and state equation in 3047 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 8284 ms. Remains : 27146/27146 places, 39849/39849 transitions.
Stuttering acceptance computed with spot in 132 ms :[p0, p0, p0]
Running random walk in product with property : DLCshifumi-PT-5b-LTLCardinality-03 automaton TGBA Formula[mat=[[{ cond=true, acceptance={} source=0 dest: 1}], [{ cond=p1, acceptance={} source=1 dest: 1}, { cond=p0, acceptance={} source=1 dest: 2}], [{ cond=p0, acceptance={0} source=2 dest: 2}]], initial=0, aps=[p1:(OR (NOT (OR (EQ s5986 0) (EQ s25757 1))) (NOT (OR (EQ s17347 0) (EQ s13063 1)))), p0:(OR (EQ s5986 0) (EQ s25757 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-sensitive], stateDesc=[null, null, null][false, false, false]]
Stuttering criterion allowed to conclude after 50669 steps with 0 reset in 1515 ms.
FORMULA DLCshifumi-PT-5b-LTLCardinality-03 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DLCshifumi-PT-5b-LTLCardinality-03 finished in 10950 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202303021504/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(G(p0)))'
Support contains 2 out of 27146 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Applied a total of 0 rules in 1571 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
[2023-03-09 21:17:51] [INFO ] Invariant cache hit.
[2023-03-09 21:17:54] [INFO ] Implicit Places using invariants in 3039 ms returned []
Implicit Place search using SMT only with invariants took 3042 ms to find 0 implicit places.
[2023-03-09 21:17:54] [INFO ] Invariant cache hit.
[2023-03-09 21:17:57] [INFO ] Dead Transitions using invariants and state equation in 3042 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 7661 ms. Remains : 27146/27146 places, 39849/39849 transitions.
Stuttering acceptance computed with spot in 89 ms :[true, (NOT p0), (NOT p0)]
Running random walk in product with property : DLCshifumi-PT-5b-LTLCardinality-05 automaton TGBA Formula[mat=[[{ cond=true, acceptance={0} source=0 dest: 0}], [{ cond=true, acceptance={} source=1 dest: 2}], [{ cond=(NOT p0), acceptance={} source=2 dest: 0}, { cond=p0, acceptance={} source=2 dest: 2}]], initial=1, aps=[p0:(OR (EQ s12651 0) (EQ s1683 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-sensitive, terminal, very-weak, weak, inherently-weak], stateDesc=[null, null, null][false, false, false]]
Entered a terminal (fully accepting) state of product in 62062 steps with 0 reset in 1905 ms.
FORMULA DLCshifumi-PT-5b-LTLCardinality-05 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DLCshifumi-PT-5b-LTLCardinality-05 finished in 10672 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202303021504/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(G((p0||(X(p1) U G(p1))))))'
Support contains 4 out of 27146 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Applied a total of 0 rules in 1712 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
[2023-03-09 21:18:02] [INFO ] Invariant cache hit.
[2023-03-09 21:18:05] [INFO ] Implicit Places using invariants in 3051 ms returned []
Implicit Place search using SMT only with invariants took 3057 ms to find 0 implicit places.
[2023-03-09 21:18:05] [INFO ] Invariant cache hit.
[2023-03-09 21:18:08] [INFO ] Dead Transitions using invariants and state equation in 3002 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 7774 ms. Remains : 27146/27146 places, 39849/39849 transitions.
Stuttering acceptance computed with spot in 160 ms :[true, (NOT p1), (AND (NOT p1) (NOT p0)), (AND (NOT p0) (NOT p1))]
Running random walk in product with property : DLCshifumi-PT-5b-LTLCardinality-07 automaton TGBA Formula[mat=[[{ cond=true, acceptance={0} source=0 dest: 0}], [{ cond=(NOT p1), acceptance={} source=1 dest: 0}, { cond=p1, acceptance={} source=1 dest: 1}], [{ cond=true, acceptance={} source=2 dest: 3}], [{ cond=(NOT p0), acceptance={} source=3 dest: 1}, { cond=p0, acceptance={} source=3 dest: 3}]], initial=2, aps=[p1:(OR (EQ s16311 0) (EQ s528 1)), p0:(AND (EQ s4613 0) (EQ s12996 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-sensitive, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null][false, false, false, false]]
Product exploration explored 100000 steps with 1 reset in 2951 ms.
Entered a terminal (fully accepting) state of product in 55221 steps with 0 reset in 1989 ms.
FORMULA DLCshifumi-PT-5b-LTLCardinality-07 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DLCshifumi-PT-5b-LTLCardinality-07 finished in 13860 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202303021504/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F((p0&&F(p1))))'
Support contains 3 out of 27146 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Graph (trivial) has 25292 edges and 27146 vertex of which 2248 / 27146 are part of one of the 143 SCC in 8 ms
Free SCC test removed 2105 places
Ensure Unique test removed 2238 transitions
Reduce isomorphic transitions removed 2238 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 12911 transitions
Trivial Post-agglo rules discarded 12911 transitions
Performed 12911 trivial Post agglomeration. Transition count delta: 12911
Iterating post reduction 0 with 12911 rules applied. Total rules applied 12912 place count 25040 transition count 24699
Reduce places removed 12911 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 13674 rules applied. Total rules applied 26586 place count 12129 transition count 23936
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 27211 place count 11750 transition count 23690
Reduce places removed 123 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 3 with 124 rules applied. Total rules applied 27335 place count 11627 transition count 23689
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 27336 place count 11626 transition count 23689
Performed 123 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 123 Pre rules applied. Total rules applied 27336 place count 11626 transition count 23566
Deduced a syphon composed of 123 places in 673 ms
Reduce places removed 123 places and 0 transitions.
Iterating global reduction 5 with 246 rules applied. Total rules applied 27582 place count 11503 transition count 23566
Discarding 3287 places :
Symmetric choice reduction at 5 with 3287 rule applications. Total rules 30869 place count 8216 transition count 20279
Iterating global reduction 5 with 3287 rules applied. Total rules applied 34156 place count 8216 transition count 20279
Performed 1249 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1249 Pre rules applied. Total rules applied 34156 place count 8216 transition count 19030
Deduced a syphon composed of 1249 places in 588 ms
Reduce places removed 1249 places and 0 transitions.
Iterating global reduction 5 with 2498 rules applied. Total rules applied 36654 place count 6967 transition count 19030
Discarding 281 places :
Symmetric choice reduction at 5 with 281 rule applications. Total rules 36935 place count 6686 transition count 13355
Iterating global reduction 5 with 281 rules applied. Total rules applied 37216 place count 6686 transition count 13355
Ensure Unique test removed 256 transitions
Reduce isomorphic transitions removed 256 transitions.
Iterating post reduction 5 with 256 rules applied. Total rules applied 37472 place count 6686 transition count 13099
Performed 1779 Post agglomeration using F-continuation condition with reduction of 5 identical transitions.
Deduced a syphon composed of 1779 places in 2 ms
Reduce places removed 1779 places and 0 transitions.
Iterating global reduction 6 with 3558 rules applied. Total rules applied 41030 place count 4907 transition count 11315
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 6 with 5 rules applied. Total rules applied 41035 place count 4907 transition count 11310
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 2 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 7 with 202 rules applied. Total rules applied 41237 place count 4806 transition count 11780
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 41238 place count 4806 transition count 11779
Discarding 34 places :
Symmetric choice reduction at 8 with 34 rule applications. Total rules 41272 place count 4772 transition count 11439
Iterating global reduction 8 with 34 rules applied. Total rules applied 41306 place count 4772 transition count 11439
Ensure Unique test removed 166 transitions
Reduce isomorphic transitions removed 166 transitions.
Iterating post reduction 8 with 166 rules applied. Total rules applied 41472 place count 4772 transition count 11273
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 2 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 9 with 202 rules applied. Total rules applied 41674 place count 4671 transition count 11742
Discarding 33 places :
Symmetric choice reduction at 9 with 33 rule applications. Total rules 41707 place count 4638 transition count 11412
Iterating global reduction 9 with 33 rules applied. Total rules applied 41740 place count 4638 transition count 11412
Ensure Unique test removed 165 transitions
Reduce isomorphic transitions removed 165 transitions.
Iterating post reduction 9 with 165 rules applied. Total rules applied 41905 place count 4638 transition count 11247
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 2 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 10 with 202 rules applied. Total rules applied 42107 place count 4537 transition count 11720
Discarding 33 places :
Symmetric choice reduction at 10 with 33 rule applications. Total rules 42140 place count 4504 transition count 11390
Iterating global reduction 10 with 33 rules applied. Total rules applied 42173 place count 4504 transition count 11390
Ensure Unique test removed 165 transitions
Reduce isomorphic transitions removed 165 transitions.
Iterating post reduction 10 with 165 rules applied. Total rules applied 42338 place count 4504 transition count 11225
Performed 69 Post agglomeration using F-continuation condition with reduction of 110 identical transitions.
Deduced a syphon composed of 69 places in 2 ms
Reduce places removed 69 places and 0 transitions.
Iterating global reduction 11 with 138 rules applied. Total rules applied 42476 place count 4435 transition count 11559
Discarding 22 places :
Symmetric choice reduction at 11 with 22 rule applications. Total rules 42498 place count 4413 transition count 11339
Iterating global reduction 11 with 22 rules applied. Total rules applied 42520 place count 4413 transition count 11339
Ensure Unique test removed 110 transitions
Reduce isomorphic transitions removed 110 transitions.
Iterating post reduction 11 with 110 rules applied. Total rules applied 42630 place count 4413 transition count 11229
Drop transitions removed 24 transitions
Redundant transition composition rules discarded 24 transitions
Iterating global reduction 12 with 24 rules applied. Total rules applied 42654 place count 4413 transition count 11205
Discarding 10 places :
Symmetric choice reduction at 12 with 10 rule applications. Total rules 42664 place count 4403 transition count 11185
Iterating global reduction 12 with 10 rules applied. Total rules applied 42674 place count 4403 transition count 11185
Discarding 10 places :
Symmetric choice reduction at 12 with 10 rule applications. Total rules 42684 place count 4393 transition count 9913
Iterating global reduction 12 with 10 rules applied. Total rules applied 42694 place count 4393 transition count 9913
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 12 with 10 rules applied. Total rules applied 42704 place count 4393 transition count 9903
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 13 with 1 rules applied. Total rules applied 42705 place count 4392 transition count 9902
Applied a total of 42705 rules in 13855 ms. Remains 4392 /27146 variables (removed 22754) and now considering 9902/39849 (removed 29947) transitions.
[2023-03-09 21:18:28] [INFO ] Flow matrix only has 9765 transitions (discarded 137 similar events)
// Phase 1: matrix 9765 rows 4392 cols
[2023-03-09 21:18:28] [INFO ] Computed 1378 place invariants in 25 ms
[2023-03-09 21:18:30] [INFO ] Implicit Places using invariants in 2228 ms returned []
[2023-03-09 21:18:30] [INFO ] Flow matrix only has 9765 transitions (discarded 137 similar events)
[2023-03-09 21:18:30] [INFO ] Invariant cache hit.
[2023-03-09 21:18:31] [INFO ] Implicit Places using invariants and state equation in 1235 ms returned []
Implicit Place search using SMT with State Equation took 3465 ms to find 0 implicit places.
[2023-03-09 21:18:33] [INFO ] Redundant transitions in 1061 ms returned []
[2023-03-09 21:18:33] [INFO ] Flow matrix only has 9765 transitions (discarded 137 similar events)
[2023-03-09 21:18:33] [INFO ] Invariant cache hit.
[2023-03-09 21:18:38] [INFO ] Dead Transitions using invariants and state equation in 4965 ms found 0 transitions.
Starting structural reductions in SI_LTL mode, iteration 1 : 4392/27146 places, 9902/39849 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 23361 ms. Remains : 4392/27146 places, 9902/39849 transitions.
Stuttering acceptance computed with spot in 73 ms :[(NOT p1), (OR (NOT p0) (NOT p1))]
Running random walk in product with property : DLCshifumi-PT-5b-LTLCardinality-11 automaton TGBA Formula[mat=[[{ cond=(NOT p1), acceptance={0} source=0 dest: 0}], [{ cond=(AND p0 (NOT p1)), acceptance={0} source=1 dest: 0}, { cond=(NOT p0), acceptance={0} source=1 dest: 1}]], initial=1, aps=[p1:(AND (EQ s3527 0) (EQ s4238 1)), p0:(EQ s360 1)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, colored, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-invariant, very-weak, weak, inherently-weak], stateDesc=[null, null][true, true]]
Stuttering criterion allowed to conclude after 0 steps with 0 reset in 1 ms.
FORMULA DLCshifumi-PT-5b-LTLCardinality-11 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DLCshifumi-PT-5b-LTLCardinality-11 finished in 23480 ms.
All properties solved by simple procedures.
Total runtime 412810 ms.
ITS solved all properties within timeout

BK_STOP 1678396718959

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

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCshifumi-PT-5b"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="ltsminxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool ltsminxred"
echo " Input is DLCshifumi-PT-5b, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r105-tall-167814481800851"
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 [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "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 [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.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 '' LTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
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 ;