Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2024-input.r132-smll-171624288900047.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool gold2023
Input is DLCflexbar-PT-6b, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r132-smll-171624288900047
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 11M
-rw-r--r-- 1 mcc users 6.4K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:42 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K May 19 07:08 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 19 15:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 19 07:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 19 18:10 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Apr 12 13:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 104K Apr 12 13:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Apr 12 13:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 88K Apr 12 13:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 22 14:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 22 14:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 3 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 9.6M May 18 16:42 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME QuasiLiveness

=== Now, execution of the tool begins

BK_START 1716379218400

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=gold2023
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=DLCflexbar-PT-6b
Not applying reductions.
Model is PT
QuasiLiveness PT
Running Version 202304061127
[2024-05-22 12:00:21] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2024-05-22 12:00:21] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-22 12:00:23] [INFO ] Load time of PNML (sax parser for PT used): 1166 ms
[2024-05-22 12:00:23] [INFO ] Transformed 25104 places.
[2024-05-22 12:00:23] [INFO ] Transformed 39112 transitions.
[2024-05-22 12:00:23] [INFO ] Found NUPN structural information;
[2024-05-22 12:00:25] [INFO ] Parsed PT model containing 25104 places and 39112 transitions and 109395 arcs in 3225 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 25104/25104 places, 39112/39112 transitions.
Graph (trivial) has 22781 edges and 25104 vertex of which 1792 / 25104 are part of one of the 116 SCC in 74 ms
Free SCC test removed 1676 places
Ensure Unique test removed 1776 transitions
Reduce isomorphic transitions removed 1776 transitions.
Drop transitions removed 11157 transitions
Trivial Post-agglo rules discarded 11157 transitions
Performed 11157 trivial Post agglomeration. Transition count delta: 11157
Iterating post reduction 0 with 11157 rules applied. Total rules applied 11158 place count 23428 transition count 26179
Reduce places removed 11157 places and 0 transitions.
Ensure Unique test removed 276 transitions
Reduce isomorphic transitions removed 276 transitions.
Drop transitions removed 268 transitions
Trivial Post-agglo rules discarded 268 transitions
Performed 268 trivial Post agglomeration. Transition count delta: 268
Iterating post reduction 1 with 11701 rules applied. Total rules applied 22859 place count 12271 transition count 25635
Reduce places removed 268 places and 0 transitions.
Ensure Unique test removed 84 transitions
Reduce isomorphic transitions removed 84 transitions.
Drop transitions removed 84 transitions
Trivial Post-agglo rules discarded 84 transitions
Performed 84 trivial Post agglomeration. Transition count delta: 84
Iterating post reduction 2 with 436 rules applied. Total rules applied 23295 place count 12003 transition count 25467
Reduce places removed 84 places and 0 transitions.
Iterating post reduction 3 with 84 rules applied. Total rules applied 23379 place count 11919 transition count 25467
Performed 84 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 84 Pre rules applied. Total rules applied 23379 place count 11919 transition count 25383
Deduced a syphon composed of 84 places in 1566 ms
Reduce places removed 84 places and 0 transitions.
Iterating global reduction 4 with 168 rules applied. Total rules applied 23547 place count 11835 transition count 25383
Performed 6582 Post agglomeration using F-continuation condition.Transition count delta: 6582
Deduced a syphon composed of 6582 places in 19 ms
Reduce places removed 6582 places and 0 transitions.
Iterating global reduction 4 with 13164 rules applied. Total rules applied 36711 place count 5253 transition count 18801
Renaming transitions due to excessive name length > 1024 char.
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: -707
Deduced a syphon composed of 101 places in 12 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 4 with 202 rules applied. Total rules applied 36913 place count 5152 transition count 19508
Ensure Unique test removed 50 transitions
Reduce isomorphic transitions removed 50 transitions.
Iterating post reduction 4 with 50 rules applied. Total rules applied 36963 place count 5152 transition count 19458
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: -1007
Deduced a syphon composed of 101 places in 12 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 5 with 202 rules applied. Total rules applied 37165 place count 5051 transition count 20465
Ensure Unique test removed 26 transitions
Reduce isomorphic transitions removed 26 transitions.
Iterating post reduction 5 with 26 rules applied. Total rules applied 37191 place count 5051 transition count 20439
Performed 45 Post agglomeration using F-continuation condition.Transition count delta: -478
Deduced a syphon composed of 45 places in 11 ms
Reduce places removed 45 places and 0 transitions.
Iterating global reduction 6 with 90 rules applied. Total rules applied 37281 place count 5006 transition count 20917
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 6 with 8 rules applied. Total rules applied 37289 place count 5006 transition count 20909
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: -104
Deduced a syphon composed of 8 places in 24 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 7 with 16 rules applied. Total rules applied 37305 place count 4998 transition count 21013
Applied a total of 37305 rules in 7717 ms. Remains 4998 /25104 variables (removed 20106) and now considering 21013/39112 (removed 18099) transitions.
[2024-05-22 12:00:32] [INFO ] Flow matrix only has 20213 transitions (discarded 800 similar events)
// Phase 1: matrix 20213 rows 4998 cols
[2024-05-22 12:00:33] [INFO ] Computed 1492 invariants in 161 ms
[2024-05-22 12:00:34] [INFO ] Implicit Places using invariants in 1830 ms returned []
Implicit Place search using SMT only with invariants took 1872 ms to find 0 implicit places.
[2024-05-22 12:00:34] [INFO ] Flow matrix only has 20213 transitions (discarded 800 similar events)
[2024-05-22 12:00:34] [INFO ] Invariant cache hit.
[2024-05-22 12:00:36] [INFO ] Dead Transitions using invariants and state equation in 1433 ms found 0 transitions.
Starting structural reductions in LIVENESS mode, iteration 1 : 4998/25104 places, 21013/39112 transitions.
Finished structural reductions in LIVENESS mode , in 1 iterations and 11032 ms. Remains : 4998/25104 places, 21013/39112 transitions.
Discarding 4751 transitions out of 21013. Remains 16262
Initial state reduction rules removed 1 formulas.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 3284 ms. (steps per millisecond=3 ) properties (out of 16261) seen :6751
Running SMT prover for 9510 properties.
[2024-05-22 12:00:40] [INFO ] Flow matrix only has 20213 transitions (discarded 800 similar events)
[2024-05-22 12:00:40] [INFO ] Invariant cache hit.
[2024-05-22 12:00:42] [INFO ] Flatten gal took : 4303 ms
[2024-05-22 12:00:45] [INFO ] Flatten gal took : 3310 ms
[2024-05-22 12:00:45] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality12634859954038866632.gal : 430 ms
[2024-05-22 12:00:46] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality8497543775825707640.prop : 100 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202304061127/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality12634859954038866632.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality8497543775825707640.prop' '--nowitness' '--gen-order' 'FOLLOW'

its-reach command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202304061127/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
Loading property file /tmp/ReachabilityCardinality8497543775825707640.prop.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.assertInvariants(DeadlockTester.java:2343)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:621)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:342)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:226)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:96)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:426)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-22 12:01:05] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2024-05-22 12:01:05] [INFO ] After 25032ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 9510 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 2 ms.
Support contains 3296 out of 4998 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4998/4998 places, 21013/21013 transitions.
Drop transitions removed 125 transitions
Reduce isomorphic transitions removed 125 transitions.
Iterating post reduction 0 with 125 rules applied. Total rules applied 125 place count 4998 transition count 20888
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 126 place count 4997 transition count 20880
Iterating global reduction 1 with 1 rules applied. Total rules applied 127 place count 4997 transition count 20880
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 128 place count 4997 transition count 20879
Free-agglomeration rule applied 247 times with reduction of 10 identical transitions.
Iterating global reduction 2 with 247 rules applied. Total rules applied 375 place count 4997 transition count 20622
Reduce places removed 247 places and 0 transitions.
Drop transitions removed 251 transitions
Ensure Unique test removed 54 transitions
Reduce isomorphic transitions removed 305 transitions.
Iterating post reduction 2 with 552 rules applied. Total rules applied 927 place count 4750 transition count 20317
Applied a total of 927 rules in 1615 ms. Remains 4750 /4998 variables (removed 248) and now considering 20317/21013 (removed 696) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1619 ms. Remains : 4750/4998 places, 20317/21013 transitions.
Interrupted random walk after 75343 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen 9434
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2785 ms. (steps per millisecond=35 ) properties (out of 76) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2738 ms. (steps per millisecond=36 ) properties (out of 75) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2816 ms. (steps per millisecond=35 ) properties (out of 74) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2734 ms. (steps per millisecond=36 ) properties (out of 73) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2727 ms. (steps per millisecond=36 ) properties (out of 72) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2715 ms. (steps per millisecond=36 ) properties (out of 71) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2719 ms. (steps per millisecond=36 ) properties (out of 70) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2713 ms. (steps per millisecond=36 ) properties (out of 69) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2719 ms. (steps per millisecond=36 ) properties (out of 68) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2706 ms. (steps per millisecond=36 ) properties (out of 67) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2716 ms. (steps per millisecond=36 ) properties (out of 66) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2708 ms. (steps per millisecond=36 ) properties (out of 65) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2713 ms. (steps per millisecond=36 ) properties (out of 64) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2706 ms. (steps per millisecond=36 ) properties (out of 63) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2711 ms. (steps per millisecond=36 ) properties (out of 62) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2707 ms. (steps per millisecond=36 ) properties (out of 61) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2709 ms. (steps per millisecond=36 ) properties (out of 60) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2707 ms. (steps per millisecond=36 ) properties (out of 59) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2706 ms. (steps per millisecond=36 ) properties (out of 58) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2710 ms. (steps per millisecond=36 ) properties (out of 57) seen :1
Incomplete Best-First random walk after 100000 steps, including 2 resets, run finished after 2705 ms. (steps per millisecond=36 ) properties (out of 56) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2705 ms. (steps per millisecond=36 ) properties (out of 55) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2707 ms. (steps per millisecond=36 ) properties (out of 54) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2706 ms. (steps per millisecond=36 ) properties (out of 53) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2703 ms. (steps per millisecond=36 ) properties (out of 52) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2706 ms. (steps per millisecond=36 ) properties (out of 51) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2709 ms. (steps per millisecond=36 ) properties (out of 50) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2708 ms. (steps per millisecond=36 ) properties (out of 49) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2700 ms. (steps per millisecond=37 ) properties (out of 48) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2707 ms. (steps per millisecond=36 ) properties (out of 47) seen :2
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2705 ms. (steps per millisecond=36 ) properties (out of 45) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2706 ms. (steps per millisecond=36 ) properties (out of 44) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2709 ms. (steps per millisecond=36 ) properties (out of 43) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2706 ms. (steps per millisecond=36 ) properties (out of 42) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2708 ms. (steps per millisecond=36 ) properties (out of 41) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2706 ms. (steps per millisecond=36 ) properties (out of 40) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2704 ms. (steps per millisecond=36 ) properties (out of 39) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2705 ms. (steps per millisecond=36 ) properties (out of 38) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2707 ms. (steps per millisecond=36 ) properties (out of 37) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2698 ms. (steps per millisecond=37 ) properties (out of 36) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2703 ms. (steps per millisecond=36 ) properties (out of 35) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2702 ms. (steps per millisecond=37 ) properties (out of 34) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2700 ms. (steps per millisecond=37 ) properties (out of 33) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2696 ms. (steps per millisecond=37 ) properties (out of 32) seen :0
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2703 ms. (steps per millisecond=36 ) properties (out of 32) seen :0
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2702 ms. (steps per millisecond=37 ) properties (out of 32) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2703 ms. (steps per millisecond=36 ) properties (out of 31) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2700 ms. (steps per millisecond=37 ) properties (out of 30) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2704 ms. (steps per millisecond=36 ) properties (out of 29) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2705 ms. (steps per millisecond=36 ) properties (out of 28) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2700 ms. (steps per millisecond=37 ) properties (out of 27) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2698 ms. (steps per millisecond=37 ) properties (out of 26) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2706 ms. (steps per millisecond=36 ) properties (out of 25) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2705 ms. (steps per millisecond=36 ) properties (out of 24) seen :2
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2710 ms. (steps per millisecond=36 ) properties (out of 22) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2705 ms. (steps per millisecond=36 ) properties (out of 21) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2708 ms. (steps per millisecond=36 ) properties (out of 20) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2704 ms. (steps per millisecond=36 ) properties (out of 19) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2696 ms. (steps per millisecond=37 ) properties (out of 18) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2697 ms. (steps per millisecond=37 ) properties (out of 17) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2703 ms. (steps per millisecond=36 ) properties (out of 16) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2706 ms. (steps per millisecond=36 ) properties (out of 15) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2703 ms. (steps per millisecond=36 ) properties (out of 14) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2708 ms. (steps per millisecond=36 ) properties (out of 13) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2703 ms. (steps per millisecond=36 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2704 ms. (steps per millisecond=36 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2701 ms. (steps per millisecond=37 ) properties (out of 12) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2702 ms. (steps per millisecond=37 ) properties (out of 11) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2705 ms. (steps per millisecond=36 ) properties (out of 10) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2704 ms. (steps per millisecond=36 ) properties (out of 9) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2698 ms. (steps per millisecond=37 ) properties (out of 8) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2701 ms. (steps per millisecond=37 ) properties (out of 7) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2703 ms. (steps per millisecond=36 ) properties (out of 6) seen :1
Incomplete Best-First random walk after 100001 steps, including 2 resets, run finished after 2705 ms. (steps per millisecond=36 ) properties (out of 5) seen :1
Running SMT prover for 4 properties.
[2024-05-22 12:04:57] [INFO ] Flow matrix only has 19107 transitions (discarded 1210 similar events)
// Phase 1: matrix 19107 rows 4750 cols
[2024-05-22 12:04:58] [INFO ] Computed 1492 invariants in 85 ms
[2024-05-22 12:04:59] [INFO ] [Real]Absence check using 1492 positive place invariants in 512 ms returned sat
[2024-05-22 12:05:11] [INFO ] After 13488ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:4
[2024-05-22 12:05:13] [INFO ] [Nat]Absence check using 1492 positive place invariants in 462 ms returned sat
[2024-05-22 12:05:25] [INFO ] After 12344ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :4
[2024-05-22 12:05:25] [INFO ] State equation strengthened by 2151 read => feed constraints.
[2024-05-22 12:05:29] [INFO ] After 3514ms SMT Verify possible using 2151 Read/Feed constraints in natural domain returned unsat :0 sat :4
[2024-05-22 12:05:33] [INFO ] After 7678ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :4
Attempting to minimize the solution found.
Minimization took 2093 ms.
[2024-05-22 12:05:35] [INFO ] After 24029ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :4
Parikh walk visited 0 properties in 42 ms.
Support contains 6 out of 4750 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4750/4750 places, 20317/20317 transitions.
Discarding 295 places :
Symmetric choice reduction at 0 with 295 rule applications. Total rules 295 place count 4455 transition count 12658
Iterating global reduction 0 with 295 rules applied. Total rules applied 590 place count 4455 transition count 12658
Ensure Unique test removed 845 transitions
Reduce isomorphic transitions removed 845 transitions.
Iterating post reduction 0 with 845 rules applied. Total rules applied 1435 place count 4455 transition count 11813
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 1 with 2 rules applied. Total rules applied 1437 place count 4454 transition count 11825
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 1 with 3 rules applied. Total rules applied 1440 place count 4454 transition count 11822
Drop transitions removed 45 transitions
Redundant transition composition rules discarded 45 transitions
Iterating global reduction 2 with 45 rules applied. Total rules applied 1485 place count 4454 transition count 11777
Discarding 16 places :
Symmetric choice reduction at 2 with 16 rule applications. Total rules 1501 place count 4438 transition count 11761
Iterating global reduction 2 with 16 rules applied. Total rules applied 1517 place count 4438 transition count 11761
Discarding 16 places :
Symmetric choice reduction at 2 with 16 rule applications. Total rules 1533 place count 4422 transition count 10305
Iterating global reduction 2 with 16 rules applied. Total rules applied 1549 place count 4422 transition count 10305
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Iterating post reduction 2 with 16 rules applied. Total rules applied 1565 place count 4422 transition count 10289
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Deduced a syphon composed of 8 places in 2 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 3 with 16 rules applied. Total rules applied 1581 place count 4414 transition count 10281
Discarding 8 places :
Symmetric choice reduction at 3 with 8 rule applications. Total rules 1589 place count 4406 transition count 9553
Iterating global reduction 3 with 8 rules applied. Total rules applied 1597 place count 4406 transition count 9553
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 3 with 8 rules applied. Total rules applied 1605 place count 4406 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 4 with 8 rules applied. Total rules applied 1613 place count 4402 transition count 9572
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 4 with 4 rules applied. Total rules applied 1617 place count 4402 transition count 9568
Drop transitions removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 5 with 23 rules applied. Total rules applied 1640 place count 4402 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 5 with 8 rules applied. Total rules applied 1648 place count 4398 transition count 9572
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 5 with 6 rules applied. Total rules applied 1654 place count 4398 transition count 9566
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 6 with 21 rules applied. Total rules applied 1675 place count 4398 transition count 9545
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 6 with 8 rules applied. Total rules applied 1683 place count 4394 transition count 9572
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 6 with 6 rules applied. Total rules applied 1689 place count 4394 transition count 9566
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 7 with 21 rules applied. Total rules applied 1710 place count 4394 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 7 with 8 rules applied. Total rules applied 1718 place count 4390 transition count 9573
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 7 with 7 rules applied. Total rules applied 1725 place count 4390 transition count 9566
Drop transitions removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 8 with 23 rules applied. Total rules applied 1748 place count 4390 transition count 9543
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 8 with 8 rules applied. Total rules applied 1756 place count 4386 transition count 9570
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 8 with 5 rules applied. Total rules applied 1761 place count 4386 transition count 9565
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 9 with 22 rules applied. Total rules applied 1783 place count 4386 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 9 with 8 rules applied. Total rules applied 1791 place count 4382 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 9 with 6 rules applied. Total rules applied 1797 place count 4382 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 10 with 21 rules applied. Total rules applied 1818 place count 4382 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 10 with 8 rules applied. Total rules applied 1826 place count 4378 transition count 9570
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 10 with 5 rules applied. Total rules applied 1831 place count 4378 transition count 9565
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 11 with 22 rules applied. Total rules applied 1853 place count 4378 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 11 with 8 rules applied. Total rules applied 1861 place count 4374 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 11 with 6 rules applied. Total rules applied 1867 place count 4374 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 12 with 21 rules applied. Total rules applied 1888 place count 4374 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 12 with 8 rules applied. Total rules applied 1896 place count 4370 transition count 9570
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 12 with 7 rules applied. Total rules applied 1903 place count 4370 transition count 9563
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 13 with 20 rules applied. Total rules applied 1923 place count 4370 transition count 9543
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 13 with 8 rules applied. Total rules applied 1931 place count 4366 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 13 with 6 rules applied. Total rules applied 1937 place count 4366 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 14 with 21 rules applied. Total rules applied 1958 place count 4366 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 14 with 8 rules applied. Total rules applied 1966 place count 4362 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 14 with 6 rules applied. Total rules applied 1972 place count 4362 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 15 with 21 rules applied. Total rules applied 1993 place count 4362 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 15 with 8 rules applied. Total rules applied 2001 place count 4358 transition count 9570
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 15 with 5 rules applied. Total rules applied 2006 place count 4358 transition count 9565
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 16 with 22 rules applied. Total rules applied 2028 place count 4358 transition count 9543
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 2036 place count 4354 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 16 with 6 rules applied. Total rules applied 2042 place count 4354 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 17 with 21 rules applied. Total rules applied 2063 place count 4354 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 17 with 8 rules applied. Total rules applied 2071 place count 4350 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 17 with 6 rules applied. Total rules applied 2077 place count 4350 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 18 with 21 rules applied. Total rules applied 2098 place count 4350 transition count 9543
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 2106 place count 4346 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 18 with 6 rules applied. Total rules applied 2112 place count 4346 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 19 with 21 rules applied. Total rules applied 2133 place count 4346 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 19 with 8 rules applied. Total rules applied 2141 place count 4342 transition count 9573
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 19 with 7 rules applied. Total rules applied 2148 place count 4342 transition count 9566
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 20 with 21 rules applied. Total rules applied 2169 place count 4342 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 20 with 8 rules applied. Total rules applied 2177 place count 4338 transition count 9572
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 20 with 7 rules applied. Total rules applied 2184 place count 4338 transition count 9565
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 21 with 20 rules applied. Total rules applied 2204 place count 4338 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 21 with 8 rules applied. Total rules applied 2212 place count 4334 transition count 9572
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 21 with 5 rules applied. Total rules applied 2217 place count 4334 transition count 9567
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 22 with 22 rules applied. Total rules applied 2239 place count 4334 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 22 with 8 rules applied. Total rules applied 2247 place count 4330 transition count 9572
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 22 with 7 rules applied. Total rules applied 2254 place count 4330 transition count 9565
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 23 with 20 rules applied. Total rules applied 2274 place count 4330 transition count 9545
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 23 with 8 rules applied. Total rules applied 2282 place count 4326 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 23 with 6 rules applied. Total rules applied 2288 place count 4326 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 24 with 21 rules applied. Total rules applied 2309 place count 4326 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 24 with 8 rules applied. Total rules applied 2317 place count 4322 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 24 with 6 rules applied. Total rules applied 2323 place count 4322 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 25 with 21 rules applied. Total rules applied 2344 place count 4322 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 25 with 8 rules applied. Total rules applied 2352 place count 4318 transition count 9573
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 25 with 7 rules applied. Total rules applied 2359 place count 4318 transition count 9566
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 26 with 20 rules applied. Total rules applied 2379 place count 4318 transition count 9546
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 26 with 8 rules applied. Total rules applied 2387 place count 4314 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 26 with 6 rules applied. Total rules applied 2393 place count 4314 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 27 with 21 rules applied. Total rules applied 2414 place count 4314 transition count 9546
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 27 with 8 rules applied. Total rules applied 2422 place count 4310 transition count 9573
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 27 with 5 rules applied. Total rules applied 2427 place count 4310 transition count 9568
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 28 with 22 rules applied. Total rules applied 2449 place count 4310 transition count 9546
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 2457 place count 4306 transition count 9573
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 28 with 5 rules applied. Total rules applied 2462 place count 4306 transition count 9568
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 29 with 22 rules applied. Total rules applied 2484 place count 4306 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 29 with 8 rules applied. Total rules applied 2492 place count 4302 transition count 9573
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 29 with 7 rules applied. Total rules applied 2499 place count 4302 transition count 9566
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 30 with 20 rules applied. Total rules applied 2519 place count 4302 transition count 9546
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 30 with 8 rules applied. Total rules applied 2527 place count 4298 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 30 with 6 rules applied. Total rules applied 2533 place count 4298 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 31 with 21 rules applied. Total rules applied 2554 place count 4298 transition count 9546
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 31 with 8 rules applied. Total rules applied 2562 place count 4294 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 31 with 6 rules applied. Total rules applied 2568 place count 4294 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 32 with 21 rules applied. Total rules applied 2589 place count 4294 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 32 with 8 rules applied. Total rules applied 2597 place count 4290 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 32 with 6 rules applied. Total rules applied 2603 place count 4290 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 33 with 21 rules applied. Total rules applied 2624 place count 4290 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 33 with 8 rules applied. Total rules applied 2632 place count 4286 transition count 9573
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 33 with 7 rules applied. Total rules applied 2639 place count 4286 transition count 9566
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 34 with 20 rules applied. Total rules applied 2659 place count 4286 transition count 9546
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 34 with 8 rules applied. Total rules applied 2667 place count 4282 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 34 with 6 rules applied. Total rules applied 2673 place count 4282 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 35 with 21 rules applied. Total rules applied 2694 place count 4282 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 35 with 8 rules applied. Total rules applied 2702 place count 4278 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 35 with 6 rules applied. Total rules applied 2708 place count 4278 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 36 with 21 rules applied. Total rules applied 2729 place count 4278 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 36 with 8 rules applied. Total rules applied 2737 place count 4274 transition count 9573
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 36 with 5 rules applied. Total rules applied 2742 place count 4274 transition count 9568
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 37 with 22 rules applied. Total rules applied 2764 place count 4274 transition count 9546
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 37 with 8 rules applied. Total rules applied 2772 place count 4270 transition count 9574
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 37 with 6 rules applied. Total rules applied 2778 place count 4270 transition count 9568
Drop transitions removed 24 transitions
Redundant transition composition rules discarded 24 transitions
Iterating global reduction 38 with 24 rules applied. Total rules applied 2802 place count 4270 transition count 9544
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 38 with 8 rules applied. Total rules applied 2810 place count 4266 transition count 9571
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 38 with 6 rules applied. Total rules applied 2816 place count 4266 transition count 9565
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 39 with 21 rules applied. Total rules applied 2837 place count 4266 transition count 9544
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 39 with 8 rules applied. Total rules applied 2845 place count 4262 transition count 9571
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 39 with 6 rules applied. Total rules applied 2851 place count 4262 transition count 9565
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 40 with 21 rules applied. Total rules applied 2872 place count 4262 transition count 9544
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 40 with 8 rules applied. Total rules applied 2880 place count 4258 transition count 9571
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 40 with 5 rules applied. Total rules applied 2885 place count 4258 transition count 9566
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 41 with 22 rules applied. Total rules applied 2907 place count 4258 transition count 9544
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 41 with 8 rules applied. Total rules applied 2915 place count 4254 transition count 9571
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 41 with 6 rules applied. Total rules applied 2921 place count 4254 transition count 9565
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 42 with 21 rules applied. Total rules applied 2942 place count 4254 transition count 9544
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 42 with 8 rules applied. Total rules applied 2950 place count 4250 transition count 9571
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 42 with 6 rules applied. Total rules applied 2956 place count 4250 transition count 9565
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 43 with 21 rules applied. Total rules applied 2977 place count 4250 transition count 9544
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 43 with 8 rules applied. Total rules applied 2985 place count 4246 transition count 9571
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 43 with 6 rules applied. Total rules applied 2991 place count 4246 transition count 9565
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 44 with 21 rules applied. Total rules applied 3012 place count 4246 transition count 9544
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 44 with 8 rules applied. Total rules applied 3020 place count 4242 transition count 9571
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 44 with 5 rules applied. Total rules applied 3025 place count 4242 transition count 9566
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 45 with 22 rules applied. Total rules applied 3047 place count 4242 transition count 9544
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 45 with 8 rules applied. Total rules applied 3055 place count 4238 transition count 9571
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 45 with 6 rules applied. Total rules applied 3061 place count 4238 transition count 9565
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 46 with 21 rules applied. Total rules applied 3082 place count 4238 transition count 9544
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 46 with 8 rules applied. Total rules applied 3090 place count 4234 transition count 9571
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 46 with 6 rules applied. Total rules applied 3096 place count 4234 transition count 9565
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 47 with 21 rules applied. Total rules applied 3117 place count 4234 transition count 9544
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 47 with 8 rules applied. Total rules applied 3125 place count 4230 transition count 9571
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 47 with 6 rules applied. Total rules applied 3131 place count 4230 transition count 9565
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 48 with 21 rules applied. Total rules applied 3152 place count 4230 transition count 9544
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 48 with 8 rules applied. Total rules applied 3160 place count 4226 transition count 9571
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 48 with 6 rules applied. Total rules applied 3166 place count 4226 transition count 9565
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 49 with 21 rules applied. Total rules applied 3187 place count 4226 transition count 9544
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 49 with 8 rules applied. Total rules applied 3195 place count 4222 transition count 9571
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 49 with 5 rules applied. Total rules applied 3200 place count 4222 transition count 9566
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 50 with 22 rules applied. Total rules applied 3222 place count 4222 transition count 9544
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 50 with 8 rules applied. Total rules applied 3230 place count 4218 transition count 9571
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 50 with 5 rules applied. Total rules applied 3235 place count 4218 transition count 9566
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 51 with 22 rules applied. Total rules applied 3257 place count 4218 transition count 9544
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 51 with 8 rules applied. Total rules applied 3265 place count 4214 transition count 9571
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 51 with 5 rules applied. Total rules applied 3270 place count 4214 transition count 9566
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 52 with 22 rules applied. Total rules applied 3292 place count 4214 transition count 9544
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 52 with 8 rules applied. Total rules applied 3300 place count 4210 transition count 9572
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 52 with 5 rules applied. Total rules applied 3305 place count 4210 transition count 9567
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 53 with 22 rules applied. Total rules applied 3327 place count 4210 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 53 with 8 rules applied. Total rules applied 3335 place count 4206 transition count 9572
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 53 with 5 rules applied. Total rules applied 3340 place count 4206 transition count 9567
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 54 with 22 rules applied. Total rules applied 3362 place count 4206 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 54 with 8 rules applied. Total rules applied 3370 place count 4202 transition count 9572
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 54 with 5 rules applied. Total rules applied 3375 place count 4202 transition count 9567
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 55 with 22 rules applied. Total rules applied 3397 place count 4202 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 55 with 8 rules applied. Total rules applied 3405 place count 4198 transition count 9574
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 55 with 7 rules applied. Total rules applied 3412 place count 4198 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 56 with 21 rules applied. Total rules applied 3433 place count 4198 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 56 with 8 rules applied. Total rules applied 3441 place count 4194 transition count 9574
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 56 with 5 rules applied. Total rules applied 3446 place count 4194 transition count 9569
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 57 with 22 rules applied. Total rules applied 3468 place count 4194 transition count 9547
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 57 with 8 rules applied. Total rules applied 3476 place count 4190 transition count 9574
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 57 with 6 rules applied. Total rules applied 3482 place count 4190 transition count 9568
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 58 with 21 rules applied. Total rules applied 3503 place count 4190 transition count 9547
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 58 with 8 rules applied. Total rules applied 3511 place count 4186 transition count 9574
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 58 with 5 rules applied. Total rules applied 3516 place count 4186 transition count 9569
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 59 with 22 rules applied. Total rules applied 3538 place count 4186 transition count 9547
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 59 with 8 rules applied. Total rules applied 3546 place count 4182 transition count 9574
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 59 with 6 rules applied. Total rules applied 3552 place count 4182 transition count 9568
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 60 with 21 rules applied. Total rules applied 3573 place count 4182 transition count 9547
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 60 with 8 rules applied. Total rules applied 3581 place count 4178 transition count 9574
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 60 with 5 rules applied. Total rules applied 3586 place count 4178 transition count 9569
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 61 with 22 rules applied. Total rules applied 3608 place count 4178 transition count 9547
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 61 with 8 rules applied. Total rules applied 3616 place count 4174 transition count 9574
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 61 with 6 rules applied. Total rules applied 3622 place count 4174 transition count 9568
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 62 with 21 rules applied. Total rules applied 3643 place count 4174 transition count 9547
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 62 with 8 rules applied. Total rules applied 3651 place count 4170 transition count 9574
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 62 with 5 rules applied. Total rules applied 3656 place count 4170 transition count 9569
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 63 with 22 rules applied. Total rules applied 3678 place count 4170 transition count 9547
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 63 with 8 rules applied. Total rules applied 3686 place count 4166 transition count 9574
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 63 with 6 rules applied. Total rules applied 3692 place count 4166 transition count 9568
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 64 with 21 rules applied. Total rules applied 3713 place count 4166 transition count 9547
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 64 with 8 rules applied. Total rules applied 3721 place count 4162 transition count 9574
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 64 with 6 rules applied. Total rules applied 3727 place count 4162 transition count 9568
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 65 with 21 rules applied. Total rules applied 3748 place count 4162 transition count 9547
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 65 with 8 rules applied. Total rules applied 3756 place count 4158 transition count 9574
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 65 with 5 rules applied. Total rules applied 3761 place count 4158 transition count 9569
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 66 with 22 rules applied. Total rules applied 3783 place count 4158 transition count 9547
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 66 with 8 rules applied. Total rules applied 3791 place count 4154 transition count 9574
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 66 with 6 rules applied. Total rules applied 3797 place count 4154 transition count 9568
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 67 with 21 rules applied. Total rules applied 3818 place count 4154 transition count 9547
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 67 with 8 rules applied. Total rules applied 3826 place count 4150 transition count 9574
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 67 with 6 rules applied. Total rules applied 3832 place count 4150 transition count 9568
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 68 with 21 rules applied. Total rules applied 3853 place count 4150 transition count 9547
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 68 with 8 rules applied. Total rules applied 3861 place count 4146 transition count 9575
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 68 with 7 rules applied. Total rules applied 3868 place count 4146 transition count 9568
Drop transitions removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 69 with 23 rules applied. Total rules applied 3891 place count 4146 transition count 9545
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 69 with 8 rules applied. Total rules applied 3899 place count 4142 transition count 9572
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 69 with 6 rules applied. Total rules applied 3905 place count 4142 transition count 9566
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 70 with 21 rules applied. Total rules applied 3926 place count 4142 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 70 with 8 rules applied. Total rules applied 3934 place count 4138 transition count 9572
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 70 with 6 rules applied. Total rules applied 3940 place count 4138 transition count 9566
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 71 with 21 rules applied. Total rules applied 3961 place count 4138 transition count 9545
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 71 with 8 rules applied. Total rules applied 3969 place count 4134 transition count 9572
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 71 with 6 rules applied. Total rules applied 3975 place count 4134 transition count 9566
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 72 with 21 rules applied. Total rules applied 3996 place count 4134 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 72 with 8 rules applied. Total rules applied 4004 place count 4130 transition count 9573
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 72 with 7 rules applied. Total rules applied 4011 place count 4130 transition count 9566
Drop transitions removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 73 with 23 rules applied. Total rules applied 4034 place count 4130 transition count 9543
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 73 with 8 rules applied. Total rules applied 4042 place count 4126 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 73 with 6 rules applied. Total rules applied 4048 place count 4126 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 74 with 21 rules applied. Total rules applied 4069 place count 4126 transition count 9543
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 74 with 8 rules applied. Total rules applied 4077 place count 4122 transition count 9570
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 74 with 7 rules applied. Total rules applied 4084 place count 4122 transition count 9563
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 75 with 20 rules applied. Total rules applied 4104 place count 4122 transition count 9543
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 75 with 8 rules applied. Total rules applied 4112 place count 4118 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 75 with 6 rules applied. Total rules applied 4118 place count 4118 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 76 with 21 rules applied. Total rules applied 4139 place count 4118 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 76 with 8 rules applied. Total rules applied 4147 place count 4114 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 76 with 6 rules applied. Total rules applied 4153 place count 4114 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 77 with 21 rules applied. Total rules applied 4174 place count 4114 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 77 with 8 rules applied. Total rules applied 4182 place count 4110 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 77 with 6 rules applied. Total rules applied 4188 place count 4110 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 78 with 21 rules applied. Total rules applied 4209 place count 4110 transition count 9543
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 78 with 8 rules applied. Total rules applied 4217 place count 4106 transition count 9570
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 78 with 7 rules applied. Total rules applied 4224 place count 4106 transition count 9563
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 79 with 20 rules applied. Total rules applied 4244 place count 4106 transition count 9543
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 79 with 8 rules applied. Total rules applied 4252 place count 4102 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 79 with 6 rules applied. Total rules applied 4258 place count 4102 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 80 with 21 rules applied. Total rules applied 4279 place count 4102 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 80 with 8 rules applied. Total rules applied 4287 place count 4098 transition count 9570
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 80 with 7 rules applied. Total rules applied 4294 place count 4098 transition count 9563
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 81 with 20 rules applied. Total rules applied 4314 place count 4098 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 81 with 8 rules applied. Total rules applied 4322 place count 4094 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 81 with 6 rules applied. Total rules applied 4328 place count 4094 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 82 with 21 rules applied. Total rules applied 4349 place count 4094 transition count 9543
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 82 with 8 rules applied. Total rules applied 4357 place count 4090 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 82 with 6 rules applied. Total rules applied 4363 place count 4090 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 83 with 21 rules applied. Total rules applied 4384 place count 4090 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 83 with 8 rules applied. Total rules applied 4392 place count 4086 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 83 with 6 rules applied. Total rules applied 4398 place count 4086 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 84 with 21 rules applied. Total rules applied 4419 place count 4086 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 84 with 8 rules applied. Total rules applied 4427 place count 4082 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 84 with 6 rules applied. Total rules applied 4433 place count 4082 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 85 with 21 rules applied. Total rules applied 4454 place count 4082 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 85 with 8 rules applied. Total rules applied 4462 place count 4078 transition count 9571
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 85 with 6 rules applied. Total rules applied 4468 place count 4078 transition count 9565
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 86 with 21 rules applied. Total rules applied 4489 place count 4078 transition count 9544
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 86 with 8 rules applied. Total rules applied 4497 place count 4074 transition count 9571
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 86 with 6 rules applied. Total rules applied 4503 place count 4074 transition count 9565
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 87 with 21 rules applied. Total rules applied 4524 place count 4074 transition count 9544
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 87 with 8 rules applied. Total rules applied 4532 place count 4070 transition count 9571
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 87 with 6 rules applied. Total rules applied 4538 place count 4070 transition count 9565
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 88 with 21 rules applied. Total rules applied 4559 place count 4070 transition count 9544
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 88 with 8 rules applied. Total rules applied 4567 place count 4066 transition count 9571
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 88 with 6 rules applied. Total rules applied 4573 place count 4066 transition count 9565
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 89 with 21 rules applied. Total rules applied 4594 place count 4066 transition count 9544
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 89 with 8 rules applied. Total rules applied 4602 place count 4062 transition count 9571
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 89 with 6 rules applied. Total rules applied 4608 place count 4062 transition count 9565
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 90 with 21 rules applied. Total rules applied 4629 place count 4062 transition count 9544
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 90 with 8 rules applied. Total rules applied 4637 place count 4058 transition count 9571
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 90 with 6 rules applied. Total rules applied 4643 place count 4058 transition count 9565
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 91 with 21 rules applied. Total rules applied 4664 place count 4058 transition count 9544
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 91 with 8 rules applied. Total rules applied 4672 place count 4054 transition count 9572
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 91 with 5 rules applied. Total rules applied 4677 place count 4054 transition count 9567
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 92 with 22 rules applied. Total rules applied 4699 place count 4054 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 92 with 8 rules applied. Total rules applied 4707 place count 4050 transition count 9572
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 92 with 6 rules applied. Total rules applied 4713 place count 4050 transition count 9566
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 93 with 21 rules applied. Total rules applied 4734 place count 4050 transition count 9545
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 93 with 8 rules applied. Total rules applied 4742 place count 4046 transition count 9572
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 93 with 7 rules applied. Total rules applied 4749 place count 4046 transition count 9565
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 94 with 20 rules applied. Total rules applied 4769 place count 4046 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 94 with 8 rules applied. Total rules applied 4777 place count 4042 transition count 9572
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 94 with 6 rules applied. Total rules applied 4783 place count 4042 transition count 9566
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 95 with 21 rules applied. Total rules applied 4804 place count 4042 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 95 with 8 rules applied. Total rules applied 4812 place count 4038 transition count 9572
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 95 with 6 rules applied. Total rules applied 4818 place count 4038 transition count 9566
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 96 with 21 rules applied. Total rules applied 4839 place count 4038 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 96 with 8 rules applied. Total rules applied 4847 place count 4034 transition count 9572
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 96 with 6 rules applied. Total rules applied 4853 place count 4034 transition count 9566
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 97 with 21 rules applied. Total rules applied 4874 place count 4034 transition count 9545
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 97 with 8 rules applied. Total rules applied 4882 place count 4030 transition count 9572
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 97 with 6 rules applied. Total rules applied 4888 place count 4030 transition count 9566
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 98 with 21 rules applied. Total rules applied 4909 place count 4030 transition count 9545
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 98 with 8 rules applied. Total rules applied 4917 place count 4026 transition count 9572
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 98 with 7 rules applied. Total rules applied 4924 place count 4026 transition count 9565
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 99 with 20 rules applied. Total rules applied 4944 place count 4026 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 99 with 8 rules applied. Total rules applied 4952 place count 4022 transition count 9572
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 99 with 6 rules applied. Total rules applied 4958 place count 4022 transition count 9566
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 100 with 21 rules applied. Total rules applied 4979 place count 4022 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 100 with 8 rules applied. Total rules applied 4987 place count 4018 transition count 9572
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 100 with 6 rules applied. Total rules applied 4993 place count 4018 transition count 9566
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 101 with 21 rules applied. Total rules applied 5014 place count 4018 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 101 with 8 rules applied. Total rules applied 5022 place count 4014 transition count 9572
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 101 with 7 rules applied. Total rules applied 5029 place count 4014 transition count 9565
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 102 with 20 rules applied. Total rules applied 5049 place count 4014 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 102 with 8 rules applied. Total rules applied 5057 place count 4010 transition count 9572
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 102 with 6 rules applied. Total rules applied 5063 place count 4010 transition count 9566
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 103 with 21 rules applied. Total rules applied 5084 place count 4010 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 103 with 8 rules applied. Total rules applied 5092 place count 4006 transition count 9572
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 103 with 6 rules applied. Total rules applied 5098 place count 4006 transition count 9566
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 104 with 21 rules applied. Total rules applied 5119 place count 4006 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 104 with 8 rules applied. Total rules applied 5127 place count 4002 transition count 9572
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 104 with 6 rules applied. Total rules applied 5133 place count 4002 transition count 9566
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 105 with 21 rules applied. Total rules applied 5154 place count 4002 transition count 9545
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 105 with 8 rules applied. Total rules applied 5162 place count 3998 transition count 9572
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 105 with 6 rules applied. Total rules applied 5168 place count 3998 transition count 9566
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 106 with 21 rules applied. Total rules applied 5189 place count 3998 transition count 9545
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 106 with 8 rules applied. Total rules applied 5197 place count 3994 transition count 9572
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 106 with 5 rules applied. Total rules applied 5202 place count 3994 transition count 9567
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 107 with 22 rules applied. Total rules applied 5224 place count 3994 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 107 with 8 rules applied. Total rules applied 5232 place count 3990 transition count 9572
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 107 with 6 rules applied. Total rules applied 5238 place count 3990 transition count 9566
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 108 with 21 rules applied. Total rules applied 5259 place count 3990 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 108 with 8 rules applied. Total rules applied 5267 place count 3986 transition count 9572
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 108 with 6 rules applied. Total rules applied 5273 place count 3986 transition count 9566
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 109 with 21 rules applied. Total rules applied 5294 place count 3986 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 109 with 8 rules applied. Total rules applied 5302 place count 3982 transition count 9573
Drop transitions removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 109 with 8 rules applied. Total rules applied 5310 place count 3982 transition count 9565
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 110 with 22 rules applied. Total rules applied 5332 place count 3982 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 110 with 8 rules applied. Total rules applied 5340 place count 3978 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 110 with 6 rules applied. Total rules applied 5346 place count 3978 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 111 with 21 rules applied. Total rules applied 5367 place count 3978 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 111 with 8 rules applied. Total rules applied 5375 place count 3974 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 111 with 6 rules applied. Total rules applied 5381 place count 3974 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 112 with 21 rules applied. Total rules applied 5402 place count 3974 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 112 with 8 rules applied. Total rules applied 5410 place count 3970 transition count 9570
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 112 with 5 rules applied. Total rules applied 5415 place count 3970 transition count 9565
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 113 with 22 rules applied. Total rules applied 5437 place count 3970 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 113 with 8 rules applied. Total rules applied 5445 place count 3966 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 113 with 6 rules applied. Total rules applied 5451 place count 3966 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 114 with 21 rules applied. Total rules applied 5472 place count 3966 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 114 with 8 rules applied. Total rules applied 5480 place count 3962 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 114 with 6 rules applied. Total rules applied 5486 place count 3962 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 115 with 21 rules applied. Total rules applied 5507 place count 3962 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 115 with 8 rules applied. Total rules applied 5515 place count 3958 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 115 with 6 rules applied. Total rules applied 5521 place count 3958 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 116 with 21 rules applied. Total rules applied 5542 place count 3958 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 116 with 8 rules applied. Total rules applied 5550 place count 3954 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 116 with 6 rules applied. Total rules applied 5556 place count 3954 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 117 with 21 rules applied. Total rules applied 5577 place count 3954 transition count 9543
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 117 with 8 rules applied. Total rules applied 5585 place count 3950 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 117 with 6 rules applied. Total rules applied 5591 place count 3950 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 118 with 21 rules applied. Total rules applied 5612 place count 3950 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 118 with 8 rules applied. Total rules applied 5620 place count 3946 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 118 with 6 rules applied. Total rules applied 5626 place count 3946 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 119 with 21 rules applied. Total rules applied 5647 place count 3946 transition count 9543
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 119 with 8 rules applied. Total rules applied 5655 place count 3942 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 119 with 6 rules applied. Total rules applied 5661 place count 3942 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 120 with 21 rules applied. Total rules applied 5682 place count 3942 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 120 with 8 rules applied. Total rules applied 5690 place count 3938 transition count 9570
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 120 with 5 rules applied. Total rules applied 5695 place count 3938 transition count 9565
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 121 with 22 rules applied. Total rules applied 5717 place count 3938 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 121 with 8 rules applied. Total rules applied 5725 place count 3934 transition count 9573
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 121 with 7 rules applied. Total rules applied 5732 place count 3934 transition count 9566
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 122 with 21 rules applied. Total rules applied 5753 place count 3934 transition count 9545
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 122 with 8 rules applied. Total rules applied 5761 place count 3930 transition count 9572
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 122 with 6 rules applied. Total rules applied 5767 place count 3930 transition count 9566
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 123 with 21 rules applied. Total rules applied 5788 place count 3930 transition count 9545
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 123 with 8 rules applied. Total rules applied 5796 place count 3926 transition count 9572
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 123 with 6 rules applied. Total rules applied 5802 place count 3926 transition count 9566
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 124 with 21 rules applied. Total rules applied 5823 place count 3926 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 124 with 8 rules applied. Total rules applied 5831 place count 3922 transition count 9572
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 124 with 5 rules applied. Total rules applied 5836 place count 3922 transition count 9567
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 125 with 22 rules applied. Total rules applied 5858 place count 3922 transition count 9545
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 125 with 8 rules applied. Total rules applied 5866 place count 3918 transition count 9572
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 125 with 6 rules applied. Total rules applied 5872 place count 3918 transition count 9566
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 126 with 21 rules applied. Total rules applied 5893 place count 3918 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 126 with 8 rules applied. Total rules applied 5901 place count 3914 transition count 9575
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 126 with 7 rules applied. Total rules applied 5908 place count 3914 transition count 9568
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 127 with 21 rules applied. Total rules applied 5929 place count 3914 transition count 9547
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 127 with 8 rules applied. Total rules applied 5937 place count 3910 transition count 9574
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 127 with 7 rules applied. Total rules applied 5944 place count 3910 transition count 9567
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 128 with 20 rules applied. Total rules applied 5964 place count 3910 transition count 9547
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 128 with 8 rules applied. Total rules applied 5972 place count 3906 transition count 9574
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 128 with 6 rules applied. Total rules applied 5978 place count 3906 transition count 9568
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 129 with 21 rules applied. Total rules applied 5999 place count 3906 transition count 9547
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 129 with 8 rules applied. Total rules applied 6007 place count 3902 transition count 9574
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 129 with 6 rules applied. Total rules applied 6013 place count 3902 transition count 9568
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 130 with 21 rules applied. Total rules applied 6034 place count 3902 transition count 9547
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 130 with 8 rules applied. Total rules applied 6042 place count 3898 transition count 9574
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 130 with 5 rules applied. Total rules applied 6047 place count 3898 transition count 9569
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 131 with 22 rules applied. Total rules applied 6069 place count 3898 transition count 9547
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 131 with 8 rules applied. Total rules applied 6077 place count 3894 transition count 9574
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 131 with 6 rules applied. Total rules applied 6083 place count 3894 transition count 9568
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 132 with 21 rules applied. Total rules applied 6104 place count 3894 transition count 9547
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 132 with 8 rules applied. Total rules applied 6112 place count 3890 transition count 9574
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 132 with 7 rules applied. Total rules applied 6119 place count 3890 transition count 9567
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 133 with 20 rules applied. Total rules applied 6139 place count 3890 transition count 9547
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 133 with 8 rules applied. Total rules applied 6147 place count 3886 transition count 9574
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 133 with 5 rules applied. Total rules applied 6152 place count 3886 transition count 9569
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 134 with 22 rules applied. Total rules applied 6174 place count 3886 transition count 9547
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 134 with 8 rules applied. Total rules applied 6182 place count 3882 transition count 9574
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 134 with 6 rules applied. Total rules applied 6188 place count 3882 transition count 9568
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 135 with 21 rules applied. Total rules applied 6209 place count 3882 transition count 9547
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 135 with 8 rules applied. Total rules applied 6217 place count 3878 transition count 9574
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 135 with 7 rules applied. Total rules applied 6224 place count 3878 transition count 9567
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 136 with 20 rules applied. Total rules applied 6244 place count 3878 transition count 9547
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 136 with 8 rules applied. Total rules applied 6252 place count 3874 transition count 9574
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 136 with 6 rules applied. Total rules applied 6258 place count 3874 transition count 9568
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 137 with 21 rules applied. Total rules applied 6279 place count 3874 transition count 9547
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 137 with 8 rules applied. Total rules applied 6287 place count 3870 transition count 9574
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 137 with 6 rules applied. Total rules applied 6293 place count 3870 transition count 9568
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 138 with 21 rules applied. Total rules applied 6314 place count 3870 transition count 9547
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 138 with 8 rules applied. Total rules applied 6322 place count 3866 transition count 9574
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 138 with 5 rules applied. Total rules applied 6327 place count 3866 transition count 9569
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 139 with 22 rules applied. Total rules applied 6349 place count 3866 transition count 9547
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 139 with 8 rules applied. Total rules applied 6357 place count 3862 transition count 9574
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 139 with 6 rules applied. Total rules applied 6363 place count 3862 transition count 9568
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 140 with 21 rules applied. Total rules applied 6384 place count 3862 transition count 9547
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 140 with 8 rules applied. Total rules applied 6392 place count 3858 transition count 9575
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 140 with 7 rules applied. Total rules applied 6399 place count 3858 transition count 9568
Drop transitions removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 141 with 23 rules applied. Total rules applied 6422 place count 3858 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 141 with 8 rules applied. Total rules applied 6430 place count 3854 transition count 9572
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 141 with 6 rules applied. Total rules applied 6436 place count 3854 transition count 9566
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 142 with 21 rules applied. Total rules applied 6457 place count 3854 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 142 with 8 rules applied. Total rules applied 6465 place count 3850 transition count 9572
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 142 with 6 rules applied. Total rules applied 6471 place count 3850 transition count 9566
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 143 with 21 rules applied. Total rules applied 6492 place count 3850 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 143 with 8 rules applied. Total rules applied 6500 place count 3846 transition count 9573
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 143 with 7 rules applied. Total rules applied 6507 place count 3846 transition count 9566
Drop transitions removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 144 with 23 rules applied. Total rules applied 6530 place count 3846 transition count 9543
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 144 with 8 rules applied. Total rules applied 6538 place count 3842 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 144 with 6 rules applied. Total rules applied 6544 place count 3842 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 145 with 21 rules applied. Total rules applied 6565 place count 3842 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 145 with 8 rules applied. Total rules applied 6573 place count 3838 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 145 with 6 rules applied. Total rules applied 6579 place count 3838 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 146 with 21 rules applied. Total rules applied 6600 place count 3838 transition count 9543
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 146 with 8 rules applied. Total rules applied 6608 place count 3834 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 146 with 6 rules applied. Total rules applied 6614 place count 3834 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 147 with 21 rules applied. Total rules applied 6635 place count 3834 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 147 with 8 rules applied. Total rules applied 6643 place count 3830 transition count 9570
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 147 with 7 rules applied. Total rules applied 6650 place count 3830 transition count 9563
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 148 with 20 rules applied. Total rules applied 6670 place count 3830 transition count 9543
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 148 with 8 rules applied. Total rules applied 6678 place count 3826 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 148 with 6 rules applied. Total rules applied 6684 place count 3826 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 149 with 21 rules applied. Total rules applied 6705 place count 3826 transition count 9543
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 149 with 8 rules applied. Total rules applied 6713 place count 3822 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 149 with 6 rules applied. Total rules applied 6719 place count 3822 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 150 with 21 rules applied. Total rules applied 6740 place count 3822 transition count 9543
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 150 with 8 rules applied. Total rules applied 6748 place count 3818 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 150 with 6 rules applied. Total rules applied 6754 place count 3818 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 151 with 21 rules applied. Total rules applied 6775 place count 3818 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 151 with 8 rules applied. Total rules applied 6783 place count 3814 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 151 with 6 rules applied. Total rules applied 6789 place count 3814 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 152 with 21 rules applied. Total rules applied 6810 place count 3814 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 152 with 8 rules applied. Total rules applied 6818 place count 3810 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 152 with 6 rules applied. Total rules applied 6824 place count 3810 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 153 with 21 rules applied. Total rules applied 6845 place count 3810 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 153 with 8 rules applied. Total rules applied 6853 place count 3806 transition count 9570
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 153 with 7 rules applied. Total rules applied 6860 place count 3806 transition count 9563
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 154 with 20 rules applied. Total rules applied 6880 place count 3806 transition count 9543
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 154 with 8 rules applied. Total rules applied 6888 place count 3802 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 154 with 6 rules applied. Total rules applied 6894 place count 3802 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 155 with 21 rules applied. Total rules applied 6915 place count 3802 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 155 with 8 rules applied. Total rules applied 6923 place count 3798 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 155 with 6 rules applied. Total rules applied 6929 place count 3798 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 156 with 21 rules applied. Total rules applied 6950 place count 3798 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 156 with 8 rules applied. Total rules applied 6958 place count 3794 transition count 9573
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 156 with 7 rules applied. Total rules applied 6965 place count 3794 transition count 9566
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 157 with 21 rules applied. Total rules applied 6986 place count 3794 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 157 with 8 rules applied. Total rules applied 6994 place count 3790 transition count 9572
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 157 with 7 rules applied. Total rules applied 7001 place count 3790 transition count 9565
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 158 with 20 rules applied. Total rules applied 7021 place count 3790 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 158 with 8 rules applied. Total rules applied 7029 place count 3786 transition count 9572
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 158 with 6 rules applied. Total rules applied 7035 place count 3786 transition count 9566
Detected timeout of ITS tools.
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 159 with 21 rules applied. Total rules applied 7056 place count 3786 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 159 with 8 rules applied. Total rules applied 7064 place count 3782 transition count 9572
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 159 with 7 rules applied. Total rules applied 7071 place count 3782 transition count 9565
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 160 with 20 rules applied. Total rules applied 7091 place count 3782 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 160 with 8 rules applied. Total rules applied 7099 place count 3778 transition count 9572
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 160 with 6 rules applied. Total rules applied 7105 place count 3778 transition count 9566
[2024-05-22 12:10:49] [INFO ] Flatten gal took : 3320 ms
[2024-05-22 12:10:49] [INFO ] Applying decomposition
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 161 with 21 rules applied. Total rules applied 7126 place count 3778 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 161 with 8 rules applied. Total rules applied 7134 place count 3774 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 161 with 6 rules applied. Total rules applied 7140 place count 3774 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 162 with 21 rules applied. Total rules applied 7161 place count 3774 transition count 9546
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 162 with 8 rules applied. Total rules applied 7169 place count 3770 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 162 with 6 rules applied. Total rules applied 7175 place count 3770 transition count 9567
[2024-05-22 12:10:52] [INFO ] Flatten gal took : 3035 ms
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 163 with 21 rules applied. Total rules applied 7196 place count 3770 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 163 with 8 rules applied. Total rules applied 7204 place count 3766 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 163 with 6 rules applied. Total rules applied 7210 place count 3766 transition count 9567
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202304061127/bin/convert-linux64' '-i' '/tmp/graph11293989784380599223.txt' '-o' '/tmp/graph11293989784380599223.bin' '-w' '/tmp/graph11293989784380599223.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202304061127/bin/louvain-linux64' '/tmp/graph11293989784380599223.bin' '-l' '-1' '-v' '-w' '/tmp/graph11293989784380599223.weights' '-q' '0' '-e' '0.001'
[2024-05-22 12:10:55] [INFO ] Decomposing Gal with order
[2024-05-22 12:10:55] [INFO ] Rewriting arrays to variables to allow decomposition.
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 164 with 21 rules applied. Total rules applied 7231 place count 3766 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 164 with 8 rules applied. Total rules applied 7239 place count 3762 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 164 with 6 rules applied. Total rules applied 7245 place count 3762 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 165 with 21 rules applied. Total rules applied 7266 place count 3762 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 165 with 8 rules applied. Total rules applied 7274 place count 3758 transition count 9573
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 165 with 7 rules applied. Total rules applied 7281 place count 3758 transition count 9566
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 166 with 20 rules applied. Total rules applied 7301 place count 3758 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 166 with 8 rules applied. Total rules applied 7309 place count 3754 transition count 9573
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 166 with 7 rules applied. Total rules applied 7316 place count 3754 transition count 9566
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 167 with 20 rules applied. Total rules applied 7336 place count 3754 transition count 9546
[2024-05-22 12:11:02] [INFO ] Removed a total of 42033 redundant transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 167 with 8 rules applied. Total rules applied 7344 place count 3750 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 167 with 6 rules applied. Total rules applied 7350 place count 3750 transition count 9567
[2024-05-22 12:11:02] [INFO ] Flatten gal took : 1672 ms
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 168 with 21 rules applied. Total rules applied 7371 place count 3750 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 168 with 8 rules applied. Total rules applied 7379 place count 3746 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 168 with 6 rules applied. Total rules applied 7385 place count 3746 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 169 with 21 rules applied. Total rules applied 7406 place count 3746 transition count 9546
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 169 with 8 rules applied. Total rules applied 7414 place count 3742 transition count 9573
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 169 with 7 rules applied. Total rules applied 7421 place count 3742 transition count 9566
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 170 with 20 rules applied. Total rules applied 7441 place count 3742 transition count 9546
[2024-05-22 12:11:07] [INFO ] Fuse similar labels procedure discarded/fused a total of 1640 labels/synchronizations in 4855 ms.
[2024-05-22 12:11:07] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8825833850438901830.gal : 104 ms
[2024-05-22 12:11:07] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality13606499157356028584.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202304061127/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality8825833850438901830.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality13606499157356028584.prop' '--nowitness'

its-reach command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202304061127/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...308
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 4 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 170 with 8 rules applied. Total rules applied 7449 place count 3738 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 170 with 6 rules applied. Total rules applied 7455 place count 3738 transition count 9567
Loading property file /tmp/ReachabilityCardinality13606499157356028584.prop.
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 171 with 21 rules applied. Total rules applied 7476 place count 3738 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 171 with 8 rules applied. Total rules applied 7484 place count 3734 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 171 with 6 rules applied. Total rules applied 7490 place count 3734 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 172 with 21 rules applied. Total rules applied 7511 place count 3734 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 172 with 8 rules applied. Total rules applied 7519 place count 3730 transition count 9573
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 172 with 7 rules applied. Total rules applied 7526 place count 3730 transition count 9566
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 173 with 20 rules applied. Total rules applied 7546 place count 3730 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 173 with 8 rules applied. Total rules applied 7554 place count 3726 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 173 with 6 rules applied. Total rules applied 7560 place count 3726 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 174 with 21 rules applied. Total rules applied 7581 place count 3726 transition count 9546
SDD proceeding with computation,4 properties remain. new max is 4
SDD size :1 after 1
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 174 with 8 rules applied. Total rules applied 7589 place count 3722 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 174 with 6 rules applied. Total rules applied 7595 place count 3722 transition count 9567
Renaming transitions due to excessive name length > 1024 char.
SDD proceeding with computation,4 properties remain. new max is 8
SDD size :1 after 25
SDD proceeding with computation,4 properties remain. new max is 16
SDD size :25 after 3.1749e+154
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 175 with 21 rules applied. Total rules applied 7616 place count 3722 transition count 9546
Reachability property qltransition_19135 is true.
Reachability property qltransition_19131 is true.
Reachability property qltransition_17557 is true.
Reachability property qltransition_17547 is true.
Found states matching all0 target predicate
Will report total states built up to this point. Computation was interrupted after 17 fixpoint passes
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 175 with 8 rules applied. Total rules applied 7624 place count 3718 transition count 9574
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
petri\_inst\_inst\_mod\_flat,8.50637e+752,9.75362,60988,715,35,35854,1463,4842,45542,85,1694,0
Total reachable state count : 8.506373108863133061364605397760601699919e+752

Verifying 4 reachability properties.
Drop transitions removed 7 transitions
Reachability property qltransition_17547 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_17547,2.9827e+750,9.75667,60988,333,31,35854,1463,4852,45542,90,1694,0
Reachability property qltransition_17557 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_17557,2.9827e+750,9.75739,60988,332,31,35854,1463,4858,45542,90,1694,0
Reachability property qltransition_19131 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_19131,8.59895e+750,9.75797,60988,399,33,35854,1463,4862,45542,90,1694,0
Reachability property qltransition_19135 is true.

Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 175 with 7 rules applied. Total rules applied 7631 place count 3718 transition count 9567
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
qltransition\_19135,8.59895e+750,9.75873,60988,398,33,35854,1463,4868,45542,90,1694,0
Drop transitions removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 176 with 23 rules applied. Total rules applied 7654 place count 3718 transition count 9544
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 176 with 8 rules applied. Total rules applied 7662 place count 3714 transition count 9571
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 176 with 6 rules applied. Total rules applied 7668 place count 3714 transition count 9565
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 177 with 21 rules applied. Total rules applied 7689 place count 3714 transition count 9544
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 177 with 8 rules applied. Total rules applied 7697 place count 3710 transition count 9571
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 177 with 6 rules applied. Total rules applied 7703 place count 3710 transition count 9565
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 178 with 21 rules applied. Total rules applied 7724 place count 3710 transition count 9544
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 178 with 8 rules applied. Total rules applied 7732 place count 3706 transition count 9571
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 178 with 6 rules applied. Total rules applied 7738 place count 3706 transition count 9565
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 179 with 21 rules applied. Total rules applied 7759 place count 3706 transition count 9544
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 179 with 8 rules applied. Total rules applied 7767 place count 3702 transition count 9572
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 179 with 7 rules applied. Total rules applied 7774 place count 3702 transition count 9565
Drop transitions removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 180 with 23 rules applied. Total rules applied 7797 place count 3702 transition count 9542
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 180 with 8 rules applied. Total rules applied 7805 place count 3698 transition count 9569
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 180 with 6 rules applied. Total rules applied 7811 place count 3698 transition count 9563
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 181 with 21 rules applied. Total rules applied 7832 place count 3698 transition count 9542
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 181 with 8 rules applied. Total rules applied 7840 place count 3694 transition count 9569
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 181 with 7 rules applied. Total rules applied 7847 place count 3694 transition count 9562
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 182 with 20 rules applied. Total rules applied 7867 place count 3694 transition count 9542
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 182 with 8 rules applied. Total rules applied 7875 place count 3690 transition count 9569
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 182 with 6 rules applied. Total rules applied 7881 place count 3690 transition count 9563
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 183 with 21 rules applied. Total rules applied 7902 place count 3690 transition count 9542
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 183 with 8 rules applied. Total rules applied 7910 place count 3686 transition count 9569
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 183 with 6 rules applied. Total rules applied 7916 place count 3686 transition count 9563
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 184 with 21 rules applied. Total rules applied 7937 place count 3686 transition count 9542
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 184 with 8 rules applied. Total rules applied 7945 place count 3682 transition count 9569
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 184 with 6 rules applied. Total rules applied 7951 place count 3682 transition count 9563
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 185 with 21 rules applied. Total rules applied 7972 place count 3682 transition count 9542
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 185 with 8 rules applied. Total rules applied 7980 place count 3678 transition count 9569
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 185 with 7 rules applied. Total rules applied 7987 place count 3678 transition count 9562
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 186 with 20 rules applied. Total rules applied 8007 place count 3678 transition count 9542
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 186 with 8 rules applied. Total rules applied 8015 place count 3674 transition count 9569
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 186 with 6 rules applied. Total rules applied 8021 place count 3674 transition count 9563
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 187 with 21 rules applied. Total rules applied 8042 place count 3674 transition count 9542
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 187 with 8 rules applied. Total rules applied 8050 place count 3670 transition count 9569
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 187 with 6 rules applied. Total rules applied 8056 place count 3670 transition count 9563
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 188 with 21 rules applied. Total rules applied 8077 place count 3670 transition count 9542
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 188 with 8 rules applied. Total rules applied 8085 place count 3666 transition count 9569
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 188 with 6 rules applied. Total rules applied 8091 place count 3666 transition count 9563
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 189 with 21 rules applied. Total rules applied 8112 place count 3666 transition count 9542
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 189 with 8 rules applied. Total rules applied 8120 place count 3662 transition count 9569
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 189 with 6 rules applied. Total rules applied 8126 place count 3662 transition count 9563
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 190 with 21 rules applied. Total rules applied 8147 place count 3662 transition count 9542
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 190 with 8 rules applied. Total rules applied 8155 place count 3658 transition count 9569
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 190 with 6 rules applied. Total rules applied 8161 place count 3658 transition count 9563
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 191 with 21 rules applied. Total rules applied 8182 place count 3658 transition count 9542
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 191 with 8 rules applied. Total rules applied 8190 place count 3654 transition count 9569
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 191 with 6 rules applied. Total rules applied 8196 place count 3654 transition count 9563
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 192 with 21 rules applied. Total rules applied 8217 place count 3654 transition count 9542
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 192 with 8 rules applied. Total rules applied 8225 place count 3650 transition count 9569
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 192 with 6 rules applied. Total rules applied 8231 place count 3650 transition count 9563
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 193 with 21 rules applied. Total rules applied 8252 place count 3650 transition count 9542
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 193 with 8 rules applied. Total rules applied 8260 place count 3646 transition count 9572
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 193 with 7 rules applied. Total rules applied 8267 place count 3646 transition count 9565
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 194 with 21 rules applied. Total rules applied 8288 place count 3646 transition count 9544
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 194 with 8 rules applied. Total rules applied 8296 place count 3642 transition count 9571
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 194 with 6 rules applied. Total rules applied 8302 place count 3642 transition count 9565
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 195 with 21 rules applied. Total rules applied 8323 place count 3642 transition count 9544
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 195 with 8 rules applied. Total rules applied 8331 place count 3638 transition count 9571
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 195 with 7 rules applied. Total rules applied 8338 place count 3638 transition count 9564
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 196 with 20 rules applied. Total rules applied 8358 place count 3638 transition count 9544
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 196 with 8 rules applied. Total rules applied 8366 place count 3634 transition count 9571
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 196 with 6 rules applied. Total rules applied 8372 place count 3634 transition count 9565
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 197 with 21 rules applied. Total rules applied 8393 place count 3634 transition count 9544
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 197 with 8 rules applied. Total rules applied 8401 place count 3630 transition count 9571
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 197 with 6 rules applied. Total rules applied 8407 place count 3630 transition count 9565
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 198 with 21 rules applied. Total rules applied 8428 place count 3630 transition count 9544
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 198 with 8 rules applied. Total rules applied 8436 place count 3626 transition count 9574
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 198 with 7 rules applied. Total rules applied 8443 place count 3626 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 199 with 21 rules applied. Total rules applied 8464 place count 3626 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 199 with 8 rules applied. Total rules applied 8472 place count 3622 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 199 with 6 rules applied. Total rules applied 8478 place count 3622 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 200 with 21 rules applied. Total rules applied 8499 place count 3622 transition count 9546
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 200 with 8 rules applied. Total rules applied 8507 place count 3618 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 200 with 6 rules applied. Total rules applied 8513 place count 3618 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 201 with 21 rules applied. Total rules applied 8534 place count 3618 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 201 with 8 rules applied. Total rules applied 8542 place count 3614 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 201 with 6 rules applied. Total rules applied 8548 place count 3614 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 202 with 21 rules applied. Total rules applied 8569 place count 3614 transition count 9546
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 202 with 8 rules applied. Total rules applied 8577 place count 3610 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 202 with 6 rules applied. Total rules applied 8583 place count 3610 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 203 with 21 rules applied. Total rules applied 8604 place count 3610 transition count 9546
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 203 with 8 rules applied. Total rules applied 8612 place count 3606 transition count 9573
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 203 with 7 rules applied. Total rules applied 8619 place count 3606 transition count 9566
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 204 with 20 rules applied. Total rules applied 8639 place count 3606 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 204 with 8 rules applied. Total rules applied 8647 place count 3602 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 204 with 6 rules applied. Total rules applied 8653 place count 3602 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 205 with 21 rules applied. Total rules applied 8674 place count 3602 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 205 with 8 rules applied. Total rules applied 8682 place count 3598 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 205 with 6 rules applied. Total rules applied 8688 place count 3598 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 206 with 21 rules applied. Total rules applied 8709 place count 3598 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 206 with 8 rules applied. Total rules applied 8717 place count 3594 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 206 with 6 rules applied. Total rules applied 8723 place count 3594 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 207 with 21 rules applied. Total rules applied 8744 place count 3594 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 207 with 8 rules applied. Total rules applied 8752 place count 3590 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 207 with 6 rules applied. Total rules applied 8758 place count 3590 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 208 with 21 rules applied. Total rules applied 8779 place count 3590 transition count 9546
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 208 with 8 rules applied. Total rules applied 8787 place count 3586 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 208 with 6 rules applied. Total rules applied 8793 place count 3586 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 209 with 21 rules applied. Total rules applied 8814 place count 3586 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 209 with 8 rules applied. Total rules applied 8822 place count 3582 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 209 with 6 rules applied. Total rules applied 8828 place count 3582 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 210 with 21 rules applied. Total rules applied 8849 place count 3582 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 210 with 8 rules applied. Total rules applied 8857 place count 3578 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 210 with 6 rules applied. Total rules applied 8863 place count 3578 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 211 with 21 rules applied. Total rules applied 8884 place count 3578 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 211 with 8 rules applied. Total rules applied 8892 place count 3574 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 211 with 6 rules applied. Total rules applied 8898 place count 3574 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 212 with 21 rules applied. Total rules applied 8919 place count 3574 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 212 with 8 rules applied. Total rules applied 8927 place count 3570 transition count 9573
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 212 with 7 rules applied. Total rules applied 8934 place count 3570 transition count 9566
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 213 with 20 rules applied. Total rules applied 8954 place count 3570 transition count 9546
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 213 with 8 rules applied. Total rules applied 8962 place count 3566 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 213 with 6 rules applied. Total rules applied 8968 place count 3566 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 214 with 21 rules applied. Total rules applied 8989 place count 3566 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 214 with 8 rules applied. Total rules applied 8997 place count 3562 transition count 9573
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 214 with 5 rules applied. Total rules applied 9002 place count 3562 transition count 9568
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 215 with 22 rules applied. Total rules applied 9024 place count 3562 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 215 with 8 rules applied. Total rules applied 9032 place count 3558 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 215 with 6 rules applied. Total rules applied 9038 place count 3558 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 216 with 21 rules applied. Total rules applied 9059 place count 3558 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 216 with 8 rules applied. Total rules applied 9067 place count 3554 transition count 9573
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 216 with 5 rules applied. Total rules applied 9072 place count 3554 transition count 9568
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 217 with 22 rules applied. Total rules applied 9094 place count 3554 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 217 with 8 rules applied. Total rules applied 9102 place count 3550 transition count 9574
Drop transitions removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 217 with 8 rules applied. Total rules applied 9110 place count 3550 transition count 9566
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 218 with 22 rules applied. Total rules applied 9132 place count 3550 transition count 9544
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 218 with 8 rules applied. Total rules applied 9140 place count 3546 transition count 9571
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 218 with 6 rules applied. Total rules applied 9146 place count 3546 transition count 9565
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 219 with 21 rules applied. Total rules applied 9167 place count 3546 transition count 9544
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 219 with 8 rules applied. Total rules applied 9175 place count 3542 transition count 9571
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 219 with 6 rules applied. Total rules applied 9181 place count 3542 transition count 9565
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 220 with 21 rules applied. Total rules applied 9202 place count 3542 transition count 9544
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 220 with 8 rules applied. Total rules applied 9210 place count 3538 transition count 9571
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 220 with 5 rules applied. Total rules applied 9215 place count 3538 transition count 9566
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 221 with 22 rules applied. Total rules applied 9237 place count 3538 transition count 9544
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 221 with 8 rules applied. Total rules applied 9245 place count 3534 transition count 9571
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 221 with 6 rules applied. Total rules applied 9251 place count 3534 transition count 9565
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 222 with 21 rules applied. Total rules applied 9272 place count 3534 transition count 9544
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 222 with 8 rules applied. Total rules applied 9280 place count 3530 transition count 9571
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 222 with 6 rules applied. Total rules applied 9286 place count 3530 transition count 9565
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 223 with 21 rules applied. Total rules applied 9307 place count 3530 transition count 9544
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 223 with 8 rules applied. Total rules applied 9315 place count 3526 transition count 9571
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 223 with 6 rules applied. Total rules applied 9321 place count 3526 transition count 9565
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 224 with 21 rules applied. Total rules applied 9342 place count 3526 transition count 9544
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 224 with 8 rules applied. Total rules applied 9350 place count 3522 transition count 9571
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 224 with 5 rules applied. Total rules applied 9355 place count 3522 transition count 9566
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 225 with 22 rules applied. Total rules applied 9377 place count 3522 transition count 9544
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 225 with 8 rules applied. Total rules applied 9385 place count 3518 transition count 9571
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 225 with 5 rules applied. Total rules applied 9390 place count 3518 transition count 9566
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 226 with 22 rules applied. Total rules applied 9412 place count 3518 transition count 9544
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 226 with 8 rules applied. Total rules applied 9420 place count 3514 transition count 9571
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 226 with 6 rules applied. Total rules applied 9426 place count 3514 transition count 9565
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 227 with 21 rules applied. Total rules applied 9447 place count 3514 transition count 9544
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 227 with 8 rules applied. Total rules applied 9455 place count 3510 transition count 9572
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 227 with 5 rules applied. Total rules applied 9460 place count 3510 transition count 9567
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 228 with 22 rules applied. Total rules applied 9482 place count 3510 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 228 with 8 rules applied. Total rules applied 9490 place count 3506 transition count 9572
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 228 with 6 rules applied. Total rules applied 9496 place count 3506 transition count 9566
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 229 with 21 rules applied. Total rules applied 9517 place count 3506 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 229 with 8 rules applied. Total rules applied 9525 place count 3502 transition count 9572
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 229 with 6 rules applied. Total rules applied 9531 place count 3502 transition count 9566
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 230 with 21 rules applied. Total rules applied 9552 place count 3502 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 230 with 8 rules applied. Total rules applied 9560 place count 3498 transition count 9574
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 230 with 7 rules applied. Total rules applied 9567 place count 3498 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 231 with 21 rules applied. Total rules applied 9588 place count 3498 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 231 with 8 rules applied. Total rules applied 9596 place count 3494 transition count 9574
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 231 with 5 rules applied. Total rules applied 9601 place count 3494 transition count 9569
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 232 with 22 rules applied. Total rules applied 9623 place count 3494 transition count 9547
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 232 with 8 rules applied. Total rules applied 9631 place count 3490 transition count 9574
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 232 with 6 rules applied. Total rules applied 9637 place count 3490 transition count 9568
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 233 with 21 rules applied. Total rules applied 9658 place count 3490 transition count 9547
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 233 with 8 rules applied. Total rules applied 9666 place count 3486 transition count 9574
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 233 with 6 rules applied. Total rules applied 9672 place count 3486 transition count 9568
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 234 with 21 rules applied. Total rules applied 9693 place count 3486 transition count 9547
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 234 with 8 rules applied. Total rules applied 9701 place count 3482 transition count 9574
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 234 with 6 rules applied. Total rules applied 9707 place count 3482 transition count 9568
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 235 with 21 rules applied. Total rules applied 9728 place count 3482 transition count 9547
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 235 with 8 rules applied. Total rules applied 9736 place count 3478 transition count 9574
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 235 with 5 rules applied. Total rules applied 9741 place count 3478 transition count 9569
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 236 with 22 rules applied. Total rules applied 9763 place count 3478 transition count 9547
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 236 with 8 rules applied. Total rules applied 9771 place count 3474 transition count 9574
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 236 with 7 rules applied. Total rules applied 9778 place count 3474 transition count 9567
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 237 with 20 rules applied. Total rules applied 9798 place count 3474 transition count 9547
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 237 with 8 rules applied. Total rules applied 9806 place count 3470 transition count 9574
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 237 with 6 rules applied. Total rules applied 9812 place count 3470 transition count 9568
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 238 with 21 rules applied. Total rules applied 9833 place count 3470 transition count 9547
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 238 with 8 rules applied. Total rules applied 9841 place count 3466 transition count 9574
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 238 with 6 rules applied. Total rules applied 9847 place count 3466 transition count 9568
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 239 with 21 rules applied. Total rules applied 9868 place count 3466 transition count 9547
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 239 with 8 rules applied. Total rules applied 9876 place count 3462 transition count 9574
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 239 with 6 rules applied. Total rules applied 9882 place count 3462 transition count 9568
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 240 with 21 rules applied. Total rules applied 9903 place count 3462 transition count 9547
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 240 with 8 rules applied. Total rules applied 9911 place count 3458 transition count 9574
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 240 with 5 rules applied. Total rules applied 9916 place count 3458 transition count 9569
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 241 with 22 rules applied. Total rules applied 9938 place count 3458 transition count 9547
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 241 with 8 rules applied. Total rules applied 9946 place count 3454 transition count 9574
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 241 with 6 rules applied. Total rules applied 9952 place count 3454 transition count 9568
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 242 with 21 rules applied. Total rules applied 9973 place count 3454 transition count 9547
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 242 with 8 rules applied. Total rules applied 9981 place count 3450 transition count 9574
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 242 with 5 rules applied. Total rules applied 9986 place count 3450 transition count 9569
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 243 with 22 rules applied. Total rules applied 10008 place count 3450 transition count 9547
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 243 with 8 rules applied. Total rules applied 10016 place count 3446 transition count 9574
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 243 with 6 rules applied. Total rules applied 10022 place count 3446 transition count 9568
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 244 with 21 rules applied. Total rules applied 10043 place count 3446 transition count 9547
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 244 with 8 rules applied. Total rules applied 10051 place count 3442 transition count 9575
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 244 with 7 rules applied. Total rules applied 10058 place count 3442 transition count 9568
Drop transitions removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 245 with 23 rules applied. Total rules applied 10081 place count 3442 transition count 9545
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 245 with 8 rules applied. Total rules applied 10089 place count 3438 transition count 9572
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 245 with 6 rules applied. Total rules applied 10095 place count 3438 transition count 9566
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 246 with 21 rules applied. Total rules applied 10116 place count 3438 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 246 with 8 rules applied. Total rules applied 10124 place count 3434 transition count 9572
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 246 with 6 rules applied. Total rules applied 10130 place count 3434 transition count 9566
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 247 with 21 rules applied. Total rules applied 10151 place count 3434 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 247 with 8 rules applied. Total rules applied 10159 place count 3430 transition count 9572
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 247 with 6 rules applied. Total rules applied 10165 place count 3430 transition count 9566
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 248 with 21 rules applied. Total rules applied 10186 place count 3430 transition count 9545
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 248 with 8 rules applied. Total rules applied 10194 place count 3426 transition count 9573
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 248 with 7 rules applied. Total rules applied 10201 place count 3426 transition count 9566
Drop transitions removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 249 with 23 rules applied. Total rules applied 10224 place count 3426 transition count 9543
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 249 with 8 rules applied. Total rules applied 10232 place count 3422 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 249 with 6 rules applied. Total rules applied 10238 place count 3422 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 250 with 21 rules applied. Total rules applied 10259 place count 3422 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 250 with 8 rules applied. Total rules applied 10267 place count 3418 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 250 with 6 rules applied. Total rules applied 10273 place count 3418 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 251 with 21 rules applied. Total rules applied 10294 place count 3418 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 251 with 8 rules applied. Total rules applied 10302 place count 3414 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 251 with 6 rules applied. Total rules applied 10308 place count 3414 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 252 with 21 rules applied. Total rules applied 10329 place count 3414 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 252 with 8 rules applied. Total rules applied 10337 place count 3410 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 252 with 6 rules applied. Total rules applied 10343 place count 3410 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 253 with 21 rules applied. Total rules applied 10364 place count 3410 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 253 with 8 rules applied. Total rules applied 10372 place count 3406 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 253 with 6 rules applied. Total rules applied 10378 place count 3406 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 254 with 21 rules applied. Total rules applied 10399 place count 3406 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 254 with 8 rules applied. Total rules applied 10407 place count 3402 transition count 9570
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 254 with 7 rules applied. Total rules applied 10414 place count 3402 transition count 9563
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 255 with 20 rules applied. Total rules applied 10434 place count 3402 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 255 with 8 rules applied. Total rules applied 10442 place count 3398 transition count 9570
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 255 with 7 rules applied. Total rules applied 10449 place count 3398 transition count 9563
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 256 with 20 rules applied. Total rules applied 10469 place count 3398 transition count 9543
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 256 with 8 rules applied. Total rules applied 10477 place count 3394 transition count 9570
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 256 with 7 rules applied. Total rules applied 10484 place count 3394 transition count 9563
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 257 with 20 rules applied. Total rules applied 10504 place count 3394 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 257 with 8 rules applied. Total rules applied 10512 place count 3390 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 257 with 6 rules applied. Total rules applied 10518 place count 3390 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 258 with 21 rules applied. Total rules applied 10539 place count 3390 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 258 with 8 rules applied. Total rules applied 10547 place count 3386 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 258 with 6 rules applied. Total rules applied 10553 place count 3386 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 259 with 21 rules applied. Total rules applied 10574 place count 3386 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 259 with 8 rules applied. Total rules applied 10582 place count 3382 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 259 with 6 rules applied. Total rules applied 10588 place count 3382 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 260 with 21 rules applied. Total rules applied 10609 place count 3382 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 260 with 8 rules applied. Total rules applied 10617 place count 3378 transition count 9570
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 260 with 6 rules applied. Total rules applied 10623 place count 3378 transition count 9564
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 261 with 21 rules applied. Total rules applied 10644 place count 3378 transition count 9543
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 261 with 8 rules applied. Total rules applied 10652 place count 3374 transition count 9571
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 261 with 6 rules applied. Total rules applied 10658 place count 3374 transition count 9565
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 262 with 21 rules applied. Total rules applied 10679 place count 3374 transition count 9544
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 262 with 8 rules applied. Total rules applied 10687 place count 3370 transition count 9571
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 262 with 7 rules applied. Total rules applied 10694 place count 3370 transition count 9564
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 263 with 20 rules applied. Total rules applied 10714 place count 3370 transition count 9544
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 263 with 8 rules applied. Total rules applied 10722 place count 3366 transition count 9571
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 263 with 6 rules applied. Total rules applied 10728 place count 3366 transition count 9565
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 264 with 21 rules applied. Total rules applied 10749 place count 3366 transition count 9544
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 264 with 8 rules applied. Total rules applied 10757 place count 3362 transition count 9571
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 264 with 6 rules applied. Total rules applied 10763 place count 3362 transition count 9565
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 265 with 21 rules applied. Total rules applied 10784 place count 3362 transition count 9544
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 265 with 8 rules applied. Total rules applied 10792 place count 3358 transition count 9571
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 265 with 6 rules applied. Total rules applied 10798 place count 3358 transition count 9565
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 266 with 21 rules applied. Total rules applied 10819 place count 3358 transition count 9544
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 266 with 8 rules applied. Total rules applied 10827 place count 3354 transition count 9573
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 266 with 7 rules applied. Total rules applied 10834 place count 3354 transition count 9566
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 267 with 21 rules applied. Total rules applied 10855 place count 3354 transition count 9545
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 267 with 8 rules applied. Total rules applied 10863 place count 3350 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 267 with 6 rules applied. Total rules applied 10869 place count 3350 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 268 with 21 rules applied. Total rules applied 10890 place count 3350 transition count 9546
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 268 with 8 rules applied. Total rules applied 10898 place count 3346 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 268 with 6 rules applied. Total rules applied 10904 place count 3346 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 269 with 21 rules applied. Total rules applied 10925 place count 3346 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 269 with 8 rules applied. Total rules applied 10933 place count 3342 transition count 9573
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 269 with 7 rules applied. Total rules applied 10940 place count 3342 transition count 9566
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 270 with 20 rules applied. Total rules applied 10960 place count 3342 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 270 with 8 rules applied. Total rules applied 10968 place count 3338 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 270 with 6 rules applied. Total rules applied 10974 place count 3338 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 271 with 21 rules applied. Total rules applied 10995 place count 3338 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 271 with 8 rules applied. Total rules applied 11003 place count 3334 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 271 with 6 rules applied. Total rules applied 11009 place count 3334 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 272 with 21 rules applied. Total rules applied 11030 place count 3334 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 272 with 8 rules applied. Total rules applied 11038 place count 3330 transition count 9573
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 272 with 5 rules applied. Total rules applied 11043 place count 3330 transition count 9568
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 273 with 22 rules applied. Total rules applied 11065 place count 3330 transition count 9546
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 273 with 8 rules applied. Total rules applied 11073 place count 3326 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 273 with 6 rules applied. Total rules applied 11079 place count 3326 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 274 with 21 rules applied. Total rules applied 11100 place count 3326 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 274 with 8 rules applied. Total rules applied 11108 place count 3322 transition count 9573
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 274 with 7 rules applied. Total rules applied 11115 place count 3322 transition count 9566
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 275 with 20 rules applied. Total rules applied 11135 place count 3322 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 275 with 8 rules applied. Total rules applied 11143 place count 3318 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 275 with 6 rules applied. Total rules applied 11149 place count 3318 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 276 with 21 rules applied. Total rules applied 11170 place count 3318 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 276 with 8 rules applied. Total rules applied 11178 place count 3314 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 276 with 6 rules applied. Total rules applied 11184 place count 3314 transition count 9567
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 277 with 21 rules applied. Total rules applied 11205 place count 3314 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 277 with 8 rules applied. Total rules applied 11213 place count 3310 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 277 with 6 rules applied. Total rules applied 11219 place count 3310 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 278 with 21 rules applied. Total rules applied 11240 place count 3310 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 278 with 8 rules applied. Total rules applied 11248 place count 3306 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 278 with 6 rules applied. Total rules applied 11254 place count 3306 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 279 with 21 rules applied. Total rules applied 11275 place count 3306 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 279 with 8 rules applied. Total rules applied 11283 place count 3302 transition count 9573
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 279 with 7 rules applied. Total rules applied 11290 place count 3302 transition count 9566
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 280 with 20 rules applied. Total rules applied 11310 place count 3302 transition count 9546
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 280 with 8 rules applied. Total rules applied 11318 place count 3298 transition count 9573
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 280 with 6 rules applied. Total rules applied 11324 place count 3298 transition count 9567
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 281 with 21 rules applied. Total rules applied 11345 place count 3298 transition count 9546
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 281 with 8 rules applied. Total rules applied 11353 place count 3294 transition count 9565
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 281 with 4 rules applied. Total rules applied 11357 place count 3294 transition count 9561
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 282 with 19 rules applied. Total rules applied 11376 place count 3294 transition count 9542
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 282 with 8 rules applied. Total rules applied 11384 place count 3290 transition count 9561
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 282 with 4 rules applied. Total rules applied 11388 place count 3290 transition count 9557
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 283 with 19 rules applied. Total rules applied 11407 place count 3290 transition count 9538
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 283 with 8 rules applied. Total rules applied 11415 place count 3286 transition count 9557
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 283 with 4 rules applied. Total rules applied 11419 place count 3286 transition count 9553
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 284 with 19 rules applied. Total rules applied 11438 place count 3286 transition count 9534
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 284 with 8 rules applied. Total rules applied 11446 place count 3282 transition count 9553
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 284 with 4 rules applied. Total rules applied 11450 place count 3282 transition count 9549
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 285 with 19 rules applied. Total rules applied 11469 place count 3282 transition count 9530
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 285 with 8 rules applied. Total rules applied 11477 place count 3278 transition count 9549
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 285 with 4 rules applied. Total rules applied 11481 place count 3278 transition count 9545
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 286 with 19 rules applied. Total rules applied 11500 place count 3278 transition count 9526
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 286 with 8 rules applied. Total rules applied 11508 place count 3274 transition count 9545
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 286 with 4 rules applied. Total rules applied 11512 place count 3274 transition count 9541
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 287 with 19 rules applied. Total rules applied 11531 place count 3274 transition count 9522
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 287 with 8 rules applied. Total rules applied 11539 place count 3270 transition count 9541
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 287 with 4 rules applied. Total rules applied 11543 place count 3270 transition count 9537
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 288 with 19 rules applied. Total rules applied 11562 place count 3270 transition count 9518
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 288 with 8 rules applied. Total rules applied 11570 place count 3266 transition count 9537
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 288 with 4 rules applied. Total rules applied 11574 place count 3266 transition count 9533
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 289 with 19 rules applied. Total rules applied 11593 place count 3266 transition count 9514
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 289 with 8 rules applied. Total rules applied 11601 place count 3262 transition count 9533
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 289 with 4 rules applied. Total rules applied 11605 place count 3262 transition count 9529
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 290 with 19 rules applied. Total rules applied 11624 place count 3262 transition count 9510
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 290 with 8 rules applied. Total rules applied 11632 place count 3258 transition count 9529
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 290 with 4 rules applied. Total rules applied 11636 place count 3258 transition count 9525
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 291 with 19 rules applied. Total rules applied 11655 place count 3258 transition count 9506
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 291 with 8 rules applied. Total rules applied 11663 place count 3254 transition count 9525
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 291 with 4 rules applied. Total rules applied 11667 place count 3254 transition count 9521
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 292 with 19 rules applied. Total rules applied 11686 place count 3254 transition count 9502
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 292 with 8 rules applied. Total rules applied 11694 place count 3250 transition count 9521
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 292 with 4 rules applied. Total rules applied 11698 place count 3250 transition count 9517
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 293 with 19 rules applied. Total rules applied 11717 place count 3250 transition count 9498
Free-agglomeration rule applied 507 times with reduction of 20 identical transitions.
Iterating global reduction 293 with 507 rules applied. Total rules applied 12224 place count 3250 transition count 8971
Reduce places removed 507 places and 0 transitions.
Drop transitions removed 3571 transitions
Reduce isomorphic transitions removed 3571 transitions.
Graph (complete) has 8247 edges and 2743 vertex of which 76 are kept as prefixes of interest. Removing 2667 places using SCC suffix rule.3 ms
Discarding 2667 places :
Also discarding 4018 output transitions
Drop transitions removed 4018 transitions
Iterating post reduction 293 with 4079 rules applied. Total rules applied 16303 place count 76 transition count 1382
Drop transitions removed 1183 transitions
Reduce isomorphic transitions removed 1183 transitions.
Iterating post reduction 294 with 1183 rules applied. Total rules applied 17486 place count 76 transition count 199
Discarding 1 places :
Symmetric choice reduction at 295 with 1 rule applications. Total rules 17487 place count 75 transition count 197
Iterating global reduction 295 with 1 rules applied. Total rules applied 17488 place count 75 transition count 197
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 295 with 18 rules applied. Total rules applied 17506 place count 75 transition count 179
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 295 with 1 rules applied. Total rules applied 17507 place count 74 transition count 178
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 295 with 10 rules applied. Total rules applied 17517 place count 64 transition count 178
Performed 16 Post agglomeration using F-continuation condition.Transition count delta: 16
Deduced a syphon composed of 16 places in 0 ms
Reduce places removed 32 places and 0 transitions.
Iterating global reduction 296 with 48 rules applied. Total rules applied 17565 place count 32 transition count 162
Drop transitions removed 16 transitions
Ensure Unique test removed 60 transitions
Reduce isomorphic transitions removed 76 transitions.
Graph (trivial) has 13 edges and 32 vertex of which 4 / 32 are part of one of the 2 SCC in 1 ms
Free SCC test removed 2 places
Iterating post reduction 296 with 77 rules applied. Total rules applied 17642 place count 30 transition count 86
Drop transitions removed 13 transitions
Ensure Unique test removed 17 transitions
Reduce isomorphic transitions removed 30 transitions.
Iterating post reduction 297 with 30 rules applied. Total rules applied 17672 place count 30 transition count 56
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Deduced a syphon composed of 9 places in 0 ms
Reduce places removed 18 places and 0 transitions.
Iterating global reduction 298 with 27 rules applied. Total rules applied 17699 place count 12 transition count 47
Drop transitions removed 18 transitions
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 27 transitions.
Iterating post reduction 298 with 27 rules applied. Total rules applied 17726 place count 12 transition count 20
Drop transitions removed 4 transitions
Redundant transition composition rules discarded 4 transitions
Iterating global reduction 299 with 4 rules applied. Total rules applied 17730 place count 12 transition count 16
Applied a total of 17730 rules in 531674 ms. Remains 12 /4750 variables (removed 4738) and now considering 16/20317 (removed 20301) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 531674 ms. Remains : 12/4750 places, 16/20317 transitions.
Able to resolve query QuasiLiveness after proving 16262 properties.
FORMULA QuasiLiveness TRUE TECHNIQUES RANDOM_WALK DECISION_DIAGRAMS COLLATERAL_PROCESSING BESTFIRST_WALK TOPOLOGICAL INITIAL_STATE USE_NUPN
Total runtime 845526 ms.

BK_STOP 1716380068308

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

+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ QuasiLiveness = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202304061127.jar
+ VERSION=202304061127
+ echo 'Running Version 202304061127'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool gold2023"
echo " Input is DLCflexbar-PT-6b, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r132-smll-171624288900047"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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