Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.4M
-rw-r--r-- 1 mcc users 5.2K Apr 29 19:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 51K Apr 29 19:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Apr 29 19:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 61K Apr 29 19:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:33 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K May 9 07:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 9 07:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 9 07:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 9 07:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 9 07:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 9 07:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 10 09:33 equiv_col
-rw-r--r-- 1 mcc users 3 May 10 09:33 instance
-rw-r--r-- 1 mcc users 6 May 10 09:33 iscolored
-rw-r--r-- 1 mcc users 4.1M May 10 09:33 model.pnml

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

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

The expected result is a vector of positive values
NUM_VECTOR

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

=== Now, execution of the tool begins

BK_START 1652552574743

Running Version 202205111006
[2022-05-14 18:22:55] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2022-05-14 18:22:55] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-14 18:22:57] [INFO ] Load time of PNML (sax parser for PT used): 1530 ms
[2022-05-14 18:22:57] [INFO ] Transformed 11440 places.
[2022-05-14 18:22:57] [INFO ] Transformed 17128 transitions.
[2022-05-14 18:22:57] [INFO ] Found NUPN structural information;
[2022-05-14 18:22:57] [INFO ] Parsed PT model containing 11440 places and 17128 transitions in 2050 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 9 ms.
// Phase 1: matrix 17128 rows 11440 cols
[2022-05-14 18:22:58] [INFO ] Computed 608 place invariants in 140 ms
Incomplete random walk after 10000 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=84 ) properties (out of 16) seen :4
FORMULA DLCflexbar-PT-4b-UpperBounds-10 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCflexbar-PT-4b-UpperBounds-09 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCflexbar-PT-4b-UpperBounds-07 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCflexbar-PT-4b-UpperBounds-04 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=666 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=714 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=769 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=769 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=833 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=666 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=714 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=666 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=714 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=833 ) properties (out of 12) seen :0
// Phase 1: matrix 17128 rows 11440 cols
[2022-05-14 18:22:59] [INFO ] Computed 608 place invariants in 80 ms
[2022-05-14 18:23:02] [INFO ] [Real]Absence check using 608 positive place invariants in 1466 ms returned sat
[2022-05-14 18:23:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-14 18:23:04] [INFO ] [Real]Absence check using state equation in 1486 ms returned unknown
[2022-05-14 18:23:07] [INFO ] [Real]Absence check using 608 positive place invariants in 1447 ms returned sat
[2022-05-14 18:23:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-14 18:23:09] [INFO ] [Real]Absence check using state equation in 1889 ms returned unknown
[2022-05-14 18:23:12] [INFO ] [Real]Absence check using 608 positive place invariants in 1421 ms returned sat
[2022-05-14 18:23:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-14 18:23:14] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... while checking expression at index 2
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:242)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:901)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2620)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:189)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:639)
at fr.lip6.move.gal.application.Application.start(Application.java:174)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
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:401)
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:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
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)
[2022-05-14 18:23:17] [INFO ] [Real]Absence check using 608 positive place invariants in 1461 ms returned sat
[2022-05-14 18:23:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-14 18:23:19] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 3
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:242)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:901)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2620)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:189)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:639)
at fr.lip6.move.gal.application.Application.start(Application.java:174)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
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:401)
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:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
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)
[2022-05-14 18:23:22] [INFO ] [Real]Absence check using 608 positive place invariants in 1452 ms returned sat
[2022-05-14 18:23:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-14 18:23:24] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... while checking expression at index 4
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:242)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:901)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2620)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:189)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:639)
at fr.lip6.move.gal.application.Application.start(Application.java:174)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
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:401)
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:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
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)
[2022-05-14 18:23:27] [INFO ] [Real]Absence check using 608 positive place invariants in 1451 ms returned sat
[2022-05-14 18:23:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-14 18:23:29] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... while checking expression at index 5
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:242)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:901)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2620)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:189)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:639)
at fr.lip6.move.gal.application.Application.start(Application.java:174)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
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:401)
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:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
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)
[2022-05-14 18:23:32] [INFO ] [Real]Absence check using 608 positive place invariants in 1391 ms returned sat
[2022-05-14 18:23:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-14 18:23:34] [INFO ] [Real]Absence check using state equation in 1736 ms returned unknown
[2022-05-14 18:23:37] [INFO ] [Real]Absence check using 608 positive place invariants in 1443 ms returned sat
[2022-05-14 18:23:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-14 18:23:39] [INFO ] [Real]Absence check using state equation in 1686 ms returned unknown
[2022-05-14 18:23:42] [INFO ] [Real]Absence check using 608 positive place invariants in 1427 ms returned sat
[2022-05-14 18:23:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-14 18:23:44] [INFO ] [Real]Absence check using state equation in 1629 ms returned unknown
[2022-05-14 18:23:47] [INFO ] [Real]Absence check using 608 positive place invariants in 1544 ms returned sat
[2022-05-14 18:23:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-14 18:23:49] [INFO ] [Real]Absence check using state equation in 1773 ms returned unknown
[2022-05-14 18:23:52] [INFO ] [Real]Absence check using 608 positive place invariants in 1401 ms returned sat
[2022-05-14 18:23:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-14 18:23:54] [INFO ] [Real]Absence check using state equation in 1911 ms returned unknown
[2022-05-14 18:23:57] [INFO ] [Real]Absence check using 608 positive place invariants in 1547 ms returned sat
[2022-05-14 18:23:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-14 18:23:59] [INFO ] [Real]Absence check using state equation in 1781 ms returned unknown
Current structural bounds on expressions (after SMT) : [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1] Max seen :[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
Support contains 12 out of 11440 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 11440/11440 places, 17128/17128 transitions.
Graph (trivial) has 10566 edges and 11440 vertex of which 1040 / 11440 are part of one of the 68 SCC in 31 ms
Free SCC test removed 972 places
Drop transitions removed 1096 transitions
Reduce isomorphic transitions removed 1096 transitions.
Drop transitions removed 5185 transitions
Trivial Post-agglo rules discarded 5185 transitions
Performed 5185 trivial Post agglomeration. Transition count delta: 5185
Iterating post reduction 0 with 5185 rules applied. Total rules applied 5186 place count 10468 transition count 10847
Reduce places removed 5185 places and 0 transitions.
Ensure Unique test removed 149 transitions
Reduce isomorphic transitions removed 149 transitions.
Drop transitions removed 143 transitions
Trivial Post-agglo rules discarded 143 transitions
Performed 143 trivial Post agglomeration. Transition count delta: 143
Iterating post reduction 1 with 5477 rules applied. Total rules applied 10663 place count 5283 transition count 10555
Reduce places removed 143 places and 0 transitions.
Ensure Unique test removed 43 transitions
Reduce isomorphic transitions removed 43 transitions.
Drop transitions removed 43 transitions
Trivial Post-agglo rules discarded 43 transitions
Performed 43 trivial Post agglomeration. Transition count delta: 43
Iterating post reduction 2 with 229 rules applied. Total rules applied 10892 place count 5140 transition count 10469
Reduce places removed 43 places and 0 transitions.
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Iterating post reduction 3 with 50 rules applied. Total rules applied 10942 place count 5097 transition count 10462
Reduce places removed 7 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 4 with 8 rules applied. Total rules applied 10950 place count 5090 transition count 10461
Performed 47 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 47 Pre rules applied. Total rules applied 10950 place count 5090 transition count 10414
Deduced a syphon composed of 47 places in 133 ms
Reduce places removed 47 places and 0 transitions.
Iterating global reduction 5 with 94 rules applied. Total rules applied 11044 place count 5043 transition count 10414
Discarding 1430 places :
Symmetric choice reduction at 5 with 1430 rule applications. Total rules 12474 place count 3613 transition count 8984
Iterating global reduction 5 with 1430 rules applied. Total rules applied 13904 place count 3613 transition count 8984
Performed 610 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 610 Pre rules applied. Total rules applied 13904 place count 3613 transition count 8374
Deduced a syphon composed of 610 places in 126 ms
Reduce places removed 610 places and 0 transitions.
Iterating global reduction 5 with 1220 rules applied. Total rules applied 15124 place count 3003 transition count 8374
Discarding 129 places :
Symmetric choice reduction at 5 with 129 rule applications. Total rules 15253 place count 2874 transition count 5794
Iterating global reduction 5 with 129 rules applied. Total rules applied 15382 place count 2874 transition count 5794
Ensure Unique test removed 99 transitions
Reduce isomorphic transitions removed 99 transitions.
Iterating post reduction 5 with 99 rules applied. Total rules applied 15481 place count 2874 transition count 5695
Performed 727 Post agglomeration using F-continuation condition with reduction of 6 identical transitions.
Deduced a syphon composed of 727 places in 2 ms
Reduce places removed 727 places and 0 transitions.
Iterating global reduction 6 with 1454 rules applied. Total rules applied 16935 place count 2147 transition count 4962
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 6 with 6 rules applied. Total rules applied 16941 place count 2147 transition count 4956
Renaming transitions due to excessive name length > 1024 char.
Performed 101 Post agglomeration using F-continuation condition with reduction of 192 identical transitions.
Deduced a syphon composed of 101 places in 2 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 7 with 202 rules applied. Total rules applied 17143 place count 2046 transition count 5565
Discarding 32 places :
Symmetric choice reduction at 7 with 32 rule applications. Total rules 17175 place count 2014 transition count 5181
Iterating global reduction 7 with 32 rules applied. Total rules applied 17207 place count 2014 transition count 5181
Ensure Unique test removed 192 transitions
Reduce isomorphic transitions removed 192 transitions.
Iterating post reduction 7 with 192 rules applied. Total rules applied 17399 place count 2014 transition count 4989
Performed 44 Post agglomeration using F-continuation condition with reduction of 66 identical transitions.
Deduced a syphon composed of 44 places in 3 ms
Reduce places removed 44 places and 0 transitions.
Iterating global reduction 8 with 88 rules applied. Total rules applied 17487 place count 1970 transition count 5269
Drop transitions removed 20 transitions
Reduce isomorphic transitions removed 20 transitions.
Iterating post reduction 8 with 20 rules applied. Total rules applied 17507 place count 1970 transition count 5249
Discarding 11 places :
Symmetric choice reduction at 9 with 11 rule applications. Total rules 17518 place count 1959 transition count 5117
Iterating global reduction 9 with 11 rules applied. Total rules applied 17529 place count 1959 transition count 5117
Ensure Unique test removed 66 transitions
Reduce isomorphic transitions removed 66 transitions.
Iterating post reduction 9 with 66 rules applied. Total rules applied 17595 place count 1959 transition count 5051
Drop transitions removed 50 transitions
Redundant transition composition rules discarded 50 transitions
Iterating global reduction 10 with 50 rules applied. Total rules applied 17645 place count 1959 transition count 5001
Discarding 12 places :
Symmetric choice reduction at 10 with 12 rule applications. Total rules 17657 place count 1947 transition count 4989
Iterating global reduction 10 with 12 rules applied. Total rules applied 17669 place count 1947 transition count 4989
Discarding 12 places :
Symmetric choice reduction at 10 with 12 rule applications. Total rules 17681 place count 1935 transition count 4391
Iterating global reduction 10 with 12 rules applied. Total rules applied 17693 place count 1935 transition count 4391
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 10 with 12 rules applied. Total rules applied 17705 place count 1935 transition count 4379
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Deduced a syphon composed of 6 places in 1 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 11 with 12 rules applied. Total rules applied 17717 place count 1929 transition count 4373
Discarding 6 places :
Symmetric choice reduction at 11 with 6 rule applications. Total rules 17723 place count 1923 transition count 4074
Iterating global reduction 11 with 6 rules applied. Total rules applied 17729 place count 1923 transition count 4074
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 11 with 6 rules applied. Total rules applied 17735 place count 1923 transition count 4068
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 12 with 8 rules applied. Total rules applied 17743 place count 1919 transition count 4095
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 12 with 5 rules applied. Total rules applied 17748 place count 1919 transition count 4090
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 13 with 22 rules applied. Total rules applied 17770 place count 1919 transition count 4068
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 13 with 8 rules applied. Total rules applied 17778 place count 1915 transition count 4095
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 13 with 6 rules applied. Total rules applied 17784 place count 1915 transition count 4089
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 14 with 21 rules applied. Total rules applied 17805 place count 1915 transition count 4068
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 14 with 8 rules applied. Total rules applied 17813 place count 1911 transition count 4095
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 14 with 6 rules applied. Total rules applied 17819 place count 1911 transition count 4089
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 15 with 21 rules applied. Total rules applied 17840 place count 1911 transition count 4068
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 15 with 8 rules applied. Total rules applied 17848 place count 1907 transition count 4095
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 15 with 6 rules applied. Total rules applied 17854 place count 1907 transition count 4089
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 16 with 21 rules applied. Total rules applied 17875 place count 1907 transition count 4068
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 16 with 8 rules applied. Total rules applied 17883 place count 1903 transition count 4095
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 16 with 6 rules applied. Total rules applied 17889 place count 1903 transition count 4089
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 17 with 21 rules applied. Total rules applied 17910 place count 1903 transition count 4068
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 17 with 8 rules applied. Total rules applied 17918 place count 1899 transition count 4095
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 17 with 6 rules applied. Total rules applied 17924 place count 1899 transition count 4089
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 18 with 21 rules applied. Total rules applied 17945 place count 1899 transition count 4068
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 18 with 8 rules applied. Total rules applied 17953 place count 1895 transition count 4095
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 18 with 6 rules applied. Total rules applied 17959 place count 1895 transition count 4089
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 19 with 21 rules applied. Total rules applied 17980 place count 1895 transition count 4068
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 19 with 8 rules applied. Total rules applied 17988 place count 1891 transition count 4095
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 19 with 6 rules applied. Total rules applied 17994 place count 1891 transition count 4089
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 20 with 21 rules applied. Total rules applied 18015 place count 1891 transition count 4068
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 20 with 8 rules applied. Total rules applied 18023 place count 1887 transition count 4095
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 20 with 6 rules applied. Total rules applied 18029 place count 1887 transition count 4089
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 21 with 21 rules applied. Total rules applied 18050 place count 1887 transition count 4068
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 21 with 8 rules applied. Total rules applied 18058 place count 1883 transition count 4095
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 21 with 6 rules applied. Total rules applied 18064 place count 1883 transition count 4089
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 22 with 21 rules applied. Total rules applied 18085 place count 1883 transition count 4068
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 22 with 8 rules applied. Total rules applied 18093 place count 1879 transition count 4099
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 22 with 7 rules applied. Total rules applied 18100 place count 1879 transition count 4092
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 23 with 21 rules applied. Total rules applied 18121 place count 1879 transition count 4071
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 23 with 8 rules applied. Total rules applied 18129 place count 1875 transition count 4098
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 23 with 6 rules applied. Total rules applied 18135 place count 1875 transition count 4092
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 24 with 21 rules applied. Total rules applied 18156 place count 1875 transition count 4071
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 24 with 8 rules applied. Total rules applied 18164 place count 1871 transition count 4098
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 24 with 6 rules applied. Total rules applied 18170 place count 1871 transition count 4092
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 25 with 21 rules applied. Total rules applied 18191 place count 1871 transition count 4071
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 25 with 8 rules applied. Total rules applied 18199 place count 1867 transition count 4098
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 25 with 6 rules applied. Total rules applied 18205 place count 1867 transition count 4092
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 26 with 21 rules applied. Total rules applied 18226 place count 1867 transition count 4071
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 26 with 8 rules applied. Total rules applied 18234 place count 1863 transition count 4099
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 26 with 6 rules applied. Total rules applied 18240 place count 1863 transition count 4093
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 27 with 21 rules applied. Total rules applied 18261 place count 1863 transition count 4072
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 27 with 8 rules applied. Total rules applied 18269 place count 1859 transition count 4100
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 27 with 6 rules applied. Total rules applied 18275 place count 1859 transition count 4094
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 28 with 21 rules applied. Total rules applied 18296 place count 1859 transition count 4073
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 28 with 8 rules applied. Total rules applied 18304 place count 1855 transition count 4100
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 28 with 6 rules applied. Total rules applied 18310 place count 1855 transition count 4094
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 29 with 21 rules applied. Total rules applied 18331 place count 1855 transition count 4073
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 29 with 8 rules applied. Total rules applied 18339 place count 1851 transition count 4097
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 29 with 5 rules applied. Total rules applied 18344 place count 1851 transition count 4092
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 30 with 18 rules applied. Total rules applied 18362 place count 1851 transition count 4074
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 30 with 6 rules applied. Total rules applied 18368 place count 1848 transition count 4097
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 30 with 5 rules applied. Total rules applied 18373 place count 1848 transition count 4092
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 31 with 18 rules applied. Total rules applied 18391 place count 1848 transition count 4074
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 31 with 6 rules applied. Total rules applied 18397 place count 1845 transition count 4097
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 31 with 4 rules applied. Total rules applied 18401 place count 1845 transition count 4093
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 32 with 19 rules applied. Total rules applied 18420 place count 1845 transition count 4074
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 32 with 6 rules applied. Total rules applied 18426 place count 1842 transition count 4097
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 32 with 5 rules applied. Total rules applied 18431 place count 1842 transition count 4092
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 33 with 18 rules applied. Total rules applied 18449 place count 1842 transition count 4074
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 33 with 6 rules applied. Total rules applied 18455 place count 1839 transition count 4097
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 33 with 4 rules applied. Total rules applied 18459 place count 1839 transition count 4093
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 34 with 19 rules applied. Total rules applied 18478 place count 1839 transition count 4074
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 34 with 6 rules applied. Total rules applied 18484 place count 1836 transition count 4097
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 34 with 5 rules applied. Total rules applied 18489 place count 1836 transition count 4092
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 35 with 18 rules applied. Total rules applied 18507 place count 1836 transition count 4074
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 35 with 6 rules applied. Total rules applied 18513 place count 1833 transition count 4097
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 35 with 4 rules applied. Total rules applied 18517 place count 1833 transition count 4093
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 36 with 19 rules applied. Total rules applied 18536 place count 1833 transition count 4074
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 36 with 6 rules applied. Total rules applied 18542 place count 1830 transition count 4097
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 36 with 5 rules applied. Total rules applied 18547 place count 1830 transition count 4092
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 37 with 18 rules applied. Total rules applied 18565 place count 1830 transition count 4074
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 37 with 6 rules applied. Total rules applied 18571 place count 1827 transition count 4097
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 37 with 4 rules applied. Total rules applied 18575 place count 1827 transition count 4093
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 38 with 19 rules applied. Total rules applied 18594 place count 1827 transition count 4074
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 38 with 6 rules applied. Total rules applied 18600 place count 1824 transition count 4097
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 38 with 5 rules applied. Total rules applied 18605 place count 1824 transition count 4092
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 39 with 18 rules applied. Total rules applied 18623 place count 1824 transition count 4074
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 39 with 6 rules applied. Total rules applied 18629 place count 1821 transition count 4097
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 39 with 4 rules applied. Total rules applied 18633 place count 1821 transition count 4093
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 40 with 19 rules applied. Total rules applied 18652 place count 1821 transition count 4074
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 40 with 6 rules applied. Total rules applied 18658 place count 1818 transition count 4097
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 40 with 5 rules applied. Total rules applied 18663 place count 1818 transition count 4092
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 41 with 18 rules applied. Total rules applied 18681 place count 1818 transition count 4074
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 41 with 6 rules applied. Total rules applied 18687 place count 1815 transition count 4097
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 41 with 4 rules applied. Total rules applied 18691 place count 1815 transition count 4093
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 42 with 19 rules applied. Total rules applied 18710 place count 1815 transition count 4074
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 42 with 6 rules applied. Total rules applied 18716 place count 1812 transition count 4097
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 42 with 5 rules applied. Total rules applied 18721 place count 1812 transition count 4092
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 43 with 18 rules applied. Total rules applied 18739 place count 1812 transition count 4074
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 43 with 6 rules applied. Total rules applied 18745 place count 1809 transition count 4097
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 43 with 4 rules applied. Total rules applied 18749 place count 1809 transition count 4093
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 44 with 19 rules applied. Total rules applied 18768 place count 1809 transition count 4074
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 44 with 6 rules applied. Total rules applied 18774 place count 1806 transition count 4097
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 44 with 5 rules applied. Total rules applied 18779 place count 1806 transition count 4092
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 45 with 18 rules applied. Total rules applied 18797 place count 1806 transition count 4074
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 45 with 6 rules applied. Total rules applied 18803 place count 1803 transition count 4097
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 45 with 4 rules applied. Total rules applied 18807 place count 1803 transition count 4093
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 46 with 19 rules applied. Total rules applied 18826 place count 1803 transition count 4074
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 46 with 6 rules applied. Total rules applied 18832 place count 1800 transition count 4097
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 46 with 5 rules applied. Total rules applied 18837 place count 1800 transition count 4092
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 47 with 18 rules applied. Total rules applied 18855 place count 1800 transition count 4074
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 47 with 6 rules applied. Total rules applied 18861 place count 1797 transition count 4097
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 47 with 4 rules applied. Total rules applied 18865 place count 1797 transition count 4093
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 48 with 19 rules applied. Total rules applied 18884 place count 1797 transition count 4074
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 48 with 6 rules applied. Total rules applied 18890 place count 1794 transition count 4097
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 48 with 5 rules applied. Total rules applied 18895 place count 1794 transition count 4092
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 49 with 18 rules applied. Total rules applied 18913 place count 1794 transition count 4074
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 49 with 6 rules applied. Total rules applied 18919 place count 1791 transition count 4101
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 49 with 5 rules applied. Total rules applied 18924 place count 1791 transition count 4096
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 50 with 19 rules applied. Total rules applied 18943 place count 1791 transition count 4077
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 50 with 6 rules applied. Total rules applied 18949 place count 1788 transition count 4100
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 50 with 5 rules applied. Total rules applied 18954 place count 1788 transition count 4095
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 51 with 18 rules applied. Total rules applied 18972 place count 1788 transition count 4077
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 51 with 6 rules applied. Total rules applied 18978 place count 1785 transition count 4100
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 51 with 4 rules applied. Total rules applied 18982 place count 1785 transition count 4096
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 52 with 19 rules applied. Total rules applied 19001 place count 1785 transition count 4077
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 52 with 6 rules applied. Total rules applied 19007 place count 1782 transition count 4100
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 52 with 5 rules applied. Total rules applied 19012 place count 1782 transition count 4095
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 53 with 18 rules applied. Total rules applied 19030 place count 1782 transition count 4077
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 53 with 6 rules applied. Total rules applied 19036 place count 1779 transition count 4100
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 53 with 4 rules applied. Total rules applied 19040 place count 1779 transition count 4096
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 54 with 19 rules applied. Total rules applied 19059 place count 1779 transition count 4077
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 54 with 6 rules applied. Total rules applied 19065 place count 1776 transition count 4101
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 54 with 5 rules applied. Total rules applied 19070 place count 1776 transition count 4096
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 55 with 18 rules applied. Total rules applied 19088 place count 1776 transition count 4078
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 55 with 6 rules applied. Total rules applied 19094 place count 1773 transition count 4101
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 55 with 4 rules applied. Total rules applied 19098 place count 1773 transition count 4097
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 56 with 19 rules applied. Total rules applied 19117 place count 1773 transition count 4078
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -22
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 56 with 6 rules applied. Total rules applied 19123 place count 1770 transition count 4100
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 56 with 3 rules applied. Total rules applied 19126 place count 1770 transition count 4097
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 57 with 19 rules applied. Total rules applied 19145 place count 1770 transition count 4078
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 57 with 6 rules applied. Total rules applied 19151 place count 1767 transition count 4101
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 57 with 5 rules applied. Total rules applied 19156 place count 1767 transition count 4096
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 58 with 18 rules applied. Total rules applied 19174 place count 1767 transition count 4078
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 58 with 6 rules applied. Total rules applied 19180 place count 1764 transition count 4101
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 58 with 4 rules applied. Total rules applied 19184 place count 1764 transition count 4097
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 59 with 19 rules applied. Total rules applied 19203 place count 1764 transition count 4078
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 59 with 6 rules applied. Total rules applied 19209 place count 1761 transition count 4101
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 59 with 5 rules applied. Total rules applied 19214 place count 1761 transition count 4096
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 60 with 18 rules applied. Total rules applied 19232 place count 1761 transition count 4078
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 60 with 6 rules applied. Total rules applied 19238 place count 1758 transition count 4101
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 60 with 4 rules applied. Total rules applied 19242 place count 1758 transition count 4097
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 61 with 19 rules applied. Total rules applied 19261 place count 1758 transition count 4078
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 61 with 6 rules applied. Total rules applied 19267 place count 1755 transition count 4101
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 61 with 5 rules applied. Total rules applied 19272 place count 1755 transition count 4096
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 62 with 18 rules applied. Total rules applied 19290 place count 1755 transition count 4078
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 62 with 6 rules applied. Total rules applied 19296 place count 1752 transition count 4101
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 62 with 4 rules applied. Total rules applied 19300 place count 1752 transition count 4097
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 63 with 19 rules applied. Total rules applied 19319 place count 1752 transition count 4078
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 63 with 6 rules applied. Total rules applied 19325 place count 1749 transition count 4101
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 63 with 5 rules applied. Total rules applied 19330 place count 1749 transition count 4096
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 64 with 18 rules applied. Total rules applied 19348 place count 1749 transition count 4078
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 64 with 6 rules applied. Total rules applied 19354 place count 1746 transition count 4101
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 64 with 4 rules applied. Total rules applied 19358 place count 1746 transition count 4097
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 65 with 19 rules applied. Total rules applied 19377 place count 1746 transition count 4078
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 65 with 6 rules applied. Total rules applied 19383 place count 1743 transition count 4101
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 65 with 5 rules applied. Total rules applied 19388 place count 1743 transition count 4096
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 66 with 18 rules applied. Total rules applied 19406 place count 1743 transition count 4078
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 66 with 6 rules applied. Total rules applied 19412 place count 1740 transition count 4101
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 66 with 4 rules applied. Total rules applied 19416 place count 1740 transition count 4097
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 67 with 19 rules applied. Total rules applied 19435 place count 1740 transition count 4078
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 67 with 6 rules applied. Total rules applied 19441 place count 1737 transition count 4101
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 67 with 5 rules applied. Total rules applied 19446 place count 1737 transition count 4096
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 68 with 18 rules applied. Total rules applied 19464 place count 1737 transition count 4078
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 68 with 6 rules applied. Total rules applied 19470 place count 1734 transition count 4101
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 68 with 4 rules applied. Total rules applied 19474 place count 1734 transition count 4097
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 69 with 19 rules applied. Total rules applied 19493 place count 1734 transition count 4078
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 69 with 6 rules applied. Total rules applied 19499 place count 1731 transition count 4101
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 69 with 5 rules applied. Total rules applied 19504 place count 1731 transition count 4096
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 70 with 18 rules applied. Total rules applied 19522 place count 1731 transition count 4078
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 70 with 6 rules applied. Total rules applied 19528 place count 1728 transition count 4101
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 70 with 4 rules applied. Total rules applied 19532 place count 1728 transition count 4097
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 71 with 19 rules applied. Total rules applied 19551 place count 1728 transition count 4078
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 71 with 6 rules applied. Total rules applied 19557 place count 1725 transition count 4101
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 71 with 5 rules applied. Total rules applied 19562 place count 1725 transition count 4096
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 72 with 18 rules applied. Total rules applied 19580 place count 1725 transition count 4078
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 72 with 6 rules applied. Total rules applied 19586 place count 1722 transition count 4101
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 72 with 4 rules applied. Total rules applied 19590 place count 1722 transition count 4097
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 73 with 19 rules applied. Total rules applied 19609 place count 1722 transition count 4078
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 73 with 6 rules applied. Total rules applied 19615 place count 1719 transition count 4101
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 73 with 5 rules applied. Total rules applied 19620 place count 1719 transition count 4096
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 74 with 18 rules applied. Total rules applied 19638 place count 1719 transition count 4078
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 74 with 6 rules applied. Total rules applied 19644 place count 1716 transition count 4101
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 74 with 4 rules applied. Total rules applied 19648 place count 1716 transition count 4097
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 75 with 19 rules applied. Total rules applied 19667 place count 1716 transition count 4078
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 75 with 6 rules applied. Total rules applied 19673 place count 1713 transition count 4101
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 75 with 5 rules applied. Total rules applied 19678 place count 1713 transition count 4096
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 76 with 18 rules applied. Total rules applied 19696 place count 1713 transition count 4078
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 76 with 6 rules applied. Total rules applied 19702 place count 1710 transition count 4101
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 76 with 4 rules applied. Total rules applied 19706 place count 1710 transition count 4097
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 77 with 19 rules applied. Total rules applied 19725 place count 1710 transition count 4078
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 77 with 6 rules applied. Total rules applied 19731 place count 1707 transition count 4101
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 77 with 5 rules applied. Total rules applied 19736 place count 1707 transition count 4096
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 78 with 18 rules applied. Total rules applied 19754 place count 1707 transition count 4078
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 78 with 6 rules applied. Total rules applied 19760 place count 1704 transition count 4105
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 78 with 5 rules applied. Total rules applied 19765 place count 1704 transition count 4100
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 79 with 19 rules applied. Total rules applied 19784 place count 1704 transition count 4081
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 79 with 6 rules applied. Total rules applied 19790 place count 1701 transition count 4104
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 79 with 5 rules applied. Total rules applied 19795 place count 1701 transition count 4099
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 80 with 18 rules applied. Total rules applied 19813 place count 1701 transition count 4081
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 80 with 6 rules applied. Total rules applied 19819 place count 1698 transition count 4104
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 80 with 4 rules applied. Total rules applied 19823 place count 1698 transition count 4100
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 81 with 19 rules applied. Total rules applied 19842 place count 1698 transition count 4081
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 81 with 6 rules applied. Total rules applied 19848 place count 1695 transition count 4104
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 81 with 5 rules applied. Total rules applied 19853 place count 1695 transition count 4099
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 82 with 18 rules applied. Total rules applied 19871 place count 1695 transition count 4081
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 82 with 6 rules applied. Total rules applied 19877 place count 1692 transition count 4104
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 82 with 4 rules applied. Total rules applied 19881 place count 1692 transition count 4100
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 83 with 19 rules applied. Total rules applied 19900 place count 1692 transition count 4081
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 83 with 6 rules applied. Total rules applied 19906 place count 1689 transition count 4105
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 83 with 5 rules applied. Total rules applied 19911 place count 1689 transition count 4100
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 84 with 18 rules applied. Total rules applied 19929 place count 1689 transition count 4082
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 84 with 6 rules applied. Total rules applied 19935 place count 1686 transition count 4105
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 84 with 5 rules applied. Total rules applied 19940 place count 1686 transition count 4100
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 85 with 18 rules applied. Total rules applied 19958 place count 1686 transition count 4082
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 85 with 6 rules applied. Total rules applied 19964 place count 1683 transition count 4106
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 85 with 4 rules applied. Total rules applied 19968 place count 1683 transition count 4102
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 86 with 19 rules applied. Total rules applied 19987 place count 1683 transition count 4083
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 86 with 6 rules applied. Total rules applied 19993 place count 1680 transition count 4106
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 86 with 5 rules applied. Total rules applied 19998 place count 1680 transition count 4101
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 87 with 18 rules applied. Total rules applied 20016 place count 1680 transition count 4083
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 87 with 6 rules applied. Total rules applied 20022 place count 1677 transition count 4106
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 87 with 4 rules applied. Total rules applied 20026 place count 1677 transition count 4102
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 88 with 19 rules applied. Total rules applied 20045 place count 1677 transition count 4083
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 88 with 6 rules applied. Total rules applied 20051 place count 1674 transition count 4106
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 88 with 5 rules applied. Total rules applied 20056 place count 1674 transition count 4101
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 89 with 18 rules applied. Total rules applied 20074 place count 1674 transition count 4083
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 89 with 6 rules applied. Total rules applied 20080 place count 1671 transition count 4106
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 89 with 4 rules applied. Total rules applied 20084 place count 1671 transition count 4102
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 90 with 19 rules applied. Total rules applied 20103 place count 1671 transition count 4083
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 90 with 6 rules applied. Total rules applied 20109 place count 1668 transition count 4106
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 90 with 5 rules applied. Total rules applied 20114 place count 1668 transition count 4101
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 91 with 18 rules applied. Total rules applied 20132 place count 1668 transition count 4083
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 91 with 6 rules applied. Total rules applied 20138 place count 1665 transition count 4106
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 91 with 4 rules applied. Total rules applied 20142 place count 1665 transition count 4102
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 92 with 19 rules applied. Total rules applied 20161 place count 1665 transition count 4083
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 92 with 6 rules applied. Total rules applied 20167 place count 1662 transition count 4106
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 92 with 5 rules applied. Total rules applied 20172 place count 1662 transition count 4101
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 93 with 18 rules applied. Total rules applied 20190 place count 1662 transition count 4083
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 93 with 6 rules applied. Total rules applied 20196 place count 1659 transition count 4106
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 93 with 4 rules applied. Total rules applied 20200 place count 1659 transition count 4102
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 94 with 19 rules applied. Total rules applied 20219 place count 1659 transition count 4083
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 94 with 6 rules applied. Total rules applied 20225 place count 1656 transition count 4106
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 94 with 5 rules applied. Total rules applied 20230 place count 1656 transition count 4101
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 95 with 18 rules applied. Total rules applied 20248 place count 1656 transition count 4083
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 95 with 6 rules applied. Total rules applied 20254 place count 1653 transition count 4106
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 95 with 4 rules applied. Total rules applied 20258 place count 1653 transition count 4102
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 96 with 19 rules applied. Total rules applied 20277 place count 1653 transition count 4083
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 96 with 6 rules applied. Total rules applied 20283 place count 1650 transition count 4106
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 96 with 5 rules applied. Total rules applied 20288 place count 1650 transition count 4101
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 97 with 18 rules applied. Total rules applied 20306 place count 1650 transition count 4083
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 97 with 6 rules applied. Total rules applied 20312 place count 1647 transition count 4106
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 97 with 4 rules applied. Total rules applied 20316 place count 1647 transition count 4102
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 98 with 19 rules applied. Total rules applied 20335 place count 1647 transition count 4083
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 98 with 6 rules applied. Total rules applied 20341 place count 1644 transition count 4106
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 98 with 5 rules applied. Total rules applied 20346 place count 1644 transition count 4101
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 99 with 18 rules applied. Total rules applied 20364 place count 1644 transition count 4083
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 99 with 6 rules applied. Total rules applied 20370 place count 1641 transition count 4106
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 99 with 4 rules applied. Total rules applied 20374 place count 1641 transition count 4102
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 100 with 19 rules applied. Total rules applied 20393 place count 1641 transition count 4083
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 100 with 6 rules applied. Total rules applied 20399 place count 1638 transition count 4106
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 100 with 5 rules applied. Total rules applied 20404 place count 1638 transition count 4101
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 101 with 18 rules applied. Total rules applied 20422 place count 1638 transition count 4083
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 101 with 6 rules applied. Total rules applied 20428 place count 1635 transition count 4106
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 101 with 4 rules applied. Total rules applied 20432 place count 1635 transition count 4102
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 102 with 19 rules applied. Total rules applied 20451 place count 1635 transition count 4083
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 102 with 6 rules applied. Total rules applied 20457 place count 1632 transition count 4106
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 102 with 4 rules applied. Total rules applied 20461 place count 1632 transition count 4102
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 103 with 19 rules applied. Total rules applied 20480 place count 1632 transition count 4083
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 103 with 6 rules applied. Total rules applied 20486 place count 1629 transition count 4106
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 103 with 5 rules applied. Total rules applied 20491 place count 1629 transition count 4101
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 104 with 18 rules applied. Total rules applied 20509 place count 1629 transition count 4083
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 104 with 6 rules applied. Total rules applied 20515 place count 1626 transition count 4106
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 104 with 4 rules applied. Total rules applied 20519 place count 1626 transition count 4102
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 105 with 19 rules applied. Total rules applied 20538 place count 1626 transition count 4083
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 105 with 6 rules applied. Total rules applied 20544 place count 1623 transition count 4106
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 105 with 5 rules applied. Total rules applied 20549 place count 1623 transition count 4101
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 106 with 18 rules applied. Total rules applied 20567 place count 1623 transition count 4083
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 106 with 6 rules applied. Total rules applied 20573 place count 1620 transition count 4106
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 106 with 4 rules applied. Total rules applied 20577 place count 1620 transition count 4102
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 107 with 19 rules applied. Total rules applied 20596 place count 1620 transition count 4083
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -26
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 107 with 6 rules applied. Total rules applied 20602 place count 1617 transition count 4109
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 107 with 5 rules applied. Total rules applied 20607 place count 1617 transition count 4104
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 108 with 15 rules applied. Total rules applied 20622 place count 1617 transition count 4089
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 108 with 4 rules applied. Total rules applied 20626 place count 1615 transition count 4107
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 108 with 3 rules applied. Total rules applied 20629 place count 1615 transition count 4104
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 109 with 15 rules applied. Total rules applied 20644 place count 1615 transition count 4089
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 109 with 4 rules applied. Total rules applied 20648 place count 1613 transition count 4107
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 109 with 3 rules applied. Total rules applied 20651 place count 1613 transition count 4104
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 110 with 15 rules applied. Total rules applied 20666 place count 1613 transition count 4089
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 110 with 4 rules applied. Total rules applied 20670 place count 1611 transition count 4107
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 110 with 3 rules applied. Total rules applied 20673 place count 1611 transition count 4104
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 111 with 15 rules applied. Total rules applied 20688 place count 1611 transition count 4089
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 111 with 4 rules applied. Total rules applied 20692 place count 1609 transition count 4107
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 111 with 3 rules applied. Total rules applied 20695 place count 1609 transition count 4104
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 112 with 15 rules applied. Total rules applied 20710 place count 1609 transition count 4089
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 112 with 4 rules applied. Total rules applied 20714 place count 1607 transition count 4107
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 112 with 3 rules applied. Total rules applied 20717 place count 1607 transition count 4104
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 113 with 15 rules applied. Total rules applied 20732 place count 1607 transition count 4089
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 113 with 4 rules applied. Total rules applied 20736 place count 1605 transition count 4107
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 113 with 3 rules applied. Total rules applied 20739 place count 1605 transition count 4104
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 114 with 15 rules applied. Total rules applied 20754 place count 1605 transition count 4089
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 114 with 4 rules applied. Total rules applied 20758 place count 1603 transition count 4108
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 114 with 3 rules applied. Total rules applied 20761 place count 1603 transition count 4105
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 115 with 15 rules applied. Total rules applied 20776 place count 1603 transition count 4090
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 115 with 4 rules applied. Total rules applied 20780 place count 1601 transition count 4108
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 115 with 3 rules applied. Total rules applied 20783 place count 1601 transition count 4105
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 116 with 15 rules applied. Total rules applied 20798 place count 1601 transition count 4090
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 116 with 4 rules applied. Total rules applied 20802 place count 1599 transition count 4108
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 116 with 3 rules applied. Total rules applied 20805 place count 1599 transition count 4105
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 117 with 15 rules applied. Total rules applied 20820 place count 1599 transition count 4090
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 117 with 4 rules applied. Total rules applied 20824 place count 1597 transition count 4109
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 117 with 3 rules applied. Total rules applied 20827 place count 1597 transition count 4106
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 118 with 15 rules applied. Total rules applied 20842 place count 1597 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 118 with 4 rules applied. Total rules applied 20846 place count 1595 transition count 4109
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 118 with 3 rules applied. Total rules applied 20849 place count 1595 transition count 4106
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 119 with 15 rules applied. Total rules applied 20864 place count 1595 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 119 with 4 rules applied. Total rules applied 20868 place count 1593 transition count 4109
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 119 with 3 rules applied. Total rules applied 20871 place count 1593 transition count 4106
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 120 with 15 rules applied. Total rules applied 20886 place count 1593 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 120 with 4 rules applied. Total rules applied 20890 place count 1591 transition count 4109
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 120 with 3 rules applied. Total rules applied 20893 place count 1591 transition count 4106
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 121 with 15 rules applied. Total rules applied 20908 place count 1591 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 121 with 4 rules applied. Total rules applied 20912 place count 1589 transition count 4109
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 121 with 3 rules applied. Total rules applied 20915 place count 1589 transition count 4106
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 122 with 15 rules applied. Total rules applied 20930 place count 1589 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 122 with 4 rules applied. Total rules applied 20934 place count 1587 transition count 4109
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 122 with 3 rules applied. Total rules applied 20937 place count 1587 transition count 4106
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 123 with 15 rules applied. Total rules applied 20952 place count 1587 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 123 with 4 rules applied. Total rules applied 20956 place count 1585 transition count 4109
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 123 with 3 rules applied. Total rules applied 20959 place count 1585 transition count 4106
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 124 with 15 rules applied. Total rules applied 20974 place count 1585 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 124 with 4 rules applied. Total rules applied 20978 place count 1583 transition count 4109
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 124 with 3 rules applied. Total rules applied 20981 place count 1583 transition count 4106
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 125 with 15 rules applied. Total rules applied 20996 place count 1583 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 125 with 4 rules applied. Total rules applied 21000 place count 1581 transition count 4109
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 125 with 3 rules applied. Total rules applied 21003 place count 1581 transition count 4106
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 126 with 15 rules applied. Total rules applied 21018 place count 1581 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 126 with 4 rules applied. Total rules applied 21022 place count 1579 transition count 4109
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 126 with 3 rules applied. Total rules applied 21025 place count 1579 transition count 4106
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 127 with 15 rules applied. Total rules applied 21040 place count 1579 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 127 with 4 rules applied. Total rules applied 21044 place count 1577 transition count 4109
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 127 with 3 rules applied. Total rules applied 21047 place count 1577 transition count 4106
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 128 with 15 rules applied. Total rules applied 21062 place count 1577 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 128 with 4 rules applied. Total rules applied 21066 place count 1575 transition count 4109
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 128 with 3 rules applied. Total rules applied 21069 place count 1575 transition count 4106
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 129 with 15 rules applied. Total rules applied 21084 place count 1575 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 129 with 4 rules applied. Total rules applied 21088 place count 1573 transition count 4109
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 129 with 3 rules applied. Total rules applied 21091 place count 1573 transition count 4106
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 130 with 15 rules applied. Total rules applied 21106 place count 1573 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 130 with 4 rules applied. Total rules applied 21110 place count 1571 transition count 4109
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 130 with 3 rules applied. Total rules applied 21113 place count 1571 transition count 4106
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 131 with 15 rules applied. Total rules applied 21128 place count 1571 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 131 with 4 rules applied. Total rules applied 21132 place count 1569 transition count 4109
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 131 with 3 rules applied. Total rules applied 21135 place count 1569 transition count 4106
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 132 with 15 rules applied. Total rules applied 21150 place count 1569 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 132 with 4 rules applied. Total rules applied 21154 place count 1567 transition count 4109
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 132 with 3 rules applied. Total rules applied 21157 place count 1567 transition count 4106
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 133 with 15 rules applied. Total rules applied 21172 place count 1567 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 133 with 4 rules applied. Total rules applied 21176 place count 1565 transition count 4109
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 133 with 3 rules applied. Total rules applied 21179 place count 1565 transition count 4106
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 134 with 15 rules applied. Total rules applied 21194 place count 1565 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 134 with 4 rules applied. Total rules applied 21198 place count 1563 transition count 4109
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 134 with 3 rules applied. Total rules applied 21201 place count 1563 transition count 4106
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 135 with 15 rules applied. Total rules applied 21216 place count 1563 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 135 with 4 rules applied. Total rules applied 21220 place count 1561 transition count 4109
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 135 with 3 rules applied. Total rules applied 21223 place count 1561 transition count 4106
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 136 with 15 rules applied. Total rules applied 21238 place count 1561 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 136 with 4 rules applied. Total rules applied 21242 place count 1559 transition count 4109
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 136 with 3 rules applied. Total rules applied 21245 place count 1559 transition count 4106
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 137 with 15 rules applied. Total rules applied 21260 place count 1559 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 137 with 4 rules applied. Total rules applied 21264 place count 1557 transition count 4109
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 137 with 3 rules applied. Total rules applied 21267 place count 1557 transition count 4106
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 138 with 15 rules applied. Total rules applied 21282 place count 1557 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 138 with 4 rules applied. Total rules applied 21286 place count 1555 transition count 4109
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 138 with 3 rules applied. Total rules applied 21289 place count 1555 transition count 4106
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 139 with 15 rules applied. Total rules applied 21304 place count 1555 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 139 with 4 rules applied. Total rules applied 21308 place count 1553 transition count 4109
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 139 with 3 rules applied. Total rules applied 21311 place count 1553 transition count 4106
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 140 with 15 rules applied. Total rules applied 21326 place count 1553 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 140 with 4 rules applied. Total rules applied 21330 place count 1551 transition count 4109
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 140 with 3 rules applied. Total rules applied 21333 place count 1551 transition count 4106
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 141 with 15 rules applied. Total rules applied 21348 place count 1551 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 141 with 4 rules applied. Total rules applied 21352 place count 1549 transition count 4109
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 141 with 3 rules applied. Total rules applied 21355 place count 1549 transition count 4106
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 142 with 15 rules applied. Total rules applied 21370 place count 1549 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 142 with 4 rules applied. Total rules applied 21374 place count 1547 transition count 4109
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 142 with 3 rules applied. Total rules applied 21377 place count 1547 transition count 4106
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 143 with 15 rules applied. Total rules applied 21392 place count 1547 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 143 with 4 rules applied. Total rules applied 21396 place count 1545 transition count 4109
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 143 with 3 rules applied. Total rules applied 21399 place count 1545 transition count 4106
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 144 with 15 rules applied. Total rules applied 21414 place count 1545 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 144 with 4 rules applied. Total rules applied 21418 place count 1543 transition count 4109
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 144 with 3 rules applied. Total rules applied 21421 place count 1543 transition count 4106
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 145 with 15 rules applied. Total rules applied 21436 place count 1543 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 145 with 4 rules applied. Total rules applied 21440 place count 1541 transition count 4109
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 145 with 3 rules applied. Total rules applied 21443 place count 1541 transition count 4106
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 146 with 15 rules applied. Total rules applied 21458 place count 1541 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 146 with 4 rules applied. Total rules applied 21462 place count 1539 transition count 4109
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 146 with 3 rules applied. Total rules applied 21465 place count 1539 transition count 4106
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 147 with 15 rules applied. Total rules applied 21480 place count 1539 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 147 with 4 rules applied. Total rules applied 21484 place count 1537 transition count 4109
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 147 with 3 rules applied. Total rules applied 21487 place count 1537 transition count 4106
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 148 with 15 rules applied. Total rules applied 21502 place count 1537 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 148 with 4 rules applied. Total rules applied 21506 place count 1535 transition count 4109
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 148 with 3 rules applied. Total rules applied 21509 place count 1535 transition count 4106
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 149 with 15 rules applied. Total rules applied 21524 place count 1535 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 149 with 4 rules applied. Total rules applied 21528 place count 1533 transition count 4109
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 149 with 3 rules applied. Total rules applied 21531 place count 1533 transition count 4106
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 150 with 15 rules applied. Total rules applied 21546 place count 1533 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -20
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 150 with 4 rules applied. Total rules applied 21550 place count 1531 transition count 4111
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 150 with 4 rules applied. Total rules applied 21554 place count 1531 transition count 4107
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 151 with 15 rules applied. Total rules applied 21569 place count 1531 transition count 4092
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -20
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 151 with 4 rules applied. Total rules applied 21573 place count 1529 transition count 4112
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 151 with 3 rules applied. Total rules applied 21576 place count 1529 transition count 4109
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 152 with 15 rules applied. Total rules applied 21591 place count 1529 transition count 4094
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 152 with 4 rules applied. Total rules applied 21595 place count 1527 transition count 4112
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 152 with 3 rules applied. Total rules applied 21598 place count 1527 transition count 4109
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 153 with 15 rules applied. Total rules applied 21613 place count 1527 transition count 4094
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 153 with 4 rules applied. Total rules applied 21617 place count 1525 transition count 4112
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 153 with 3 rules applied. Total rules applied 21620 place count 1525 transition count 4109
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 154 with 15 rules applied. Total rules applied 21635 place count 1525 transition count 4094
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 154 with 4 rules applied. Total rules applied 21639 place count 1523 transition count 4112
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 154 with 3 rules applied. Total rules applied 21642 place count 1523 transition count 4109
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 155 with 15 rules applied. Total rules applied 21657 place count 1523 transition count 4094
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 155 with 4 rules applied. Total rules applied 21661 place count 1521 transition count 4112
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 155 with 3 rules applied. Total rules applied 21664 place count 1521 transition count 4109
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 156 with 15 rules applied. Total rules applied 21679 place count 1521 transition count 4094
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 156 with 4 rules applied. Total rules applied 21683 place count 1519 transition count 4112
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 156 with 3 rules applied. Total rules applied 21686 place count 1519 transition count 4109
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 157 with 15 rules applied. Total rules applied 21701 place count 1519 transition count 4094
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 157 with 4 rules applied. Total rules applied 21705 place count 1517 transition count 4112
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 157 with 3 rules applied. Total rules applied 21708 place count 1517 transition count 4109
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 158 with 15 rules applied. Total rules applied 21723 place count 1517 transition count 4094
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 158 with 4 rules applied. Total rules applied 21727 place count 1515 transition count 4113
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 158 with 3 rules applied. Total rules applied 21730 place count 1515 transition count 4110
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 159 with 15 rules applied. Total rules applied 21745 place count 1515 transition count 4095
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 159 with 4 rules applied. Total rules applied 21749 place count 1513 transition count 4113
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 159 with 3 rules applied. Total rules applied 21752 place count 1513 transition count 4110
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 160 with 15 rules applied. Total rules applied 21767 place count 1513 transition count 4095
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 160 with 4 rules applied. Total rules applied 21771 place count 1511 transition count 4113
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 160 with 3 rules applied. Total rules applied 21774 place count 1511 transition count 4110
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 161 with 15 rules applied. Total rules applied 21789 place count 1511 transition count 4095
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 161 with 4 rules applied. Total rules applied 21793 place count 1509 transition count 4114
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 161 with 3 rules applied. Total rules applied 21796 place count 1509 transition count 4111
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 162 with 15 rules applied. Total rules applied 21811 place count 1509 transition count 4096
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 162 with 4 rules applied. Total rules applied 21815 place count 1507 transition count 4114
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 162 with 3 rules applied. Total rules applied 21818 place count 1507 transition count 4111
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 163 with 15 rules applied. Total rules applied 21833 place count 1507 transition count 4096
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 163 with 4 rules applied. Total rules applied 21837 place count 1505 transition count 4114
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 163 with 3 rules applied. Total rules applied 21840 place count 1505 transition count 4111
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 164 with 15 rules applied. Total rules applied 21855 place count 1505 transition count 4096
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 164 with 4 rules applied. Total rules applied 21859 place count 1503 transition count 4114
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 164 with 3 rules applied. Total rules applied 21862 place count 1503 transition count 4111
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 165 with 15 rules applied. Total rules applied 21877 place count 1503 transition count 4096
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 165 with 4 rules applied. Total rules applied 21881 place count 1501 transition count 4114
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 165 with 3 rules applied. Total rules applied 21884 place count 1501 transition count 4111
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 166 with 15 rules applied. Total rules applied 21899 place count 1501 transition count 4096
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 166 with 4 rules applied. Total rules applied 21903 place count 1499 transition count 4114
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 166 with 3 rules applied. Total rules applied 21906 place count 1499 transition count 4111
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 167 with 15 rules applied. Total rules applied 21921 place count 1499 transition count 4096
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 167 with 4 rules applied. Total rules applied 21925 place count 1497 transition count 4114
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 167 with 3 rules applied. Total rules applied 21928 place count 1497 transition count 4111
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 168 with 15 rules applied. Total rules applied 21943 place count 1497 transition count 4096
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 168 with 4 rules applied. Total rules applied 21947 place count 1495 transition count 4114
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 168 with 3 rules applied. Total rules applied 21950 place count 1495 transition count 4111
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 169 with 15 rules applied. Total rules applied 21965 place count 1495 transition count 4096
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 169 with 4 rules applied. Total rules applied 21969 place count 1493 transition count 4114
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 169 with 3 rules applied. Total rules applied 21972 place count 1493 transition count 4111
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 170 with 15 rules applied. Total rules applied 21987 place count 1493 transition count 4096
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 170 with 4 rules applied. Total rules applied 21991 place count 1491 transition count 4114
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 170 with 3 rules applied. Total rules applied 21994 place count 1491 transition count 4111
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 171 with 15 rules applied. Total rules applied 22009 place count 1491 transition count 4096
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 171 with 4 rules applied. Total rules applied 22013 place count 1489 transition count 4114
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 171 with 3 rules applied. Total rules applied 22016 place count 1489 transition count 4111
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 172 with 15 rules applied. Total rules applied 22031 place count 1489 transition count 4096
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 172 with 4 rules applied. Total rules applied 22035 place count 1487 transition count 4114
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 172 with 3 rules applied. Total rules applied 22038 place count 1487 transition count 4111
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 173 with 15 rules applied. Total rules applied 22053 place count 1487 transition count 4096
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 173 with 4 rules applied. Total rules applied 22057 place count 1485 transition count 4114
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 173 with 3 rules applied. Total rules applied 22060 place count 1485 transition count 4111
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 174 with 15 rules applied. Total rules applied 22075 place count 1485 transition count 4096
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 174 with 4 rules applied. Total rules applied 22079 place count 1483 transition count 4114
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 174 with 3 rules applied. Total rules applied 22082 place count 1483 transition count 4111
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 175 with 15 rules applied. Total rules applied 22097 place count 1483 transition count 4096
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 175 with 4 rules applied. Total rules applied 22101 place count 1481 transition count 4114
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 175 with 3 rules applied. Total rules applied 22104 place count 1481 transition count 4111
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 176 with 15 rules applied. Total rules applied 22119 place count 1481 transition count 4096
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 176 with 4 rules applied. Total rules applied 22123 place count 1479 transition count 4114
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 176 with 3 rules applied. Total rules applied 22126 place count 1479 transition count 4111
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 177 with 15 rules applied. Total rules applied 22141 place count 1479 transition count 4096
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 177 with 4 rules applied. Total rules applied 22145 place count 1477 transition count 4114
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 177 with 3 rules applied. Total rules applied 22148 place count 1477 transition count 4111
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 178 with 15 rules applied. Total rules applied 22163 place count 1477 transition count 4096
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 178 with 4 rules applied. Total rules applied 22167 place count 1475 transition count 4114
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 178 with 3 rules applied. Total rules applied 22170 place count 1475 transition count 4111
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 179 with 15 rules applied. Total rules applied 22185 place count 1475 transition count 4096
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 179 with 4 rules applied. Total rules applied 22189 place count 1473 transition count 4114
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 179 with 3 rules applied. Total rules applied 22192 place count 1473 transition count 4111
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 180 with 15 rules applied. Total rules applied 22207 place count 1473 transition count 4096
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 180 with 4 rules applied. Total rules applied 22211 place count 1471 transition count 4114
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 180 with 3 rules applied. Total rules applied 22214 place count 1471 transition count 4111
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 181 with 15 rules applied. Total rules applied 22229 place count 1471 transition count 4096
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 181 with 4 rules applied. Total rules applied 22233 place count 1469 transition count 4114
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 181 with 3 rules applied. Total rules applied 22236 place count 1469 transition count 4111
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 182 with 15 rules applied. Total rules applied 22251 place count 1469 transition count 4096
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 182 with 4 rules applied. Total rules applied 22255 place count 1467 transition count 4114
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 182 with 3 rules applied. Total rules applied 22258 place count 1467 transition count 4111
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 183 with 15 rules applied. Total rules applied 22273 place count 1467 transition count 4096
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 183 with 4 rules applied. Total rules applied 22277 place count 1465 transition count 4114
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 183 with 3 rules applied. Total rules applied 22280 place count 1465 transition count 4111
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 184 with 15 rules applied. Total rules applied 22295 place count 1465 transition count 4096
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 184 with 4 rules applied. Total rules applied 22299 place count 1463 transition count 4114
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 184 with 3 rules applied. Total rules applied 22302 place count 1463 transition count 4111
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 185 with 15 rules applied. Total rules applied 22317 place count 1463 transition count 4096
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 185 with 4 rules applied. Total rules applied 22321 place count 1461 transition count 4114
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 185 with 3 rules applied. Total rules applied 22324 place count 1461 transition count 4111
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 186 with 15 rules applied. Total rules applied 22339 place count 1461 transition count 4096
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 186 with 4 rules applied. Total rules applied 22343 place count 1459 transition count 4114
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 186 with 3 rules applied. Total rules applied 22346 place count 1459 transition count 4111
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 187 with 15 rules applied. Total rules applied 22361 place count 1459 transition count 4096
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 187 with 4 rules applied. Total rules applied 22365 place count 1457 transition count 4114
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 187 with 3 rules applied. Total rules applied 22368 place count 1457 transition count 4111
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 188 with 15 rules applied. Total rules applied 22383 place count 1457 transition count 4096
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 188 with 4 rules applied. Total rules applied 22387 place count 1455 transition count 4114
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 188 with 3 rules applied. Total rules applied 22390 place count 1455 transition count 4111
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 189 with 15 rules applied. Total rules applied 22405 place count 1455 transition count 4096
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 189 with 4 rules applied. Total rules applied 22409 place count 1453 transition count 4114
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 189 with 3 rules applied. Total rules applied 22412 place count 1453 transition count 4111
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 190 with 15 rules applied. Total rules applied 22427 place count 1453 transition count 4096
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 190 with 4 rules applied. Total rules applied 22431 place count 1451 transition count 4114
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 190 with 3 rules applied. Total rules applied 22434 place count 1451 transition count 4111
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 191 with 15 rules applied. Total rules applied 22449 place count 1451 transition count 4096
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 191 with 4 rules applied. Total rules applied 22453 place count 1449 transition count 4114
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 191 with 3 rules applied. Total rules applied 22456 place count 1449 transition count 4111
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 192 with 15 rules applied. Total rules applied 22471 place count 1449 transition count 4096
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -16
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 192 with 4 rules applied. Total rules applied 22475 place count 1447 transition count 4112
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 192 with 2 rules applied. Total rules applied 22477 place count 1447 transition count 4110
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 193 with 15 rules applied. Total rules applied 22492 place count 1447 transition count 4095
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -14
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 193 with 4 rules applied. Total rules applied 22496 place count 1445 transition count 4109
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 193 with 2 rules applied. Total rules applied 22498 place count 1445 transition count 4107
Drop transitions removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 194 with 14 rules applied. Total rules applied 22512 place count 1445 transition count 4093
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -14
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 194 with 4 rules applied. Total rules applied 22516 place count 1443 transition count 4107
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 194 with 2 rules applied. Total rules applied 22518 place count 1443 transition count 4105
Drop transitions removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 195 with 14 rules applied. Total rules applied 22532 place count 1443 transition count 4091
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -14
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 195 with 4 rules applied. Total rules applied 22536 place count 1441 transition count 4105
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 195 with 2 rules applied. Total rules applied 22538 place count 1441 transition count 4103
Drop transitions removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 196 with 14 rules applied. Total rules applied 22552 place count 1441 transition count 4089
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -14
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 196 with 4 rules applied. Total rules applied 22556 place count 1439 transition count 4103
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 196 with 2 rules applied. Total rules applied 22558 place count 1439 transition count 4101
Drop transitions removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 197 with 14 rules applied. Total rules applied 22572 place count 1439 transition count 4087
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -14
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 197 with 4 rules applied. Total rules applied 22576 place count 1437 transition count 4101
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 197 with 2 rules applied. Total rules applied 22578 place count 1437 transition count 4099
Drop transitions removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 198 with 14 rules applied. Total rules applied 22592 place count 1437 transition count 4085
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -14
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 198 with 4 rules applied. Total rules applied 22596 place count 1435 transition count 4099
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 198 with 2 rules applied. Total rules applied 22598 place count 1435 transition count 4097
Drop transitions removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 199 with 14 rules applied. Total rules applied 22612 place count 1435 transition count 4083
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -14
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 199 with 4 rules applied. Total rules applied 22616 place count 1433 transition count 4097
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 199 with 2 rules applied. Total rules applied 22618 place count 1433 transition count 4095
Drop transitions removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 200 with 14 rules applied. Total rules applied 22632 place count 1433 transition count 4081
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -14
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 200 with 4 rules applied. Total rules applied 22636 place count 1431 transition count 4095
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 200 with 2 rules applied. Total rules applied 22638 place count 1431 transition count 4093
Drop transitions removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 201 with 14 rules applied. Total rules applied 22652 place count 1431 transition count 4079
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -14
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 201 with 4 rules applied. Total rules applied 22656 place count 1429 transition count 4093
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 201 with 2 rules applied. Total rules applied 22658 place count 1429 transition count 4091
Drop transitions removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 202 with 14 rules applied. Total rules applied 22672 place count 1429 transition count 4077
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -14
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 202 with 4 rules applied. Total rules applied 22676 place count 1427 transition count 4091
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 202 with 2 rules applied. Total rules applied 22678 place count 1427 transition count 4089
Drop transitions removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 203 with 14 rules applied. Total rules applied 22692 place count 1427 transition count 4075
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -14
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 203 with 4 rules applied. Total rules applied 22696 place count 1425 transition count 4089
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 203 with 2 rules applied. Total rules applied 22698 place count 1425 transition count 4087
Drop transitions removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 204 with 14 rules applied. Total rules applied 22712 place count 1425 transition count 4073
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -14
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 204 with 4 rules applied. Total rules applied 22716 place count 1423 transition count 4087
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 204 with 2 rules applied. Total rules applied 22718 place count 1423 transition count 4085
Drop transitions removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 205 with 14 rules applied. Total rules applied 22732 place count 1423 transition count 4071
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -14
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 205 with 4 rules applied. Total rules applied 22736 place count 1421 transition count 4085
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 205 with 2 rules applied. Total rules applied 22738 place count 1421 transition count 4083
Drop transitions removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 206 with 14 rules applied. Total rules applied 22752 place count 1421 transition count 4069
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -14
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 206 with 4 rules applied. Total rules applied 22756 place count 1419 transition count 4083
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 206 with 2 rules applied. Total rules applied 22758 place count 1419 transition count 4081
Drop transitions removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 207 with 14 rules applied. Total rules applied 22772 place count 1419 transition count 4067
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -5
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 207 with 2 rules applied. Total rules applied 22774 place count 1418 transition count 4072
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 207 with 1 rules applied. Total rules applied 22775 place count 1418 transition count 4071
Drop transitions removed 5 transitions
Redundant transition composition rules discarded 5 transitions
Iterating global reduction 208 with 5 rules applied. Total rules applied 22780 place count 1418 transition count 4066
Free-agglomeration rule applied 226 times with reduction of 60 identical transitions.
Iterating global reduction 208 with 226 rules applied. Total rules applied 23006 place count 1418 transition count 3780
Reduce places removed 226 places and 0 transitions.
Drop transitions removed 1375 transitions
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 1379 transitions.
Graph (complete) has 3613 edges and 1192 vertex of which 201 are kept as prefixes of interest. Removing 991 places using SCC suffix rule.5 ms
Discarding 991 places :
Also discarding 1477 output transitions
Drop transitions removed 1477 transitions
Iterating post reduction 208 with 1606 rules applied. Total rules applied 24612 place count 201 transition count 924
Drop transitions removed 475 transitions
Ensure Unique test removed 17 transitions
Reduce isomorphic transitions removed 492 transitions.
Iterating post reduction 209 with 492 rules applied. Total rules applied 25104 place count 201 transition count 432
Drop transitions removed 38 transitions
Redundant transition composition rules discarded 38 transitions
Iterating global reduction 210 with 38 rules applied. Total rules applied 25142 place count 201 transition count 394
Applied a total of 25142 rules in 45651 ms. Remains 201 /11440 variables (removed 11239) and now considering 394/17128 (removed 16734) transitions.
Finished structural reductions, in 1 iterations. Remains : 201/11440 places, 394/17128 transitions.
Normalized transition count is 258 out of 394 initially.
// Phase 1: matrix 258 rows 201 cols
[2022-05-14 18:24:45] [INFO ] Computed 98 place invariants in 1 ms
Incomplete random walk after 1000000 steps, including 2 resets, run finished after 5599 ms. (steps per millisecond=178 ) properties (out of 12) seen :12
FORMULA DLCflexbar-PT-4b-UpperBounds-15 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCflexbar-PT-4b-UpperBounds-14 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCflexbar-PT-4b-UpperBounds-13 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCflexbar-PT-4b-UpperBounds-12 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCflexbar-PT-4b-UpperBounds-11 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCflexbar-PT-4b-UpperBounds-08 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCflexbar-PT-4b-UpperBounds-06 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCflexbar-PT-4b-UpperBounds-05 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCflexbar-PT-4b-UpperBounds-03 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCflexbar-PT-4b-UpperBounds-02 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCflexbar-PT-4b-UpperBounds-01 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCflexbar-PT-4b-UpperBounds-00 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
All properties solved without resorting to model-checking.
Total runtime 114910 ms.

BK_STOP 1652552690862

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is DLCflexbar-PT-4b, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r060-tall-165254771500045"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-4b.tgz
mv DLCflexbar-PT-4b execution
cd execution
if [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "UpperBounds" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] || [ "UpperBounds" = "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 [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.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 '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] ; then
echo "FORMULA_NAME UpperBounds"
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 ;