Execution Chart

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

Trace from the execution

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

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

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1678491106101

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=marciexred
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCshifumi-PT-5b
Applying reductions before tool marcie
Invoking reducer
Running Version 202303021504
[2023-03-10 23:31:47] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -timeout, 360, -rebuildPNML]
[2023-03-10 23:31:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 23:31:48] [INFO ] Load time of PNML (sax parser for PT used): 606 ms
[2023-03-10 23:31:48] [INFO ] Transformed 27146 places.
[2023-03-10 23:31:48] [INFO ] Transformed 39849 transitions.
[2023-03-10 23:31:48] [INFO ] Found NUPN structural information;
[2023-03-10 23:31:49] [INFO ] Parsed PT model containing 27146 places and 39849 transitions and 107425 arcs in 1786 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 15 ms.
Support contains 141 out of 27146 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Applied a total of 0 rules in 1833 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
// Phase 1: matrix 39849 rows 27146 cols
[2023-03-10 23:31:53] [INFO ] Computed 1378 place invariants in 261 ms
[2023-03-10 23:31:57] [INFO ] Implicit Places using invariants in 3547 ms returned []
Implicit Place search using SMT only with invariants took 3573 ms to find 0 implicit places.
[2023-03-10 23:31:57] [INFO ] Invariant cache hit.
[2023-03-10 23:32:00] [INFO ] Dead Transitions using invariants and state equation in 3011 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 8427 ms. Remains : 27146/27146 places, 39849/39849 transitions.
Support contains 141 out of 27146 places after structural reductions.
[2023-03-10 23:32:02] [INFO ] Flatten gal took : 1090 ms
[2023-03-10 23:32:03] [INFO ] Flatten gal took : 834 ms
[2023-03-10 23:32:05] [INFO ] Input system was already deterministic with 39849 transitions.
Support contains 140 out of 27146 places (down from 141) after GAL structural reductions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 591 ms. (steps per millisecond=16 ) properties (out of 72) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=142 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5 ms. (steps per millisecond=200 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=142 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 7 ms. (steps per millisecond=143 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 63) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 6 ms. (steps per millisecond=166 ) properties (out of 63) seen :0
Running SMT prover for 63 properties.
[2023-03-10 23:32:08] [INFO ] Invariant cache hit.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.assertInvariants(DeadlockTester.java:2340)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:618)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.logic.AtomicReducerSR.checkAtomicPropositionsLogic(AtomicReducerSR.java:105)
at fr.lip6.move.gal.application.solver.logic.AtomicReducerSR.strongReductions(AtomicReducerSR.java:44)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.preSolveForLogic(LTLPropertySolver.java:176)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:626)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-10 23:32:33] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-10 23:32:33] [INFO ] After 25152ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 63 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 127 out of 27146 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Graph (trivial) has 25067 edges and 27146 vertex of which 2155 / 27146 are part of one of the 139 SCC in 48 ms
Free SCC test removed 2016 places
Drop transitions removed 2279 transitions
Reduce isomorphic transitions removed 2279 transitions.
Drop transitions removed 12833 transitions
Trivial Post-agglo rules discarded 12833 transitions
Performed 12833 trivial Post agglomeration. Transition count delta: 12833
Iterating post reduction 0 with 12833 rules applied. Total rules applied 12834 place count 25130 transition count 24737
Reduce places removed 12833 places and 0 transitions.
Ensure Unique test removed 375 transitions
Reduce isomorphic transitions removed 375 transitions.
Drop transitions removed 369 transitions
Trivial Post-agglo rules discarded 369 transitions
Performed 369 trivial Post agglomeration. Transition count delta: 369
Iterating post reduction 1 with 13577 rules applied. Total rules applied 26411 place count 12297 transition count 23993
Reduce places removed 369 places and 0 transitions.
Ensure Unique test removed 119 transitions
Reduce isomorphic transitions removed 119 transitions.
Drop transitions removed 115 transitions
Trivial Post-agglo rules discarded 115 transitions
Performed 115 trivial Post agglomeration. Transition count delta: 115
Iterating post reduction 2 with 603 rules applied. Total rules applied 27014 place count 11928 transition count 23759
Reduce places removed 115 places and 0 transitions.
Performed 35 Post agglomeration using F-continuation condition.Transition count delta: 35
Iterating post reduction 3 with 150 rules applied. Total rules applied 27164 place count 11813 transition count 23724
Reduce places removed 35 places and 0 transitions.
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 4 with 40 rules applied. Total rules applied 27204 place count 11778 transition count 23719
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 5 with 2 rules applied. Total rules applied 27206 place count 11776 transition count 23719
Performed 175 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 175 Pre rules applied. Total rules applied 27206 place count 11776 transition count 23544
Deduced a syphon composed of 175 places in 793 ms
Reduce places removed 175 places and 0 transitions.
Iterating global reduction 6 with 350 rules applied. Total rules applied 27556 place count 11601 transition count 23544
Discarding 3253 places :
Symmetric choice reduction at 6 with 3253 rule applications. Total rules 30809 place count 8348 transition count 20291
Iterating global reduction 6 with 3253 rules applied. Total rules applied 34062 place count 8348 transition count 20291
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Drop transitions removed 4 transitions
Trivial Post-agglo rules discarded 4 transitions
Performed 4 trivial Post agglomeration. Transition count delta: 4
Iterating post reduction 6 with 8 rules applied. Total rules applied 34070 place count 8348 transition count 20283
Reduce places removed 4 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 7 with 6 rules applied. Total rules applied 34076 place count 8344 transition count 20281
Performed 1337 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 8 with 1337 Pre rules applied. Total rules applied 34076 place count 8344 transition count 18944
Deduced a syphon composed of 1337 places in 621 ms
Reduce places removed 1337 places and 0 transitions.
Iterating global reduction 8 with 2674 rules applied. Total rules applied 36750 place count 7007 transition count 18944
Discarding 235 places :
Symmetric choice reduction at 8 with 235 rule applications. Total rules 36985 place count 6772 transition count 16061
Iterating global reduction 8 with 235 rules applied. Total rules applied 37220 place count 6772 transition count 16061
Ensure Unique test removed 224 transitions
Reduce isomorphic transitions removed 224 transitions.
Iterating post reduction 8 with 224 rules applied. Total rules applied 37444 place count 6772 transition count 15837
Performed 1682 Post agglomeration using F-continuation condition with reduction of 1 identical transitions.
Deduced a syphon composed of 1682 places in 6 ms
Reduce places removed 1682 places and 0 transitions.
Iterating global reduction 9 with 3364 rules applied. Total rules applied 40808 place count 5090 transition count 14154
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 9 with 3 rules applied. Total rules applied 40811 place count 5090 transition count 14151
Renaming transitions due to excessive name length > 1024 char.
Performed 101 Post agglomeration using F-continuation condition with reduction of 155 identical transitions.
Deduced a syphon composed of 101 places in 4 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 10 with 202 rules applied. Total rules applied 41013 place count 4989 transition count 14625
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 10 with 1 rules applied. Total rules applied 41014 place count 4989 transition count 14624
Discarding 32 places :
Symmetric choice reduction at 11 with 32 rule applications. Total rules 41046 place count 4957 transition count 14304
Iterating global reduction 11 with 32 rules applied. Total rules applied 41078 place count 4957 transition count 14304
Ensure Unique test removed 155 transitions
Reduce isomorphic transitions removed 155 transitions.
Iterating post reduction 11 with 155 rules applied. Total rules applied 41233 place count 4957 transition count 14149
Performed 101 Post agglomeration using F-continuation condition with reduction of 155 identical transitions.
Deduced a syphon composed of 101 places in 4 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 12 with 202 rules applied. Total rules applied 41435 place count 4856 transition count 14629
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 12 with 1 rules applied. Total rules applied 41436 place count 4856 transition count 14628
Discarding 32 places :
Symmetric choice reduction at 13 with 32 rule applications. Total rules 41468 place count 4824 transition count 14308
Iterating global reduction 13 with 32 rules applied. Total rules applied 41500 place count 4824 transition count 14308
Ensure Unique test removed 155 transitions
Reduce isomorphic transitions removed 155 transitions.
Iterating post reduction 13 with 155 rules applied. Total rules applied 41655 place count 4824 transition count 14153
Performed 101 Post agglomeration using F-continuation condition with reduction of 150 identical transitions.
Deduced a syphon composed of 101 places in 3 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 14 with 202 rules applied. Total rules applied 41857 place count 4723 transition count 14634
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 14 with 1 rules applied. Total rules applied 41858 place count 4723 transition count 14633
Discarding 31 places :
Symmetric choice reduction at 15 with 31 rule applications. Total rules 41889 place count 4692 transition count 14323
Iterating global reduction 15 with 31 rules applied. Total rules applied 41920 place count 4692 transition count 14323
Ensure Unique test removed 145 transitions
Reduce isomorphic transitions removed 145 transitions.
Iterating post reduction 15 with 145 rules applied. Total rules applied 42065 place count 4692 transition count 14178
Performed 101 Post agglomeration using F-continuation condition with reduction of 120 identical transitions.
Deduced a syphon composed of 101 places in 3 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 16 with 202 rules applied. Total rules applied 42267 place count 4591 transition count 14750
Drop transitions removed 50 transitions
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 51 transitions.
Iterating post reduction 16 with 51 rules applied. Total rules applied 42318 place count 4591 transition count 14699
Discarding 24 places :
Symmetric choice reduction at 17 with 24 rule applications. Total rules 42342 place count 4567 transition count 14459
Iterating global reduction 17 with 24 rules applied. Total rules applied 42366 place count 4567 transition count 14459
Ensure Unique test removed 116 transitions
Reduce isomorphic transitions removed 116 transitions.
Iterating post reduction 17 with 116 rules applied. Total rules applied 42482 place count 4567 transition count 14343
Performed 11 Post agglomeration using F-continuation condition.Transition count delta: -91
Deduced a syphon composed of 11 places in 2 ms
Reduce places removed 11 places and 0 transitions.
Iterating global reduction 18 with 22 rules applied. Total rules applied 42504 place count 4556 transition count 14434
Drop transitions removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 18 with 19 rules applied. Total rules applied 42523 place count 4556 transition count 14415
Drop transitions removed 91 transitions
Redundant transition composition rules discarded 91 transitions
Iterating global reduction 19 with 91 rules applied. Total rules applied 42614 place count 4556 transition count 14324
Discarding 2 places :
Symmetric choice reduction at 19 with 2 rule applications. Total rules 42616 place count 4554 transition count 14322
Iterating global reduction 19 with 2 rules applied. Total rules applied 42618 place count 4554 transition count 14322
Discarding 2 places :
Symmetric choice reduction at 19 with 2 rule applications. Total rules 42620 place count 4552 transition count 14067
Iterating global reduction 19 with 2 rules applied. Total rules applied 42622 place count 4552 transition count 14067
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 19 with 2 rules applied. Total rules applied 42624 place count 4552 transition count 14065
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 20 with 6 rules applied. Total rules applied 42630 place count 4549 transition count 14062
Discarding 3 places :
Symmetric choice reduction at 20 with 3 rule applications. Total rules 42633 place count 4546 transition count 13676
Iterating global reduction 20 with 3 rules applied. Total rules applied 42636 place count 4546 transition count 13676
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 20 with 2 rules applied. Total rules applied 42638 place count 4546 transition count 13674
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -35
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 42646 place count 4542 transition count 13709
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 21 with 6 rules applied. Total rules applied 42652 place count 4542 transition count 13703
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 22 with 21 rules applied. Total rules applied 42673 place count 4542 transition count 13682
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 22 with 6 rules applied. Total rules applied 42679 place count 4539 transition count 13712
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 22 with 4 rules applied. Total rules applied 42683 place count 4539 transition count 13708
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 23 with 20 rules applied. Total rules applied 42703 place count 4539 transition count 13688
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 23 with 6 rules applied. Total rules applied 42709 place count 4536 transition count 13716
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 23 with 4 rules applied. Total rules applied 42713 place count 4536 transition count 13712
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 24 with 20 rules applied. Total rules applied 42733 place count 4536 transition count 13692
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 24 with 6 rules applied. Total rules applied 42739 place count 4533 transition count 13719
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 24 with 5 rules applied. Total rules applied 42744 place count 4533 transition count 13714
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 25 with 20 rules applied. Total rules applied 42764 place count 4533 transition count 13694
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 25 with 6 rules applied. Total rules applied 42770 place count 4530 transition count 13722
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 25 with 4 rules applied. Total rules applied 42774 place count 4530 transition count 13718
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 26 with 20 rules applied. Total rules applied 42794 place count 4530 transition count 13698
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 26 with 6 rules applied. Total rules applied 42800 place count 4527 transition count 13725
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 26 with 5 rules applied. Total rules applied 42805 place count 4527 transition count 13720
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 27 with 20 rules applied. Total rules applied 42825 place count 4527 transition count 13700
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 27 with 6 rules applied. Total rules applied 42831 place count 4524 transition count 13728
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 27 with 4 rules applied. Total rules applied 42835 place count 4524 transition count 13724
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 28 with 20 rules applied. Total rules applied 42855 place count 4524 transition count 13704
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 28 with 6 rules applied. Total rules applied 42861 place count 4521 transition count 13731
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 28 with 5 rules applied. Total rules applied 42866 place count 4521 transition count 13726
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 29 with 20 rules applied. Total rules applied 42886 place count 4521 transition count 13706
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 29 with 6 rules applied. Total rules applied 42892 place count 4518 transition count 13734
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 29 with 4 rules applied. Total rules applied 42896 place count 4518 transition count 13730
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 30 with 20 rules applied. Total rules applied 42916 place count 4518 transition count 13710
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 30 with 6 rules applied. Total rules applied 42922 place count 4515 transition count 13738
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 30 with 5 rules applied. Total rules applied 42927 place count 4515 transition count 13733
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 31 with 20 rules applied. Total rules applied 42947 place count 4515 transition count 13713
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 3 places in 3 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 31 with 6 rules applied. Total rules applied 42953 place count 4512 transition count 13741
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 31 with 4 rules applied. Total rules applied 42957 place count 4512 transition count 13737
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 32 with 20 rules applied. Total rules applied 42977 place count 4512 transition count 13717
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 32 with 6 rules applied. Total rules applied 42983 place count 4509 transition count 13744
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 32 with 5 rules applied. Total rules applied 42988 place count 4509 transition count 13739
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 33 with 20 rules applied. Total rules applied 43008 place count 4509 transition count 13719
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 33 with 6 rules applied. Total rules applied 43014 place count 4506 transition count 13747
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 33 with 4 rules applied. Total rules applied 43018 place count 4506 transition count 13743
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 34 with 20 rules applied. Total rules applied 43038 place count 4506 transition count 13723
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 3 places in 3 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 34 with 6 rules applied. Total rules applied 43044 place count 4503 transition count 13750
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 34 with 5 rules applied. Total rules applied 43049 place count 4503 transition count 13745
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 35 with 20 rules applied. Total rules applied 43069 place count 4503 transition count 13725
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 35 with 6 rules applied. Total rules applied 43075 place count 4500 transition count 13754
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 35 with 4 rules applied. Total rules applied 43079 place count 4500 transition count 13750
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 36 with 20 rules applied. Total rules applied 43099 place count 4500 transition count 13730
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 36 with 6 rules applied. Total rules applied 43105 place count 4497 transition count 13757
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 36 with 5 rules applied. Total rules applied 43110 place count 4497 transition count 13752
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 37 with 20 rules applied. Total rules applied 43130 place count 4497 transition count 13732
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 37 with 6 rules applied. Total rules applied 43136 place count 4494 transition count 13759
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 37 with 5 rules applied. Total rules applied 43141 place count 4494 transition count 13754
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 38 with 20 rules applied. Total rules applied 43161 place count 4494 transition count 13734
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 38 with 6 rules applied. Total rules applied 43167 place count 4491 transition count 13764
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 38 with 3 rules applied. Total rules applied 43170 place count 4491 transition count 13761
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 39 with 16 rules applied. Total rules applied 43186 place count 4491 transition count 13745
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -22
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 39 with 4 rules applied. Total rules applied 43190 place count 4489 transition count 13767
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 39 with 3 rules applied. Total rules applied 43193 place count 4489 transition count 13764
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 40 with 16 rules applied. Total rules applied 43209 place count 4489 transition count 13748
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -21
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 40 with 4 rules applied. Total rules applied 43213 place count 4487 transition count 13769
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 40 with 3 rules applied. Total rules applied 43216 place count 4487 transition count 13766
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 41 with 16 rules applied. Total rules applied 43232 place count 4487 transition count 13750
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -21
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 41 with 4 rules applied. Total rules applied 43236 place count 4485 transition count 13771
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 41 with 3 rules applied. Total rules applied 43239 place count 4485 transition count 13768
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 42 with 16 rules applied. Total rules applied 43255 place count 4485 transition count 13752
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -21
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 42 with 4 rules applied. Total rules applied 43259 place count 4483 transition count 13773
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 42 with 3 rules applied. Total rules applied 43262 place count 4483 transition count 13770
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 43 with 16 rules applied. Total rules applied 43278 place count 4483 transition count 13754
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -21
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 43 with 4 rules applied. Total rules applied 43282 place count 4481 transition count 13775
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 43 with 3 rules applied. Total rules applied 43285 place count 4481 transition count 13772
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 44 with 16 rules applied. Total rules applied 43301 place count 4481 transition count 13756
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -20
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 44 with 4 rules applied. Total rules applied 43305 place count 4479 transition count 13776
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 44 with 4 rules applied. Total rules applied 43309 place count 4479 transition count 13772
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 45 with 16 rules applied. Total rules applied 43325 place count 4479 transition count 13756
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -21
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 45 with 4 rules applied. Total rules applied 43329 place count 4477 transition count 13777
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 45 with 3 rules applied. Total rules applied 43332 place count 4477 transition count 13774
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 46 with 16 rules applied. Total rules applied 43348 place count 4477 transition count 13758
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -21
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 46 with 4 rules applied. Total rules applied 43352 place count 4475 transition count 13779
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 46 with 3 rules applied. Total rules applied 43355 place count 4475 transition count 13776
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 47 with 16 rules applied. Total rules applied 43371 place count 4475 transition count 13760
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 47 with 4 rules applied. Total rules applied 43375 place count 4473 transition count 13784
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 47 with 4 rules applied. Total rules applied 43379 place count 4473 transition count 13780
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 48 with 16 rules applied. Total rules applied 43395 place count 4473 transition count 13764
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 48 with 4 rules applied. Total rules applied 43399 place count 4471 transition count 13788
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 48 with 3 rules applied. Total rules applied 43402 place count 4471 transition count 13785
Drop transitions removed 17 transitions
Redundant transition composition rules discarded 17 transitions
Iterating global reduction 49 with 17 rules applied. Total rules applied 43419 place count 4471 transition count 13768
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -21
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 49 with 4 rules applied. Total rules applied 43423 place count 4469 transition count 13789
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 49 with 3 rules applied. Total rules applied 43426 place count 4469 transition count 13786
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 50 with 16 rules applied. Total rules applied 43442 place count 4469 transition count 13770
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 50 with 4 rules applied. Total rules applied 43446 place count 4467 transition count 13793
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 50 with 4 rules applied. Total rules applied 43450 place count 4467 transition count 13789
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 51 with 16 rules applied. Total rules applied 43466 place count 4467 transition count 13773
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 51 with 4 rules applied. Total rules applied 43470 place count 4465 transition count 13797
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 51 with 3 rules applied. Total rules applied 43473 place count 4465 transition count 13794
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 52 with 16 rules applied. Total rules applied 43489 place count 4465 transition count 13778
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -22
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 52 with 4 rules applied. Total rules applied 43493 place count 4463 transition count 13800
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 52 with 3 rules applied. Total rules applied 43496 place count 4463 transition count 13797
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 53 with 16 rules applied. Total rules applied 43512 place count 4463 transition count 13781
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 53 with 4 rules applied. Total rules applied 43516 place count 4461 transition count 13804
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 53 with 4 rules applied. Total rules applied 43520 place count 4461 transition count 13800
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 54 with 16 rules applied. Total rules applied 43536 place count 4461 transition count 13784
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 54 with 4 rules applied. Total rules applied 43540 place count 4459 transition count 13808
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 54 with 3 rules applied. Total rules applied 43543 place count 4459 transition count 13805
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 55 with 16 rules applied. Total rules applied 43559 place count 4459 transition count 13789
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -22
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 55 with 4 rules applied. Total rules applied 43563 place count 4457 transition count 13811
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 55 with 3 rules applied. Total rules applied 43566 place count 4457 transition count 13808
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 56 with 16 rules applied. Total rules applied 43582 place count 4457 transition count 13792
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -21
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 56 with 4 rules applied. Total rules applied 43586 place count 4455 transition count 13813
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 56 with 3 rules applied. Total rules applied 43589 place count 4455 transition count 13810
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 57 with 16 rules applied. Total rules applied 43605 place count 4455 transition count 13794
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -21
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 57 with 4 rules applied. Total rules applied 43609 place count 4453 transition count 13815
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 57 with 3 rules applied. Total rules applied 43612 place count 4453 transition count 13812
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 58 with 16 rules applied. Total rules applied 43628 place count 4453 transition count 13796
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -21
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 58 with 4 rules applied. Total rules applied 43632 place count 4451 transition count 13817
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 58 with 3 rules applied. Total rules applied 43635 place count 4451 transition count 13814
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 59 with 16 rules applied. Total rules applied 43651 place count 4451 transition count 13798
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -21
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 59 with 4 rules applied. Total rules applied 43655 place count 4449 transition count 13819
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 59 with 3 rules applied. Total rules applied 43658 place count 4449 transition count 13816
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 60 with 16 rules applied. Total rules applied 43674 place count 4449 transition count 13800
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 60 with 4 rules applied. Total rules applied 43678 place count 4447 transition count 13823
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 60 with 4 rules applied. Total rules applied 43682 place count 4447 transition count 13819
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 61 with 16 rules applied. Total rules applied 43698 place count 4447 transition count 13803
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 61 with 4 rules applied. Total rules applied 43702 place count 4445 transition count 13826
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 61 with 3 rules applied. Total rules applied 43705 place count 4445 transition count 13823
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 62 with 16 rules applied. Total rules applied 43721 place count 4445 transition count 13807
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -21
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 62 with 4 rules applied. Total rules applied 43725 place count 4443 transition count 13828
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 62 with 3 rules applied. Total rules applied 43728 place count 4443 transition count 13825
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 63 with 16 rules applied. Total rules applied 43744 place count 4443 transition count 13809
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -21
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 63 with 4 rules applied. Total rules applied 43748 place count 4441 transition count 13830
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 63 with 3 rules applied. Total rules applied 43751 place count 4441 transition count 13827
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 64 with 16 rules applied. Total rules applied 43767 place count 4441 transition count 13811
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -22
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 64 with 4 rules applied. Total rules applied 43771 place count 4439 transition count 13833
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 64 with 2 rules applied. Total rules applied 43773 place count 4439 transition count 13831
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 65 with 16 rules applied. Total rules applied 43789 place count 4439 transition count 13815
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -21
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 65 with 4 rules applied. Total rules applied 43793 place count 4437 transition count 13836
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 65 with 3 rules applied. Total rules applied 43796 place count 4437 transition count 13833
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 66 with 16 rules applied. Total rules applied 43812 place count 4437 transition count 13817
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -21
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 66 with 4 rules applied. Total rules applied 43816 place count 4435 transition count 13838
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 66 with 3 rules applied. Total rules applied 43819 place count 4435 transition count 13835
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 67 with 16 rules applied. Total rules applied 43835 place count 4435 transition count 13819
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -22
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 67 with 4 rules applied. Total rules applied 43839 place count 4433 transition count 13841
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 67 with 5 rules applied. Total rules applied 43844 place count 4433 transition count 13836
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 68 with 16 rules applied. Total rules applied 43860 place count 4433 transition count 13820
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 68 with 4 rules applied. Total rules applied 43864 place count 4431 transition count 13844
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 68 with 1 rules applied. Total rules applied 43865 place count 4431 transition count 13843
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 69 with 10 rules applied. Total rules applied 43875 place count 4431 transition count 13833
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 69 with 2 rules applied. Total rules applied 43877 place count 4430 transition count 13846
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 69 with 2 rules applied. Total rules applied 43879 place count 4430 transition count 13844
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 70 with 10 rules applied. Total rules applied 43889 place count 4430 transition count 13834
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 70 with 2 rules applied. Total rules applied 43891 place count 4429 transition count 13846
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 70 with 2 rules applied. Total rules applied 43893 place count 4429 transition count 13844
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 71 with 10 rules applied. Total rules applied 43903 place count 4429 transition count 13834
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 71 with 2 rules applied. Total rules applied 43905 place count 4428 transition count 13847
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 71 with 1 rules applied. Total rules applied 43906 place count 4428 transition count 13846
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 72 with 10 rules applied. Total rules applied 43916 place count 4428 transition count 13836
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 72 with 2 rules applied. Total rules applied 43918 place count 4427 transition count 13849
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 72 with 2 rules applied. Total rules applied 43920 place count 4427 transition count 13847
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 73 with 10 rules applied. Total rules applied 43930 place count 4427 transition count 13837
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 73 with 2 rules applied. Total rules applied 43932 place count 4426 transition count 13850
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 73 with 1 rules applied. Total rules applied 43933 place count 4426 transition count 13849
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 74 with 10 rules applied. Total rules applied 43943 place count 4426 transition count 13839
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 74 with 2 rules applied. Total rules applied 43945 place count 4425 transition count 13851
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 74 with 2 rules applied. Total rules applied 43947 place count 4425 transition count 13849
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 75 with 10 rules applied. Total rules applied 43957 place count 4425 transition count 13839
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 75 with 2 rules applied. Total rules applied 43959 place count 4424 transition count 13852
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 75 with 1 rules applied. Total rules applied 43960 place count 4424 transition count 13851
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 76 with 10 rules applied. Total rules applied 43970 place count 4424 transition count 13841
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 76 with 2 rules applied. Total rules applied 43972 place count 4423 transition count 13853
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 76 with 2 rules applied. Total rules applied 43974 place count 4423 transition count 13851
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 77 with 10 rules applied. Total rules applied 43984 place count 4423 transition count 13841
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 77 with 2 rules applied. Total rules applied 43986 place count 4422 transition count 13853
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 77 with 2 rules applied. Total rules applied 43988 place count 4422 transition count 13851
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 78 with 10 rules applied. Total rules applied 43998 place count 4422 transition count 13841
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 78 with 2 rules applied. Total rules applied 44000 place count 4421 transition count 13854
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 78 with 1 rules applied. Total rules applied 44001 place count 4421 transition count 13853
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 79 with 10 rules applied. Total rules applied 44011 place count 4421 transition count 13843
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 79 with 2 rules applied. Total rules applied 44013 place count 4420 transition count 13855
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 79 with 2 rules applied. Total rules applied 44015 place count 4420 transition count 13853
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 80 with 10 rules applied. Total rules applied 44025 place count 4420 transition count 13843
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 80 with 2 rules applied. Total rules applied 44027 place count 4419 transition count 13856
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 80 with 1 rules applied. Total rules applied 44028 place count 4419 transition count 13855
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 81 with 10 rules applied. Total rules applied 44038 place count 4419 transition count 13845
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 81 with 2 rules applied. Total rules applied 44040 place count 4418 transition count 13857
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 81 with 2 rules applied. Total rules applied 44042 place count 4418 transition count 13855
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 82 with 10 rules applied. Total rules applied 44052 place count 4418 transition count 13845
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 82 with 2 rules applied. Total rules applied 44054 place count 4417 transition count 13858
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 82 with 1 rules applied. Total rules applied 44055 place count 4417 transition count 13857
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 83 with 10 rules applied. Total rules applied 44065 place count 4417 transition count 13847
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 83 with 2 rules applied. Total rules applied 44067 place count 4416 transition count 13859
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 83 with 2 rules applied. Total rules applied 44069 place count 4416 transition count 13857
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 84 with 10 rules applied. Total rules applied 44079 place count 4416 transition count 13847
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 84 with 2 rules applied. Total rules applied 44081 place count 4415 transition count 13860
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 84 with 1 rules applied. Total rules applied 44082 place count 4415 transition count 13859
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 85 with 10 rules applied. Total rules applied 44092 place count 4415 transition count 13849
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 85 with 2 rules applied. Total rules applied 44094 place count 4414 transition count 13862
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 85 with 2 rules applied. Total rules applied 44096 place count 4414 transition count 13860
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 86 with 10 rules applied. Total rules applied 44106 place count 4414 transition count 13850
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 86 with 2 rules applied. Total rules applied 44108 place count 4413 transition count 13863
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 86 with 1 rules applied. Total rules applied 44109 place count 4413 transition count 13862
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 87 with 10 rules applied. Total rules applied 44119 place count 4413 transition count 13852
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 87 with 2 rules applied. Total rules applied 44121 place count 4412 transition count 13865
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 87 with 2 rules applied. Total rules applied 44123 place count 4412 transition count 13863
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 88 with 10 rules applied. Total rules applied 44133 place count 4412 transition count 13853
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 88 with 2 rules applied. Total rules applied 44135 place count 4411 transition count 13866
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 88 with 1 rules applied. Total rules applied 44136 place count 4411 transition count 13865
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 89 with 10 rules applied. Total rules applied 44146 place count 4411 transition count 13855
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 89 with 2 rules applied. Total rules applied 44148 place count 4410 transition count 13867
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 89 with 2 rules applied. Total rules applied 44150 place count 4410 transition count 13865
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 90 with 10 rules applied. Total rules applied 44160 place count 4410 transition count 13855
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 90 with 2 rules applied. Total rules applied 44162 place count 4409 transition count 13868
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 90 with 1 rules applied. Total rules applied 44163 place count 4409 transition count 13867
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 91 with 10 rules applied. Total rules applied 44173 place count 4409 transition count 13857
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 91 with 2 rules applied. Total rules applied 44175 place count 4408 transition count 13869
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 91 with 2 rules applied. Total rules applied 44177 place count 4408 transition count 13867
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 92 with 10 rules applied. Total rules applied 44187 place count 4408 transition count 13857
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 92 with 2 rules applied. Total rules applied 44189 place count 4407 transition count 13870
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 92 with 1 rules applied. Total rules applied 44190 place count 4407 transition count 13869
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 93 with 10 rules applied. Total rules applied 44200 place count 4407 transition count 13859
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 93 with 2 rules applied. Total rules applied 44202 place count 4406 transition count 13871
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 93 with 2 rules applied. Total rules applied 44204 place count 4406 transition count 13869
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 94 with 10 rules applied. Total rules applied 44214 place count 4406 transition count 13859
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 94 with 2 rules applied. Total rules applied 44216 place count 4405 transition count 13872
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 94 with 1 rules applied. Total rules applied 44217 place count 4405 transition count 13871
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 95 with 10 rules applied. Total rules applied 44227 place count 4405 transition count 13861
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 95 with 2 rules applied. Total rules applied 44229 place count 4404 transition count 13873
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 95 with 2 rules applied. Total rules applied 44231 place count 4404 transition count 13871
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 96 with 10 rules applied. Total rules applied 44241 place count 4404 transition count 13861
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 96 with 2 rules applied. Total rules applied 44243 place count 4403 transition count 13874
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 96 with 1 rules applied. Total rules applied 44244 place count 4403 transition count 13873
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 97 with 10 rules applied. Total rules applied 44254 place count 4403 transition count 13863
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 97 with 2 rules applied. Total rules applied 44256 place count 4402 transition count 13875
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 97 with 2 rules applied. Total rules applied 44258 place count 4402 transition count 13873
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 98 with 10 rules applied. Total rules applied 44268 place count 4402 transition count 13863
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 98 with 2 rules applied. Total rules applied 44270 place count 4401 transition count 13876
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 98 with 1 rules applied. Total rules applied 44271 place count 4401 transition count 13875
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 99 with 10 rules applied. Total rules applied 44281 place count 4401 transition count 13865
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 99 with 2 rules applied. Total rules applied 44283 place count 4400 transition count 13877
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 99 with 2 rules applied. Total rules applied 44285 place count 4400 transition count 13875
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 100 with 10 rules applied. Total rules applied 44295 place count 4400 transition count 13865
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 100 with 2 rules applied. Total rules applied 44297 place count 4399 transition count 13877
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 100 with 2 rules applied. Total rules applied 44299 place count 4399 transition count 13875
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 101 with 10 rules applied. Total rules applied 44309 place count 4399 transition count 13865
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 101 with 2 rules applied. Total rules applied 44311 place count 4398 transition count 13878
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 101 with 1 rules applied. Total rules applied 44312 place count 4398 transition count 13877
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 102 with 10 rules applied. Total rules applied 44322 place count 4398 transition count 13867
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 102 with 2 rules applied. Total rules applied 44324 place count 4397 transition count 13879
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 102 with 2 rules applied. Total rules applied 44326 place count 4397 transition count 13877
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 103 with 10 rules applied. Total rules applied 44336 place count 4397 transition count 13867
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 103 with 2 rules applied. Total rules applied 44338 place count 4396 transition count 13880
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 103 with 1 rules applied. Total rules applied 44339 place count 4396 transition count 13879
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 104 with 10 rules applied. Total rules applied 44349 place count 4396 transition count 13869
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 104 with 2 rules applied. Total rules applied 44351 place count 4395 transition count 13881
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 104 with 2 rules applied. Total rules applied 44353 place count 4395 transition count 13879
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 105 with 10 rules applied. Total rules applied 44363 place count 4395 transition count 13869
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 105 with 2 rules applied. Total rules applied 44365 place count 4394 transition count 13882
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 105 with 1 rules applied. Total rules applied 44366 place count 4394 transition count 13881
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 106 with 10 rules applied. Total rules applied 44376 place count 4394 transition count 13871
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 106 with 2 rules applied. Total rules applied 44378 place count 4393 transition count 13883
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 106 with 2 rules applied. Total rules applied 44380 place count 4393 transition count 13881
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 107 with 10 rules applied. Total rules applied 44390 place count 4393 transition count 13871
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 107 with 2 rules applied. Total rules applied 44392 place count 4392 transition count 13884
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 107 with 1 rules applied. Total rules applied 44393 place count 4392 transition count 13883
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 108 with 10 rules applied. Total rules applied 44403 place count 4392 transition count 13873
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 108 with 2 rules applied. Total rules applied 44405 place count 4391 transition count 13885
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 108 with 2 rules applied. Total rules applied 44407 place count 4391 transition count 13883
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 109 with 10 rules applied. Total rules applied 44417 place count 4391 transition count 13873
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 109 with 2 rules applied. Total rules applied 44419 place count 4390 transition count 13886
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 109 with 1 rules applied. Total rules applied 44420 place count 4390 transition count 13885
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 110 with 10 rules applied. Total rules applied 44430 place count 4390 transition count 13875
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 110 with 2 rules applied. Total rules applied 44432 place count 4389 transition count 13887
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 110 with 2 rules applied. Total rules applied 44434 place count 4389 transition count 13885
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 111 with 10 rules applied. Total rules applied 44444 place count 4389 transition count 13875
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 111 with 2 rules applied. Total rules applied 44446 place count 4388 transition count 13888
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 111 with 1 rules applied. Total rules applied 44447 place count 4388 transition count 13887
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 112 with 10 rules applied. Total rules applied 44457 place count 4388 transition count 13877
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 112 with 2 rules applied. Total rules applied 44459 place count 4387 transition count 13890
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 112 with 2 rules applied. Total rules applied 44461 place count 4387 transition count 13888
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 113 with 10 rules applied. Total rules applied 44471 place count 4387 transition count 13878
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 113 with 2 rules applied. Total rules applied 44473 place count 4386 transition count 13890
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 113 with 2 rules applied. Total rules applied 44475 place count 4386 transition count 13888
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 114 with 10 rules applied. Total rules applied 44485 place count 4386 transition count 13878
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 114 with 2 rules applied. Total rules applied 44487 place count 4385 transition count 13891
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 114 with 1 rules applied. Total rules applied 44488 place count 4385 transition count 13890
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 115 with 10 rules applied. Total rules applied 44498 place count 4385 transition count 13880
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 115 with 2 rules applied. Total rules applied 44500 place count 4384 transition count 13892
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 115 with 2 rules applied. Total rules applied 44502 place count 4384 transition count 13890
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 116 with 10 rules applied. Total rules applied 44512 place count 4384 transition count 13880
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 116 with 2 rules applied. Total rules applied 44514 place count 4383 transition count 13893
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 116 with 1 rules applied. Total rules applied 44515 place count 4383 transition count 13892
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 117 with 10 rules applied. Total rules applied 44525 place count 4383 transition count 13882
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 117 with 2 rules applied. Total rules applied 44527 place count 4382 transition count 13894
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 117 with 2 rules applied. Total rules applied 44529 place count 4382 transition count 13892
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 118 with 10 rules applied. Total rules applied 44539 place count 4382 transition count 13882
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 118 with 2 rules applied. Total rules applied 44541 place count 4381 transition count 13895
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 118 with 1 rules applied. Total rules applied 44542 place count 4381 transition count 13894
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 119 with 10 rules applied. Total rules applied 44552 place count 4381 transition count 13884
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 119 with 2 rules applied. Total rules applied 44554 place count 4380 transition count 13896
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 119 with 2 rules applied. Total rules applied 44556 place count 4380 transition count 13894
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 120 with 10 rules applied. Total rules applied 44566 place count 4380 transition count 13884
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 120 with 2 rules applied. Total rules applied 44568 place count 4379 transition count 13897
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 120 with 1 rules applied. Total rules applied 44569 place count 4379 transition count 13896
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 121 with 10 rules applied. Total rules applied 44579 place count 4379 transition count 13886
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 121 with 2 rules applied. Total rules applied 44581 place count 4378 transition count 13898
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 121 with 2 rules applied. Total rules applied 44583 place count 4378 transition count 13896
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 122 with 10 rules applied. Total rules applied 44593 place count 4378 transition count 13886
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 122 with 2 rules applied. Total rules applied 44595 place count 4377 transition count 13899
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 122 with 1 rules applied. Total rules applied 44596 place count 4377 transition count 13898
Free-agglomeration rule applied 2450 times with reduction of 1499 identical transitions.
Iterating global reduction 122 with 2450 rules applied. Total rules applied 47046 place count 4377 transition count 9949
Reduce places removed 2450 places and 0 transitions.
Drop transitions removed 3629 transitions
Ensure Unique test removed 23 transitions
Reduce isomorphic transitions removed 3652 transitions.
Graph (complete) has 7143 edges and 1927 vertex of which 1853 are kept as prefixes of interest. Removing 74 places using SCC suffix rule.4 ms
Discarding 74 places :
Also discarding 44 output transitions
Drop transitions removed 44 transitions
Iterating post reduction 122 with 6103 rules applied. Total rules applied 53149 place count 1853 transition count 6253
Drop transitions removed 148 transitions
Ensure Unique test removed 17 transitions
Reduce isomorphic transitions removed 165 transitions.
Iterating post reduction 123 with 165 rules applied. Total rules applied 53314 place count 1853 transition count 6088
Discarding 231 places :
Symmetric choice reduction at 124 with 231 rule applications. Total rules 53545 place count 1622 transition count 5503
Iterating global reduction 124 with 231 rules applied. Total rules applied 53776 place count 1622 transition count 5503
Drop transitions removed 275 transitions
Redundant transition composition rules discarded 275 transitions
Iterating global reduction 124 with 275 rules applied. Total rules applied 54051 place count 1622 transition count 5228
Discarding 11 places :
Symmetric choice reduction at 124 with 11 rule applications. Total rules 54062 place count 1611 transition count 5173
Iterating global reduction 124 with 11 rules applied. Total rules applied 54073 place count 1611 transition count 5173
Free-agglomeration rule applied 1 times.
Iterating global reduction 124 with 1 rules applied. Total rules applied 54074 place count 1611 transition count 5172
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 124 with 1 rules applied. Total rules applied 54075 place count 1610 transition count 5172
Drop transitions removed 4 transitions
Redundant transition composition rules discarded 4 transitions
Iterating global reduction 125 with 4 rules applied. Total rules applied 54079 place count 1610 transition count 5168
Free-agglomeration rule applied 1 times.
Iterating global reduction 125 with 1 rules applied. Total rules applied 54080 place count 1610 transition count 5167
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 125 with 1 rules applied. Total rules applied 54081 place count 1609 transition count 5167
Partial Free-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 126 with 1 rules applied. Total rules applied 54082 place count 1609 transition count 5167
Applied a total of 54082 rules in 87519 ms. Remains 1609 /27146 variables (removed 25537) and now considering 5167/39849 (removed 34682) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 87519 ms. Remains : 1609/27146 places, 5167/39849 transitions.
[2023-03-10 23:34:02] [INFO ] Flatten gal took : 659 ms
[2023-03-10 23:34:02] [INFO ] Flatten gal took : 708 ms
[2023-03-10 23:34:04] [INFO ] Input system was already deterministic with 39849 transitions.
Computed a total of 6377 stabilizing places and 6377 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Applied a total of 0 rules in 1675 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1677 ms. Remains : 27146/27146 places, 39849/39849 transitions.
[2023-03-10 23:34:10] [INFO ] Flatten gal took : 641 ms
[2023-03-10 23:34:10] [INFO ] Flatten gal took : 691 ms
[2023-03-10 23:34:12] [INFO ] Input system was already deterministic with 39849 transitions.
Starting structural reductions in LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Applied a total of 0 rules in 1602 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1604 ms. Remains : 27146/27146 places, 39849/39849 transitions.
[2023-03-10 23:34:14] [INFO ] Flatten gal took : 639 ms
[2023-03-10 23:34:15] [INFO ] Flatten gal took : 698 ms
[2023-03-10 23:34:16] [INFO ] Input system was already deterministic with 39849 transitions.
Starting structural reductions in LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Applied a total of 0 rules in 1624 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1625 ms. Remains : 27146/27146 places, 39849/39849 transitions.
[2023-03-10 23:34:19] [INFO ] Flatten gal took : 638 ms
[2023-03-10 23:34:19] [INFO ] Flatten gal took : 698 ms
[2023-03-10 23:34:21] [INFO ] Input system was already deterministic with 39849 transitions.
Starting structural reductions in LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Applied a total of 0 rules in 1633 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1634 ms. Remains : 27146/27146 places, 39849/39849 transitions.
[2023-03-10 23:34:23] [INFO ] Flatten gal took : 634 ms
[2023-03-10 23:34:24] [INFO ] Flatten gal took : 696 ms
[2023-03-10 23:34:25] [INFO ] Input system was already deterministic with 39849 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Graph (trivial) has 25295 edges and 27146 vertex of which 2248 / 27146 are part of one of the 143 SCC in 9 ms
Free SCC test removed 2105 places
Ensure Unique test removed 2238 transitions
Reduce isomorphic transitions removed 2238 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 12914 transitions
Trivial Post-agglo rules discarded 12914 transitions
Performed 12914 trivial Post agglomeration. Transition count delta: 12914
Iterating post reduction 0 with 12914 rules applied. Total rules applied 12915 place count 25040 transition count 24696
Reduce places removed 12914 places and 0 transitions.
Ensure Unique test removed 384 transitions
Reduce isomorphic transitions removed 384 transitions.
Drop transitions removed 379 transitions
Trivial Post-agglo rules discarded 379 transitions
Performed 379 trivial Post agglomeration. Transition count delta: 379
Iterating post reduction 1 with 13677 rules applied. Total rules applied 26592 place count 12126 transition count 23933
Reduce places removed 379 places and 0 transitions.
Ensure Unique test removed 123 transitions
Reduce isomorphic transitions removed 123 transitions.
Drop transitions removed 123 transitions
Trivial Post-agglo rules discarded 123 transitions
Performed 123 trivial Post agglomeration. Transition count delta: 123
Iterating post reduction 2 with 625 rules applied. Total rules applied 27217 place count 11747 transition count 23687
Reduce places removed 123 places and 0 transitions.
Iterating post reduction 3 with 123 rules applied. Total rules applied 27340 place count 11624 transition count 23687
Performed 123 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 123 Pre rules applied. Total rules applied 27340 place count 11624 transition count 23564
Deduced a syphon composed of 123 places in 728 ms
Reduce places removed 123 places and 0 transitions.
Iterating global reduction 4 with 246 rules applied. Total rules applied 27586 place count 11501 transition count 23564
Discarding 3288 places :
Symmetric choice reduction at 4 with 3288 rule applications. Total rules 30874 place count 8213 transition count 20276
Iterating global reduction 4 with 3288 rules applied. Total rules applied 34162 place count 8213 transition count 20276
Performed 1250 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 1250 Pre rules applied. Total rules applied 34162 place count 8213 transition count 19026
Deduced a syphon composed of 1250 places in 611 ms
Reduce places removed 1250 places and 0 transitions.
Iterating global reduction 4 with 2500 rules applied. Total rules applied 36662 place count 6963 transition count 19026
Discarding 280 places :
Symmetric choice reduction at 4 with 280 rule applications. Total rules 36942 place count 6683 transition count 13478
Iterating global reduction 4 with 280 rules applied. Total rules applied 37222 place count 6683 transition count 13478
Ensure Unique test removed 255 transitions
Reduce isomorphic transitions removed 255 transitions.
Iterating post reduction 4 with 255 rules applied. Total rules applied 37477 place count 6683 transition count 13223
Performed 1763 Post agglomeration using F-continuation condition.Transition count delta: 1763
Deduced a syphon composed of 1763 places in 2 ms
Reduce places removed 1763 places and 0 transitions.
Iterating global reduction 5 with 3526 rules applied. Total rules applied 41003 place count 4920 transition count 11460
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 5 with 10 rules applied. Total rules applied 41013 place count 4920 transition count 11450
Drop transitions removed 5 transitions
Trivial Post-agglo rules discarded 5 transitions
Performed 5 trivial Post agglomeration. Transition count delta: 5
Iterating post reduction 5 with 5 rules applied. Total rules applied 41018 place count 4920 transition count 11445
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 6 with 5 rules applied. Total rules applied 41023 place count 4915 transition count 11445
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 7 with 2 rules applied. Total rules applied 41025 place count 4913 transition count 11443
Applied a total of 41025 rules in 7148 ms. Remains 4913 /27146 variables (removed 22233) and now considering 11443/39849 (removed 28406) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 7148 ms. Remains : 4913/27146 places, 11443/39849 transitions.
[2023-03-10 23:34:33] [INFO ] Flatten gal took : 241 ms
[2023-03-10 23:34:33] [INFO ] Flatten gal took : 267 ms
[2023-03-10 23:34:33] [INFO ] Input system was already deterministic with 11443 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Graph (trivial) has 25295 edges and 27146 vertex of which 2248 / 27146 are part of one of the 143 SCC in 9 ms
Free SCC test removed 2105 places
Ensure Unique test removed 2238 transitions
Reduce isomorphic transitions removed 2238 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 12911 transitions
Trivial Post-agglo rules discarded 12911 transitions
Performed 12911 trivial Post agglomeration. Transition count delta: 12911
Iterating post reduction 0 with 12911 rules applied. Total rules applied 12912 place count 25040 transition count 24699
Reduce places removed 12911 places and 0 transitions.
Ensure Unique test removed 384 transitions
Reduce isomorphic transitions removed 384 transitions.
Drop transitions removed 379 transitions
Trivial Post-agglo rules discarded 379 transitions
Performed 379 trivial Post agglomeration. Transition count delta: 379
Iterating post reduction 1 with 13674 rules applied. Total rules applied 26586 place count 12129 transition count 23936
Reduce places removed 379 places and 0 transitions.
Ensure Unique test removed 123 transitions
Reduce isomorphic transitions removed 123 transitions.
Drop transitions removed 123 transitions
Trivial Post-agglo rules discarded 123 transitions
Performed 123 trivial Post agglomeration. Transition count delta: 123
Iterating post reduction 2 with 625 rules applied. Total rules applied 27211 place count 11750 transition count 23690
Reduce places removed 123 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 3 with 124 rules applied. Total rules applied 27335 place count 11627 transition count 23689
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 27336 place count 11626 transition count 23689
Performed 124 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 124 Pre rules applied. Total rules applied 27336 place count 11626 transition count 23565
Deduced a syphon composed of 124 places in 734 ms
Reduce places removed 124 places and 0 transitions.
Iterating global reduction 5 with 248 rules applied. Total rules applied 27584 place count 11502 transition count 23565
Discarding 3287 places :
Symmetric choice reduction at 5 with 3287 rule applications. Total rules 30871 place count 8215 transition count 20278
Iterating global reduction 5 with 3287 rules applied. Total rules applied 34158 place count 8215 transition count 20278
Performed 1250 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1250 Pre rules applied. Total rules applied 34158 place count 8215 transition count 19028
Deduced a syphon composed of 1250 places in 618 ms
Reduce places removed 1250 places and 0 transitions.
Iterating global reduction 5 with 2500 rules applied. Total rules applied 36658 place count 6965 transition count 19028
Discarding 281 places :
Symmetric choice reduction at 5 with 281 rule applications. Total rules 36939 place count 6684 transition count 13353
Iterating global reduction 5 with 281 rules applied. Total rules applied 37220 place count 6684 transition count 13353
Ensure Unique test removed 256 transitions
Reduce isomorphic transitions removed 256 transitions.
Iterating post reduction 5 with 256 rules applied. Total rules applied 37476 place count 6684 transition count 13097
Performed 1763 Post agglomeration using F-continuation condition.Transition count delta: 1763
Deduced a syphon composed of 1763 places in 2 ms
Reduce places removed 1763 places and 0 transitions.
Iterating global reduction 6 with 3526 rules applied. Total rules applied 41002 place count 4921 transition count 11334
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 6 with 10 rules applied. Total rules applied 41012 place count 4921 transition count 11324
Drop transitions removed 5 transitions
Trivial Post-agglo rules discarded 5 transitions
Performed 5 trivial Post agglomeration. Transition count delta: 5
Iterating post reduction 6 with 5 rules applied. Total rules applied 41017 place count 4921 transition count 11319
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 7 with 5 rules applied. Total rules applied 41022 place count 4916 transition count 11319
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 8 with 2 rules applied. Total rules applied 41024 place count 4914 transition count 11317
Applied a total of 41024 rules in 7020 ms. Remains 4914 /27146 variables (removed 22232) and now considering 11317/39849 (removed 28532) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 7020 ms. Remains : 4914/27146 places, 11317/39849 transitions.
[2023-03-10 23:34:41] [INFO ] Flatten gal took : 189 ms
[2023-03-10 23:34:41] [INFO ] Flatten gal took : 193 ms
[2023-03-10 23:34:41] [INFO ] Input system was already deterministic with 11317 transitions.
Starting structural reductions in LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Applied a total of 0 rules in 1643 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1644 ms. Remains : 27146/27146 places, 39849/39849 transitions.
[2023-03-10 23:34:44] [INFO ] Flatten gal took : 629 ms
[2023-03-10 23:34:44] [INFO ] Flatten gal took : 693 ms
[2023-03-10 23:34:46] [INFO ] Input system was already deterministic with 39849 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Graph (trivial) has 25267 edges and 27146 vertex of which 2215 / 27146 are part of one of the 141 SCC in 8 ms
Free SCC test removed 2074 places
Ensure Unique test removed 2204 transitions
Reduce isomorphic transitions removed 2204 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 12917 transitions
Trivial Post-agglo rules discarded 12917 transitions
Performed 12917 trivial Post agglomeration. Transition count delta: 12917
Iterating post reduction 0 with 12917 rules applied. Total rules applied 12918 place count 25071 transition count 24727
Reduce places removed 12917 places and 0 transitions.
Ensure Unique test removed 382 transitions
Reduce isomorphic transitions removed 382 transitions.
Drop transitions removed 376 transitions
Trivial Post-agglo rules discarded 376 transitions
Performed 376 trivial Post agglomeration. Transition count delta: 376
Iterating post reduction 1 with 13675 rules applied. Total rules applied 26593 place count 12154 transition count 23969
Reduce places removed 376 places and 0 transitions.
Ensure Unique test removed 121 transitions
Reduce isomorphic transitions removed 121 transitions.
Drop transitions removed 121 transitions
Trivial Post-agglo rules discarded 121 transitions
Performed 121 trivial Post agglomeration. Transition count delta: 121
Iterating post reduction 2 with 618 rules applied. Total rules applied 27211 place count 11778 transition count 23727
Reduce places removed 121 places and 0 transitions.
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Iterating post reduction 3 with 126 rules applied. Total rules applied 27337 place count 11657 transition count 23722
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 4 with 5 rules applied. Total rules applied 27342 place count 11652 transition count 23722
Performed 133 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 133 Pre rules applied. Total rules applied 27342 place count 11652 transition count 23589
Deduced a syphon composed of 133 places in 688 ms
Reduce places removed 133 places and 0 transitions.
Iterating global reduction 5 with 266 rules applied. Total rules applied 27608 place count 11519 transition count 23589
Discarding 3288 places :
Symmetric choice reduction at 5 with 3288 rule applications. Total rules 30896 place count 8231 transition count 20301
Iterating global reduction 5 with 3288 rules applied. Total rules applied 34184 place count 8231 transition count 20301
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 5 with 4 rules applied. Total rules applied 34188 place count 8231 transition count 20297
Reduce places removed 2 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 3 rules applied. Total rules applied 34191 place count 8229 transition count 20296
Performed 1248 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 1248 Pre rules applied. Total rules applied 34191 place count 8229 transition count 19048
Deduced a syphon composed of 1248 places in 638 ms
Reduce places removed 1248 places and 0 transitions.
Iterating global reduction 7 with 2496 rules applied. Total rules applied 36687 place count 6981 transition count 19048
Discarding 277 places :
Symmetric choice reduction at 7 with 277 rule applications. Total rules 36964 place count 6704 transition count 13515
Iterating global reduction 7 with 277 rules applied. Total rules applied 37241 place count 6704 transition count 13515
Ensure Unique test removed 253 transitions
Reduce isomorphic transitions removed 253 transitions.
Iterating post reduction 7 with 253 rules applied. Total rules applied 37494 place count 6704 transition count 13262
Performed 1764 Post agglomeration using F-continuation condition.Transition count delta: 1764
Deduced a syphon composed of 1764 places in 2 ms
Reduce places removed 1764 places and 0 transitions.
Iterating global reduction 8 with 3528 rules applied. Total rules applied 41022 place count 4940 transition count 11498
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 12 transitions
Redundant transition composition rules discarded 12 transitions
Iterating global reduction 8 with 12 rules applied. Total rules applied 41034 place count 4940 transition count 11486
Drop transitions removed 7 transitions
Trivial Post-agglo rules discarded 7 transitions
Performed 7 trivial Post agglomeration. Transition count delta: 7
Iterating post reduction 8 with 7 rules applied. Total rules applied 41041 place count 4940 transition count 11479
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 9 with 7 rules applied. Total rules applied 41048 place count 4933 transition count 11479
Partial Post-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 10 with 1 rules applied. Total rules applied 41049 place count 4933 transition count 11479
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 10 with 1 rules applied. Total rules applied 41050 place count 4933 transition count 11478
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 10 with 2 rules applied. Total rules applied 41052 place count 4931 transition count 11476
Applied a total of 41052 rules in 7787 ms. Remains 4931 /27146 variables (removed 22215) and now considering 11476/39849 (removed 28373) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 7788 ms. Remains : 4931/27146 places, 11476/39849 transitions.
[2023-03-10 23:34:54] [INFO ] Flatten gal took : 213 ms
[2023-03-10 23:34:54] [INFO ] Flatten gal took : 223 ms
[2023-03-10 23:34:55] [INFO ] Input system was already deterministic with 11476 transitions.
Starting structural reductions in LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Applied a total of 0 rules in 1642 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1645 ms. Remains : 27146/27146 places, 39849/39849 transitions.
[2023-03-10 23:34:57] [INFO ] Flatten gal took : 630 ms
[2023-03-10 23:34:58] [INFO ] Flatten gal took : 696 ms
[2023-03-10 23:34:59] [INFO ] Input system was already deterministic with 39849 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Graph (trivial) has 25293 edges and 27146 vertex of which 2248 / 27146 are part of one of the 143 SCC in 9 ms
Free SCC test removed 2105 places
Ensure Unique test removed 2238 transitions
Reduce isomorphic transitions removed 2238 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 12911 transitions
Trivial Post-agglo rules discarded 12911 transitions
Performed 12911 trivial Post agglomeration. Transition count delta: 12911
Iterating post reduction 0 with 12911 rules applied. Total rules applied 12912 place count 25040 transition count 24699
Reduce places removed 12911 places and 0 transitions.
Ensure Unique test removed 384 transitions
Reduce isomorphic transitions removed 384 transitions.
Drop transitions removed 379 transitions
Trivial Post-agglo rules discarded 379 transitions
Performed 379 trivial Post agglomeration. Transition count delta: 379
Iterating post reduction 1 with 13674 rules applied. Total rules applied 26586 place count 12129 transition count 23936
Reduce places removed 379 places and 0 transitions.
Ensure Unique test removed 123 transitions
Reduce isomorphic transitions removed 123 transitions.
Drop transitions removed 123 transitions
Trivial Post-agglo rules discarded 123 transitions
Performed 123 trivial Post agglomeration. Transition count delta: 123
Iterating post reduction 2 with 625 rules applied. Total rules applied 27211 place count 11750 transition count 23690
Reduce places removed 123 places and 0 transitions.
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Iterating post reduction 3 with 126 rules applied. Total rules applied 27337 place count 11627 transition count 23687
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 4 with 3 rules applied. Total rules applied 27340 place count 11624 transition count 23687
Performed 122 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 122 Pre rules applied. Total rules applied 27340 place count 11624 transition count 23565
Deduced a syphon composed of 122 places in 743 ms
Reduce places removed 122 places and 0 transitions.
Iterating global reduction 5 with 244 rules applied. Total rules applied 27584 place count 11502 transition count 23565
Discarding 3287 places :
Symmetric choice reduction at 5 with 3287 rule applications. Total rules 30871 place count 8215 transition count 20278
Iterating global reduction 5 with 3287 rules applied. Total rules applied 34158 place count 8215 transition count 20278
Performed 1249 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1249 Pre rules applied. Total rules applied 34158 place count 8215 transition count 19029
Deduced a syphon composed of 1249 places in 615 ms
Reduce places removed 1249 places and 0 transitions.
Iterating global reduction 5 with 2498 rules applied. Total rules applied 36656 place count 6966 transition count 19029
Discarding 281 places :
Symmetric choice reduction at 5 with 281 rule applications. Total rules 36937 place count 6685 transition count 13354
Iterating global reduction 5 with 281 rules applied. Total rules applied 37218 place count 6685 transition count 13354
Ensure Unique test removed 256 transitions
Reduce isomorphic transitions removed 256 transitions.
Iterating post reduction 5 with 256 rules applied. Total rules applied 37474 place count 6685 transition count 13098
Performed 1764 Post agglomeration using F-continuation condition.Transition count delta: 1764
Deduced a syphon composed of 1764 places in 2 ms
Reduce places removed 1764 places and 0 transitions.
Iterating global reduction 6 with 3528 rules applied. Total rules applied 41002 place count 4921 transition count 11334
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 6 with 10 rules applied. Total rules applied 41012 place count 4921 transition count 11324
Drop transitions removed 5 transitions
Trivial Post-agglo rules discarded 5 transitions
Performed 5 trivial Post agglomeration. Transition count delta: 5
Iterating post reduction 6 with 5 rules applied. Total rules applied 41017 place count 4921 transition count 11319
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 7 with 5 rules applied. Total rules applied 41022 place count 4916 transition count 11319
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 8 with 2 rules applied. Total rules applied 41024 place count 4914 transition count 11317
Applied a total of 41024 rules in 7083 ms. Remains 4914 /27146 variables (removed 22232) and now considering 11317/39849 (removed 28532) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 7083 ms. Remains : 4914/27146 places, 11317/39849 transitions.
[2023-03-10 23:35:06] [INFO ] Flatten gal took : 176 ms
[2023-03-10 23:35:07] [INFO ] Flatten gal took : 202 ms
[2023-03-10 23:35:07] [INFO ] Input system was already deterministic with 11317 transitions.
Starting structural reductions in LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Applied a total of 0 rules in 1631 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1633 ms. Remains : 27146/27146 places, 39849/39849 transitions.
[2023-03-10 23:35:09] [INFO ] Flatten gal took : 632 ms
[2023-03-10 23:35:10] [INFO ] Flatten gal took : 690 ms
[2023-03-10 23:35:12] [INFO ] Input system was already deterministic with 39849 transitions.
Starting structural reductions in LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Applied a total of 0 rules in 1643 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1644 ms. Remains : 27146/27146 places, 39849/39849 transitions.
[2023-03-10 23:35:14] [INFO ] Flatten gal took : 630 ms
[2023-03-10 23:35:15] [INFO ] Flatten gal took : 703 ms
[2023-03-10 23:35:16] [INFO ] Input system was already deterministic with 39849 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Graph (trivial) has 25265 edges and 27146 vertex of which 2232 / 27146 are part of one of the 142 SCC in 9 ms
Free SCC test removed 2090 places
Ensure Unique test removed 2222 transitions
Reduce isomorphic transitions removed 2222 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 12902 transitions
Trivial Post-agglo rules discarded 12902 transitions
Performed 12902 trivial Post agglomeration. Transition count delta: 12902
Iterating post reduction 0 with 12902 rules applied. Total rules applied 12903 place count 25055 transition count 24724
Reduce places removed 12902 places and 0 transitions.
Ensure Unique test removed 381 transitions
Reduce isomorphic transitions removed 381 transitions.
Drop transitions removed 376 transitions
Trivial Post-agglo rules discarded 376 transitions
Performed 376 trivial Post agglomeration. Transition count delta: 376
Iterating post reduction 1 with 13659 rules applied. Total rules applied 26562 place count 12153 transition count 23967
Reduce places removed 376 places and 0 transitions.
Ensure Unique test removed 122 transitions
Reduce isomorphic transitions removed 122 transitions.
Drop transitions removed 121 transitions
Trivial Post-agglo rules discarded 121 transitions
Performed 121 trivial Post agglomeration. Transition count delta: 121
Iterating post reduction 2 with 619 rules applied. Total rules applied 27181 place count 11777 transition count 23724
Reduce places removed 121 places and 0 transitions.
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Iterating post reduction 3 with 128 rules applied. Total rules applied 27309 place count 11656 transition count 23717
Reduce places removed 7 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 4 with 9 rules applied. Total rules applied 27318 place count 11649 transition count 23715
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 27319 place count 11648 transition count 23715
Performed 133 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 133 Pre rules applied. Total rules applied 27319 place count 11648 transition count 23582
Deduced a syphon composed of 133 places in 715 ms
Reduce places removed 133 places and 0 transitions.
Iterating global reduction 6 with 266 rules applied. Total rules applied 27585 place count 11515 transition count 23582
Discarding 3287 places :
Symmetric choice reduction at 6 with 3287 rule applications. Total rules 30872 place count 8228 transition count 20295
Iterating global reduction 6 with 3287 rules applied. Total rules applied 34159 place count 8228 transition count 20295
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 6 with 4 rules applied. Total rules applied 34163 place count 8228 transition count 20291
Reduce places removed 2 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 7 with 3 rules applied. Total rules applied 34166 place count 8226 transition count 20290
Performed 1246 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 8 with 1246 Pre rules applied. Total rules applied 34166 place count 8226 transition count 19044
Deduced a syphon composed of 1246 places in 625 ms
Reduce places removed 1246 places and 0 transitions.
Iterating global reduction 8 with 2492 rules applied. Total rules applied 36658 place count 6980 transition count 19044
Discarding 278 places :
Symmetric choice reduction at 8 with 278 rule applications. Total rules 36936 place count 6702 transition count 13506
Iterating global reduction 8 with 278 rules applied. Total rules applied 37214 place count 6702 transition count 13506
Ensure Unique test removed 253 transitions
Reduce isomorphic transitions removed 253 transitions.
Iterating post reduction 8 with 253 rules applied. Total rules applied 37467 place count 6702 transition count 13253
Performed 1766 Post agglomeration using F-continuation condition.Transition count delta: 1766
Deduced a syphon composed of 1766 places in 2 ms
Reduce places removed 1766 places and 0 transitions.
Iterating global reduction 9 with 3532 rules applied. Total rules applied 40999 place count 4936 transition count 11487
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 11 transitions
Redundant transition composition rules discarded 11 transitions
Iterating global reduction 9 with 11 rules applied. Total rules applied 41010 place count 4936 transition count 11476
Drop transitions removed 6 transitions
Trivial Post-agglo rules discarded 6 transitions
Performed 6 trivial Post agglomeration. Transition count delta: 6
Iterating post reduction 9 with 6 rules applied. Total rules applied 41016 place count 4936 transition count 11470
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 10 with 6 rules applied. Total rules applied 41022 place count 4930 transition count 11470
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 11 with 2 rules applied. Total rules applied 41024 place count 4928 transition count 11468
Applied a total of 41024 rules in 7026 ms. Remains 4928 /27146 variables (removed 22218) and now considering 11468/39849 (removed 28381) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 7026 ms. Remains : 4928/27146 places, 11468/39849 transitions.
[2023-03-10 23:35:23] [INFO ] Flatten gal took : 236 ms
[2023-03-10 23:35:24] [INFO ] Flatten gal took : 265 ms
[2023-03-10 23:35:24] [INFO ] Input system was already deterministic with 11468 transitions.
Starting structural reductions in LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Applied a total of 0 rules in 1618 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1619 ms. Remains : 27146/27146 places, 39849/39849 transitions.
[2023-03-10 23:35:27] [INFO ] Flatten gal took : 634 ms
[2023-03-10 23:35:27] [INFO ] Flatten gal took : 688 ms
[2023-03-10 23:35:29] [INFO ] Input system was already deterministic with 39849 transitions.
Starting structural reductions in LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Applied a total of 0 rules in 1626 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1627 ms. Remains : 27146/27146 places, 39849/39849 transitions.
[2023-03-10 23:35:31] [INFO ] Flatten gal took : 635 ms
[2023-03-10 23:35:32] [INFO ] Flatten gal took : 697 ms
[2023-03-10 23:35:33] [INFO ] Input system was already deterministic with 39849 transitions.
Starting structural reductions in LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Applied a total of 0 rules in 1634 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 1635 ms. Remains : 27146/27146 places, 39849/39849 transitions.
[2023-03-10 23:35:36] [INFO ] Flatten gal took : 634 ms
[2023-03-10 23:35:36] [INFO ] Flatten gal took : 702 ms
[2023-03-10 23:35:38] [INFO ] Input system was already deterministic with 39849 transitions.
[2023-03-10 23:35:38] [INFO ] Flatten gal took : 665 ms
[2023-03-10 23:35:39] [INFO ] Flatten gal took : 687 ms
[2023-03-10 23:35:39] [INFO ] Export to MCC of 16 properties in file /home/mcc/execution/CTLFireability.sr.xml took 4 ms.
[2023-03-10 23:35:39] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 27146 places, 39849 transitions and 107425 arcs took 114 ms.
Total runtime 232387 ms.
There are residual formulas that ITS could not solve within timeout
timeout --kill-after=10s --signal=SIGINT 1m for testing only

Marcie built on Linux at 2019-11-18.
A model checker for Generalized Stochastic Petri nets

authors: Alex Tovchigrechko (IDD package and CTL model checking)

Martin Schwarick (Symbolic numerical analysis and CSL model checking)

Christian Rohr (Simulative and approximative numerical model checking)

marcie@informatik.tu-cottbus.de

called as: /home/mcc/BenchKit/bin//../reducer/bin//../../marcie/bin/marcie --net-file=model.pnml --mcc-file=CTLFireability.xml --memory=6 --mcc-mode

parse successfull
net created successfully

Net: Petri
(NrP: 27146 NrTr: 39849 NrArc: 107425)

parse formulas
formulas created successfully
place and transition orderings generation:2m58.834sec

net check time: 0m 0.020sec

init dd package: 0m 2.607sec


before gc: list nodes free: 1915754

after gc: idd nodes used:11314, unused:63988686; list nodes free:257870498

before gc: list nodes free: 1901699

after gc: idd nodes used:15999, unused:63984001; list nodes free:257837703

before gc: list nodes free: 1890914

after gc: idd nodes used:19594, unused:63980406; list nodes free:257812538

before gc: list nodes free: 1881824

after gc: idd nodes used:22624, unused:63977376; list nodes free:257791328

before gc: list nodes free: 1873814

after gc: idd nodes used:25294, unused:63974706; list nodes free:257772638
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 6542344 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16069052 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLFireability -timeout 360 -rebuildPNML
check for maximal unmarked siphon
ok
check for constant places
ok
check if there are places and transitions
ok
check if there are transitions without pre-places
ok
check if at least one transition is enabled in m0
ok
check if there are transitions that can never fire
ok


initing FirstDep: 0m 7.758sec

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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