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.r119-tall-167814497900542.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool ltsminxred
Input is DLCshifumi-PT-6b, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r119-tall-167814497900542
=====================================================================

--------------------
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 1679416550992

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=ltsminxred
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=DLCshifumi-PT-6b
Applying reductions before tool ltsmin
Invoking reducer
Running Version 202303021504
[2023-03-21 16:35:52] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -timeout, 180, -rebuildPNML]
[2023-03-21 16:35:52] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 16:35:53] [INFO ] Load time of PNML (sax parser for PT used): 906 ms
[2023-03-21 16:35:54] [INFO ] Transformed 44243 places.
[2023-03-21 16:35:54] [INFO ] Transformed 66611 transitions.
[2023-03-21 16:35:54] [INFO ] Found NUPN structural information;
[2023-03-21 16:35:56] [INFO ] Parsed PT model containing 44243 places and 66611 transitions and 182532 arcs in 3985 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 112 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 2787 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 16 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 20 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 12 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 7 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 7 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 11993 ms. Remains 8384 /44243 variables (removed 35859) and now considering 32633/66611 (removed 33978) transitions.
[2023-03-21 16:36:08] [INFO ] Flow matrix only has 31616 transitions (discarded 1017 similar events)
// Phase 1: matrix 31616 rows 8384 cols
[2023-03-21 16:36:08] [INFO ] Computed 2415 place invariants in 148 ms
[2023-03-21 16:36:09] [INFO ] Implicit Places using invariants in 1447 ms returned []
Implicit Place search using SMT only with invariants took 1475 ms to find 0 implicit places.
[2023-03-21 16:36:09] [INFO ] Flow matrix only has 31616 transitions (discarded 1017 similar events)
[2023-03-21 16:36:10] [INFO ] Invariant cache hit.
[2023-03-21 16:36:11] [INFO ] Dead Transitions using invariants and state equation in 1277 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 14754 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 3617 ms. (steps per millisecond=2 ) properties (out of 25837) seen :7180
Running SMT prover for 18657 properties.
[2023-03-21 16:36:15] [INFO ] Flow matrix only has 31616 transitions (discarded 1016 similar events)
// Phase 1: matrix 31616 rows 8384 cols
[2023-03-21 16:36:16] [INFO ] Computed 2415 place invariants in 79 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:36:41] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-21 16:36:41] [INFO ] After 25030ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 18657 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 4 ms.
Support contains 6007 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
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 208 place count 8383 transition count 32419
Iterating global reduction 1 with 1 rules applied. Total rules applied 209 place count 8383 transition count 32419
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 210 place count 8383 transition count 32418
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -4
Deduced a syphon composed of 1 places in 8 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 212 place count 8382 transition count 32422
Free-agglomeration rule applied 50 times with reduction of 3 identical transitions.
Iterating global reduction 2 with 50 rules applied. Total rules applied 262 place count 8382 transition count 32369
Reduce places removed 50 places and 0 transitions.
Drop transitions removed 42 transitions
Ensure Unique test removed 15 transitions
Reduce isomorphic transitions removed 57 transitions.
Iterating post reduction 2 with 107 rules applied. Total rules applied 369 place count 8332 transition count 32312
Applied a total of 369 rules in 2012 ms. Remains 8332 /8384 variables (removed 52) and now considering 32312/32632 (removed 320) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2015 ms. Remains : 8332/8384 places, 32312/32632 transitions.
Interrupted random walk after 180004 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 18561
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3021 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 3028 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 3122 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 3017 ms. (steps per millisecond=33 ) properties (out of 93) 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 92) 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 91) 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 90) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2979 ms. (steps per millisecond=33 ) properties (out of 89) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2977 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 2966 ms. (steps per millisecond=33 ) properties (out of 87) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2980 ms. (steps per millisecond=33 ) properties (out of 86) seen :0
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2993 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 2976 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 2975 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 2988 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 2981 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 3006 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 2957 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 2944 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 2945 ms. (steps per millisecond=33 ) properties (out of 78) seen :2
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2972 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 3144 ms. (steps per millisecond=31 ) properties (out of 75) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3160 ms. (steps per millisecond=31 ) properties (out of 74) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3164 ms. (steps per millisecond=31 ) properties (out of 73) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3098 ms. (steps per millisecond=32 ) properties (out of 72) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2932 ms. (steps per millisecond=34 ) properties (out of 71) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2940 ms. (steps per millisecond=34 ) properties (out of 70) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2948 ms. (steps per millisecond=33 ) properties (out of 69) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2924 ms. (steps per millisecond=34 ) properties (out of 68) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2949 ms. (steps per millisecond=33 ) properties (out of 67) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2939 ms. (steps per millisecond=34 ) properties (out of 66) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2942 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 2921 ms. (steps per millisecond=34 ) properties (out of 64) seen :2
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2948 ms. (steps per millisecond=33 ) properties (out of 62) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2957 ms. (steps per millisecond=33 ) properties (out of 61) 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 60) 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 59) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2943 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 3160 ms. (steps per millisecond=31 ) properties (out of 57) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3145 ms. (steps per millisecond=31 ) properties (out of 56) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3140 ms. (steps per millisecond=31 ) properties (out of 55) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3152 ms. (steps per millisecond=31 ) properties (out of 54) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3163 ms. (steps per millisecond=31 ) properties (out of 53) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3163 ms. (steps per millisecond=31 ) properties (out of 52) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3166 ms. (steps per millisecond=31 ) properties (out of 51) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3165 ms. (steps per millisecond=31 ) properties (out of 50) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3170 ms. (steps per millisecond=31 ) properties (out of 49) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3161 ms. (steps per millisecond=31 ) properties (out of 48) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3179 ms. (steps per millisecond=31 ) properties (out of 47) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3165 ms. (steps per millisecond=31 ) properties (out of 46) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3165 ms. (steps per millisecond=31 ) properties (out of 45) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3185 ms. (steps per millisecond=31 ) properties (out of 44) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3183 ms. (steps per millisecond=31 ) properties (out of 43) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3184 ms. (steps per millisecond=31 ) properties (out of 42) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3170 ms. (steps per millisecond=31 ) properties (out of 41) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3180 ms. (steps per millisecond=31 ) properties (out of 40) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3176 ms. (steps per millisecond=31 ) properties (out of 39) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3176 ms. (steps per millisecond=31 ) properties (out of 38) seen :0
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3162 ms. (steps per millisecond=31 ) properties (out of 38) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3166 ms. (steps per millisecond=31 ) properties (out of 37) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3173 ms. (steps per millisecond=31 ) properties (out of 36) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3162 ms. (steps per millisecond=31 ) properties (out of 35) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3161 ms. (steps per millisecond=31 ) properties (out of 34) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3157 ms. (steps per millisecond=31 ) properties (out of 33) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3164 ms. (steps per millisecond=31 ) properties (out of 32) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3159 ms. (steps per millisecond=31 ) properties (out of 31) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3172 ms. (steps per millisecond=31 ) properties (out of 30) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3160 ms. (steps per millisecond=31 ) properties (out of 29) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3163 ms. (steps per millisecond=31 ) properties (out of 28) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3167 ms. (steps per millisecond=31 ) properties (out of 27) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3171 ms. (steps per millisecond=31 ) properties (out of 26) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3203 ms. (steps per millisecond=31 ) properties (out of 25) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3170 ms. (steps per millisecond=31 ) properties (out of 24) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3143 ms. (steps per millisecond=31 ) properties (out of 23) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3203 ms. (steps per millisecond=31 ) properties (out of 22) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 3183 ms. (steps per millisecond=31 ) properties (out of 21) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2942 ms. (steps per millisecond=33 ) properties (out of 20) seen :0
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2931 ms. (steps per millisecond=34 ) properties (out of 20) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2952 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 2934 ms. (steps per millisecond=34 ) properties (out of 18) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2933 ms. (steps per millisecond=34 ) properties (out of 17) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2921 ms. (steps per millisecond=34 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2928 ms. (steps per millisecond=34 ) properties (out of 15) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2931 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 2920 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 2922 ms. (steps per millisecond=34 ) properties (out of 12) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2928 ms. (steps per millisecond=34 ) properties (out of 11) 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 10) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2932 ms. (steps per millisecond=34 ) properties (out of 9) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2905 ms. (steps per millisecond=34 ) properties (out of 8) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2905 ms. (steps per millisecond=34 ) properties (out of 7) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2935 ms. (steps per millisecond=34 ) properties (out of 6) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2938 ms. (steps per millisecond=34 ) properties (out of 5) 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 4) seen :1
Running SMT prover for 3 properties.
[2023-03-21 16:42:00] [INFO ] Flow matrix only has 31427 transitions (discarded 885 similar events)
// Phase 1: matrix 31427 rows 8332 cols
[2023-03-21 16:42:00] [INFO ] Computed 2415 place invariants in 70 ms
[2023-03-21 16:42:01] [INFO ] [Real]Absence check using 2415 positive place invariants in 691 ms returned sat
[2023-03-21 16:42:21] [INFO ] After 19580ms SMT Verify possible using state equation in real domain returned unsat :0 sat :3
[2023-03-21 16:42:21] [INFO ] State equation strengthened by 3125 read => feed constraints.
[2023-03-21 16:42:26] [INFO ] After 4039ms SMT Verify possible using 3125 Read/Feed constraints in real domain returned unsat :0 sat :0 real:3
[2023-03-21 16:42:26] [INFO ] After 25869ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:3
[2023-03-21 16:42:27] [INFO ] [Nat]Absence check using 2415 positive place invariants in 736 ms returned sat
[2023-03-21 16:42:48] [INFO ] After 20560ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :3
[2023-03-21 16:42:52] [INFO ] After 3418ms SMT Verify possible using 3125 Read/Feed constraints in natural domain returned unsat :0 sat :3
[2023-03-21 16:42:55] [INFO ] After 6319ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :3
Attempting to minimize the solution found.
Minimization took 1940 ms.
[2023-03-21 16:42:57] [INFO ] After 31005ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :3
Fused 3 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 6 out of 8332 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8332/8332 places, 32312/32312 transitions.
Discarding 535 places :
Symmetric choice reduction at 0 with 535 rule applications. Total rules 535 place count 7797 transition count 20654
Iterating global reduction 0 with 535 rules applied. Total rules applied 1070 place count 7797 transition count 20654
Ensure Unique test removed 1182 transitions
Reduce isomorphic transitions removed 1182 transitions.
Iterating post reduction 0 with 1182 rules applied. Total rules applied 2252 place count 7797 transition count 19472
Performed 101 Post agglomeration using F-continuation condition with reduction of 192 identical transitions.
Deduced a syphon composed of 101 places in 4 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 1 with 202 rules applied. Total rules applied 2454 place count 7696 transition count 20080
Discarding 32 places :
Symmetric choice reduction at 1 with 32 rule applications. Total rules 2486 place count 7664 transition count 19696
Iterating global reduction 1 with 32 rules applied. Total rules applied 2518 place count 7664 transition count 19696
Ensure Unique test removed 192 transitions
Reduce isomorphic transitions removed 192 transitions.
Iterating post reduction 1 with 192 rules applied. Total rules applied 2710 place count 7664 transition count 19504
Performed 45 Post agglomeration using F-continuation condition with reduction of 78 identical transitions.
Deduced a syphon composed of 45 places in 3 ms
Reduce places removed 45 places and 0 transitions.
Iterating global reduction 2 with 90 rules applied. Total rules applied 2800 place count 7619 transition count 19788
Drop transitions removed 9 transitions
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 2 with 19 rules applied. Total rules applied 2819 place count 7619 transition count 19769
Discarding 14 places :
Symmetric choice reduction at 3 with 14 rule applications. Total rules 2833 place count 7605 transition count 19601
Iterating global reduction 3 with 14 rules applied. Total rules applied 2847 place count 7605 transition count 19601
Ensure Unique test removed 84 transitions
Reduce isomorphic transitions removed 84 transitions.
Iterating post reduction 3 with 84 rules applied. Total rules applied 2931 place count 7605 transition count 19517
Drop transitions removed 50 transitions
Redundant transition composition rules discarded 50 transitions
Iterating global reduction 4 with 50 rules applied. Total rules applied 2981 place count 7605 transition count 19467
Discarding 12 places :
Symmetric choice reduction at 4 with 12 rule applications. Total rules 2993 place count 7593 transition count 19455
Iterating global reduction 4 with 12 rules applied. Total rules applied 3005 place count 7593 transition count 19455
Discarding 12 places :
Symmetric choice reduction at 4 with 12 rule applications. Total rules 3017 place count 7581 transition count 17197
Iterating global reduction 4 with 12 rules applied. Total rules applied 3029 place count 7581 transition count 17197
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 4 with 12 rules applied. Total rules applied 3041 place count 7581 transition count 17185
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 5 with 12 rules applied. Total rules applied 3053 place count 7575 transition count 17179
Discarding 6 places :
Symmetric choice reduction at 5 with 6 rule applications. Total rules 3059 place count 7569 transition count 16050
Iterating global reduction 5 with 6 rules applied. Total rules applied 3065 place count 7569 transition count 16050
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 5 with 6 rules applied. Total rules applied 3071 place count 7569 transition count 16044
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 4 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 6 with 8 rules applied. Total rules applied 3079 place count 7565 transition count 16074
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 6 with 6 rules applied. Total rules applied 3085 place count 7565 transition count 16068
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 7 with 22 rules applied. Total rules applied 3107 place count 7565 transition count 16046
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 7 with 8 rules applied. Total rules applied 3115 place count 7561 transition count 16073
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 7 with 6 rules applied. Total rules applied 3121 place count 7561 transition count 16067
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 8 with 21 rules applied. Total rules applied 3142 place count 7561 transition count 16046
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 8 with 8 rules applied. Total rules applied 3150 place count 7557 transition count 16074
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 8 with 7 rules applied. Total rules applied 3157 place count 7557 transition count 16067
Drop transitions removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 9 with 23 rules applied. Total rules applied 3180 place count 7557 transition count 16044
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 9 with 8 rules applied. Total rules applied 3188 place count 7553 transition count 16071
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 9 with 6 rules applied. Total rules applied 3194 place count 7553 transition count 16065
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 10 with 21 rules applied. Total rules applied 3215 place count 7553 transition count 16044
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 3223 place count 7549 transition count 16071
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 10 with 6 rules applied. Total rules applied 3229 place count 7549 transition count 16065
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 11 with 21 rules applied. Total rules applied 3250 place count 7549 transition count 16044
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 11 with 8 rules applied. Total rules applied 3258 place count 7545 transition count 16071
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 11 with 6 rules applied. Total rules applied 3264 place count 7545 transition count 16065
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 12 with 21 rules applied. Total rules applied 3285 place count 7545 transition count 16044
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 12 with 8 rules applied. Total rules applied 3293 place count 7541 transition count 16071
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 12 with 6 rules applied. Total rules applied 3299 place count 7541 transition count 16065
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 13 with 21 rules applied. Total rules applied 3320 place count 7541 transition count 16044
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 4 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 13 with 8 rules applied. Total rules applied 3328 place count 7537 transition count 16071
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 13 with 6 rules applied. Total rules applied 3334 place count 7537 transition count 16065
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 14 with 21 rules applied. Total rules applied 3355 place count 7537 transition count 16044
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 12 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 14 with 8 rules applied. Total rules applied 3363 place count 7533 transition count 16071
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 14 with 6 rules applied. Total rules applied 3369 place count 7533 transition count 16065
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 15 with 21 rules applied. Total rules applied 3390 place count 7533 transition count 16044
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 3398 place count 7529 transition count 16071
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 15 with 6 rules applied. Total rules applied 3404 place count 7529 transition count 16065
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 16 with 21 rules applied. Total rules applied 3425 place count 7529 transition count 16044
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 16 with 8 rules applied. Total rules applied 3433 place count 7525 transition count 16071
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 16 with 6 rules applied. Total rules applied 3439 place count 7525 transition count 16065
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 17 with 21 rules applied. Total rules applied 3460 place count 7525 transition count 16044
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 17 with 8 rules applied. Total rules applied 3468 place count 7521 transition count 16072
Drop transitions removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 17 with 8 rules applied. Total rules applied 3476 place count 7521 transition count 16064
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 18 with 22 rules applied. Total rules applied 3498 place count 7521 transition count 16042
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 18 with 8 rules applied. Total rules applied 3506 place count 7517 transition count 16069
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 18 with 6 rules applied. Total rules applied 3512 place count 7517 transition count 16063
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 19 with 21 rules applied. Total rules applied 3533 place count 7517 transition count 16042
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 3541 place count 7513 transition count 16069
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 19 with 6 rules applied. Total rules applied 3547 place count 7513 transition count 16063
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 20 with 21 rules applied. Total rules applied 3568 place count 7513 transition count 16042
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 20 with 8 rules applied. Total rules applied 3576 place count 7509 transition count 16069
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 20 with 6 rules applied. Total rules applied 3582 place count 7509 transition count 16063
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 21 with 21 rules applied. Total rules applied 3603 place count 7509 transition count 16042
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 21 with 8 rules applied. Total rules applied 3611 place count 7505 transition count 16069
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 21 with 6 rules applied. Total rules applied 3617 place count 7505 transition count 16063
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 22 with 21 rules applied. Total rules applied 3638 place count 7505 transition count 16042
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 22 with 8 rules applied. Total rules applied 3646 place count 7501 transition count 16069
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 22 with 6 rules applied. Total rules applied 3652 place count 7501 transition count 16063
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 23 with 21 rules applied. Total rules applied 3673 place count 7501 transition count 16042
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 23 with 8 rules applied. Total rules applied 3681 place count 7497 transition count 16069
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 23 with 6 rules applied. Total rules applied 3687 place count 7497 transition count 16063
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 24 with 21 rules applied. Total rules applied 3708 place count 7497 transition count 16042
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 24 with 8 rules applied. Total rules applied 3716 place count 7493 transition count 16069
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 24 with 6 rules applied. Total rules applied 3722 place count 7493 transition count 16063
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 25 with 21 rules applied. Total rules applied 3743 place count 7493 transition count 16042
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 25 with 8 rules applied. Total rules applied 3751 place count 7489 transition count 16069
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 25 with 6 rules applied. Total rules applied 3757 place count 7489 transition count 16063
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 26 with 21 rules applied. Total rules applied 3778 place count 7489 transition count 16042
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 3786 place count 7485 transition count 16069
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 26 with 6 rules applied. Total rules applied 3792 place count 7485 transition count 16063
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 27 with 21 rules applied. Total rules applied 3813 place count 7485 transition count 16042
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 27 with 8 rules applied. Total rules applied 3821 place count 7481 transition count 16069
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 27 with 6 rules applied. Total rules applied 3827 place count 7481 transition count 16063
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 28 with 21 rules applied. Total rules applied 3848 place count 7481 transition count 16042
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 28 with 8 rules applied. Total rules applied 3856 place count 7477 transition count 16069
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 28 with 6 rules applied. Total rules applied 3862 place count 7477 transition count 16063
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 29 with 21 rules applied. Total rules applied 3883 place count 7477 transition count 16042
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 3891 place count 7473 transition count 16069
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 29 with 6 rules applied. Total rules applied 3897 place count 7473 transition count 16063
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 30 with 21 rules applied. Total rules applied 3918 place count 7473 transition count 16042
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 30 with 8 rules applied. Total rules applied 3926 place count 7469 transition count 16069
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 30 with 6 rules applied. Total rules applied 3932 place count 7469 transition count 16063
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 31 with 21 rules applied. Total rules applied 3953 place count 7469 transition count 16042
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 3961 place count 7465 transition count 16069
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 31 with 6 rules applied. Total rules applied 3967 place count 7465 transition count 16063
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 32 with 21 rules applied. Total rules applied 3988 place count 7465 transition count 16042
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 32 with 8 rules applied. Total rules applied 3996 place count 7461 transition count 16069
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 32 with 6 rules applied. Total rules applied 4002 place count 7461 transition count 16063
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 33 with 21 rules applied. Total rules applied 4023 place count 7461 transition count 16042
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 4031 place count 7457 transition count 16069
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 33 with 6 rules applied. Total rules applied 4037 place count 7457 transition count 16063
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 34 with 21 rules applied. Total rules applied 4058 place count 7457 transition count 16042
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 34 with 8 rules applied. Total rules applied 4066 place count 7453 transition count 16069
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 34 with 6 rules applied. Total rules applied 4072 place count 7453 transition count 16063
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 35 with 21 rules applied. Total rules applied 4093 place count 7453 transition count 16042
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 4101 place count 7449 transition count 16069
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 35 with 7 rules applied. Total rules applied 4108 place count 7449 transition count 16062
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 36 with 22 rules applied. Total rules applied 4130 place count 7449 transition count 16040
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 4138 place count 7445 transition count 16067
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 36 with 6 rules applied. Total rules applied 4144 place count 7445 transition count 16061
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 37 with 21 rules applied. Total rules applied 4165 place count 7445 transition count 16040
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 4173 place count 7441 transition count 16067
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 37 with 6 rules applied. Total rules applied 4179 place count 7441 transition count 16061
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 38 with 21 rules applied. Total rules applied 4200 place count 7441 transition count 16040
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 38 with 8 rules applied. Total rules applied 4208 place count 7437 transition count 16067
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 38 with 6 rules applied. Total rules applied 4214 place count 7437 transition count 16061
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 39 with 21 rules applied. Total rules applied 4235 place count 7437 transition count 16040
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 39 with 8 rules applied. Total rules applied 4243 place count 7433 transition count 16067
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 39 with 6 rules applied. Total rules applied 4249 place count 7433 transition count 16061
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 40 with 21 rules applied. Total rules applied 4270 place count 7433 transition count 16040
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 40 with 8 rules applied. Total rules applied 4278 place count 7429 transition count 16067
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 40 with 6 rules applied. Total rules applied 4284 place count 7429 transition count 16061
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 41 with 21 rules applied. Total rules applied 4305 place count 7429 transition count 16040
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 41 with 8 rules applied. Total rules applied 4313 place count 7425 transition count 16067
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 41 with 6 rules applied. Total rules applied 4319 place count 7425 transition count 16061
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 42 with 21 rules applied. Total rules applied 4340 place count 7425 transition count 16040
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 4348 place count 7421 transition count 16067
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 42 with 6 rules applied. Total rules applied 4354 place count 7421 transition count 16061
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 43 with 21 rules applied. Total rules applied 4375 place count 7421 transition count 16040
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 4383 place count 7417 transition count 16067
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 43 with 6 rules applied. Total rules applied 4389 place count 7417 transition count 16061
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 44 with 21 rules applied. Total rules applied 4410 place count 7417 transition count 16040
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 4418 place count 7413 transition count 16067
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 44 with 6 rules applied. Total rules applied 4424 place count 7413 transition count 16061
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 45 with 21 rules applied. Total rules applied 4445 place count 7413 transition count 16040
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 45 with 8 rules applied. Total rules applied 4453 place count 7409 transition count 16067
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 45 with 6 rules applied. Total rules applied 4459 place count 7409 transition count 16061
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 46 with 21 rules applied. Total rules applied 4480 place count 7409 transition count 16040
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 4488 place count 7405 transition count 16067
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 46 with 6 rules applied. Total rules applied 4494 place count 7405 transition count 16061
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 47 with 21 rules applied. Total rules applied 4515 place count 7405 transition count 16040
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 47 with 8 rules applied. Total rules applied 4523 place count 7401 transition count 16067
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 47 with 6 rules applied. Total rules applied 4529 place count 7401 transition count 16061
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 48 with 21 rules applied. Total rules applied 4550 place count 7401 transition count 16040
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 48 with 8 rules applied. Total rules applied 4558 place count 7397 transition count 16067
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 48 with 6 rules applied. Total rules applied 4564 place count 7397 transition count 16061
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 49 with 21 rules applied. Total rules applied 4585 place count 7397 transition count 16040
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 49 with 8 rules applied. Total rules applied 4593 place count 7393 transition count 16067
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 49 with 6 rules applied. Total rules applied 4599 place count 7393 transition count 16061
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 50 with 21 rules applied. Total rules applied 4620 place count 7393 transition count 16040
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 4628 place count 7389 transition count 16067
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 50 with 6 rules applied. Total rules applied 4634 place count 7389 transition count 16061
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 51 with 21 rules applied. Total rules applied 4655 place count 7389 transition count 16040
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 51 with 8 rules applied. Total rules applied 4663 place count 7385 transition count 16067
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 51 with 6 rules applied. Total rules applied 4669 place count 7385 transition count 16061
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 52 with 21 rules applied. Total rules applied 4690 place count 7385 transition count 16040
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 4698 place count 7381 transition count 16067
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 52 with 7 rules applied. Total rules applied 4705 place count 7381 transition count 16060
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 53 with 20 rules applied. Total rules applied 4725 place count 7381 transition count 16040
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 4733 place count 7377 transition count 16067
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 53 with 6 rules applied. Total rules applied 4739 place count 7377 transition count 16061
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 54 with 21 rules applied. Total rules applied 4760 place count 7377 transition count 16040
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 54 with 8 rules applied. Total rules applied 4768 place count 7373 transition count 16067
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 54 with 6 rules applied. Total rules applied 4774 place count 7373 transition count 16061
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 55 with 21 rules applied. Total rules applied 4795 place count 7373 transition count 16040
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 4803 place count 7369 transition count 16067
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 55 with 6 rules applied. Total rules applied 4809 place count 7369 transition count 16061
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 56 with 21 rules applied. Total rules applied 4830 place count 7369 transition count 16040
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 56 with 8 rules applied. Total rules applied 4838 place count 7365 transition count 16067
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 56 with 6 rules applied. Total rules applied 4844 place count 7365 transition count 16061
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 57 with 21 rules applied. Total rules applied 4865 place count 7365 transition count 16040
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 57 with 8 rules applied. Total rules applied 4873 place count 7361 transition count 16067
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 57 with 6 rules applied. Total rules applied 4879 place count 7361 transition count 16061
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 58 with 21 rules applied. Total rules applied 4900 place count 7361 transition count 16040
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 4908 place count 7357 transition count 16067
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 58 with 6 rules applied. Total rules applied 4914 place count 7357 transition count 16061
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 59 with 21 rules applied. Total rules applied 4935 place count 7357 transition count 16040
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 4943 place count 7353 transition count 16067
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 59 with 7 rules applied. Total rules applied 4950 place count 7353 transition count 16060
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 60 with 20 rules applied. Total rules applied 4970 place count 7353 transition count 16040
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 60 with 8 rules applied. Total rules applied 4978 place count 7349 transition count 16067
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 60 with 6 rules applied. Total rules applied 4984 place count 7349 transition count 16061
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 61 with 21 rules applied. Total rules applied 5005 place count 7349 transition count 16040
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 61 with 8 rules applied. Total rules applied 5013 place count 7345 transition count 16067
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 61 with 6 rules applied. Total rules applied 5019 place count 7345 transition count 16061
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 62 with 21 rules applied. Total rules applied 5040 place count 7345 transition count 16040
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 5048 place count 7341 transition count 16067
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 62 with 6 rules applied. Total rules applied 5054 place count 7341 transition count 16061
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 63 with 21 rules applied. Total rules applied 5075 place count 7341 transition count 16040
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 63 with 8 rules applied. Total rules applied 5083 place count 7337 transition count 16067
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 63 with 6 rules applied. Total rules applied 5089 place count 7337 transition count 16061
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 64 with 21 rules applied. Total rules applied 5110 place count 7337 transition count 16040
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 64 with 8 rules applied. Total rules applied 5118 place count 7333 transition count 16068
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 64 with 7 rules applied. Total rules applied 5125 place count 7333 transition count 16061
Drop transitions removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 65 with 23 rules applied. Total rules applied 5148 place count 7333 transition count 16038
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 5156 place count 7329 transition count 16065
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 65 with 6 rules applied. Total rules applied 5162 place count 7329 transition count 16059
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 66 with 21 rules applied. Total rules applied 5183 place count 7329 transition count 16038
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 5191 place count 7325 transition count 16065
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 66 with 6 rules applied. Total rules applied 5197 place count 7325 transition count 16059
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 67 with 21 rules applied. Total rules applied 5218 place count 7325 transition count 16038
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 5226 place count 7321 transition count 16065
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 67 with 6 rules applied. Total rules applied 5232 place count 7321 transition count 16059
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 68 with 21 rules applied. Total rules applied 5253 place count 7321 transition count 16038
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 5261 place count 7317 transition count 16065
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 68 with 6 rules applied. Total rules applied 5267 place count 7317 transition count 16059
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 69 with 21 rules applied. Total rules applied 5288 place count 7317 transition count 16038
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 5296 place count 7313 transition count 16065
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 69 with 6 rules applied. Total rules applied 5302 place count 7313 transition count 16059
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 70 with 21 rules applied. Total rules applied 5323 place count 7313 transition count 16038
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 5331 place count 7309 transition count 16065
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 70 with 6 rules applied. Total rules applied 5337 place count 7309 transition count 16059
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 71 with 21 rules applied. Total rules applied 5358 place count 7309 transition count 16038
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 71 with 8 rules applied. Total rules applied 5366 place count 7305 transition count 16065
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 71 with 6 rules applied. Total rules applied 5372 place count 7305 transition count 16059
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 72 with 21 rules applied. Total rules applied 5393 place count 7305 transition count 16038
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 72 with 8 rules applied. Total rules applied 5401 place count 7301 transition count 16065
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 72 with 6 rules applied. Total rules applied 5407 place count 7301 transition count 16059
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 73 with 21 rules applied. Total rules applied 5428 place count 7301 transition count 16038
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 5436 place count 7297 transition count 16065
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 73 with 6 rules applied. Total rules applied 5442 place count 7297 transition count 16059
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 74 with 20 rules applied. Total rules applied 5462 place count 7297 transition count 16039
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 74 with 8 rules applied. Total rules applied 5470 place count 7293 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 74 with 6 rules applied. Total rules applied 5476 place count 7293 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 75 with 21 rules applied. Total rules applied 5497 place count 7293 transition count 16039
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 75 with 8 rules applied. Total rules applied 5505 place count 7289 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 75 with 6 rules applied. Total rules applied 5511 place count 7289 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 76 with 21 rules applied. Total rules applied 5532 place count 7289 transition count 16039
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 76 with 8 rules applied. Total rules applied 5540 place count 7285 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 76 with 6 rules applied. Total rules applied 5546 place count 7285 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 77 with 21 rules applied. Total rules applied 5567 place count 7285 transition count 16039
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 77 with 8 rules applied. Total rules applied 5575 place count 7281 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 77 with 6 rules applied. Total rules applied 5581 place count 7281 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 78 with 21 rules applied. Total rules applied 5602 place count 7281 transition count 16039
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 78 with 8 rules applied. Total rules applied 5610 place count 7277 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 78 with 6 rules applied. Total rules applied 5616 place count 7277 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 79 with 21 rules applied. Total rules applied 5637 place count 7277 transition count 16039
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 79 with 8 rules applied. Total rules applied 5645 place count 7273 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 79 with 6 rules applied. Total rules applied 5651 place count 7273 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 80 with 21 rules applied. Total rules applied 5672 place count 7273 transition count 16039
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 5680 place count 7269 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 80 with 6 rules applied. Total rules applied 5686 place count 7269 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 81 with 21 rules applied. Total rules applied 5707 place count 7269 transition count 16039
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 81 with 8 rules applied. Total rules applied 5715 place count 7265 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 81 with 6 rules applied. Total rules applied 5721 place count 7265 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 82 with 21 rules applied. Total rules applied 5742 place count 7265 transition count 16039
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 82 with 8 rules applied. Total rules applied 5750 place count 7261 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 82 with 6 rules applied. Total rules applied 5756 place count 7261 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 83 with 21 rules applied. Total rules applied 5777 place count 7261 transition count 16039
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 83 with 8 rules applied. Total rules applied 5785 place count 7257 transition count 16067
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 83 with 6 rules applied. Total rules applied 5791 place count 7257 transition count 16061
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 84 with 20 rules applied. Total rules applied 5811 place count 7257 transition count 16041
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 5819 place count 7253 transition count 16068
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 84 with 6 rules applied. Total rules applied 5825 place count 7253 transition count 16062
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 85 with 21 rules applied. Total rules applied 5846 place count 7253 transition count 16041
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 85 with 8 rules applied. Total rules applied 5854 place count 7249 transition count 16068
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 85 with 6 rules applied. Total rules applied 5860 place count 7249 transition count 16062
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 86 with 21 rules applied. Total rules applied 5881 place count 7249 transition count 16041
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 86 with 8 rules applied. Total rules applied 5889 place count 7245 transition count 16068
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 86 with 6 rules applied. Total rules applied 5895 place count 7245 transition count 16062
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 87 with 21 rules applied. Total rules applied 5916 place count 7245 transition count 16041
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 5924 place count 7241 transition count 16068
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 87 with 6 rules applied. Total rules applied 5930 place count 7241 transition count 16062
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 88 with 21 rules applied. Total rules applied 5951 place count 7241 transition count 16041
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 88 with 8 rules applied. Total rules applied 5959 place count 7237 transition count 16068
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 88 with 6 rules applied. Total rules applied 5965 place count 7237 transition count 16062
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 89 with 21 rules applied. Total rules applied 5986 place count 7237 transition count 16041
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 5994 place count 7233 transition count 16068
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 89 with 6 rules applied. Total rules applied 6000 place count 7233 transition count 16062
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 90 with 21 rules applied. Total rules applied 6021 place count 7233 transition count 16041
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 6029 place count 7229 transition count 16068
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 90 with 6 rules applied. Total rules applied 6035 place count 7229 transition count 16062
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 91 with 21 rules applied. Total rules applied 6056 place count 7229 transition count 16041
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 91 with 8 rules applied. Total rules applied 6064 place count 7225 transition count 16068
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 91 with 6 rules applied. Total rules applied 6070 place count 7225 transition count 16062
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 92 with 21 rules applied. Total rules applied 6091 place count 7225 transition count 16041
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 92 with 8 rules applied. Total rules applied 6099 place count 7221 transition count 16068
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 92 with 6 rules applied. Total rules applied 6105 place count 7221 transition count 16062
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 93 with 21 rules applied. Total rules applied 6126 place count 7221 transition count 16041
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -26
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 93 with 8 rules applied. Total rules applied 6134 place count 7217 transition count 16067
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 93 with 6 rules applied. Total rules applied 6140 place count 7217 transition count 16061
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 94 with 20 rules applied. Total rules applied 6160 place count 7217 transition count 16041
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 94 with 8 rules applied. Total rules applied 6168 place count 7213 transition count 16068
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 94 with 6 rules applied. Total rules applied 6174 place count 7213 transition count 16062
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 95 with 21 rules applied. Total rules applied 6195 place count 7213 transition count 16041
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 6203 place count 7209 transition count 16068
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 95 with 6 rules applied. Total rules applied 6209 place count 7209 transition count 16062
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 96 with 21 rules applied. Total rules applied 6230 place count 7209 transition count 16041
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
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 6238 place count 7205 transition count 16071
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 96 with 7 rules applied. Total rules applied 6245 place count 7205 transition count 16064
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 97 with 21 rules applied. Total rules applied 6266 place count 7205 transition count 16043
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 6274 place count 7201 transition count 16070
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 97 with 6 rules applied. Total rules applied 6280 place count 7201 transition count 16064
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 98 with 21 rules applied. Total rules applied 6301 place count 7201 transition count 16043
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 98 with 8 rules applied. Total rules applied 6309 place count 7197 transition count 16071
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 98 with 7 rules applied. Total rules applied 6316 place count 7197 transition count 16064
Drop transitions removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 99 with 23 rules applied. Total rules applied 6339 place count 7197 transition count 16041
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 99 with 8 rules applied. Total rules applied 6347 place count 7193 transition count 16068
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 99 with 6 rules applied. Total rules applied 6353 place count 7193 transition count 16062
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 100 with 21 rules applied. Total rules applied 6374 place count 7193 transition count 16041
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 6382 place count 7189 transition count 16068
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 100 with 6 rules applied. Total rules applied 6388 place count 7189 transition count 16062
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 101 with 21 rules applied. Total rules applied 6409 place count 7189 transition count 16041
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 101 with 8 rules applied. Total rules applied 6417 place count 7185 transition count 16068
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 101 with 6 rules applied. Total rules applied 6423 place count 7185 transition count 16062
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 102 with 21 rules applied. Total rules applied 6444 place count 7185 transition count 16041
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 102 with 8 rules applied. Total rules applied 6452 place count 7181 transition count 16068
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 102 with 6 rules applied. Total rules applied 6458 place count 7181 transition count 16062
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 103 with 21 rules applied. Total rules applied 6479 place count 7181 transition count 16041
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 6487 place count 7177 transition count 16068
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 103 with 6 rules applied. Total rules applied 6493 place count 7177 transition count 16062
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 104 with 21 rules applied. Total rules applied 6514 place count 7177 transition count 16041
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 6522 place count 7173 transition count 16068
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 104 with 6 rules applied. Total rules applied 6528 place count 7173 transition count 16062
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 105 with 21 rules applied. Total rules applied 6549 place count 7173 transition count 16041
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 6557 place count 7169 transition count 16068
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 105 with 7 rules applied. Total rules applied 6564 place count 7169 transition count 16061
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 106 with 20 rules applied. Total rules applied 6584 place count 7169 transition count 16041
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 106 with 8 rules applied. Total rules applied 6592 place count 7165 transition count 16069
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 106 with 7 rules applied. Total rules applied 6599 place count 7165 transition count 16062
Drop transitions removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 107 with 23 rules applied. Total rules applied 6622 place count 7165 transition count 16039
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 6630 place count 7161 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 107 with 6 rules applied. Total rules applied 6636 place count 7161 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 108 with 21 rules applied. Total rules applied 6657 place count 7161 transition count 16039
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 6665 place count 7157 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 108 with 6 rules applied. Total rules applied 6671 place count 7157 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 109 with 21 rules applied. Total rules applied 6692 place count 7157 transition count 16039
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 109 with 8 rules applied. Total rules applied 6700 place count 7153 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 109 with 6 rules applied. Total rules applied 6706 place count 7153 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 110 with 21 rules applied. Total rules applied 6727 place count 7153 transition count 16039
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 6735 place count 7149 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 110 with 6 rules applied. Total rules applied 6741 place count 7149 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 111 with 21 rules applied. Total rules applied 6762 place count 7149 transition count 16039
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 6770 place count 7145 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 111 with 6 rules applied. Total rules applied 6776 place count 7145 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 112 with 21 rules applied. Total rules applied 6797 place count 7145 transition count 16039
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 6805 place count 7141 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 112 with 6 rules applied. Total rules applied 6811 place count 7141 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 113 with 21 rules applied. Total rules applied 6832 place count 7141 transition count 16039
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 6840 place count 7137 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 113 with 6 rules applied. Total rules applied 6846 place count 7137 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 114 with 21 rules applied. Total rules applied 6867 place count 7137 transition count 16039
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 6875 place count 7133 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 114 with 6 rules applied. Total rules applied 6881 place count 7133 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 115 with 21 rules applied. Total rules applied 6902 place count 7133 transition count 16039
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 6910 place count 7129 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 115 with 6 rules applied. Total rules applied 6916 place count 7129 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 116 with 21 rules applied. Total rules applied 6937 place count 7129 transition count 16039
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 6945 place count 7125 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 116 with 6 rules applied. Total rules applied 6951 place count 7125 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 117 with 21 rules applied. Total rules applied 6972 place count 7125 transition count 16039
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 6980 place count 7121 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 117 with 6 rules applied. Total rules applied 6986 place count 7121 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 118 with 21 rules applied. Total rules applied 7007 place count 7121 transition count 16039
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 118 with 8 rules applied. Total rules applied 7015 place count 7117 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 118 with 6 rules applied. Total rules applied 7021 place count 7117 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 119 with 21 rules applied. Total rules applied 7042 place count 7117 transition count 16039
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 7050 place count 7113 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 119 with 6 rules applied. Total rules applied 7056 place count 7113 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 120 with 21 rules applied. Total rules applied 7077 place count 7113 transition count 16039
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 120 with 8 rules applied. Total rules applied 7085 place count 7109 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 120 with 6 rules applied. Total rules applied 7091 place count 7109 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 121 with 21 rules applied. Total rules applied 7112 place count 7109 transition count 16039
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 121 with 8 rules applied. Total rules applied 7120 place count 7105 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 121 with 6 rules applied. Total rules applied 7126 place count 7105 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 122 with 21 rules applied. Total rules applied 7147 place count 7105 transition count 16039
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 122 with 8 rules applied. Total rules applied 7155 place count 7101 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 122 with 6 rules applied. Total rules applied 7161 place count 7101 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 123 with 21 rules applied. Total rules applied 7182 place count 7101 transition count 16039
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 123 with 8 rules applied. Total rules applied 7190 place count 7097 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 123 with 6 rules applied. Total rules applied 7196 place count 7097 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 124 with 21 rules applied. Total rules applied 7217 place count 7097 transition count 16039
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 7225 place count 7093 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 124 with 6 rules applied. Total rules applied 7231 place count 7093 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 125 with 21 rules applied. Total rules applied 7252 place count 7093 transition count 16039
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 125 with 8 rules applied. Total rules applied 7260 place count 7089 transition count 16066
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 125 with 7 rules applied. Total rules applied 7267 place count 7089 transition count 16059
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 126 with 22 rules applied. Total rules applied 7289 place count 7089 transition count 16037
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 7297 place count 7085 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 126 with 6 rules applied. Total rules applied 7303 place count 7085 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 127 with 21 rules applied. Total rules applied 7324 place count 7085 transition count 16037
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 7332 place count 7081 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 127 with 6 rules applied. Total rules applied 7338 place count 7081 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 128 with 21 rules applied. Total rules applied 7359 place count 7081 transition count 16037
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 7367 place count 7077 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 128 with 6 rules applied. Total rules applied 7373 place count 7077 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 129 with 21 rules applied. Total rules applied 7394 place count 7077 transition count 16037
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 7402 place count 7073 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 129 with 6 rules applied. Total rules applied 7408 place count 7073 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 130 with 21 rules applied. Total rules applied 7429 place count 7073 transition count 16037
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 130 with 8 rules applied. Total rules applied 7437 place count 7069 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 130 with 6 rules applied. Total rules applied 7443 place count 7069 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 131 with 21 rules applied. Total rules applied 7464 place count 7069 transition count 16037
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 7472 place count 7065 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 131 with 6 rules applied. Total rules applied 7478 place count 7065 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 132 with 21 rules applied. Total rules applied 7499 place count 7065 transition count 16037
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 7507 place count 7061 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 132 with 6 rules applied. Total rules applied 7513 place count 7061 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 133 with 21 rules applied. Total rules applied 7534 place count 7061 transition count 16037
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 7542 place count 7057 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 133 with 6 rules applied. Total rules applied 7548 place count 7057 transition count 16058
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 134 with 21 rules applied. Total rules applied 7569 place count 7057 transition count 16037
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 134 with 8 rules applied. Total rules applied 7577 place count 7053 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 134 with 6 rules applied. Total rules applied 7583 place count 7053 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 135 with 21 rules applied. Total rules applied 7604 place count 7053 transition count 16037
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 135 with 8 rules applied. Total rules applied 7612 place count 7049 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 135 with 6 rules applied. Total rules applied 7618 place count 7049 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 136 with 21 rules applied. Total rules applied 7639 place count 7049 transition count 16037
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 7647 place count 7045 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 136 with 6 rules applied. Total rules applied 7653 place count 7045 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 137 with 21 rules applied. Total rules applied 7674 place count 7045 transition count 16037
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 137 with 8 rules applied. Total rules applied 7682 place count 7041 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 137 with 6 rules applied. Total rules applied 7688 place count 7041 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 138 with 21 rules applied. Total rules applied 7709 place count 7041 transition count 16037
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 138 with 8 rules applied. Total rules applied 7717 place count 7037 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 138 with 6 rules applied. Total rules applied 7723 place count 7037 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 139 with 21 rules applied. Total rules applied 7744 place count 7037 transition count 16037
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 139 with 8 rules applied. Total rules applied 7752 place count 7033 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 139 with 6 rules applied. Total rules applied 7758 place count 7033 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 140 with 21 rules applied. Total rules applied 7779 place count 7033 transition count 16037
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 7787 place count 7029 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 140 with 6 rules applied. Total rules applied 7793 place count 7029 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 141 with 21 rules applied. Total rules applied 7814 place count 7029 transition count 16037
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 141 with 8 rules applied. Total rules applied 7822 place count 7025 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 141 with 6 rules applied. Total rules applied 7828 place count 7025 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 142 with 21 rules applied. Total rules applied 7849 place count 7025 transition count 16037
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 7857 place count 7021 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 142 with 6 rules applied. Total rules applied 7863 place count 7021 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 143 with 21 rules applied. Total rules applied 7884 place count 7021 transition count 16037
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 7892 place count 7017 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 143 with 6 rules applied. Total rules applied 7898 place count 7017 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 144 with 21 rules applied. Total rules applied 7919 place count 7017 transition count 16037
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 144 with 8 rules applied. Total rules applied 7927 place count 7013 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 144 with 6 rules applied. Total rules applied 7933 place count 7013 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 145 with 21 rules applied. Total rules applied 7954 place count 7013 transition count 16037
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 7962 place count 7009 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 145 with 6 rules applied. Total rules applied 7968 place count 7009 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 146 with 21 rules applied. Total rules applied 7989 place count 7009 transition count 16037
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 7997 place count 7005 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 146 with 6 rules applied. Total rules applied 8003 place count 7005 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 147 with 21 rules applied. Total rules applied 8024 place count 7005 transition count 16037
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 8032 place count 7001 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 147 with 6 rules applied. Total rules applied 8038 place count 7001 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 148 with 21 rules applied. Total rules applied 8059 place count 7001 transition count 16037
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 148 with 8 rules applied. Total rules applied 8067 place count 6997 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 148 with 6 rules applied. Total rules applied 8073 place count 6997 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 149 with 21 rules applied. Total rules applied 8094 place count 6997 transition count 16037
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 149 with 8 rules applied. Total rules applied 8102 place count 6993 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 149 with 6 rules applied. Total rules applied 8108 place count 6993 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 150 with 21 rules applied. Total rules applied 8129 place count 6993 transition count 16037
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 150 with 8 rules applied. Total rules applied 8137 place count 6989 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 150 with 6 rules applied. Total rules applied 8143 place count 6989 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 151 with 21 rules applied. Total rules applied 8164 place count 6989 transition count 16037
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 151 with 8 rules applied. Total rules applied 8172 place count 6985 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 151 with 6 rules applied. Total rules applied 8178 place count 6985 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 152 with 21 rules applied. Total rules applied 8199 place count 6985 transition count 16037
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 152 with 8 rules applied. Total rules applied 8207 place count 6981 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 152 with 6 rules applied. Total rules applied 8213 place count 6981 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 153 with 21 rules applied. Total rules applied 8234 place count 6981 transition count 16037
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 153 with 8 rules applied. Total rules applied 8242 place count 6977 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 153 with 6 rules applied. Total rules applied 8248 place count 6977 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 154 with 21 rules applied. Total rules applied 8269 place count 6977 transition count 16037
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 154 with 8 rules applied. Total rules applied 8277 place count 6973 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 154 with 6 rules applied. Total rules applied 8283 place count 6973 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 155 with 21 rules applied. Total rules applied 8304 place count 6973 transition count 16037
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 155 with 8 rules applied. Total rules applied 8312 place count 6969 transition count 16065
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 155 with 7 rules applied. Total rules applied 8319 place count 6969 transition count 16058
Drop transitions removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 156 with 23 rules applied. Total rules applied 8342 place count 6969 transition count 16035
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 8350 place count 6965 transition count 16062
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 156 with 7 rules applied. Total rules applied 8357 place count 6965 transition count 16055
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 157 with 20 rules applied. Total rules applied 8377 place count 6965 transition count 16035
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 157 with 8 rules applied. Total rules applied 8385 place count 6961 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 157 with 6 rules applied. Total rules applied 8391 place count 6961 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 158 with 21 rules applied. Total rules applied 8412 place count 6961 transition count 16035
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 158 with 8 rules applied. Total rules applied 8420 place count 6957 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 158 with 6 rules applied. Total rules applied 8426 place count 6957 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 159 with 21 rules applied. Total rules applied 8447 place count 6957 transition count 16035
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 8455 place count 6953 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 159 with 6 rules applied. Total rules applied 8461 place count 6953 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 160 with 21 rules applied. Total rules applied 8482 place count 6953 transition count 16035
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 160 with 8 rules applied. Total rules applied 8490 place count 6949 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 160 with 6 rules applied. Total rules applied 8496 place count 6949 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 161 with 21 rules applied. Total rules applied 8517 place count 6949 transition count 16035
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 161 with 8 rules applied. Total rules applied 8525 place count 6945 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 161 with 6 rules applied. Total rules applied 8531 place count 6945 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 162 with 21 rules applied. Total rules applied 8552 place count 6945 transition count 16035
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 8560 place count 6941 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 162 with 6 rules applied. Total rules applied 8566 place count 6941 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 163 with 21 rules applied. Total rules applied 8587 place count 6941 transition count 16035
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 163 with 8 rules applied. Total rules applied 8595 place count 6937 transition count 16063
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 163 with 6 rules applied. Total rules applied 8601 place count 6937 transition count 16057
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 164 with 20 rules applied. Total rules applied 8621 place count 6937 transition count 16037
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 8629 place count 6933 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 164 with 6 rules applied. Total rules applied 8635 place count 6933 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 165 with 21 rules applied. Total rules applied 8656 place count 6933 transition count 16037
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 8664 place count 6929 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 165 with 6 rules applied. Total rules applied 8670 place count 6929 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 166 with 21 rules applied. Total rules applied 8691 place count 6929 transition count 16037
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 166 with 8 rules applied. Total rules applied 8699 place count 6925 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 166 with 6 rules applied. Total rules applied 8705 place count 6925 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 167 with 21 rules applied. Total rules applied 8726 place count 6925 transition count 16037
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 167 with 8 rules applied. Total rules applied 8734 place count 6921 transition count 16064
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 167 with 7 rules applied. Total rules applied 8741 place count 6921 transition count 16057
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 168 with 20 rules applied. Total rules applied 8761 place count 6921 transition count 16037
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 168 with 8 rules applied. Total rules applied 8769 place count 6917 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 168 with 6 rules applied. Total rules applied 8775 place count 6917 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 169 with 21 rules applied. Total rules applied 8796 place count 6917 transition count 16037
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 169 with 8 rules applied. Total rules applied 8804 place count 6913 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 169 with 6 rules applied. Total rules applied 8810 place count 6913 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 170 with 21 rules applied. Total rules applied 8831 place count 6913 transition count 16037
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 8839 place count 6909 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 170 with 6 rules applied. Total rules applied 8845 place count 6909 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 171 with 21 rules applied. Total rules applied 8866 place count 6909 transition count 16037
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 8874 place count 6905 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 171 with 6 rules applied. Total rules applied 8880 place count 6905 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 172 with 21 rules applied. Total rules applied 8901 place count 6905 transition count 16037
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 8909 place count 6901 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 172 with 6 rules applied. Total rules applied 8915 place count 6901 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 173 with 21 rules applied. Total rules applied 8936 place count 6901 transition count 16037
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 173 with 8 rules applied. Total rules applied 8944 place count 6897 transition count 16065
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 173 with 7 rules applied. Total rules applied 8951 place count 6897 transition count 16058
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 174 with 19 rules applied. Total rules applied 8970 place count 6897 transition count 16039
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 8978 place count 6893 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 174 with 6 rules applied. Total rules applied 8984 place count 6893 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 175 with 21 rules applied. Total rules applied 9005 place count 6893 transition count 16039
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 175 with 8 rules applied. Total rules applied 9013 place count 6889 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 175 with 6 rules applied. Total rules applied 9019 place count 6889 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 176 with 21 rules applied. Total rules applied 9040 place count 6889 transition count 16039
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 9048 place count 6885 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 176 with 6 rules applied. Total rules applied 9054 place count 6885 transition count 16060
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 177 with 21 rules applied. Total rules applied 9075 place count 6885 transition count 16039
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 177 with 8 rules applied. Total rules applied 9083 place count 6881 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 177 with 6 rules applied. Total rules applied 9089 place count 6881 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 178 with 21 rules applied. Total rules applied 9110 place count 6881 transition count 16039
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 178 with 8 rules applied. Total rules applied 9118 place count 6877 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 178 with 6 rules applied. Total rules applied 9124 place count 6877 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 179 with 21 rules applied. Total rules applied 9145 place count 6877 transition count 16039
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 179 with 8 rules applied. Total rules applied 9153 place count 6873 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 179 with 6 rules applied. Total rules applied 9159 place count 6873 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 180 with 21 rules applied. Total rules applied 9180 place count 6873 transition count 16039
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 9188 place count 6869 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 180 with 6 rules applied. Total rules applied 9194 place count 6869 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 181 with 21 rules applied. Total rules applied 9215 place count 6869 transition count 16039
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 181 with 8 rules applied. Total rules applied 9223 place count 6865 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 181 with 6 rules applied. Total rules applied 9229 place count 6865 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 182 with 21 rules applied. Total rules applied 9250 place count 6865 transition count 16039
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -26
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 9258 place count 6861 transition count 16065
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 182 with 6 rules applied. Total rules applied 9264 place count 6861 transition count 16059
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 183 with 20 rules applied. Total rules applied 9284 place count 6861 transition count 16039
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 9292 place count 6857 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 183 with 6 rules applied. Total rules applied 9298 place count 6857 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 184 with 21 rules applied. Total rules applied 9319 place count 6857 transition count 16039
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 9327 place count 6853 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 184 with 6 rules applied. Total rules applied 9333 place count 6853 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 185 with 21 rules applied. Total rules applied 9354 place count 6853 transition count 16039
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 185 with 8 rules applied. Total rules applied 9362 place count 6849 transition count 16068
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 185 with 7 rules applied. Total rules applied 9369 place count 6849 transition count 16061
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 186 with 21 rules applied. Total rules applied 9390 place count 6849 transition count 16040
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 186 with 8 rules applied. Total rules applied 9398 place count 6845 transition count 16068
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 186 with 6 rules applied. Total rules applied 9404 place count 6845 transition count 16062
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 187 with 21 rules applied. Total rules applied 9425 place count 6845 transition count 16041
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 187 with 8 rules applied. Total rules applied 9433 place count 6841 transition count 16069
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 187 with 7 rules applied. Total rules applied 9440 place count 6841 transition count 16062
Drop transitions removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 188 with 23 rules applied. Total rules applied 9463 place count 6841 transition count 16039
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 9471 place count 6837 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 188 with 6 rules applied. Total rules applied 9477 place count 6837 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 189 with 21 rules applied. Total rules applied 9498 place count 6837 transition count 16039
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 9506 place count 6833 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 189 with 6 rules applied. Total rules applied 9512 place count 6833 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 190 with 21 rules applied. Total rules applied 9533 place count 6833 transition count 16039
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 190 with 8 rules applied. Total rules applied 9541 place count 6829 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 190 with 6 rules applied. Total rules applied 9547 place count 6829 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 191 with 21 rules applied. Total rules applied 9568 place count 6829 transition count 16039
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 191 with 8 rules applied. Total rules applied 9576 place count 6825 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 191 with 6 rules applied. Total rules applied 9582 place count 6825 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 192 with 21 rules applied. Total rules applied 9603 place count 6825 transition count 16039
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 9611 place count 6821 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 192 with 6 rules applied. Total rules applied 9617 place count 6821 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 193 with 21 rules applied. Total rules applied 9638 place count 6821 transition count 16039
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 9646 place count 6817 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 193 with 6 rules applied. Total rules applied 9652 place count 6817 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 194 with 21 rules applied. Total rules applied 9673 place count 6817 transition count 16039
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 194 with 8 rules applied. Total rules applied 9681 place count 6813 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 194 with 6 rules applied. Total rules applied 9687 place count 6813 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 195 with 21 rules applied. Total rules applied 9708 place count 6813 transition count 16039
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 195 with 8 rules applied. Total rules applied 9716 place count 6809 transition count 16066
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 195 with 6 rules applied. Total rules applied 9722 place count 6809 transition count 16060
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 196 with 21 rules applied. Total rules applied 9743 place count 6809 transition count 16039
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 196 with 8 rules applied. Total rules applied 9751 place count 6805 transition count 16067
Drop transitions removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 196 with 8 rules applied. Total rules applied 9759 place count 6805 transition count 16059
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 197 with 22 rules applied. Total rules applied 9781 place count 6805 transition count 16037
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 197 with 8 rules applied. Total rules applied 9789 place count 6801 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 197 with 6 rules applied. Total rules applied 9795 place count 6801 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 198 with 21 rules applied. Total rules applied 9816 place count 6801 transition count 16037
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 9824 place count 6797 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 198 with 6 rules applied. Total rules applied 9830 place count 6797 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 199 with 21 rules applied. Total rules applied 9851 place count 6797 transition count 16037
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 199 with 8 rules applied. Total rules applied 9859 place count 6793 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 199 with 6 rules applied. Total rules applied 9865 place count 6793 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 200 with 21 rules applied. Total rules applied 9886 place count 6793 transition count 16037
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 9894 place count 6789 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 200 with 6 rules applied. Total rules applied 9900 place count 6789 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 201 with 21 rules applied. Total rules applied 9921 place count 6789 transition count 16037
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 201 with 8 rules applied. Total rules applied 9929 place count 6785 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 201 with 6 rules applied. Total rules applied 9935 place count 6785 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 202 with 21 rules applied. Total rules applied 9956 place count 6785 transition count 16037
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 202 with 8 rules applied. Total rules applied 9964 place count 6781 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 202 with 6 rules applied. Total rules applied 9970 place count 6781 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 203 with 21 rules applied. Total rules applied 9991 place count 6781 transition count 16037
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 203 with 8 rules applied. Total rules applied 9999 place count 6777 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 203 with 6 rules applied. Total rules applied 10005 place count 6777 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 204 with 21 rules applied. Total rules applied 10026 place count 6777 transition count 16037
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 10034 place count 6773 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 204 with 6 rules applied. Total rules applied 10040 place count 6773 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 205 with 21 rules applied. Total rules applied 10061 place count 6773 transition count 16037
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 205 with 8 rules applied. Total rules applied 10069 place count 6769 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 205 with 6 rules applied. Total rules applied 10075 place count 6769 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 206 with 21 rules applied. Total rules applied 10096 place count 6769 transition count 16037
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 206 with 8 rules applied. Total rules applied 10104 place count 6765 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 206 with 6 rules applied. Total rules applied 10110 place count 6765 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 207 with 21 rules applied. Total rules applied 10131 place count 6765 transition count 16037
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 207 with 8 rules applied. Total rules applied 10139 place count 6761 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 207 with 6 rules applied. Total rules applied 10145 place count 6761 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 208 with 21 rules applied. Total rules applied 10166 place count 6761 transition count 16037
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 208 with 8 rules applied. Total rules applied 10174 place count 6757 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 208 with 6 rules applied. Total rules applied 10180 place count 6757 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 209 with 21 rules applied. Total rules applied 10201 place count 6757 transition count 16037
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 209 with 8 rules applied. Total rules applied 10209 place count 6753 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 209 with 6 rules applied. Total rules applied 10215 place count 6753 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 210 with 21 rules applied. Total rules applied 10236 place count 6753 transition count 16037
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 10244 place count 6749 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 210 with 6 rules applied. Total rules applied 10250 place count 6749 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 211 with 21 rules applied. Total rules applied 10271 place count 6749 transition count 16037
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 211 with 8 rules applied. Total rules applied 10279 place count 6745 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 211 with 6 rules applied. Total rules applied 10285 place count 6745 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 212 with 21 rules applied. Total rules applied 10306 place count 6745 transition count 16037
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 10314 place count 6741 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 212 with 6 rules applied. Total rules applied 10320 place count 6741 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 213 with 21 rules applied. Total rules applied 10341 place count 6741 transition count 16037
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 213 with 8 rules applied. Total rules applied 10349 place count 6737 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 213 with 6 rules applied. Total rules applied 10355 place count 6737 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 214 with 21 rules applied. Total rules applied 10376 place count 6737 transition count 16037
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 10384 place count 6733 transition count 16064
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 214 with 7 rules applied. Total rules applied 10391 place count 6733 transition count 16057
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 215 with 22 rules applied. Total rules applied 10413 place count 6733 transition count 16035
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 10421 place count 6729 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 215 with 6 rules applied. Total rules applied 10427 place count 6729 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 216 with 21 rules applied. Total rules applied 10448 place count 6729 transition count 16035
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 216 with 8 rules applied. Total rules applied 10456 place count 6725 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 216 with 6 rules applied. Total rules applied 10462 place count 6725 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 217 with 21 rules applied. Total rules applied 10483 place count 6725 transition count 16035
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 217 with 8 rules applied. Total rules applied 10491 place count 6721 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 217 with 6 rules applied. Total rules applied 10497 place count 6721 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 218 with 21 rules applied. Total rules applied 10518 place count 6721 transition count 16035
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 10526 place count 6717 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 218 with 6 rules applied. Total rules applied 10532 place count 6717 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 219 with 21 rules applied. Total rules applied 10553 place count 6717 transition count 16035
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 10561 place count 6713 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 219 with 6 rules applied. Total rules applied 10567 place count 6713 transition count 16056
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 220 with 21 rules applied. Total rules applied 10588 place count 6713 transition count 16035
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 10596 place count 6709 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 220 with 6 rules applied. Total rules applied 10602 place count 6709 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 221 with 21 rules applied. Total rules applied 10623 place count 6709 transition count 16035
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 221 with 8 rules applied. Total rules applied 10631 place count 6705 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 221 with 6 rules applied. Total rules applied 10637 place count 6705 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 222 with 21 rules applied. Total rules applied 10658 place count 6705 transition count 16035
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 10666 place count 6701 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 222 with 6 rules applied. Total rules applied 10672 place count 6701 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 223 with 21 rules applied. Total rules applied 10693 place count 6701 transition count 16035
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 4 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 223 with 8 rules applied. Total rules applied 10701 place count 6697 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 223 with 6 rules applied. Total rules applied 10707 place count 6697 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 224 with 21 rules applied. Total rules applied 10728 place count 6697 transition count 16035
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 224 with 8 rules applied. Total rules applied 10736 place count 6693 transition count 16062
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 224 with 7 rules applied. Total rules applied 10743 place count 6693 transition count 16055
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 225 with 20 rules applied. Total rules applied 10763 place count 6693 transition count 16035
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 225 with 8 rules applied. Total rules applied 10771 place count 6689 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 225 with 6 rules applied. Total rules applied 10777 place count 6689 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 226 with 21 rules applied. Total rules applied 10798 place count 6689 transition count 16035
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 10806 place count 6685 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 226 with 6 rules applied. Total rules applied 10812 place count 6685 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 227 with 21 rules applied. Total rules applied 10833 place count 6685 transition count 16035
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 227 with 8 rules applied. Total rules applied 10841 place count 6681 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 227 with 6 rules applied. Total rules applied 10847 place count 6681 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 228 with 21 rules applied. Total rules applied 10868 place count 6681 transition count 16035
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 228 with 8 rules applied. Total rules applied 10876 place count 6677 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 228 with 6 rules applied. Total rules applied 10882 place count 6677 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 229 with 21 rules applied. Total rules applied 10903 place count 6677 transition count 16035
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 10911 place count 6673 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 229 with 6 rules applied. Total rules applied 10917 place count 6673 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 230 with 21 rules applied. Total rules applied 10938 place count 6673 transition count 16035
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 10946 place count 6669 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 230 with 6 rules applied. Total rules applied 10952 place count 6669 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 231 with 21 rules applied. Total rules applied 10973 place count 6669 transition count 16035
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 10981 place count 6665 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 231 with 6 rules applied. Total rules applied 10987 place count 6665 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 232 with 21 rules applied. Total rules applied 11008 place count 6665 transition count 16035
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 11016 place count 6661 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 232 with 6 rules applied. Total rules applied 11022 place count 6661 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 233 with 21 rules applied. Total rules applied 11043 place count 6661 transition count 16035
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 233 with 8 rules applied. Total rules applied 11051 place count 6657 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 233 with 6 rules applied. Total rules applied 11057 place count 6657 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 234 with 21 rules applied. Total rules applied 11078 place count 6657 transition count 16035
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 11086 place count 6653 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 234 with 6 rules applied. Total rules applied 11092 place count 6653 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 235 with 21 rules applied. Total rules applied 11113 place count 6653 transition count 16035
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 235 with 8 rules applied. Total rules applied 11121 place count 6649 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 235 with 6 rules applied. Total rules applied 11127 place count 6649 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 236 with 21 rules applied. Total rules applied 11148 place count 6649 transition count 16035
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 236 with 8 rules applied. Total rules applied 11156 place count 6645 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 236 with 6 rules applied. Total rules applied 11162 place count 6645 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 237 with 21 rules applied. Total rules applied 11183 place count 6645 transition count 16035
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 11191 place count 6641 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 237 with 6 rules applied. Total rules applied 11197 place count 6641 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 238 with 21 rules applied. Total rules applied 11218 place count 6641 transition count 16035
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 238 with 8 rules applied. Total rules applied 11226 place count 6637 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 238 with 6 rules applied. Total rules applied 11232 place count 6637 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 239 with 21 rules applied. Total rules applied 11253 place count 6637 transition count 16035
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 11261 place count 6633 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 239 with 6 rules applied. Total rules applied 11267 place count 6633 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 240 with 21 rules applied. Total rules applied 11288 place count 6633 transition count 16035
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 240 with 8 rules applied. Total rules applied 11296 place count 6629 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 240 with 6 rules applied. Total rules applied 11302 place count 6629 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 241 with 21 rules applied. Total rules applied 11323 place count 6629 transition count 16035
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 11331 place count 6625 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 241 with 6 rules applied. Total rules applied 11337 place count 6625 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 242 with 21 rules applied. Total rules applied 11358 place count 6625 transition count 16035
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 4 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 242 with 8 rules applied. Total rules applied 11366 place count 6621 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 242 with 6 rules applied. Total rules applied 11372 place count 6621 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 243 with 21 rules applied. Total rules applied 11393 place count 6621 transition count 16035
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 11401 place count 6617 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 243 with 6 rules applied. Total rules applied 11407 place count 6617 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 244 with 21 rules applied. Total rules applied 11428 place count 6617 transition count 16035
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 244 with 8 rules applied. Total rules applied 11436 place count 6613 transition count 16063
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 244 with 7 rules applied. Total rules applied 11443 place count 6613 transition count 16056
Drop transitions removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 245 with 23 rules applied. Total rules applied 11466 place count 6613 transition count 16033
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 11474 place count 6609 transition count 16060
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 245 with 6 rules applied. Total rules applied 11480 place count 6609 transition count 16054
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 246 with 21 rules applied. Total rules applied 11501 place count 6609 transition count 16033
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 246 with 8 rules applied. Total rules applied 11509 place count 6605 transition count 16060
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 246 with 6 rules applied. Total rules applied 11515 place count 6605 transition count 16054
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 247 with 21 rules applied. Total rules applied 11536 place count 6605 transition count 16033
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 11544 place count 6601 transition count 16060
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 247 with 6 rules applied. Total rules applied 11550 place count 6601 transition count 16054
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 248 with 21 rules applied. Total rules applied 11571 place count 6601 transition count 16033
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 11579 place count 6597 transition count 16060
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 248 with 6 rules applied. Total rules applied 11585 place count 6597 transition count 16054
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 249 with 21 rules applied. Total rules applied 11606 place count 6597 transition count 16033
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 249 with 8 rules applied. Total rules applied 11614 place count 6593 transition count 16060
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 249 with 6 rules applied. Total rules applied 11620 place count 6593 transition count 16054
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 250 with 21 rules applied. Total rules applied 11641 place count 6593 transition count 16033
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 250 with 8 rules applied. Total rules applied 11649 place count 6589 transition count 16060
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 250 with 6 rules applied. Total rules applied 11655 place count 6589 transition count 16054
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 251 with 21 rules applied. Total rules applied 11676 place count 6589 transition count 16033
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 11684 place count 6585 transition count 16060
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 251 with 6 rules applied. Total rules applied 11690 place count 6585 transition count 16054
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 252 with 21 rules applied. Total rules applied 11711 place count 6585 transition count 16033
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 11719 place count 6581 transition count 16060
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 252 with 6 rules applied. Total rules applied 11725 place count 6581 transition count 16054
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 253 with 21 rules applied. Total rules applied 11746 place count 6581 transition count 16033
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 253 with 8 rules applied. Total rules applied 11754 place count 6577 transition count 16061
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 253 with 6 rules applied. Total rules applied 11760 place count 6577 transition count 16055
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 254 with 20 rules applied. Total rules applied 11780 place count 6577 transition count 16035
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 254 with 8 rules applied. Total rules applied 11788 place count 6573 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 254 with 6 rules applied. Total rules applied 11794 place count 6573 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 255 with 21 rules applied. Total rules applied 11815 place count 6573 transition count 16035
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 255 with 8 rules applied. Total rules applied 11823 place count 6569 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 255 with 6 rules applied. Total rules applied 11829 place count 6569 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 256 with 21 rules applied. Total rules applied 11850 place count 6569 transition count 16035
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 11858 place count 6565 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 256 with 6 rules applied. Total rules applied 11864 place count 6565 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 257 with 21 rules applied. Total rules applied 11885 place count 6565 transition count 16035
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 257 with 8 rules applied. Total rules applied 11893 place count 6561 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 257 with 6 rules applied. Total rules applied 11899 place count 6561 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 258 with 21 rules applied. Total rules applied 11920 place count 6561 transition count 16035
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 11928 place count 6557 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 258 with 6 rules applied. Total rules applied 11934 place count 6557 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 259 with 21 rules applied. Total rules applied 11955 place count 6557 transition count 16035
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 259 with 8 rules applied. Total rules applied 11963 place count 6553 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 259 with 6 rules applied. Total rules applied 11969 place count 6553 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 260 with 21 rules applied. Total rules applied 11990 place count 6553 transition count 16035
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 11998 place count 6549 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 260 with 6 rules applied. Total rules applied 12004 place count 6549 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 261 with 21 rules applied. Total rules applied 12025 place count 6549 transition count 16035
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 12033 place count 6545 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 261 with 6 rules applied. Total rules applied 12039 place count 6545 transition count 16056
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 262 with 21 rules applied. Total rules applied 12060 place count 6545 transition count 16035
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 12068 place count 6541 transition count 16062
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 262 with 6 rules applied. Total rules applied 12074 place count 6541 transition count 16056
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 263 with 21 rules applied. Total rules applied 12095 place count 6541 transition count 16035
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 263 with 8 rules applied. Total rules applied 12103 place count 6537 transition count 16063
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 263 with 6 rules applied. Total rules applied 12109 place count 6537 transition count 16057
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 264 with 20 rules applied. Total rules applied 12129 place count 6537 transition count 16037
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 12137 place count 6533 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 264 with 6 rules applied. Total rules applied 12143 place count 6533 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 265 with 21 rules applied. Total rules applied 12164 place count 6533 transition count 16037
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 12172 place count 6529 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 265 with 6 rules applied. Total rules applied 12178 place count 6529 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 266 with 21 rules applied. Total rules applied 12199 place count 6529 transition count 16037
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 12207 place count 6525 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 266 with 6 rules applied. Total rules applied 12213 place count 6525 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 267 with 21 rules applied. Total rules applied 12234 place count 6525 transition count 16037
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 267 with 8 rules applied. Total rules applied 12242 place count 6521 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 267 with 6 rules applied. Total rules applied 12248 place count 6521 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 268 with 21 rules applied. Total rules applied 12269 place count 6521 transition count 16037
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 268 with 8 rules applied. Total rules applied 12277 place count 6517 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 268 with 6 rules applied. Total rules applied 12283 place count 6517 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 269 with 21 rules applied. Total rules applied 12304 place count 6517 transition count 16037
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 269 with 8 rules applied. Total rules applied 12312 place count 6513 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 269 with 6 rules applied. Total rules applied 12318 place count 6513 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 270 with 21 rules applied. Total rules applied 12339 place count 6513 transition count 16037
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 12347 place count 6509 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 270 with 6 rules applied. Total rules applied 12353 place count 6509 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 271 with 21 rules applied. Total rules applied 12374 place count 6509 transition count 16037
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 12382 place count 6505 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 271 with 6 rules applied. Total rules applied 12388 place count 6505 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 272 with 21 rules applied. Total rules applied 12409 place count 6505 transition count 16037
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -26
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 12417 place count 6501 transition count 16063
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 272 with 6 rules applied. Total rules applied 12423 place count 6501 transition count 16057
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 273 with 20 rules applied. Total rules applied 12443 place count 6501 transition count 16037
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 12451 place count 6497 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 273 with 6 rules applied. Total rules applied 12457 place count 6497 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 274 with 21 rules applied. Total rules applied 12478 place count 6497 transition count 16037
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 274 with 8 rules applied. Total rules applied 12486 place count 6493 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 274 with 6 rules applied. Total rules applied 12492 place count 6493 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 275 with 21 rules applied. Total rules applied 12513 place count 6493 transition count 16037
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 12521 place count 6489 transition count 16064
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 275 with 6 rules applied. Total rules applied 12527 place count 6489 transition count 16058
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 276 with 21 rules applied. Total rules applied 12548 place count 6489 transition count 16037
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 276 with 8 rules applied. Total rules applied 12556 place count 6485 transition count 16065
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 276 with 6 rules applied. Total rules applied 12562 place count 6485 transition count 16059
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 277 with 21 rules applied. Total rules applied 12583 place count 6485 transition count 16038
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 277 with 8 rules applied. Total rules applied 12591 place count 6481 transition count 16066
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 277 with 7 rules applied. Total rules applied 12598 place count 6481 transition count 16059
Drop transitions removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 278 with 23 rules applied. Total rules applied 12621 place count 6481 transition count 16036
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 12629 place count 6477 transition count 16063
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 278 with 6 rules applied. Total rules applied 12635 place count 6477 transition count 16057
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 279 with 21 rules applied. Total rules applied 12656 place count 6477 transition count 16036
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 12664 place count 6473 transition count 16063
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 279 with 6 rules applied. Total rules applied 12670 place count 6473 transition count 16057
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 280 with 21 rules applied. Total rules applied 12691 place count 6473 transition count 16036
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 280 with 8 rules applied. Total rules applied 12699 place count 6469 transition count 16063
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 280 with 6 rules applied. Total rules applied 12705 place count 6469 transition count 16057
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 281 with 21 rules applied. Total rules applied 12726 place count 6469 transition count 16036
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 281 with 8 rules applied. Total rules applied 12734 place count 6465 transition count 16063
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 281 with 6 rules applied. Total rules applied 12740 place count 6465 transition count 16057
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 282 with 21 rules applied. Total rules applied 12761 place count 6465 transition count 16036
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 282 with 8 rules applied. Total rules applied 12769 place count 6461 transition count 16063
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 282 with 6 rules applied. Total rules applied 12775 place count 6461 transition count 16057
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 283 with 21 rules applied. Total rules applied 12796 place count 6461 transition count 16036
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 283 with 8 rules applied. Total rules applied 12804 place count 6457 transition count 16063
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 283 with 6 rules applied. Total rules applied 12810 place count 6457 transition count 16057
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 284 with 21 rules applied. Total rules applied 12831 place count 6457 transition count 16036
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 12839 place count 6453 transition count 16063
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 284 with 6 rules applied. Total rules applied 12845 place count 6453 transition count 16057
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 285 with 21 rules applied. Total rules applied 12866 place count 6453 transition count 16036
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 12874 place count 6449 transition count 16063
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 285 with 6 rules applied. Total rules applied 12880 place count 6449 transition count 16057
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 286 with 21 rules applied. Total rules applied 12901 place count 6449 transition count 16036
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 286 with 8 rules applied. Total rules applied 12909 place count 6445 transition count 16064
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 286 with 7 rules applied. Total rules applied 12916 place count 6445 transition count 16057
Drop transitions removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 287 with 23 rules applied. Total rules applied 12939 place count 6445 transition count 16034
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 287 with 8 rules applied. Total rules applied 12947 place count 6441 transition count 16061
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 287 with 7 rules applied. Total rules applied 12954 place count 6441 transition count 16054
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 288 with 20 rules applied. Total rules applied 12974 place count 6441 transition count 16034
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 288 with 8 rules applied. Total rules applied 12982 place count 6437 transition count 16061
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 288 with 6 rules applied. Total rules applied 12988 place count 6437 transition count 16055
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 289 with 21 rules applied. Total rules applied 13009 place count 6437 transition count 16034
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 13017 place count 6433 transition count 16061
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 289 with 6 rules applied. Total rules applied 13023 place count 6433 transition count 16055
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 290 with 21 rules applied. Total rules applied 13044 place count 6433 transition count 16034
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 13052 place count 6429 transition count 16061
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 290 with 6 rules applied. Total rules applied 13058 place count 6429 transition count 16055
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 291 with 21 rules applied. Total rules applied 13079 place count 6429 transition count 16034
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 291 with 8 rules applied. Total rules applied 13087 place count 6425 transition count 16061
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 291 with 6 rules applied. Total rules applied 13093 place count 6425 transition count 16055
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 292 with 21 rules applied. Total rules applied 13114 place count 6425 transition count 16034
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 292 with 8 rules applied. Total rules applied 13122 place count 6421 transition count 16061
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 292 with 6 rules applied. Total rules applied 13128 place count 6421 transition count 16055
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 293 with 21 rules applied. Total rules applied 13149 place count 6421 transition count 16034
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 293 with 8 rules applied. Total rules applied 13157 place count 6417 transition count 16061
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 293 with 6 rules applied. Total rules applied 13163 place count 6417 transition count 16055
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 294 with 21 rules applied. Total rules applied 13184 place count 6417 transition count 16034
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 294 with 8 rules applied. Total rules applied 13192 place count 6413 transition count 16061
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 294 with 6 rules applied. Total rules applied 13198 place count 6413 transition count 16055
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 295 with 21 rules applied. Total rules applied 13219 place count 6413 transition count 16034
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 13227 place count 6409 transition count 16061
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 295 with 6 rules applied. Total rules applied 13233 place count 6409 transition count 16055
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 296 with 21 rules applied. Total rules applied 13254 place count 6409 transition count 16034
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 13262 place count 6405 transition count 16061
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 296 with 6 rules applied. Total rules applied 13268 place count 6405 transition count 16055
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 297 with 21 rules applied. Total rules applied 13289 place count 6405 transition count 16034
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 297 with 8 rules applied. Total rules applied 13297 place count 6401 transition count 16061
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 297 with 6 rules applied. Total rules applied 13303 place count 6401 transition count 16055
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 298 with 21 rules applied. Total rules applied 13324 place count 6401 transition count 16034
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 298 with 8 rules applied. Total rules applied 13332 place count 6397 transition count 16061
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 298 with 6 rules applied. Total rules applied 13338 place count 6397 transition count 16055
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 299 with 21 rules applied. Total rules applied 13359 place count 6397 transition count 16034
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 299 with 8 rules applied. Total rules applied 13367 place count 6393 transition count 16061
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 299 with 6 rules applied. Total rules applied 13373 place count 6393 transition count 16055
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 300 with 21 rules applied. Total rules applied 13394 place count 6393 transition count 16034
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 300 with 8 rules applied. Total rules applied 13402 place count 6389 transition count 16061
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 300 with 6 rules applied. Total rules applied 13408 place count 6389 transition count 16055
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 301 with 21 rules applied. Total rules applied 13429 place count 6389 transition count 16034
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 301 with 8 rules applied. Total rules applied 13437 place count 6385 transition count 16061
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 301 with 6 rules applied. Total rules applied 13443 place count 6385 transition count 16055
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 302 with 21 rules applied. Total rules applied 13464 place count 6385 transition count 16034
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 13472 place count 6381 transition count 16061
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 302 with 6 rules applied. Total rules applied 13478 place count 6381 transition count 16055
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 303 with 21 rules applied. Total rules applied 13499 place count 6381 transition count 16034
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 303 with 8 rules applied. Total rules applied 13507 place count 6377 transition count 16061
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 303 with 6 rules applied. Total rules applied 13513 place count 6377 transition count 16055
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 304 with 21 rules applied. Total rules applied 13534 place count 6377 transition count 16034
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 13542 place count 6373 transition count 16061
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 304 with 7 rules applied. Total rules applied 13549 place count 6373 transition count 16054
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 305 with 22 rules applied. Total rules applied 13571 place count 6373 transition count 16032
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 13579 place count 6369 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 305 with 6 rules applied. Total rules applied 13585 place count 6369 transition count 16053
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 306 with 21 rules applied. Total rules applied 13606 place count 6369 transition count 16032
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 306 with 8 rules applied. Total rules applied 13614 place count 6365 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 306 with 6 rules applied. Total rules applied 13620 place count 6365 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 307 with 21 rules applied. Total rules applied 13641 place count 6365 transition count 16032
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 307 with 8 rules applied. Total rules applied 13649 place count 6361 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 307 with 6 rules applied. Total rules applied 13655 place count 6361 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 308 with 21 rules applied. Total rules applied 13676 place count 6361 transition count 16032
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 13684 place count 6357 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 308 with 6 rules applied. Total rules applied 13690 place count 6357 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 309 with 21 rules applied. Total rules applied 13711 place count 6357 transition count 16032
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 13719 place count 6353 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 309 with 6 rules applied. Total rules applied 13725 place count 6353 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 310 with 21 rules applied. Total rules applied 13746 place count 6353 transition count 16032
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 310 with 8 rules applied. Total rules applied 13754 place count 6349 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 310 with 6 rules applied. Total rules applied 13760 place count 6349 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 311 with 21 rules applied. Total rules applied 13781 place count 6349 transition count 16032
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 13789 place count 6345 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 311 with 6 rules applied. Total rules applied 13795 place count 6345 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 312 with 21 rules applied. Total rules applied 13816 place count 6345 transition count 16032
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 13824 place count 6341 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 312 with 6 rules applied. Total rules applied 13830 place count 6341 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 313 with 21 rules applied. Total rules applied 13851 place count 6341 transition count 16032
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 313 with 8 rules applied. Total rules applied 13859 place count 6337 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 313 with 6 rules applied. Total rules applied 13865 place count 6337 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 314 with 21 rules applied. Total rules applied 13886 place count 6337 transition count 16032
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 13894 place count 6333 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 314 with 6 rules applied. Total rules applied 13900 place count 6333 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 315 with 21 rules applied. Total rules applied 13921 place count 6333 transition count 16032
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 315 with 8 rules applied. Total rules applied 13929 place count 6329 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 315 with 6 rules applied. Total rules applied 13935 place count 6329 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 316 with 21 rules applied. Total rules applied 13956 place count 6329 transition count 16032
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 13964 place count 6325 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 316 with 6 rules applied. Total rules applied 13970 place count 6325 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 317 with 21 rules applied. Total rules applied 13991 place count 6325 transition count 16032
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 317 with 8 rules applied. Total rules applied 13999 place count 6321 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 317 with 6 rules applied. Total rules applied 14005 place count 6321 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 318 with 21 rules applied. Total rules applied 14026 place count 6321 transition count 16032
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 14034 place count 6317 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 318 with 6 rules applied. Total rules applied 14040 place count 6317 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 319 with 21 rules applied. Total rules applied 14061 place count 6317 transition count 16032
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 319 with 8 rules applied. Total rules applied 14069 place count 6313 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 319 with 6 rules applied. Total rules applied 14075 place count 6313 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 320 with 21 rules applied. Total rules applied 14096 place count 6313 transition count 16032
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 5 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 320 with 8 rules applied. Total rules applied 14104 place count 6309 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 320 with 6 rules applied. Total rules applied 14110 place count 6309 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 321 with 21 rules applied. Total rules applied 14131 place count 6309 transition count 16032
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 14139 place count 6305 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 321 with 6 rules applied. Total rules applied 14145 place count 6305 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 322 with 21 rules applied. Total rules applied 14166 place count 6305 transition count 16032
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 322 with 8 rules applied. Total rules applied 14174 place count 6301 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 322 with 6 rules applied. Total rules applied 14180 place count 6301 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 323 with 21 rules applied. Total rules applied 14201 place count 6301 transition count 16032
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 14209 place count 6297 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 323 with 6 rules applied. Total rules applied 14215 place count 6297 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 324 with 21 rules applied. Total rules applied 14236 place count 6297 transition count 16032
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 324 with 8 rules applied. Total rules applied 14244 place count 6293 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 324 with 6 rules applied. Total rules applied 14250 place count 6293 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 325 with 21 rules applied. Total rules applied 14271 place count 6293 transition count 16032
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 14279 place count 6289 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 325 with 6 rules applied. Total rules applied 14285 place count 6289 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 326 with 21 rules applied. Total rules applied 14306 place count 6289 transition count 16032
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 14314 place count 6285 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 326 with 6 rules applied. Total rules applied 14320 place count 6285 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 327 with 21 rules applied. Total rules applied 14341 place count 6285 transition count 16032
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 327 with 8 rules applied. Total rules applied 14349 place count 6281 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 327 with 6 rules applied. Total rules applied 14355 place count 6281 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 328 with 21 rules applied. Total rules applied 14376 place count 6281 transition count 16032
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 328 with 8 rules applied. Total rules applied 14384 place count 6277 transition count 16059
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 328 with 7 rules applied. Total rules applied 14391 place count 6277 transition count 16052
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 329 with 20 rules applied. Total rules applied 14411 place count 6277 transition count 16032
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 329 with 8 rules applied. Total rules applied 14419 place count 6273 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 329 with 6 rules applied. Total rules applied 14425 place count 6273 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 330 with 21 rules applied. Total rules applied 14446 place count 6273 transition count 16032
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 14454 place count 6269 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 330 with 6 rules applied. Total rules applied 14460 place count 6269 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 331 with 21 rules applied. Total rules applied 14481 place count 6269 transition count 16032
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 14489 place count 6265 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 331 with 6 rules applied. Total rules applied 14495 place count 6265 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 332 with 21 rules applied. Total rules applied 14516 place count 6265 transition count 16032
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 14524 place count 6261 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 332 with 6 rules applied. Total rules applied 14530 place count 6261 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 333 with 21 rules applied. Total rules applied 14551 place count 6261 transition count 16032
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 333 with 8 rules applied. Total rules applied 14559 place count 6257 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 333 with 6 rules applied. Total rules applied 14565 place count 6257 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 334 with 21 rules applied. Total rules applied 14586 place count 6257 transition count 16032
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 334 with 8 rules applied. Total rules applied 14594 place count 6253 transition count 16060
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 334 with 7 rules applied. Total rules applied 14601 place count 6253 transition count 16053
Drop transitions removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 335 with 23 rules applied. Total rules applied 14624 place count 6253 transition count 16030
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 335 with 8 rules applied. Total rules applied 14632 place count 6249 transition count 16057
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 335 with 6 rules applied. Total rules applied 14638 place count 6249 transition count 16051
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 336 with 21 rules applied. Total rules applied 14659 place count 6249 transition count 16030
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 14667 place count 6245 transition count 16057
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 336 with 6 rules applied. Total rules applied 14673 place count 6245 transition count 16051
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 337 with 21 rules applied. Total rules applied 14694 place count 6245 transition count 16030
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 337 with 8 rules applied. Total rules applied 14702 place count 6241 transition count 16057
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 337 with 6 rules applied. Total rules applied 14708 place count 6241 transition count 16051
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 338 with 21 rules applied. Total rules applied 14729 place count 6241 transition count 16030
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 338 with 8 rules applied. Total rules applied 14737 place count 6237 transition count 16057
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 338 with 6 rules applied. Total rules applied 14743 place count 6237 transition count 16051
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 339 with 21 rules applied. Total rules applied 14764 place count 6237 transition count 16030
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 339 with 8 rules applied. Total rules applied 14772 place count 6233 transition count 16057
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 339 with 6 rules applied. Total rules applied 14778 place count 6233 transition count 16051
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 340 with 21 rules applied. Total rules applied 14799 place count 6233 transition count 16030
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 340 with 8 rules applied. Total rules applied 14807 place count 6229 transition count 16057
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 340 with 6 rules applied. Total rules applied 14813 place count 6229 transition count 16051
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 341 with 21 rules applied. Total rules applied 14834 place count 6229 transition count 16030
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 341 with 8 rules applied. Total rules applied 14842 place count 6225 transition count 16057
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 341 with 6 rules applied. Total rules applied 14848 place count 6225 transition count 16051
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 342 with 21 rules applied. Total rules applied 14869 place count 6225 transition count 16030
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 14877 place count 6221 transition count 16057
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 342 with 6 rules applied. Total rules applied 14883 place count 6221 transition count 16051
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 343 with 21 rules applied. Total rules applied 14904 place count 6221 transition count 16030
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 343 with 8 rules applied. Total rules applied 14912 place count 6217 transition count 16058
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 343 with 6 rules applied. Total rules applied 14918 place count 6217 transition count 16052
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 344 with 20 rules applied. Total rules applied 14938 place count 6217 transition count 16032
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 344 with 8 rules applied. Total rules applied 14946 place count 6213 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 344 with 6 rules applied. Total rules applied 14952 place count 6213 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 345 with 21 rules applied. Total rules applied 14973 place count 6213 transition count 16032
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 14981 place count 6209 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 345 with 6 rules applied. Total rules applied 14987 place count 6209 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 346 with 21 rules applied. Total rules applied 15008 place count 6209 transition count 16032
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 15016 place count 6205 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 346 with 6 rules applied. Total rules applied 15022 place count 6205 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 347 with 21 rules applied. Total rules applied 15043 place count 6205 transition count 16032
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 347 with 8 rules applied. Total rules applied 15051 place count 6201 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 347 with 6 rules applied. Total rules applied 15057 place count 6201 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 348 with 21 rules applied. Total rules applied 15078 place count 6201 transition count 16032
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 15086 place count 6197 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 348 with 6 rules applied. Total rules applied 15092 place count 6197 transition count 16053
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 349 with 21 rules applied. Total rules applied 15113 place count 6197 transition count 16032
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 15121 place count 6193 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 349 with 6 rules applied. Total rules applied 15127 place count 6193 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 350 with 21 rules applied. Total rules applied 15148 place count 6193 transition count 16032
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 350 with 8 rules applied. Total rules applied 15156 place count 6189 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 350 with 6 rules applied. Total rules applied 15162 place count 6189 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 351 with 21 rules applied. Total rules applied 15183 place count 6189 transition count 16032
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 351 with 8 rules applied. Total rules applied 15191 place count 6185 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 351 with 6 rules applied. Total rules applied 15197 place count 6185 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 352 with 21 rules applied. Total rules applied 15218 place count 6185 transition count 16032
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 352 with 8 rules applied. Total rules applied 15226 place count 6181 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 352 with 6 rules applied. Total rules applied 15232 place count 6181 transition count 16053
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 353 with 21 rules applied. Total rules applied 15253 place count 6181 transition count 16032
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 353 with 8 rules applied. Total rules applied 15261 place count 6177 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 353 with 6 rules applied. Total rules applied 15267 place count 6177 transition count 16053
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 354 with 20 rules applied. Total rules applied 15287 place count 6177 transition count 16033
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 354 with 8 rules applied. Total rules applied 15295 place count 6173 transition count 16060
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 354 with 6 rules applied. Total rules applied 15301 place count 6173 transition count 16054
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 355 with 21 rules applied. Total rules applied 15322 place count 6173 transition count 16033
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 355 with 8 rules applied. Total rules applied 15330 place count 6169 transition count 16060
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 355 with 6 rules applied. Total rules applied 15336 place count 6169 transition count 16054
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 356 with 21 rules applied. Total rules applied 15357 place count 6169 transition count 16033
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 356 with 8 rules applied. Total rules applied 15365 place count 6165 transition count 16060
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 356 with 6 rules applied. Total rules applied 15371 place count 6165 transition count 16054
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 357 with 21 rules applied. Total rules applied 15392 place count 6165 transition count 16033
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 357 with 8 rules applied. Total rules applied 15400 place count 6161 transition count 16060
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 357 with 6 rules applied. Total rules applied 15406 place count 6161 transition count 16054
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 358 with 21 rules applied. Total rules applied 15427 place count 6161 transition count 16033
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 358 with 8 rules applied. Total rules applied 15435 place count 6157 transition count 16060
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 358 with 6 rules applied. Total rules applied 15441 place count 6157 transition count 16054
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 359 with 21 rules applied. Total rules applied 15462 place count 6157 transition count 16033
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 359 with 8 rules applied. Total rules applied 15470 place count 6153 transition count 16060
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 359 with 6 rules applied. Total rules applied 15476 place count 6153 transition count 16054
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 360 with 21 rules applied. Total rules applied 15497 place count 6153 transition count 16033
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 360 with 8 rules applied. Total rules applied 15505 place count 6149 transition count 16060
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 360 with 6 rules applied. Total rules applied 15511 place count 6149 transition count 16054
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 361 with 21 rules applied. Total rules applied 15532 place count 6149 transition count 16033
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 361 with 8 rules applied. Total rules applied 15540 place count 6145 transition count 16060
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 361 with 6 rules applied. Total rules applied 15546 place count 6145 transition count 16054
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 362 with 21 rules applied. Total rules applied 15567 place count 6145 transition count 16033
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -26
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 362 with 8 rules applied. Total rules applied 15575 place count 6141 transition count 16059
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 362 with 6 rules applied. Total rules applied 15581 place count 6141 transition count 16053
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393216 kB
MemFree: 14267660 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16107040 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:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ 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="ltsminxred"
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 ltsminxred"
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 r119-tall-167814497900542"
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 ;