fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r117-tall-167814495900542
Last Updated
May 14, 2023

About the Execution of LoLa+red for DLCshifumi-PT-6b

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
1901.907 1800000.00 1878048.00 4874.90 [undef] Time out reached

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.r117-tall-167814495900542.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 lolaxred
Input is DLCshifumi-PT-6b, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r117-tall-167814495900542
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 17M
-rw-r--r-- 1 mcc users 6.6K Feb 26 08:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 26 08:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 08:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 08:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 08:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 26 08:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 08:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 08:12 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 17M 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

FORMULA_NAME QuasiLiveness

=== Now, execution of the tool begins

BK_START 1679417735290

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=lolaxred
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=DLCshifumi-PT-6b
Applying reductions before tool lola
Invoking reducer
Running Version 202303021504
[2023-03-21 16:55:36] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -timeout, 180, -rebuildPNML]
[2023-03-21 16:55:36] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 16:55:37] [INFO ] Load time of PNML (sax parser for PT used): 1001 ms
[2023-03-21 16:55:38] [INFO ] Transformed 44243 places.
[2023-03-21 16:55:38] [INFO ] Transformed 66611 transitions.
[2023-03-21 16:55:38] [INFO ] Found NUPN structural information;
[2023-03-21 16:55:40] [INFO ] Parsed PT model containing 44243 places and 66611 transitions and 182532 arcs in 4103 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 44243/44243 places, 66611/66611 transitions.
Graph (trivial) has 40749 edges and 44243 vertex of which 3264 / 44243 are part of one of the 207 SCC in 106 ms
Free SCC test removed 3057 places
Ensure Unique test removed 3252 transitions
Reduce isomorphic transitions removed 3252 transitions.
Drop transitions removed 20631 transitions
Trivial Post-agglo rules discarded 20631 transitions
Performed 20631 trivial Post agglomeration. Transition count delta: 20631
Iterating post reduction 0 with 20631 rules applied. Total rules applied 20632 place count 41186 transition count 42728
Reduce places removed 20631 places and 0 transitions.
Ensure Unique test removed 567 transitions
Reduce isomorphic transitions removed 567 transitions.
Drop transitions removed 561 transitions
Trivial Post-agglo rules discarded 561 transitions
Performed 561 trivial Post agglomeration. Transition count delta: 561
Iterating post reduction 1 with 21759 rules applied. Total rules applied 42391 place count 20555 transition count 41600
Reduce places removed 561 places and 0 transitions.
Ensure Unique test removed 183 transitions
Reduce isomorphic transitions removed 183 transitions.
Drop transitions removed 183 transitions
Trivial Post-agglo rules discarded 183 transitions
Performed 183 trivial Post agglomeration. Transition count delta: 183
Iterating post reduction 2 with 927 rules applied. Total rules applied 43318 place count 19994 transition count 41234
Reduce places removed 183 places and 0 transitions.
Iterating post reduction 3 with 183 rules applied. Total rules applied 43501 place count 19811 transition count 41234
Performed 183 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 183 Pre rules applied. Total rules applied 43501 place count 19811 transition count 41051
Deduced a syphon composed of 183 places in 2714 ms
Reduce places removed 183 places and 0 transitions.
Iterating global reduction 4 with 366 rules applied. Total rules applied 43867 place count 19628 transition count 41051
Performed 10840 Post agglomeration using F-continuation condition.Transition count delta: 10840
Deduced a syphon composed of 10840 places in 10 ms
Reduce places removed 10840 places and 0 transitions.
Iterating global reduction 4 with 21680 rules applied. Total rules applied 65547 place count 8788 transition count 30211
Renaming transitions due to excessive name length > 1024 char.
Performed 101 Post agglomeration using F-continuation condition with reduction of 198 identical transitions.
Deduced a syphon composed of 101 places in 13 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 4 with 202 rules applied. Total rules applied 65749 place count 8687 transition count 30815
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 65750 place count 8687 transition count 30814
Performed 101 Post agglomeration using F-continuation condition with reduction of 198 identical transitions.
Deduced a syphon composed of 101 places in 13 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 5 with 202 rules applied. Total rules applied 65952 place count 8586 transition count 31422
Performed 101 Post agglomeration using F-continuation condition with reduction of 204 identical transitions.
Deduced a syphon composed of 101 places in 13 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 5 with 202 rules applied. Total rules applied 66154 place count 8485 transition count 32029
Performed 101 Post agglomeration using F-continuation condition with reduction of 198 identical transitions.
Deduced a syphon composed of 101 places in 14 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 5 with 202 rules applied. Total rules applied 66356 place count 8384 transition count 32633
Applied a total of 66356 rules in 10538 ms. Remains 8384 /44243 variables (removed 35859) and now considering 32633/66611 (removed 33978) transitions.
[2023-03-21 16:55:51] [INFO ] Flow matrix only has 31616 transitions (discarded 1017 similar events)
// Phase 1: matrix 31616 rows 8384 cols
[2023-03-21 16:55:51] [INFO ] Computed 2415 place invariants in 148 ms
[2023-03-21 16:55:52] [INFO ] Implicit Places using invariants in 1423 ms returned []
Implicit Place search using SMT only with invariants took 1450 ms to find 0 implicit places.
[2023-03-21 16:55:52] [INFO ] Flow matrix only has 31616 transitions (discarded 1017 similar events)
[2023-03-21 16:55:52] [INFO ] Invariant cache hit.
[2023-03-21 16:55:53] [INFO ] Dead Transitions using invariants and state equation in 1108 ms found 0 transitions.
Starting structural reductions in LIVENESS mode, iteration 1 : 8384/44243 places, 32633/66611 transitions.
Finished structural reductions in LIVENESS mode , in 1 iterations and 13105 ms. Remains : 8384/44243 places, 32633/66611 transitions.
Discarding 6795 transitions out of 32633. Remains 25838
Initial state reduction rules removed 1 formulas.
Ensure Unique test removed 1 transitions
Reduce redundant transitions removed 1 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 3516 ms. (steps per millisecond=2 ) properties (out of 25837) seen :7188
Running SMT prover for 18649 properties.
[2023-03-21 16:55:58] [INFO ] Flow matrix only has 31616 transitions (discarded 1016 similar events)
// Phase 1: matrix 31616 rows 8384 cols
[2023-03-21 16:55:58] [INFO ] Computed 2415 place invariants in 78 ms
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.assertInvariants(DeadlockTester.java:2340)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:618)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-21 16:56:23] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-21 16:56:23] [INFO ] After 25051ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 18649 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 2 ms.
Support contains 5993 out of 8384 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8384/8384 places, 32632/32632 transitions.
Drop transitions removed 207 transitions
Reduce isomorphic transitions removed 207 transitions.
Iterating post reduction 0 with 207 rules applied. Total rules applied 207 place count 8384 transition count 32425
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -8
Deduced a syphon composed of 2 places in 8 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 1 with 4 rules applied. Total rules applied 211 place count 8382 transition count 32433
Free-agglomeration rule applied 58 times.
Iterating global reduction 1 with 58 rules applied. Total rules applied 269 place count 8382 transition count 32375
Reduce places removed 58 places and 0 transitions.
Drop transitions removed 49 transitions
Ensure Unique test removed 42 transitions
Reduce isomorphic transitions removed 91 transitions.
Iterating post reduction 1 with 149 rules applied. Total rules applied 418 place count 8324 transition count 32284
Applied a total of 418 rules in 1417 ms. Remains 8324 /8384 variables (removed 60) and now considering 32284/32632 (removed 348) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1420 ms. Remains : 8324/8384 places, 32284/32632 transitions.
Interrupted random walk after 180003 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 18551
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3033 ms. (steps per millisecond=32 ) properties (out of 98) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3032 ms. (steps per millisecond=32 ) properties (out of 97) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3016 ms. (steps per millisecond=33 ) properties (out of 96) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3018 ms. (steps per millisecond=33 ) properties (out of 95) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3037 ms. (steps per millisecond=32 ) properties (out of 94) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3042 ms. (steps per millisecond=32 ) properties (out of 93) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3036 ms. (steps per millisecond=32 ) properties (out of 92) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3034 ms. (steps per millisecond=32 ) properties (out of 91) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3042 ms. (steps per millisecond=32 ) properties (out of 90) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3028 ms. (steps per millisecond=33 ) properties (out of 89) seen :0
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3034 ms. (steps per millisecond=32 ) properties (out of 89) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3022 ms. (steps per millisecond=33 ) properties (out of 88) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3055 ms. (steps per millisecond=32 ) properties (out of 87) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3019 ms. (steps per millisecond=33 ) properties (out of 86) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3009 ms. (steps per millisecond=33 ) properties (out of 85) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2997 ms. (steps per millisecond=33 ) properties (out of 84) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3028 ms. (steps per millisecond=33 ) properties (out of 83) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3008 ms. (steps per millisecond=33 ) properties (out of 82) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3019 ms. (steps per millisecond=33 ) properties (out of 81) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2991 ms. (steps per millisecond=33 ) properties (out of 80) seen :0
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3018 ms. (steps per millisecond=33 ) properties (out of 80) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3010 ms. (steps per millisecond=33 ) properties (out of 79) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2984 ms. (steps per millisecond=33 ) properties (out of 78) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2990 ms. (steps per millisecond=33 ) properties (out of 77) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3001 ms. (steps per millisecond=33 ) properties (out of 76) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3007 ms. (steps per millisecond=33 ) properties (out of 75) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2975 ms. (steps per millisecond=33 ) properties (out of 74) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3010 ms. (steps per millisecond=33 ) properties (out of 73) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3005 ms. (steps per millisecond=33 ) properties (out of 72) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3030 ms. (steps per millisecond=33 ) properties (out of 71) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3002 ms. (steps per millisecond=33 ) properties (out of 70) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3031 ms. (steps per millisecond=32 ) properties (out of 69) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3006 ms. (steps per millisecond=33 ) properties (out of 68) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3036 ms. (steps per millisecond=32 ) properties (out of 67) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2992 ms. (steps per millisecond=33 ) properties (out of 66) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3001 ms. (steps per millisecond=33 ) properties (out of 65) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3005 ms. (steps per millisecond=33 ) properties (out of 64) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3044 ms. (steps per millisecond=32 ) properties (out of 63) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3023 ms. (steps per millisecond=33 ) properties (out of 62) seen :2
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2984 ms. (steps per millisecond=33 ) properties (out of 60) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2997 ms. (steps per millisecond=33 ) properties (out of 59) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2990 ms. (steps per millisecond=33 ) properties (out of 58) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3035 ms. (steps per millisecond=32 ) properties (out of 57) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2990 ms. (steps per millisecond=33 ) properties (out of 56) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3000 ms. (steps per millisecond=33 ) properties (out of 55) seen :0
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2977 ms. (steps per millisecond=33 ) properties (out of 55) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3024 ms. (steps per millisecond=33 ) properties (out of 54) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3023 ms. (steps per millisecond=33 ) properties (out of 53) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3065 ms. (steps per millisecond=32 ) properties (out of 52) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3054 ms. (steps per millisecond=32 ) properties (out of 51) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3084 ms. (steps per millisecond=32 ) properties (out of 50) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3062 ms. (steps per millisecond=32 ) properties (out of 49) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3074 ms. (steps per millisecond=32 ) properties (out of 48) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3053 ms. (steps per millisecond=32 ) properties (out of 47) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3088 ms. (steps per millisecond=32 ) properties (out of 46) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2996 ms. (steps per millisecond=33 ) properties (out of 45) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2997 ms. (steps per millisecond=33 ) properties (out of 44) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3018 ms. (steps per millisecond=33 ) properties (out of 43) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3095 ms. (steps per millisecond=32 ) properties (out of 42) seen :0
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3069 ms. (steps per millisecond=32 ) properties (out of 42) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3050 ms. (steps per millisecond=32 ) properties (out of 41) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3036 ms. (steps per millisecond=32 ) properties (out of 40) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3047 ms. (steps per millisecond=32 ) properties (out of 39) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3078 ms. (steps per millisecond=32 ) properties (out of 38) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3018 ms. (steps per millisecond=33 ) properties (out of 37) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3036 ms. (steps per millisecond=32 ) properties (out of 36) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3024 ms. (steps per millisecond=33 ) properties (out of 35) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3048 ms. (steps per millisecond=32 ) properties (out of 34) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3028 ms. (steps per millisecond=33 ) properties (out of 33) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3000 ms. (steps per millisecond=33 ) properties (out of 32) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2984 ms. (steps per millisecond=33 ) properties (out of 31) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3020 ms. (steps per millisecond=33 ) properties (out of 30) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3033 ms. (steps per millisecond=32 ) properties (out of 29) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3030 ms. (steps per millisecond=33 ) properties (out of 28) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3021 ms. (steps per millisecond=33 ) properties (out of 27) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3003 ms. (steps per millisecond=33 ) properties (out of 26) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3087 ms. (steps per millisecond=32 ) properties (out of 25) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3011 ms. (steps per millisecond=33 ) properties (out of 24) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2964 ms. (steps per millisecond=33 ) properties (out of 23) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3012 ms. (steps per millisecond=33 ) properties (out of 22) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3016 ms. (steps per millisecond=33 ) properties (out of 21) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3033 ms. (steps per millisecond=32 ) properties (out of 20) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2982 ms. (steps per millisecond=33 ) properties (out of 19) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2988 ms. (steps per millisecond=33 ) properties (out of 18) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2984 ms. (steps per millisecond=33 ) properties (out of 17) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3018 ms. (steps per millisecond=33 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3016 ms. (steps per millisecond=33 ) properties (out of 15) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2937 ms. (steps per millisecond=34 ) properties (out of 14) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2918 ms. (steps per millisecond=34 ) properties (out of 13) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3032 ms. (steps per millisecond=32 ) properties (out of 12) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3023 ms. (steps per millisecond=33 ) properties (out of 11) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3040 ms. (steps per millisecond=32 ) properties (out of 10) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3003 ms. (steps per millisecond=33 ) properties (out of 9) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3030 ms. (steps per millisecond=33 ) properties (out of 8) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3026 ms. (steps per millisecond=33 ) properties (out of 7) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3028 ms. (steps per millisecond=33 ) properties (out of 6) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3023 ms. (steps per millisecond=33 ) properties (out of 5) seen :1
Running SMT prover for 4 properties.
[2023-03-21 17:01:48] [INFO ] Flow matrix only has 31400 transitions (discarded 884 similar events)
// Phase 1: matrix 31400 rows 8324 cols
[2023-03-21 17:01:48] [INFO ] Computed 2415 place invariants in 61 ms
[2023-03-21 17:01:50] [INFO ] [Real]Absence check using 2415 positive place invariants in 717 ms returned sat
[2023-03-21 17:02:09] [INFO ] After 18854ms SMT Verify possible using state equation in real domain returned unsat :0 sat :4
[2023-03-21 17:02:10] [INFO ] State equation strengthened by 3095 read => feed constraints.
[2023-03-21 17:02:14] [INFO ] After 4319ms SMT Verify possible using 3095 Read/Feed constraints in real domain returned unsat :0 sat :0 real:4
[2023-03-21 17:02:14] [INFO ] After 26111ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:4
[2023-03-21 17:02:16] [INFO ] [Nat]Absence check using 2415 positive place invariants in 730 ms returned sat
[2023-03-21 17:02:36] [INFO ] After 19244ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :4
[2023-03-21 17:02:39] [INFO ] After 3704ms SMT Verify possible using 3095 Read/Feed constraints in natural domain returned unsat :0 sat :4
[2023-03-21 17:02:43] [INFO ] After 7380ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :4
Attempting to minimize the solution found.
Minimization took 2434 ms.
[2023-03-21 17:02:46] [INFO ] After 31682ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :4
Fused 4 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 6 out of 8324 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8324/8324 places, 32284/32284 transitions.
Discarding 534 places :
Symmetric choice reduction at 0 with 534 rule applications. Total rules 534 place count 7790 transition count 20626
Iterating global reduction 0 with 534 rules applied. Total rules applied 1068 place count 7790 transition count 20626
Ensure Unique test removed 1186 transitions
Reduce isomorphic transitions removed 1186 transitions.
Iterating post reduction 0 with 1186 rules applied. Total rules applied 2254 place count 7790 transition count 19440
Performed 101 Post agglomeration using F-continuation condition with reduction of 186 identical transitions.
Deduced a syphon composed of 101 places in 3 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 1 with 202 rules applied. Total rules applied 2456 place count 7689 transition count 20060
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 1 with 6 rules applied. Total rules applied 2462 place count 7689 transition count 20054
Discarding 32 places :
Symmetric choice reduction at 2 with 32 rule applications. Total rules 2494 place count 7657 transition count 19670
Iterating global reduction 2 with 32 rules applied. Total rules applied 2526 place count 7657 transition count 19670
Ensure Unique test removed 192 transitions
Reduce isomorphic transitions removed 192 transitions.
Iterating post reduction 2 with 192 rules applied. Total rules applied 2718 place count 7657 transition count 19478
Performed 44 Post agglomeration using F-continuation condition with reduction of 78 identical transitions.
Deduced a syphon composed of 44 places in 3 ms
Reduce places removed 44 places and 0 transitions.
Iterating global reduction 3 with 88 rules applied. Total rules applied 2806 place count 7613 transition count 19752
Drop transitions removed 7 transitions
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 13 transitions.
Iterating post reduction 3 with 13 rules applied. Total rules applied 2819 place count 7613 transition count 19739
Discarding 14 places :
Symmetric choice reduction at 4 with 14 rule applications. Total rules 2833 place count 7599 transition count 19571
Iterating global reduction 4 with 14 rules applied. Total rules applied 2847 place count 7599 transition count 19571
Ensure Unique test removed 84 transitions
Reduce isomorphic transitions removed 84 transitions.
Iterating post reduction 4 with 84 rules applied. Total rules applied 2931 place count 7599 transition count 19487
Drop transitions removed 50 transitions
Redundant transition composition rules discarded 50 transitions
Iterating global reduction 5 with 50 rules applied. Total rules applied 2981 place count 7599 transition count 19437
Discarding 12 places :
Symmetric choice reduction at 5 with 12 rule applications. Total rules 2993 place count 7587 transition count 19425
Iterating global reduction 5 with 12 rules applied. Total rules applied 3005 place count 7587 transition count 19425
Discarding 12 places :
Symmetric choice reduction at 5 with 12 rule applications. Total rules 3017 place count 7575 transition count 17167
Iterating global reduction 5 with 12 rules applied. Total rules applied 3029 place count 7575 transition count 17167
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 5 with 12 rules applied. Total rules applied 3041 place count 7575 transition count 17155
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Deduced a syphon composed of 6 places in 3 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 6 with 12 rules applied. Total rules applied 3053 place count 7569 transition count 17149
Discarding 6 places :
Symmetric choice reduction at 6 with 6 rule applications. Total rules 3059 place count 7563 transition count 16020
Iterating global reduction 6 with 6 rules applied. Total rules applied 3065 place count 7563 transition count 16020
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 6 with 6 rules applied. Total rules applied 3071 place count 7563 transition count 16014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 7 with 8 rules applied. Total rules applied 3079 place count 7559 transition count 16041
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 7 with 6 rules applied. Total rules applied 3085 place count 7559 transition count 16035
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 8 with 21 rules applied. Total rules applied 3106 place count 7559 transition count 16014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 8 with 8 rules applied. Total rules applied 3114 place count 7555 transition count 16041
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 8 with 6 rules applied. Total rules applied 3120 place count 7555 transition count 16035
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 9 with 21 rules applied. Total rules applied 3141 place count 7555 transition count 16014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 9 with 8 rules applied. Total rules applied 3149 place count 7551 transition count 16041
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 9 with 6 rules applied. Total rules applied 3155 place count 7551 transition count 16035
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 10 with 21 rules applied. Total rules applied 3176 place count 7551 transition count 16014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 10 with 8 rules applied. Total rules applied 3184 place count 7547 transition count 16041
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 10 with 6 rules applied. Total rules applied 3190 place count 7547 transition count 16035
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 11 with 21 rules applied. Total rules applied 3211 place count 7547 transition count 16014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 11 with 8 rules applied. Total rules applied 3219 place count 7543 transition count 16042
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 11 with 7 rules applied. Total rules applied 3226 place count 7543 transition count 16035
Drop transitions removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 12 with 23 rules applied. Total rules applied 3249 place count 7543 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 12 with 8 rules applied. Total rules applied 3257 place count 7539 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 12 with 6 rules applied. Total rules applied 3263 place count 7539 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 13 with 21 rules applied. Total rules applied 3284 place count 7539 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 13 with 8 rules applied. Total rules applied 3292 place count 7535 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 13 with 6 rules applied. Total rules applied 3298 place count 7535 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 14 with 21 rules applied. Total rules applied 3319 place count 7535 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 14 with 8 rules applied. Total rules applied 3327 place count 7531 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 14 with 6 rules applied. Total rules applied 3333 place count 7531 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 15 with 21 rules applied. Total rules applied 3354 place count 7531 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 15 with 8 rules applied. Total rules applied 3362 place count 7527 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 15 with 6 rules applied. Total rules applied 3368 place count 7527 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 16 with 21 rules applied. Total rules applied 3389 place count 7527 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 16 with 8 rules applied. Total rules applied 3397 place count 7523 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 16 with 6 rules applied. Total rules applied 3403 place count 7523 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 17 with 21 rules applied. Total rules applied 3424 place count 7523 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 17 with 8 rules applied. Total rules applied 3432 place count 7519 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 17 with 6 rules applied. Total rules applied 3438 place count 7519 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 18 with 21 rules applied. Total rules applied 3459 place count 7519 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 18 with 8 rules applied. Total rules applied 3467 place count 7515 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 18 with 6 rules applied. Total rules applied 3473 place count 7515 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 19 with 21 rules applied. Total rules applied 3494 place count 7515 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 19 with 8 rules applied. Total rules applied 3502 place count 7511 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 19 with 6 rules applied. Total rules applied 3508 place count 7511 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 20 with 21 rules applied. Total rules applied 3529 place count 7511 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 20 with 8 rules applied. Total rules applied 3537 place count 7507 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 20 with 6 rules applied. Total rules applied 3543 place count 7507 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 21 with 21 rules applied. Total rules applied 3564 place count 7507 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 21 with 8 rules applied. Total rules applied 3572 place count 7503 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 21 with 6 rules applied. Total rules applied 3578 place count 7503 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 22 with 21 rules applied. Total rules applied 3599 place count 7503 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 22 with 8 rules applied. Total rules applied 3607 place count 7499 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 22 with 6 rules applied. Total rules applied 3613 place count 7499 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 23 with 21 rules applied. Total rules applied 3634 place count 7499 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 23 with 8 rules applied. Total rules applied 3642 place count 7495 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 23 with 6 rules applied. Total rules applied 3648 place count 7495 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 24 with 21 rules applied. Total rules applied 3669 place count 7495 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 24 with 8 rules applied. Total rules applied 3677 place count 7491 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 24 with 6 rules applied. Total rules applied 3683 place count 7491 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 25 with 21 rules applied. Total rules applied 3704 place count 7491 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 25 with 8 rules applied. Total rules applied 3712 place count 7487 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 25 with 6 rules applied. Total rules applied 3718 place count 7487 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 26 with 21 rules applied. Total rules applied 3739 place count 7487 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 26 with 8 rules applied. Total rules applied 3747 place count 7483 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 26 with 6 rules applied. Total rules applied 3753 place count 7483 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 27 with 21 rules applied. Total rules applied 3774 place count 7483 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 27 with 8 rules applied. Total rules applied 3782 place count 7479 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 27 with 6 rules applied. Total rules applied 3788 place count 7479 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 28 with 21 rules applied. Total rules applied 3809 place count 7479 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 28 with 8 rules applied. Total rules applied 3817 place count 7475 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 28 with 6 rules applied. Total rules applied 3823 place count 7475 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 29 with 21 rules applied. Total rules applied 3844 place count 7475 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 29 with 8 rules applied. Total rules applied 3852 place count 7471 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 29 with 6 rules applied. Total rules applied 3858 place count 7471 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 30 with 21 rules applied. Total rules applied 3879 place count 7471 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 30 with 8 rules applied. Total rules applied 3887 place count 7467 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 30 with 6 rules applied. Total rules applied 3893 place count 7467 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 31 with 21 rules applied. Total rules applied 3914 place count 7467 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 31 with 8 rules applied. Total rules applied 3922 place count 7463 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 31 with 6 rules applied. Total rules applied 3928 place count 7463 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 32 with 21 rules applied. Total rules applied 3949 place count 7463 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 32 with 8 rules applied. Total rules applied 3957 place count 7459 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 32 with 6 rules applied. Total rules applied 3963 place count 7459 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 33 with 21 rules applied. Total rules applied 3984 place count 7459 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 33 with 8 rules applied. Total rules applied 3992 place count 7455 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 33 with 6 rules applied. Total rules applied 3998 place count 7455 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 34 with 21 rules applied. Total rules applied 4019 place count 7455 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 34 with 8 rules applied. Total rules applied 4027 place count 7451 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 34 with 6 rules applied. Total rules applied 4033 place count 7451 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 35 with 21 rules applied. Total rules applied 4054 place count 7451 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 35 with 8 rules applied. Total rules applied 4062 place count 7447 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 35 with 6 rules applied. Total rules applied 4068 place count 7447 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 36 with 21 rules applied. Total rules applied 4089 place count 7447 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 36 with 8 rules applied. Total rules applied 4097 place count 7443 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 36 with 6 rules applied. Total rules applied 4103 place count 7443 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 37 with 21 rules applied. Total rules applied 4124 place count 7443 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 37 with 8 rules applied. Total rules applied 4132 place count 7439 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 37 with 6 rules applied. Total rules applied 4138 place count 7439 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 38 with 21 rules applied. Total rules applied 4159 place count 7439 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 38 with 8 rules applied. Total rules applied 4167 place count 7435 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 38 with 6 rules applied. Total rules applied 4173 place count 7435 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 39 with 21 rules applied. Total rules applied 4194 place count 7435 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 39 with 8 rules applied. Total rules applied 4202 place count 7431 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 39 with 6 rules applied. Total rules applied 4208 place count 7431 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 40 with 21 rules applied. Total rules applied 4229 place count 7431 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 40 with 8 rules applied. Total rules applied 4237 place count 7427 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 40 with 6 rules applied. Total rules applied 4243 place count 7427 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 41 with 21 rules applied. Total rules applied 4264 place count 7427 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 41 with 8 rules applied. Total rules applied 4272 place count 7423 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 41 with 6 rules applied. Total rules applied 4278 place count 7423 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 42 with 21 rules applied. Total rules applied 4299 place count 7423 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 42 with 8 rules applied. Total rules applied 4307 place count 7419 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 42 with 6 rules applied. Total rules applied 4313 place count 7419 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 43 with 21 rules applied. Total rules applied 4334 place count 7419 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 43 with 8 rules applied. Total rules applied 4342 place count 7415 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 43 with 6 rules applied. Total rules applied 4348 place count 7415 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 44 with 21 rules applied. Total rules applied 4369 place count 7415 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 44 with 8 rules applied. Total rules applied 4377 place count 7411 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 44 with 6 rules applied. Total rules applied 4383 place count 7411 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 45 with 21 rules applied. Total rules applied 4404 place count 7411 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 45 with 8 rules applied. Total rules applied 4412 place count 7407 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 45 with 6 rules applied. Total rules applied 4418 place count 7407 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 46 with 21 rules applied. Total rules applied 4439 place count 7407 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 46 with 8 rules applied. Total rules applied 4447 place count 7403 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 46 with 6 rules applied. Total rules applied 4453 place count 7403 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 47 with 21 rules applied. Total rules applied 4474 place count 7403 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 47 with 8 rules applied. Total rules applied 4482 place count 7399 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 47 with 6 rules applied. Total rules applied 4488 place count 7399 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 48 with 21 rules applied. Total rules applied 4509 place count 7399 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 48 with 8 rules applied. Total rules applied 4517 place count 7395 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 48 with 6 rules applied. Total rules applied 4523 place count 7395 transition count 16033
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 49 with 21 rules applied. Total rules applied 4544 place count 7395 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 49 with 8 rules applied. Total rules applied 4552 place count 7391 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 49 with 6 rules applied. Total rules applied 4558 place count 7391 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 50 with 21 rules applied. Total rules applied 4579 place count 7391 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 50 with 8 rules applied. Total rules applied 4587 place count 7387 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 50 with 6 rules applied. Total rules applied 4593 place count 7387 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 51 with 21 rules applied. Total rules applied 4614 place count 7387 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 51 with 8 rules applied. Total rules applied 4622 place count 7383 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 51 with 6 rules applied. Total rules applied 4628 place count 7383 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 52 with 21 rules applied. Total rules applied 4649 place count 7383 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 52 with 8 rules applied. Total rules applied 4657 place count 7379 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 52 with 6 rules applied. Total rules applied 4663 place count 7379 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 53 with 21 rules applied. Total rules applied 4684 place count 7379 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 53 with 8 rules applied. Total rules applied 4692 place count 7375 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 53 with 6 rules applied. Total rules applied 4698 place count 7375 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 54 with 21 rules applied. Total rules applied 4719 place count 7375 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 54 with 8 rules applied. Total rules applied 4727 place count 7371 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 54 with 6 rules applied. Total rules applied 4733 place count 7371 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 55 with 21 rules applied. Total rules applied 4754 place count 7371 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 55 with 8 rules applied. Total rules applied 4762 place count 7367 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 55 with 6 rules applied. Total rules applied 4768 place count 7367 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 56 with 21 rules applied. Total rules applied 4789 place count 7367 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 56 with 8 rules applied. Total rules applied 4797 place count 7363 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 56 with 6 rules applied. Total rules applied 4803 place count 7363 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 57 with 21 rules applied. Total rules applied 4824 place count 7363 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 57 with 8 rules applied. Total rules applied 4832 place count 7359 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 57 with 6 rules applied. Total rules applied 4838 place count 7359 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 58 with 21 rules applied. Total rules applied 4859 place count 7359 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 58 with 8 rules applied. Total rules applied 4867 place count 7355 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 58 with 6 rules applied. Total rules applied 4873 place count 7355 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 59 with 21 rules applied. Total rules applied 4894 place count 7355 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 59 with 8 rules applied. Total rules applied 4902 place count 7351 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 59 with 6 rules applied. Total rules applied 4908 place count 7351 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 60 with 21 rules applied. Total rules applied 4929 place count 7351 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 60 with 8 rules applied. Total rules applied 4937 place count 7347 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 60 with 6 rules applied. Total rules applied 4943 place count 7347 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 61 with 21 rules applied. Total rules applied 4964 place count 7347 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 61 with 8 rules applied. Total rules applied 4972 place count 7343 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 61 with 6 rules applied. Total rules applied 4978 place count 7343 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 62 with 21 rules applied. Total rules applied 4999 place count 7343 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 62 with 8 rules applied. Total rules applied 5007 place count 7339 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 62 with 6 rules applied. Total rules applied 5013 place count 7339 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 63 with 21 rules applied. Total rules applied 5034 place count 7339 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 63 with 8 rules applied. Total rules applied 5042 place count 7335 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 63 with 6 rules applied. Total rules applied 5048 place count 7335 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 64 with 21 rules applied. Total rules applied 5069 place count 7335 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 64 with 8 rules applied. Total rules applied 5077 place count 7331 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 64 with 6 rules applied. Total rules applied 5083 place count 7331 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 65 with 21 rules applied. Total rules applied 5104 place count 7331 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 65 with 8 rules applied. Total rules applied 5112 place count 7327 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 65 with 6 rules applied. Total rules applied 5118 place count 7327 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 66 with 21 rules applied. Total rules applied 5139 place count 7327 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 66 with 8 rules applied. Total rules applied 5147 place count 7323 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 66 with 6 rules applied. Total rules applied 5153 place count 7323 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 67 with 21 rules applied. Total rules applied 5174 place count 7323 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 67 with 8 rules applied. Total rules applied 5182 place count 7319 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 67 with 6 rules applied. Total rules applied 5188 place count 7319 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 68 with 21 rules applied. Total rules applied 5209 place count 7319 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 68 with 8 rules applied. Total rules applied 5217 place count 7315 transition count 16039
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 68 with 7 rules applied. Total rules applied 5224 place count 7315 transition count 16032
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 69 with 20 rules applied. Total rules applied 5244 place count 7315 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 69 with 8 rules applied. Total rules applied 5252 place count 7311 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 69 with 6 rules applied. Total rules applied 5258 place count 7311 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 70 with 21 rules applied. Total rules applied 5279 place count 7311 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 70 with 8 rules applied. Total rules applied 5287 place count 7307 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 70 with 6 rules applied. Total rules applied 5293 place count 7307 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 71 with 21 rules applied. Total rules applied 5314 place count 7307 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 71 with 8 rules applied. Total rules applied 5322 place count 7303 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 71 with 6 rules applied. Total rules applied 5328 place count 7303 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 72 with 21 rules applied. Total rules applied 5349 place count 7303 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 72 with 8 rules applied. Total rules applied 5357 place count 7299 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 72 with 6 rules applied. Total rules applied 5363 place count 7299 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 73 with 21 rules applied. Total rules applied 5384 place count 7299 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 73 with 8 rules applied. Total rules applied 5392 place count 7295 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 73 with 6 rules applied. Total rules applied 5398 place count 7295 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 74 with 21 rules applied. Total rules applied 5419 place count 7295 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 74 with 8 rules applied. Total rules applied 5427 place count 7291 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 74 with 6 rules applied. Total rules applied 5433 place count 7291 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 75 with 21 rules applied. Total rules applied 5454 place count 7291 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 75 with 8 rules applied. Total rules applied 5462 place count 7287 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 75 with 6 rules applied. Total rules applied 5468 place count 7287 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 76 with 21 rules applied. Total rules applied 5489 place count 7287 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 6 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 76 with 8 rules applied. Total rules applied 5497 place count 7283 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 76 with 6 rules applied. Total rules applied 5503 place count 7283 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 77 with 21 rules applied. Total rules applied 5524 place count 7283 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 77 with 8 rules applied. Total rules applied 5532 place count 7279 transition count 16040
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 77 with 6 rules applied. Total rules applied 5538 place count 7279 transition count 16034
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 78 with 20 rules applied. Total rules applied 5558 place count 7279 transition count 16014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 78 with 8 rules applied. Total rules applied 5566 place count 7275 transition count 16041
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 78 with 6 rules applied. Total rules applied 5572 place count 7275 transition count 16035
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 79 with 21 rules applied. Total rules applied 5593 place count 7275 transition count 16014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 79 with 8 rules applied. Total rules applied 5601 place count 7271 transition count 16041
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 79 with 6 rules applied. Total rules applied 5607 place count 7271 transition count 16035
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 80 with 20 rules applied. Total rules applied 5627 place count 7271 transition count 16015
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 80 with 8 rules applied. Total rules applied 5635 place count 7267 transition count 16042
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 80 with 6 rules applied. Total rules applied 5641 place count 7267 transition count 16036
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 81 with 21 rules applied. Total rules applied 5662 place count 7267 transition count 16015
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 81 with 8 rules applied. Total rules applied 5670 place count 7263 transition count 16042
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 81 with 6 rules applied. Total rules applied 5676 place count 7263 transition count 16036
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 82 with 21 rules applied. Total rules applied 5697 place count 7263 transition count 16015
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 82 with 8 rules applied. Total rules applied 5705 place count 7259 transition count 16042
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 82 with 6 rules applied. Total rules applied 5711 place count 7259 transition count 16036
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 83 with 21 rules applied. Total rules applied 5732 place count 7259 transition count 16015
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 83 with 8 rules applied. Total rules applied 5740 place count 7255 transition count 16042
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 83 with 6 rules applied. Total rules applied 5746 place count 7255 transition count 16036
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 84 with 21 rules applied. Total rules applied 5767 place count 7255 transition count 16015
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 84 with 8 rules applied. Total rules applied 5775 place count 7251 transition count 16042
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 84 with 6 rules applied. Total rules applied 5781 place count 7251 transition count 16036
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 85 with 21 rules applied. Total rules applied 5802 place count 7251 transition count 16015
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 85 with 8 rules applied. Total rules applied 5810 place count 7247 transition count 16042
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 85 with 6 rules applied. Total rules applied 5816 place count 7247 transition count 16036
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 86 with 21 rules applied. Total rules applied 5837 place count 7247 transition count 16015
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 86 with 8 rules applied. Total rules applied 5845 place count 7243 transition count 16042
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 86 with 6 rules applied. Total rules applied 5851 place count 7243 transition count 16036
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 87 with 21 rules applied. Total rules applied 5872 place count 7243 transition count 16015
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 87 with 8 rules applied. Total rules applied 5880 place count 7239 transition count 16042
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 87 with 6 rules applied. Total rules applied 5886 place count 7239 transition count 16036
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 88 with 21 rules applied. Total rules applied 5907 place count 7239 transition count 16015
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 88 with 8 rules applied. Total rules applied 5915 place count 7235 transition count 16042
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 88 with 6 rules applied. Total rules applied 5921 place count 7235 transition count 16036
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 89 with 21 rules applied. Total rules applied 5942 place count 7235 transition count 16015
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 89 with 8 rules applied. Total rules applied 5950 place count 7231 transition count 16042
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 89 with 6 rules applied. Total rules applied 5956 place count 7231 transition count 16036
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 90 with 21 rules applied. Total rules applied 5977 place count 7231 transition count 16015
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 90 with 8 rules applied. Total rules applied 5985 place count 7227 transition count 16042
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 90 with 6 rules applied. Total rules applied 5991 place count 7227 transition count 16036
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 91 with 21 rules applied. Total rules applied 6012 place count 7227 transition count 16015
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 91 with 8 rules applied. Total rules applied 6020 place count 7223 transition count 16043
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 91 with 7 rules applied. Total rules applied 6027 place count 7223 transition count 16036
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 92 with 23 rules applied. Total rules applied 6050 place count 7223 transition count 16013
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 92 with 8 rules applied. Total rules applied 6058 place count 7219 transition count 16040
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 92 with 6 rules applied. Total rules applied 6064 place count 7219 transition count 16034
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 93 with 21 rules applied. Total rules applied 6085 place count 7219 transition count 16013
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 93 with 8 rules applied. Total rules applied 6093 place count 7215 transition count 16040
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 93 with 6 rules applied. Total rules applied 6099 place count 7215 transition count 16034
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 94 with 21 rules applied. Total rules applied 6120 place count 7215 transition count 16013
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 94 with 8 rules applied. Total rules applied 6128 place count 7211 transition count 16040
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 94 with 6 rules applied. Total rules applied 6134 place count 7211 transition count 16034
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 95 with 21 rules applied. Total rules applied 6155 place count 7211 transition count 16013
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 95 with 8 rules applied. Total rules applied 6163 place count 7207 transition count 16040
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 95 with 6 rules applied. Total rules applied 6169 place count 7207 transition count 16034
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 96 with 21 rules applied. Total rules applied 6190 place count 7207 transition count 16013
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 96 with 8 rules applied. Total rules applied 6198 place count 7203 transition count 16040
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 96 with 6 rules applied. Total rules applied 6204 place count 7203 transition count 16034
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 97 with 21 rules applied. Total rules applied 6225 place count 7203 transition count 16013
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 97 with 8 rules applied. Total rules applied 6233 place count 7199 transition count 16040
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 97 with 6 rules applied. Total rules applied 6239 place count 7199 transition count 16034
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 98 with 21 rules applied. Total rules applied 6260 place count 7199 transition count 16013
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 98 with 8 rules applied. Total rules applied 6268 place count 7195 transition count 16040
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 98 with 6 rules applied. Total rules applied 6274 place count 7195 transition count 16034
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 99 with 21 rules applied. Total rules applied 6295 place count 7195 transition count 16013
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 99 with 8 rules applied. Total rules applied 6303 place count 7191 transition count 16040
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 99 with 6 rules applied. Total rules applied 6309 place count 7191 transition count 16034
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 100 with 21 rules applied. Total rules applied 6330 place count 7191 transition count 16013
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 100 with 8 rules applied. Total rules applied 6338 place count 7187 transition count 16040
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 100 with 6 rules applied. Total rules applied 6344 place count 7187 transition count 16034
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 101 with 21 rules applied. Total rules applied 6365 place count 7187 transition count 16013
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 101 with 8 rules applied. Total rules applied 6373 place count 7183 transition count 16041
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 101 with 7 rules applied. Total rules applied 6380 place count 7183 transition count 16034
Drop transitions removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 102 with 23 rules applied. Total rules applied 6403 place count 7183 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 102 with 8 rules applied. Total rules applied 6411 place count 7179 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 102 with 6 rules applied. Total rules applied 6417 place count 7179 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 103 with 21 rules applied. Total rules applied 6438 place count 7179 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 103 with 8 rules applied. Total rules applied 6446 place count 7175 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 103 with 6 rules applied. Total rules applied 6452 place count 7175 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 104 with 21 rules applied. Total rules applied 6473 place count 7175 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 104 with 8 rules applied. Total rules applied 6481 place count 7171 transition count 16038
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 104 with 7 rules applied. Total rules applied 6488 place count 7171 transition count 16031
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 105 with 20 rules applied. Total rules applied 6508 place count 7171 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 105 with 8 rules applied. Total rules applied 6516 place count 7167 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 105 with 6 rules applied. Total rules applied 6522 place count 7167 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 106 with 21 rules applied. Total rules applied 6543 place count 7167 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 106 with 8 rules applied. Total rules applied 6551 place count 7163 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 106 with 6 rules applied. Total rules applied 6557 place count 7163 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 107 with 21 rules applied. Total rules applied 6578 place count 7163 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 107 with 8 rules applied. Total rules applied 6586 place count 7159 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 107 with 6 rules applied. Total rules applied 6592 place count 7159 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 108 with 21 rules applied. Total rules applied 6613 place count 7159 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 108 with 8 rules applied. Total rules applied 6621 place count 7155 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 108 with 6 rules applied. Total rules applied 6627 place count 7155 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 109 with 21 rules applied. Total rules applied 6648 place count 7155 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 109 with 8 rules applied. Total rules applied 6656 place count 7151 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 109 with 6 rules applied. Total rules applied 6662 place count 7151 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 110 with 21 rules applied. Total rules applied 6683 place count 7151 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 110 with 8 rules applied. Total rules applied 6691 place count 7147 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 110 with 6 rules applied. Total rules applied 6697 place count 7147 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 111 with 21 rules applied. Total rules applied 6718 place count 7147 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 111 with 8 rules applied. Total rules applied 6726 place count 7143 transition count 16038
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 111 with 7 rules applied. Total rules applied 6733 place count 7143 transition count 16031
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 112 with 20 rules applied. Total rules applied 6753 place count 7143 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 112 with 8 rules applied. Total rules applied 6761 place count 7139 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 112 with 6 rules applied. Total rules applied 6767 place count 7139 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 113 with 21 rules applied. Total rules applied 6788 place count 7139 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 113 with 8 rules applied. Total rules applied 6796 place count 7135 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 113 with 6 rules applied. Total rules applied 6802 place count 7135 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 114 with 21 rules applied. Total rules applied 6823 place count 7135 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 114 with 8 rules applied. Total rules applied 6831 place count 7131 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 114 with 6 rules applied. Total rules applied 6837 place count 7131 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 115 with 21 rules applied. Total rules applied 6858 place count 7131 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 115 with 8 rules applied. Total rules applied 6866 place count 7127 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 115 with 6 rules applied. Total rules applied 6872 place count 7127 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 116 with 21 rules applied. Total rules applied 6893 place count 7127 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 116 with 8 rules applied. Total rules applied 6901 place count 7123 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 116 with 6 rules applied. Total rules applied 6907 place count 7123 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 117 with 21 rules applied. Total rules applied 6928 place count 7123 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 117 with 8 rules applied. Total rules applied 6936 place count 7119 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 117 with 6 rules applied. Total rules applied 6942 place count 7119 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 118 with 21 rules applied. Total rules applied 6963 place count 7119 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 118 with 8 rules applied. Total rules applied 6971 place count 7115 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 118 with 6 rules applied. Total rules applied 6977 place count 7115 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 119 with 21 rules applied. Total rules applied 6998 place count 7115 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 119 with 8 rules applied. Total rules applied 7006 place count 7111 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 119 with 6 rules applied. Total rules applied 7012 place count 7111 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 120 with 21 rules applied. Total rules applied 7033 place count 7111 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 120 with 8 rules applied. Total rules applied 7041 place count 7107 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 120 with 6 rules applied. Total rules applied 7047 place count 7107 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 121 with 21 rules applied. Total rules applied 7068 place count 7107 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 121 with 8 rules applied. Total rules applied 7076 place count 7103 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 121 with 6 rules applied. Total rules applied 7082 place count 7103 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 122 with 21 rules applied. Total rules applied 7103 place count 7103 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 122 with 8 rules applied. Total rules applied 7111 place count 7099 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 122 with 6 rules applied. Total rules applied 7117 place count 7099 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 123 with 21 rules applied. Total rules applied 7138 place count 7099 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 123 with 8 rules applied. Total rules applied 7146 place count 7095 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 123 with 6 rules applied. Total rules applied 7152 place count 7095 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 124 with 21 rules applied. Total rules applied 7173 place count 7095 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 124 with 8 rules applied. Total rules applied 7181 place count 7091 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 124 with 6 rules applied. Total rules applied 7187 place count 7091 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 125 with 21 rules applied. Total rules applied 7208 place count 7091 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 125 with 8 rules applied. Total rules applied 7216 place count 7087 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 125 with 6 rules applied. Total rules applied 7222 place count 7087 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 126 with 21 rules applied. Total rules applied 7243 place count 7087 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 126 with 8 rules applied. Total rules applied 7251 place count 7083 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 126 with 6 rules applied. Total rules applied 7257 place count 7083 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 127 with 21 rules applied. Total rules applied 7278 place count 7083 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 127 with 8 rules applied. Total rules applied 7286 place count 7079 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 127 with 6 rules applied. Total rules applied 7292 place count 7079 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 128 with 21 rules applied. Total rules applied 7313 place count 7079 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 128 with 8 rules applied. Total rules applied 7321 place count 7075 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 128 with 6 rules applied. Total rules applied 7327 place count 7075 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 129 with 21 rules applied. Total rules applied 7348 place count 7075 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 129 with 8 rules applied. Total rules applied 7356 place count 7071 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 129 with 6 rules applied. Total rules applied 7362 place count 7071 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 130 with 21 rules applied. Total rules applied 7383 place count 7071 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 130 with 8 rules applied. Total rules applied 7391 place count 7067 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 130 with 6 rules applied. Total rules applied 7397 place count 7067 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 131 with 21 rules applied. Total rules applied 7418 place count 7067 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 131 with 8 rules applied. Total rules applied 7426 place count 7063 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 131 with 6 rules applied. Total rules applied 7432 place count 7063 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 132 with 21 rules applied. Total rules applied 7453 place count 7063 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 132 with 8 rules applied. Total rules applied 7461 place count 7059 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 132 with 6 rules applied. Total rules applied 7467 place count 7059 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 133 with 21 rules applied. Total rules applied 7488 place count 7059 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 133 with 8 rules applied. Total rules applied 7496 place count 7055 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 133 with 6 rules applied. Total rules applied 7502 place count 7055 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 134 with 21 rules applied. Total rules applied 7523 place count 7055 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 134 with 8 rules applied. Total rules applied 7531 place count 7051 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 134 with 6 rules applied. Total rules applied 7537 place count 7051 transition count 16032
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 135 with 21 rules applied. Total rules applied 7558 place count 7051 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 135 with 8 rules applied. Total rules applied 7566 place count 7047 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 135 with 6 rules applied. Total rules applied 7572 place count 7047 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 136 with 21 rules applied. Total rules applied 7593 place count 7047 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 136 with 8 rules applied. Total rules applied 7601 place count 7043 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 136 with 6 rules applied. Total rules applied 7607 place count 7043 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 137 with 21 rules applied. Total rules applied 7628 place count 7043 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 137 with 8 rules applied. Total rules applied 7636 place count 7039 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 137 with 6 rules applied. Total rules applied 7642 place count 7039 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 138 with 21 rules applied. Total rules applied 7663 place count 7039 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 138 with 8 rules applied. Total rules applied 7671 place count 7035 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 138 with 6 rules applied. Total rules applied 7677 place count 7035 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 139 with 21 rules applied. Total rules applied 7698 place count 7035 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 139 with 8 rules applied. Total rules applied 7706 place count 7031 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 139 with 6 rules applied. Total rules applied 7712 place count 7031 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 140 with 21 rules applied. Total rules applied 7733 place count 7031 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 140 with 8 rules applied. Total rules applied 7741 place count 7027 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 140 with 6 rules applied. Total rules applied 7747 place count 7027 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 141 with 21 rules applied. Total rules applied 7768 place count 7027 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 141 with 8 rules applied. Total rules applied 7776 place count 7023 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 141 with 6 rules applied. Total rules applied 7782 place count 7023 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 142 with 21 rules applied. Total rules applied 7803 place count 7023 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 142 with 8 rules applied. Total rules applied 7811 place count 7019 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 142 with 6 rules applied. Total rules applied 7817 place count 7019 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 143 with 21 rules applied. Total rules applied 7838 place count 7019 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 143 with 8 rules applied. Total rules applied 7846 place count 7015 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 143 with 6 rules applied. Total rules applied 7852 place count 7015 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 144 with 21 rules applied. Total rules applied 7873 place count 7015 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 144 with 8 rules applied. Total rules applied 7881 place count 7011 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 144 with 6 rules applied. Total rules applied 7887 place count 7011 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 145 with 21 rules applied. Total rules applied 7908 place count 7011 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 145 with 8 rules applied. Total rules applied 7916 place count 7007 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 145 with 6 rules applied. Total rules applied 7922 place count 7007 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 146 with 21 rules applied. Total rules applied 7943 place count 7007 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 146 with 8 rules applied. Total rules applied 7951 place count 7003 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 146 with 6 rules applied. Total rules applied 7957 place count 7003 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 147 with 21 rules applied. Total rules applied 7978 place count 7003 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 147 with 8 rules applied. Total rules applied 7986 place count 6999 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 147 with 6 rules applied. Total rules applied 7992 place count 6999 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 148 with 21 rules applied. Total rules applied 8013 place count 6999 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 148 with 8 rules applied. Total rules applied 8021 place count 6995 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 148 with 6 rules applied. Total rules applied 8027 place count 6995 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 149 with 21 rules applied. Total rules applied 8048 place count 6995 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 149 with 8 rules applied. Total rules applied 8056 place count 6991 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 149 with 6 rules applied. Total rules applied 8062 place count 6991 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 150 with 21 rules applied. Total rules applied 8083 place count 6991 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 150 with 8 rules applied. Total rules applied 8091 place count 6987 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 150 with 6 rules applied. Total rules applied 8097 place count 6987 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 151 with 21 rules applied. Total rules applied 8118 place count 6987 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 151 with 8 rules applied. Total rules applied 8126 place count 6983 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 151 with 6 rules applied. Total rules applied 8132 place count 6983 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 152 with 21 rules applied. Total rules applied 8153 place count 6983 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 152 with 8 rules applied. Total rules applied 8161 place count 6979 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 152 with 6 rules applied. Total rules applied 8167 place count 6979 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 153 with 21 rules applied. Total rules applied 8188 place count 6979 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 153 with 8 rules applied. Total rules applied 8196 place count 6975 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 153 with 6 rules applied. Total rules applied 8202 place count 6975 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 154 with 21 rules applied. Total rules applied 8223 place count 6975 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 154 with 8 rules applied. Total rules applied 8231 place count 6971 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 154 with 6 rules applied. Total rules applied 8237 place count 6971 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 155 with 21 rules applied. Total rules applied 8258 place count 6971 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 155 with 8 rules applied. Total rules applied 8266 place count 6967 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 155 with 6 rules applied. Total rules applied 8272 place count 6967 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 156 with 21 rules applied. Total rules applied 8293 place count 6967 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 156 with 8 rules applied. Total rules applied 8301 place count 6963 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 156 with 6 rules applied. Total rules applied 8307 place count 6963 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 157 with 21 rules applied. Total rules applied 8328 place count 6963 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 157 with 8 rules applied. Total rules applied 8336 place count 6959 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 157 with 6 rules applied. Total rules applied 8342 place count 6959 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 158 with 21 rules applied. Total rules applied 8363 place count 6959 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 158 with 8 rules applied. Total rules applied 8371 place count 6955 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 158 with 6 rules applied. Total rules applied 8377 place count 6955 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 159 with 21 rules applied. Total rules applied 8398 place count 6955 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 159 with 8 rules applied. Total rules applied 8406 place count 6951 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 159 with 6 rules applied. Total rules applied 8412 place count 6951 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 160 with 21 rules applied. Total rules applied 8433 place count 6951 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 160 with 8 rules applied. Total rules applied 8441 place count 6947 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 160 with 6 rules applied. Total rules applied 8447 place count 6947 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 161 with 21 rules applied. Total rules applied 8468 place count 6947 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 161 with 8 rules applied. Total rules applied 8476 place count 6943 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 161 with 6 rules applied. Total rules applied 8482 place count 6943 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 162 with 21 rules applied. Total rules applied 8503 place count 6943 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 162 with 8 rules applied. Total rules applied 8511 place count 6939 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 162 with 6 rules applied. Total rules applied 8517 place count 6939 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 163 with 21 rules applied. Total rules applied 8538 place count 6939 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 163 with 8 rules applied. Total rules applied 8546 place count 6935 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 163 with 6 rules applied. Total rules applied 8552 place count 6935 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 164 with 21 rules applied. Total rules applied 8573 place count 6935 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 164 with 8 rules applied. Total rules applied 8581 place count 6931 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 164 with 6 rules applied. Total rules applied 8587 place count 6931 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 165 with 21 rules applied. Total rules applied 8608 place count 6931 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 165 with 8 rules applied. Total rules applied 8616 place count 6927 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 165 with 6 rules applied. Total rules applied 8622 place count 6927 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 166 with 21 rules applied. Total rules applied 8643 place count 6927 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 166 with 8 rules applied. Total rules applied 8651 place count 6923 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 166 with 6 rules applied. Total rules applied 8657 place count 6923 transition count 16032
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 167 with 21 rules applied. Total rules applied 8678 place count 6923 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 167 with 8 rules applied. Total rules applied 8686 place count 6919 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 167 with 6 rules applied. Total rules applied 8692 place count 6919 transition count 16032
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 168 with 20 rules applied. Total rules applied 8712 place count 6919 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 168 with 8 rules applied. Total rules applied 8720 place count 6915 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 168 with 6 rules applied. Total rules applied 8726 place count 6915 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 169 with 21 rules applied. Total rules applied 8747 place count 6915 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 169 with 8 rules applied. Total rules applied 8755 place count 6911 transition count 16040
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 169 with 6 rules applied. Total rules applied 8761 place count 6911 transition count 16034
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 170 with 20 rules applied. Total rules applied 8781 place count 6911 transition count 16014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 170 with 8 rules applied. Total rules applied 8789 place count 6907 transition count 16041
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 170 with 6 rules applied. Total rules applied 8795 place count 6907 transition count 16035
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 171 with 21 rules applied. Total rules applied 8816 place count 6907 transition count 16014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 171 with 8 rules applied. Total rules applied 8824 place count 6903 transition count 16041
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 171 with 6 rules applied. Total rules applied 8830 place count 6903 transition count 16035
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 172 with 21 rules applied. Total rules applied 8851 place count 6903 transition count 16014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 172 with 8 rules applied. Total rules applied 8859 place count 6899 transition count 16041
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 172 with 6 rules applied. Total rules applied 8865 place count 6899 transition count 16035
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 173 with 21 rules applied. Total rules applied 8886 place count 6899 transition count 16014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 173 with 8 rules applied. Total rules applied 8894 place count 6895 transition count 16041
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 173 with 6 rules applied. Total rules applied 8900 place count 6895 transition count 16035
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 174 with 21 rules applied. Total rules applied 8921 place count 6895 transition count 16014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 174 with 8 rules applied. Total rules applied 8929 place count 6891 transition count 16041
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 174 with 6 rules applied. Total rules applied 8935 place count 6891 transition count 16035
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 175 with 21 rules applied. Total rules applied 8956 place count 6891 transition count 16014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 175 with 8 rules applied. Total rules applied 8964 place count 6887 transition count 16041
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 175 with 6 rules applied. Total rules applied 8970 place count 6887 transition count 16035
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 176 with 21 rules applied. Total rules applied 8991 place count 6887 transition count 16014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 176 with 8 rules applied. Total rules applied 8999 place count 6883 transition count 16041
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 176 with 6 rules applied. Total rules applied 9005 place count 6883 transition count 16035
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 177 with 21 rules applied. Total rules applied 9026 place count 6883 transition count 16014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 177 with 8 rules applied. Total rules applied 9034 place count 6879 transition count 16041
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 177 with 6 rules applied. Total rules applied 9040 place count 6879 transition count 16035
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 178 with 21 rules applied. Total rules applied 9061 place count 6879 transition count 16014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 178 with 8 rules applied. Total rules applied 9069 place count 6875 transition count 16041
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 178 with 6 rules applied. Total rules applied 9075 place count 6875 transition count 16035
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 179 with 21 rules applied. Total rules applied 9096 place count 6875 transition count 16014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 179 with 8 rules applied. Total rules applied 9104 place count 6871 transition count 16041
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 179 with 6 rules applied. Total rules applied 9110 place count 6871 transition count 16035
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 180 with 21 rules applied. Total rules applied 9131 place count 6871 transition count 16014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 180 with 8 rules applied. Total rules applied 9139 place count 6867 transition count 16041
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 180 with 6 rules applied. Total rules applied 9145 place count 6867 transition count 16035
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 181 with 21 rules applied. Total rules applied 9166 place count 6867 transition count 16014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 181 with 8 rules applied. Total rules applied 9174 place count 6863 transition count 16042
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 181 with 7 rules applied. Total rules applied 9181 place count 6863 transition count 16035
Drop transitions removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 182 with 23 rules applied. Total rules applied 9204 place count 6863 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 182 with 8 rules applied. Total rules applied 9212 place count 6859 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 182 with 6 rules applied. Total rules applied 9218 place count 6859 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 183 with 21 rules applied. Total rules applied 9239 place count 6859 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 183 with 8 rules applied. Total rules applied 9247 place count 6855 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 183 with 6 rules applied. Total rules applied 9253 place count 6855 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 184 with 21 rules applied. Total rules applied 9274 place count 6855 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 184 with 8 rules applied. Total rules applied 9282 place count 6851 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 184 with 6 rules applied. Total rules applied 9288 place count 6851 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 185 with 21 rules applied. Total rules applied 9309 place count 6851 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 185 with 8 rules applied. Total rules applied 9317 place count 6847 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 185 with 6 rules applied. Total rules applied 9323 place count 6847 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 186 with 21 rules applied. Total rules applied 9344 place count 6847 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 186 with 8 rules applied. Total rules applied 9352 place count 6843 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 186 with 6 rules applied. Total rules applied 9358 place count 6843 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 187 with 21 rules applied. Total rules applied 9379 place count 6843 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 187 with 8 rules applied. Total rules applied 9387 place count 6839 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 187 with 6 rules applied. Total rules applied 9393 place count 6839 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 188 with 21 rules applied. Total rules applied 9414 place count 6839 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 188 with 8 rules applied. Total rules applied 9422 place count 6835 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 188 with 6 rules applied. Total rules applied 9428 place count 6835 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 189 with 21 rules applied. Total rules applied 9449 place count 6835 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 189 with 8 rules applied. Total rules applied 9457 place count 6831 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 189 with 6 rules applied. Total rules applied 9463 place count 6831 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 190 with 21 rules applied. Total rules applied 9484 place count 6831 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 190 with 8 rules applied. Total rules applied 9492 place count 6827 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 190 with 6 rules applied. Total rules applied 9498 place count 6827 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 191 with 21 rules applied. Total rules applied 9519 place count 6827 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 191 with 8 rules applied. Total rules applied 9527 place count 6823 transition count 16040
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 191 with 7 rules applied. Total rules applied 9534 place count 6823 transition count 16033
Drop transitions removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 192 with 23 rules applied. Total rules applied 9557 place count 6823 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 192 with 8 rules applied. Total rules applied 9565 place count 6819 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 192 with 6 rules applied. Total rules applied 9571 place count 6819 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 193 with 21 rules applied. Total rules applied 9592 place count 6819 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 193 with 8 rules applied. Total rules applied 9600 place count 6815 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 193 with 6 rules applied. Total rules applied 9606 place count 6815 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 194 with 21 rules applied. Total rules applied 9627 place count 6815 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 194 with 8 rules applied. Total rules applied 9635 place count 6811 transition count 16037
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 194 with 7 rules applied. Total rules applied 9642 place count 6811 transition count 16030
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 195 with 20 rules applied. Total rules applied 9662 place count 6811 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 195 with 8 rules applied. Total rules applied 9670 place count 6807 transition count 16037
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 195 with 7 rules applied. Total rules applied 9677 place count 6807 transition count 16030
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 196 with 20 rules applied. Total rules applied 9697 place count 6807 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 196 with 8 rules applied. Total rules applied 9705 place count 6803 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 196 with 6 rules applied. Total rules applied 9711 place count 6803 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 197 with 21 rules applied. Total rules applied 9732 place count 6803 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 197 with 8 rules applied. Total rules applied 9740 place count 6799 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 197 with 6 rules applied. Total rules applied 9746 place count 6799 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 198 with 21 rules applied. Total rules applied 9767 place count 6799 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 198 with 8 rules applied. Total rules applied 9775 place count 6795 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 198 with 6 rules applied. Total rules applied 9781 place count 6795 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 199 with 21 rules applied. Total rules applied 9802 place count 6795 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 199 with 8 rules applied. Total rules applied 9810 place count 6791 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 199 with 6 rules applied. Total rules applied 9816 place count 6791 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 200 with 21 rules applied. Total rules applied 9837 place count 6791 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 200 with 8 rules applied. Total rules applied 9845 place count 6787 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 200 with 6 rules applied. Total rules applied 9851 place count 6787 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 201 with 21 rules applied. Total rules applied 9872 place count 6787 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 201 with 8 rules applied. Total rules applied 9880 place count 6783 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 201 with 6 rules applied. Total rules applied 9886 place count 6783 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 202 with 21 rules applied. Total rules applied 9907 place count 6783 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 202 with 8 rules applied. Total rules applied 9915 place count 6779 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 202 with 6 rules applied. Total rules applied 9921 place count 6779 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 203 with 21 rules applied. Total rules applied 9942 place count 6779 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 203 with 8 rules applied. Total rules applied 9950 place count 6775 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 203 with 6 rules applied. Total rules applied 9956 place count 6775 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 204 with 21 rules applied. Total rules applied 9977 place count 6775 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 204 with 8 rules applied. Total rules applied 9985 place count 6771 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 204 with 6 rules applied. Total rules applied 9991 place count 6771 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 205 with 21 rules applied. Total rules applied 10012 place count 6771 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 205 with 8 rules applied. Total rules applied 10020 place count 6767 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 205 with 6 rules applied. Total rules applied 10026 place count 6767 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 206 with 21 rules applied. Total rules applied 10047 place count 6767 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 206 with 8 rules applied. Total rules applied 10055 place count 6763 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 206 with 6 rules applied. Total rules applied 10061 place count 6763 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 207 with 21 rules applied. Total rules applied 10082 place count 6763 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 207 with 8 rules applied. Total rules applied 10090 place count 6759 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 207 with 6 rules applied. Total rules applied 10096 place count 6759 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 208 with 21 rules applied. Total rules applied 10117 place count 6759 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 208 with 8 rules applied. Total rules applied 10125 place count 6755 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 208 with 6 rules applied. Total rules applied 10131 place count 6755 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 209 with 21 rules applied. Total rules applied 10152 place count 6755 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 209 with 8 rules applied. Total rules applied 10160 place count 6751 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 209 with 6 rules applied. Total rules applied 10166 place count 6751 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 210 with 21 rules applied. Total rules applied 10187 place count 6751 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 210 with 8 rules applied. Total rules applied 10195 place count 6747 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 210 with 6 rules applied. Total rules applied 10201 place count 6747 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 211 with 21 rules applied. Total rules applied 10222 place count 6747 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 211 with 8 rules applied. Total rules applied 10230 place count 6743 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 211 with 6 rules applied. Total rules applied 10236 place count 6743 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 212 with 21 rules applied. Total rules applied 10257 place count 6743 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 212 with 8 rules applied. Total rules applied 10265 place count 6739 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 212 with 6 rules applied. Total rules applied 10271 place count 6739 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 213 with 21 rules applied. Total rules applied 10292 place count 6739 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 213 with 8 rules applied. Total rules applied 10300 place count 6735 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 213 with 6 rules applied. Total rules applied 10306 place count 6735 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 214 with 21 rules applied. Total rules applied 10327 place count 6735 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 214 with 8 rules applied. Total rules applied 10335 place count 6731 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 214 with 6 rules applied. Total rules applied 10341 place count 6731 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 215 with 21 rules applied. Total rules applied 10362 place count 6731 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 215 with 8 rules applied. Total rules applied 10370 place count 6727 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 215 with 6 rules applied. Total rules applied 10376 place count 6727 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 216 with 21 rules applied. Total rules applied 10397 place count 6727 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 216 with 8 rules applied. Total rules applied 10405 place count 6723 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 216 with 6 rules applied. Total rules applied 10411 place count 6723 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 217 with 21 rules applied. Total rules applied 10432 place count 6723 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 217 with 8 rules applied. Total rules applied 10440 place count 6719 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 217 with 6 rules applied. Total rules applied 10446 place count 6719 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 218 with 21 rules applied. Total rules applied 10467 place count 6719 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 218 with 8 rules applied. Total rules applied 10475 place count 6715 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 218 with 6 rules applied. Total rules applied 10481 place count 6715 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 219 with 21 rules applied. Total rules applied 10502 place count 6715 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 219 with 8 rules applied. Total rules applied 10510 place count 6711 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 219 with 6 rules applied. Total rules applied 10516 place count 6711 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 220 with 21 rules applied. Total rules applied 10537 place count 6711 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 220 with 8 rules applied. Total rules applied 10545 place count 6707 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 220 with 6 rules applied. Total rules applied 10551 place count 6707 transition count 16031
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 221 with 21 rules applied. Total rules applied 10572 place count 6707 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 221 with 8 rules applied. Total rules applied 10580 place count 6703 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 221 with 6 rules applied. Total rules applied 10586 place count 6703 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 222 with 21 rules applied. Total rules applied 10607 place count 6703 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 222 with 8 rules applied. Total rules applied 10615 place count 6699 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 222 with 6 rules applied. Total rules applied 10621 place count 6699 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 223 with 21 rules applied. Total rules applied 10642 place count 6699 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 223 with 8 rules applied. Total rules applied 10650 place count 6695 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 223 with 6 rules applied. Total rules applied 10656 place count 6695 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 224 with 21 rules applied. Total rules applied 10677 place count 6695 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 224 with 8 rules applied. Total rules applied 10685 place count 6691 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 224 with 6 rules applied. Total rules applied 10691 place count 6691 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 225 with 21 rules applied. Total rules applied 10712 place count 6691 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 225 with 8 rules applied. Total rules applied 10720 place count 6687 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 225 with 6 rules applied. Total rules applied 10726 place count 6687 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 226 with 21 rules applied. Total rules applied 10747 place count 6687 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 226 with 8 rules applied. Total rules applied 10755 place count 6683 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 226 with 6 rules applied. Total rules applied 10761 place count 6683 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 227 with 21 rules applied. Total rules applied 10782 place count 6683 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 227 with 8 rules applied. Total rules applied 10790 place count 6679 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 227 with 6 rules applied. Total rules applied 10796 place count 6679 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 228 with 21 rules applied. Total rules applied 10817 place count 6679 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 228 with 8 rules applied. Total rules applied 10825 place count 6675 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 228 with 6 rules applied. Total rules applied 10831 place count 6675 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 229 with 21 rules applied. Total rules applied 10852 place count 6675 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 229 with 8 rules applied. Total rules applied 10860 place count 6671 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 229 with 6 rules applied. Total rules applied 10866 place count 6671 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 230 with 21 rules applied. Total rules applied 10887 place count 6671 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 230 with 8 rules applied. Total rules applied 10895 place count 6667 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 230 with 6 rules applied. Total rules applied 10901 place count 6667 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 231 with 21 rules applied. Total rules applied 10922 place count 6667 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 231 with 8 rules applied. Total rules applied 10930 place count 6663 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 231 with 6 rules applied. Total rules applied 10936 place count 6663 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 232 with 21 rules applied. Total rules applied 10957 place count 6663 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 232 with 8 rules applied. Total rules applied 10965 place count 6659 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 232 with 6 rules applied. Total rules applied 10971 place count 6659 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 233 with 21 rules applied. Total rules applied 10992 place count 6659 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 233 with 8 rules applied. Total rules applied 11000 place count 6655 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 233 with 6 rules applied. Total rules applied 11006 place count 6655 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 234 with 21 rules applied. Total rules applied 11027 place count 6655 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 234 with 8 rules applied. Total rules applied 11035 place count 6651 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 234 with 6 rules applied. Total rules applied 11041 place count 6651 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 235 with 21 rules applied. Total rules applied 11062 place count 6651 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 235 with 8 rules applied. Total rules applied 11070 place count 6647 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 235 with 6 rules applied. Total rules applied 11076 place count 6647 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 236 with 21 rules applied. Total rules applied 11097 place count 6647 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 236 with 8 rules applied. Total rules applied 11105 place count 6643 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 236 with 6 rules applied. Total rules applied 11111 place count 6643 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 237 with 21 rules applied. Total rules applied 11132 place count 6643 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 237 with 8 rules applied. Total rules applied 11140 place count 6639 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 237 with 6 rules applied. Total rules applied 11146 place count 6639 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 238 with 21 rules applied. Total rules applied 11167 place count 6639 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 238 with 8 rules applied. Total rules applied 11175 place count 6635 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 238 with 6 rules applied. Total rules applied 11181 place count 6635 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 239 with 21 rules applied. Total rules applied 11202 place count 6635 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 239 with 8 rules applied. Total rules applied 11210 place count 6631 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 239 with 6 rules applied. Total rules applied 11216 place count 6631 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 240 with 21 rules applied. Total rules applied 11237 place count 6631 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 240 with 8 rules applied. Total rules applied 11245 place count 6627 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 240 with 6 rules applied. Total rules applied 11251 place count 6627 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 241 with 21 rules applied. Total rules applied 11272 place count 6627 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 241 with 8 rules applied. Total rules applied 11280 place count 6623 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 241 with 6 rules applied. Total rules applied 11286 place count 6623 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 242 with 21 rules applied. Total rules applied 11307 place count 6623 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 242 with 8 rules applied. Total rules applied 11315 place count 6619 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 242 with 6 rules applied. Total rules applied 11321 place count 6619 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 243 with 21 rules applied. Total rules applied 11342 place count 6619 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 243 with 8 rules applied. Total rules applied 11350 place count 6615 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 243 with 6 rules applied. Total rules applied 11356 place count 6615 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 244 with 21 rules applied. Total rules applied 11377 place count 6615 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 244 with 8 rules applied. Total rules applied 11385 place count 6611 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 244 with 6 rules applied. Total rules applied 11391 place count 6611 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 245 with 21 rules applied. Total rules applied 11412 place count 6611 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 245 with 8 rules applied. Total rules applied 11420 place count 6607 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 245 with 6 rules applied. Total rules applied 11426 place count 6607 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 246 with 21 rules applied. Total rules applied 11447 place count 6607 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 246 with 8 rules applied. Total rules applied 11455 place count 6603 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 246 with 6 rules applied. Total rules applied 11461 place count 6603 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 247 with 21 rules applied. Total rules applied 11482 place count 6603 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 247 with 8 rules applied. Total rules applied 11490 place count 6599 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 247 with 6 rules applied. Total rules applied 11496 place count 6599 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 248 with 21 rules applied. Total rules applied 11517 place count 6599 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 248 with 8 rules applied. Total rules applied 11525 place count 6595 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 248 with 6 rules applied. Total rules applied 11531 place count 6595 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 249 with 21 rules applied. Total rules applied 11552 place count 6595 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 249 with 8 rules applied. Total rules applied 11560 place count 6591 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 249 with 6 rules applied. Total rules applied 11566 place count 6591 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 250 with 21 rules applied. Total rules applied 11587 place count 6591 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 250 with 8 rules applied. Total rules applied 11595 place count 6587 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 250 with 6 rules applied. Total rules applied 11601 place count 6587 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 251 with 21 rules applied. Total rules applied 11622 place count 6587 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 251 with 8 rules applied. Total rules applied 11630 place count 6583 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 251 with 6 rules applied. Total rules applied 11636 place count 6583 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 252 with 21 rules applied. Total rules applied 11657 place count 6583 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 252 with 8 rules applied. Total rules applied 11665 place count 6579 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 252 with 6 rules applied. Total rules applied 11671 place count 6579 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 253 with 21 rules applied. Total rules applied 11692 place count 6579 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 253 with 8 rules applied. Total rules applied 11700 place count 6575 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 253 with 6 rules applied. Total rules applied 11706 place count 6575 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 254 with 21 rules applied. Total rules applied 11727 place count 6575 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 254 with 8 rules applied. Total rules applied 11735 place count 6571 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 254 with 6 rules applied. Total rules applied 11741 place count 6571 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 255 with 21 rules applied. Total rules applied 11762 place count 6571 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 255 with 8 rules applied. Total rules applied 11770 place count 6567 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 255 with 6 rules applied. Total rules applied 11776 place count 6567 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 256 with 21 rules applied. Total rules applied 11797 place count 6567 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 256 with 8 rules applied. Total rules applied 11805 place count 6563 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 256 with 6 rules applied. Total rules applied 11811 place count 6563 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 257 with 21 rules applied. Total rules applied 11832 place count 6563 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 257 with 8 rules applied. Total rules applied 11840 place count 6559 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 257 with 6 rules applied. Total rules applied 11846 place count 6559 transition count 16032
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 258 with 20 rules applied. Total rules applied 11866 place count 6559 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 258 with 8 rules applied. Total rules applied 11874 place count 6555 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 258 with 6 rules applied. Total rules applied 11880 place count 6555 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 259 with 21 rules applied. Total rules applied 11901 place count 6555 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 259 with 8 rules applied. Total rules applied 11909 place count 6551 transition count 16040
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 259 with 6 rules applied. Total rules applied 11915 place count 6551 transition count 16034
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 260 with 20 rules applied. Total rules applied 11935 place count 6551 transition count 16014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 260 with 8 rules applied. Total rules applied 11943 place count 6547 transition count 16041
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 260 with 6 rules applied. Total rules applied 11949 place count 6547 transition count 16035
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 261 with 21 rules applied. Total rules applied 11970 place count 6547 transition count 16014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 261 with 8 rules applied. Total rules applied 11978 place count 6543 transition count 16041
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 261 with 6 rules applied. Total rules applied 11984 place count 6543 transition count 16035
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 262 with 21 rules applied. Total rules applied 12005 place count 6543 transition count 16014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 262 with 8 rules applied. Total rules applied 12013 place count 6539 transition count 16041
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 262 with 6 rules applied. Total rules applied 12019 place count 6539 transition count 16035
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 263 with 21 rules applied. Total rules applied 12040 place count 6539 transition count 16014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 263 with 8 rules applied. Total rules applied 12048 place count 6535 transition count 16041
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 263 with 6 rules applied. Total rules applied 12054 place count 6535 transition count 16035
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 264 with 21 rules applied. Total rules applied 12075 place count 6535 transition count 16014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 264 with 8 rules applied. Total rules applied 12083 place count 6531 transition count 16041
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 264 with 6 rules applied. Total rules applied 12089 place count 6531 transition count 16035
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 265 with 21 rules applied. Total rules applied 12110 place count 6531 transition count 16014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 265 with 8 rules applied. Total rules applied 12118 place count 6527 transition count 16041
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 265 with 6 rules applied. Total rules applied 12124 place count 6527 transition count 16035
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 266 with 21 rules applied. Total rules applied 12145 place count 6527 transition count 16014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 266 with 8 rules applied. Total rules applied 12153 place count 6523 transition count 16041
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 266 with 6 rules applied. Total rules applied 12159 place count 6523 transition count 16035
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 267 with 21 rules applied. Total rules applied 12180 place count 6523 transition count 16014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 267 with 8 rules applied. Total rules applied 12188 place count 6519 transition count 16041
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 267 with 6 rules applied. Total rules applied 12194 place count 6519 transition count 16035
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 268 with 21 rules applied. Total rules applied 12215 place count 6519 transition count 16014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 268 with 8 rules applied. Total rules applied 12223 place count 6515 transition count 16041
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 268 with 6 rules applied. Total rules applied 12229 place count 6515 transition count 16035
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 269 with 21 rules applied. Total rules applied 12250 place count 6515 transition count 16014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 269 with 8 rules applied. Total rules applied 12258 place count 6511 transition count 16041
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 269 with 6 rules applied. Total rules applied 12264 place count 6511 transition count 16035
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 270 with 21 rules applied. Total rules applied 12285 place count 6511 transition count 16014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 270 with 8 rules applied. Total rules applied 12293 place count 6507 transition count 16041
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 270 with 6 rules applied. Total rules applied 12299 place count 6507 transition count 16035
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 271 with 21 rules applied. Total rules applied 12320 place count 6507 transition count 16014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 271 with 8 rules applied. Total rules applied 12328 place count 6503 transition count 16041
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 271 with 6 rules applied. Total rules applied 12334 place count 6503 transition count 16035
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 272 with 21 rules applied. Total rules applied 12355 place count 6503 transition count 16014
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 272 with 8 rules applied. Total rules applied 12363 place count 6499 transition count 16042
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 272 with 7 rules applied. Total rules applied 12370 place count 6499 transition count 16035
Drop transitions removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 273 with 23 rules applied. Total rules applied 12393 place count 6499 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 273 with 8 rules applied. Total rules applied 12401 place count 6495 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 273 with 6 rules applied. Total rules applied 12407 place count 6495 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 274 with 21 rules applied. Total rules applied 12428 place count 6495 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 274 with 8 rules applied. Total rules applied 12436 place count 6491 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 274 with 6 rules applied. Total rules applied 12442 place count 6491 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 275 with 21 rules applied. Total rules applied 12463 place count 6491 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 275 with 8 rules applied. Total rules applied 12471 place count 6487 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 275 with 6 rules applied. Total rules applied 12477 place count 6487 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 276 with 21 rules applied. Total rules applied 12498 place count 6487 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 276 with 8 rules applied. Total rules applied 12506 place count 6483 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 276 with 6 rules applied. Total rules applied 12512 place count 6483 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 277 with 21 rules applied. Total rules applied 12533 place count 6483 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 277 with 8 rules applied. Total rules applied 12541 place count 6479 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 277 with 6 rules applied. Total rules applied 12547 place count 6479 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 278 with 21 rules applied. Total rules applied 12568 place count 6479 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 278 with 8 rules applied. Total rules applied 12576 place count 6475 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 278 with 6 rules applied. Total rules applied 12582 place count 6475 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 279 with 21 rules applied. Total rules applied 12603 place count 6475 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 279 with 8 rules applied. Total rules applied 12611 place count 6471 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 279 with 6 rules applied. Total rules applied 12617 place count 6471 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 280 with 21 rules applied. Total rules applied 12638 place count 6471 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 280 with 8 rules applied. Total rules applied 12646 place count 6467 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 280 with 6 rules applied. Total rules applied 12652 place count 6467 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 281 with 21 rules applied. Total rules applied 12673 place count 6467 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 9 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 281 with 8 rules applied. Total rules applied 12681 place count 6463 transition count 16039
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 281 with 6 rules applied. Total rules applied 12687 place count 6463 transition count 16033
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 282 with 21 rules applied. Total rules applied 12708 place count 6463 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 282 with 8 rules applied. Total rules applied 12716 place count 6459 transition count 16040
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 282 with 7 rules applied. Total rules applied 12723 place count 6459 transition count 16033
Drop transitions removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 283 with 23 rules applied. Total rules applied 12746 place count 6459 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 283 with 8 rules applied. Total rules applied 12754 place count 6455 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 283 with 6 rules applied. Total rules applied 12760 place count 6455 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 284 with 21 rules applied. Total rules applied 12781 place count 6455 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 284 with 8 rules applied. Total rules applied 12789 place count 6451 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 284 with 6 rules applied. Total rules applied 12795 place count 6451 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 285 with 21 rules applied. Total rules applied 12816 place count 6451 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 285 with 8 rules applied. Total rules applied 12824 place count 6447 transition count 16037
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 285 with 7 rules applied. Total rules applied 12831 place count 6447 transition count 16030
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 286 with 20 rules applied. Total rules applied 12851 place count 6447 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 286 with 8 rules applied. Total rules applied 12859 place count 6443 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 286 with 6 rules applied. Total rules applied 12865 place count 6443 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 287 with 21 rules applied. Total rules applied 12886 place count 6443 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 287 with 8 rules applied. Total rules applied 12894 place count 6439 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 287 with 6 rules applied. Total rules applied 12900 place count 6439 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 288 with 21 rules applied. Total rules applied 12921 place count 6439 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 288 with 8 rules applied. Total rules applied 12929 place count 6435 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 288 with 6 rules applied. Total rules applied 12935 place count 6435 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 289 with 21 rules applied. Total rules applied 12956 place count 6435 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 289 with 8 rules applied. Total rules applied 12964 place count 6431 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 289 with 6 rules applied. Total rules applied 12970 place count 6431 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 290 with 21 rules applied. Total rules applied 12991 place count 6431 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 290 with 8 rules applied. Total rules applied 12999 place count 6427 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 290 with 6 rules applied. Total rules applied 13005 place count 6427 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 291 with 21 rules applied. Total rules applied 13026 place count 6427 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 291 with 8 rules applied. Total rules applied 13034 place count 6423 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 291 with 6 rules applied. Total rules applied 13040 place count 6423 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 292 with 21 rules applied. Total rules applied 13061 place count 6423 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 292 with 8 rules applied. Total rules applied 13069 place count 6419 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 292 with 6 rules applied. Total rules applied 13075 place count 6419 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 293 with 21 rules applied. Total rules applied 13096 place count 6419 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 293 with 8 rules applied. Total rules applied 13104 place count 6415 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 293 with 6 rules applied. Total rules applied 13110 place count 6415 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 294 with 21 rules applied. Total rules applied 13131 place count 6415 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 294 with 8 rules applied. Total rules applied 13139 place count 6411 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 294 with 6 rules applied. Total rules applied 13145 place count 6411 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 295 with 21 rules applied. Total rules applied 13166 place count 6411 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 295 with 8 rules applied. Total rules applied 13174 place count 6407 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 295 with 6 rules applied. Total rules applied 13180 place count 6407 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 296 with 21 rules applied. Total rules applied 13201 place count 6407 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 296 with 8 rules applied. Total rules applied 13209 place count 6403 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 296 with 6 rules applied. Total rules applied 13215 place count 6403 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 297 with 21 rules applied. Total rules applied 13236 place count 6403 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 297 with 8 rules applied. Total rules applied 13244 place count 6399 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 297 with 6 rules applied. Total rules applied 13250 place count 6399 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 298 with 21 rules applied. Total rules applied 13271 place count 6399 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 298 with 8 rules applied. Total rules applied 13279 place count 6395 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 298 with 6 rules applied. Total rules applied 13285 place count 6395 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 299 with 21 rules applied. Total rules applied 13306 place count 6395 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 299 with 8 rules applied. Total rules applied 13314 place count 6391 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 299 with 6 rules applied. Total rules applied 13320 place count 6391 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 300 with 21 rules applied. Total rules applied 13341 place count 6391 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 300 with 8 rules applied. Total rules applied 13349 place count 6387 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 300 with 6 rules applied. Total rules applied 13355 place count 6387 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 301 with 21 rules applied. Total rules applied 13376 place count 6387 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 301 with 8 rules applied. Total rules applied 13384 place count 6383 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 301 with 6 rules applied. Total rules applied 13390 place count 6383 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 302 with 21 rules applied. Total rules applied 13411 place count 6383 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 302 with 8 rules applied. Total rules applied 13419 place count 6379 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 302 with 6 rules applied. Total rules applied 13425 place count 6379 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 303 with 21 rules applied. Total rules applied 13446 place count 6379 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 303 with 8 rules applied. Total rules applied 13454 place count 6375 transition count 16037
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 303 with 7 rules applied. Total rules applied 13461 place count 6375 transition count 16030
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 304 with 20 rules applied. Total rules applied 13481 place count 6375 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 304 with 8 rules applied. Total rules applied 13489 place count 6371 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 304 with 6 rules applied. Total rules applied 13495 place count 6371 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 305 with 21 rules applied. Total rules applied 13516 place count 6371 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 305 with 8 rules applied. Total rules applied 13524 place count 6367 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 305 with 6 rules applied. Total rules applied 13530 place count 6367 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 306 with 21 rules applied. Total rules applied 13551 place count 6367 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 306 with 8 rules applied. Total rules applied 13559 place count 6363 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 306 with 6 rules applied. Total rules applied 13565 place count 6363 transition count 16031
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 307 with 21 rules applied. Total rules applied 13586 place count 6363 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 307 with 8 rules applied. Total rules applied 13594 place count 6359 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 307 with 6 rules applied. Total rules applied 13600 place count 6359 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 308 with 21 rules applied. Total rules applied 13621 place count 6359 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 308 with 8 rules applied. Total rules applied 13629 place count 6355 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 308 with 6 rules applied. Total rules applied 13635 place count 6355 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 309 with 21 rules applied. Total rules applied 13656 place count 6355 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 309 with 8 rules applied. Total rules applied 13664 place count 6351 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 309 with 6 rules applied. Total rules applied 13670 place count 6351 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 310 with 21 rules applied. Total rules applied 13691 place count 6351 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 310 with 8 rules applied. Total rules applied 13699 place count 6347 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 310 with 6 rules applied. Total rules applied 13705 place count 6347 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 311 with 21 rules applied. Total rules applied 13726 place count 6347 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 311 with 8 rules applied. Total rules applied 13734 place count 6343 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 311 with 6 rules applied. Total rules applied 13740 place count 6343 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 312 with 21 rules applied. Total rules applied 13761 place count 6343 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 312 with 8 rules applied. Total rules applied 13769 place count 6339 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 312 with 6 rules applied. Total rules applied 13775 place count 6339 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 313 with 21 rules applied. Total rules applied 13796 place count 6339 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 313 with 8 rules applied. Total rules applied 13804 place count 6335 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 313 with 6 rules applied. Total rules applied 13810 place count 6335 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 314 with 21 rules applied. Total rules applied 13831 place count 6335 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 314 with 8 rules applied. Total rules applied 13839 place count 6331 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 314 with 6 rules applied. Total rules applied 13845 place count 6331 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 315 with 21 rules applied. Total rules applied 13866 place count 6331 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 8 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 315 with 8 rules applied. Total rules applied 13874 place count 6327 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 315 with 6 rules applied. Total rules applied 13880 place count 6327 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 316 with 21 rules applied. Total rules applied 13901 place count 6327 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 316 with 8 rules applied. Total rules applied 13909 place count 6323 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 316 with 6 rules applied. Total rules applied 13915 place count 6323 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 317 with 21 rules applied. Total rules applied 13936 place count 6323 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 317 with 8 rules applied. Total rules applied 13944 place count 6319 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 317 with 6 rules applied. Total rules applied 13950 place count 6319 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 318 with 21 rules applied. Total rules applied 13971 place count 6319 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 318 with 8 rules applied. Total rules applied 13979 place count 6315 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 318 with 6 rules applied. Total rules applied 13985 place count 6315 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 319 with 21 rules applied. Total rules applied 14006 place count 6315 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 319 with 8 rules applied. Total rules applied 14014 place count 6311 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 319 with 6 rules applied. Total rules applied 14020 place count 6311 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 320 with 21 rules applied. Total rules applied 14041 place count 6311 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 320 with 8 rules applied. Total rules applied 14049 place count 6307 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 320 with 6 rules applied. Total rules applied 14055 place count 6307 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 321 with 21 rules applied. Total rules applied 14076 place count 6307 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 321 with 8 rules applied. Total rules applied 14084 place count 6303 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 321 with 6 rules applied. Total rules applied 14090 place count 6303 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 322 with 21 rules applied. Total rules applied 14111 place count 6303 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 322 with 8 rules applied. Total rules applied 14119 place count 6299 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 322 with 6 rules applied. Total rules applied 14125 place count 6299 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 323 with 21 rules applied. Total rules applied 14146 place count 6299 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 323 with 8 rules applied. Total rules applied 14154 place count 6295 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 323 with 6 rules applied. Total rules applied 14160 place count 6295 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 324 with 21 rules applied. Total rules applied 14181 place count 6295 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 324 with 8 rules applied. Total rules applied 14189 place count 6291 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 324 with 6 rules applied. Total rules applied 14195 place count 6291 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 325 with 21 rules applied. Total rules applied 14216 place count 6291 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 325 with 8 rules applied. Total rules applied 14224 place count 6287 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 325 with 6 rules applied. Total rules applied 14230 place count 6287 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 326 with 21 rules applied. Total rules applied 14251 place count 6287 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 326 with 8 rules applied. Total rules applied 14259 place count 6283 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 326 with 6 rules applied. Total rules applied 14265 place count 6283 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 327 with 21 rules applied. Total rules applied 14286 place count 6283 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 327 with 8 rules applied. Total rules applied 14294 place count 6279 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 327 with 6 rules applied. Total rules applied 14300 place count 6279 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 328 with 21 rules applied. Total rules applied 14321 place count 6279 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 328 with 8 rules applied. Total rules applied 14329 place count 6275 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 328 with 6 rules applied. Total rules applied 14335 place count 6275 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 329 with 21 rules applied. Total rules applied 14356 place count 6275 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 329 with 8 rules applied. Total rules applied 14364 place count 6271 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 329 with 6 rules applied. Total rules applied 14370 place count 6271 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 330 with 21 rules applied. Total rules applied 14391 place count 6271 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 330 with 8 rules applied. Total rules applied 14399 place count 6267 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 330 with 6 rules applied. Total rules applied 14405 place count 6267 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 331 with 21 rules applied. Total rules applied 14426 place count 6267 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 331 with 8 rules applied. Total rules applied 14434 place count 6263 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 331 with 6 rules applied. Total rules applied 14440 place count 6263 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 332 with 21 rules applied. Total rules applied 14461 place count 6263 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 332 with 8 rules applied. Total rules applied 14469 place count 6259 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 332 with 6 rules applied. Total rules applied 14475 place count 6259 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 333 with 21 rules applied. Total rules applied 14496 place count 6259 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 333 with 8 rules applied. Total rules applied 14504 place count 6255 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 333 with 6 rules applied. Total rules applied 14510 place count 6255 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 334 with 21 rules applied. Total rules applied 14531 place count 6255 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 334 with 8 rules applied. Total rules applied 14539 place count 6251 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 334 with 6 rules applied. Total rules applied 14545 place count 6251 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 335 with 21 rules applied. Total rules applied 14566 place count 6251 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 335 with 8 rules applied. Total rules applied 14574 place count 6247 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 335 with 6 rules applied. Total rules applied 14580 place count 6247 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 336 with 21 rules applied. Total rules applied 14601 place count 6247 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 336 with 8 rules applied. Total rules applied 14609 place count 6243 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 336 with 6 rules applied. Total rules applied 14615 place count 6243 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 337 with 21 rules applied. Total rules applied 14636 place count 6243 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 337 with 8 rules applied. Total rules applied 14644 place count 6239 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 337 with 6 rules applied. Total rules applied 14650 place count 6239 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 338 with 21 rules applied. Total rules applied 14671 place count 6239 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 338 with 8 rules applied. Total rules applied 14679 place count 6235 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 338 with 6 rules applied. Total rules applied 14685 place count 6235 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 339 with 21 rules applied. Total rules applied 14706 place count 6235 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 339 with 8 rules applied. Total rules applied 14714 place count 6231 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 339 with 6 rules applied. Total rules applied 14720 place count 6231 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 340 with 21 rules applied. Total rules applied 14741 place count 6231 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 340 with 8 rules applied. Total rules applied 14749 place count 6227 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 340 with 6 rules applied. Total rules applied 14755 place count 6227 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 341 with 21 rules applied. Total rules applied 14776 place count 6227 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 341 with 8 rules applied. Total rules applied 14784 place count 6223 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 341 with 6 rules applied. Total rules applied 14790 place count 6223 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 342 with 21 rules applied. Total rules applied 14811 place count 6223 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 342 with 8 rules applied. Total rules applied 14819 place count 6219 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 342 with 6 rules applied. Total rules applied 14825 place count 6219 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 343 with 21 rules applied. Total rules applied 14846 place count 6219 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 343 with 8 rules applied. Total rules applied 14854 place count 6215 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 343 with 6 rules applied. Total rules applied 14860 place count 6215 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 344 with 21 rules applied. Total rules applied 14881 place count 6215 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 344 with 8 rules applied. Total rules applied 14889 place count 6211 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 344 with 6 rules applied. Total rules applied 14895 place count 6211 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 345 with 21 rules applied. Total rules applied 14916 place count 6211 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 345 with 8 rules applied. Total rules applied 14924 place count 6207 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 345 with 6 rules applied. Total rules applied 14930 place count 6207 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 346 with 21 rules applied. Total rules applied 14951 place count 6207 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 346 with 8 rules applied. Total rules applied 14959 place count 6203 transition count 16037
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 346 with 6 rules applied. Total rules applied 14965 place count 6203 transition count 16031
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 347 with 21 rules applied. Total rules applied 14986 place count 6203 transition count 16010
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 347 with 8 rules applied. Total rules applied 14994 place count 6199 transition count 16038
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 347 with 7 rules applied. Total rules applied 15001 place count 6199 transition count 16031
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 348 with 20 rules applied. Total rules applied 15021 place count 6199 transition count 16011
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 348 with 8 rules applied. Total rules applied 15029 place count 6195 transition count 16038
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 348 with 6 rules applied. Total rules applied 15035 place count 6195 transition count 16032
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 349 with 20 rules applied. Total rules applied 15055 place count 6195 transition count 16012
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 349 with 8 rules applied. Total rules applied 15063 place count 6191 transition count 16039
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 349 with 5 rules applied. Total rules applied 15068 place count 6191 transition count 16034
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 350 with 21 rules applied. Total rules applied 15089 place count 6191 transition count 16013
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 350 with 8 rules applied. Total rules applied 15097 place count 6187 transition count 16040
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 350 with 6 rules applied. Total rules applied 15103 place count 6187 transition count 16034
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393216 kB
MemFree: 14573888 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16111328 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ 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 QuasiLiveness -timeout 180 -rebuildPNML

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool lolaxred"
echo " Input is DLCshifumi-PT-6b, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r117-tall-167814495900542"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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