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

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

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=ltsminxred
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCshifumi-PT-5b
Applying reductions before tool ltsmin
Invoking reducer
Running Version 202303021504
[2023-03-09 21:08:44] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -timeout, 360, -rebuildPNML]
[2023-03-09 21:08:44] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 21:08:45] [INFO ] Load time of PNML (sax parser for PT used): 872 ms
[2023-03-09 21:08:45] [INFO ] Transformed 27146 places.
[2023-03-09 21:08:45] [INFO ] Transformed 39849 transitions.
[2023-03-09 21:08:45] [INFO ] Found NUPN structural information;
[2023-03-09 21:08:46] [INFO ] Parsed PT model containing 27146 places and 39849 transitions and 107425 arcs in 2125 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 16 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 1780 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
// Phase 1: matrix 39849 rows 27146 cols
[2023-03-09 21:08:51] [INFO ] Computed 1378 place invariants in 306 ms
[2023-03-09 21:08:55] [INFO ] Implicit Places using invariants in 4178 ms returned []
Implicit Place search using SMT only with invariants took 4221 ms to find 0 implicit places.
[2023-03-09 21:08:55] [INFO ] Invariant cache hit.
[2023-03-09 21:08:59] [INFO ] Dead Transitions using invariants and state equation in 3718 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 9730 ms. Remains : 27146/27146 places, 39849/39849 transitions.
Support contains 141 out of 27146 places after structural reductions.
[2023-03-09 21:09:01] [INFO ] Flatten gal took : 1184 ms
[2023-03-09 21:09:02] [INFO ] Flatten gal took : 880 ms
[2023-03-09 21:09:04] [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 577 ms. (steps per millisecond=17 ) properties (out of 72) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=100 ) properties (out of 65) 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 65) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 65) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=125 ) properties (out of 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) 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 65) seen :0
Running SMT prover for 65 properties.
[2023-03-09 21:09: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-09 21:09:33] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-09 21:09:33] [INFO ] After 25113ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 65 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 133 out of 27146 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Graph (trivial) has 25058 edges and 27146 vertex of which 2148 / 27146 are part of one of the 139 SCC in 52 ms
Free SCC test removed 2009 places
Drop transitions removed 2271 transitions
Reduce isomorphic transitions removed 2271 transitions.
Drop transitions removed 12831 transitions
Trivial Post-agglo rules discarded 12831 transitions
Performed 12831 trivial Post agglomeration. Transition count delta: 12831
Iterating post reduction 0 with 12831 rules applied. Total rules applied 12832 place count 25137 transition count 24747
Reduce places removed 12831 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 13575 rules applied. Total rules applied 26407 place count 12306 transition count 24003
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 27010 place count 11937 transition count 23769
Reduce places removed 115 places and 0 transitions.
Performed 38 Post agglomeration using F-continuation condition.Transition count delta: 38
Iterating post reduction 3 with 153 rules applied. Total rules applied 27163 place count 11822 transition count 23731
Reduce places removed 38 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 43 rules applied. Total rules applied 27206 place count 11784 transition count 23726
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 5 with 2 rules applied. Total rules applied 27208 place count 11782 transition count 23726
Performed 176 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 176 Pre rules applied. Total rules applied 27208 place count 11782 transition count 23550
Deduced a syphon composed of 176 places in 665 ms
Reduce places removed 176 places and 0 transitions.
Iterating global reduction 6 with 352 rules applied. Total rules applied 27560 place count 11606 transition count 23550
Discarding 3250 places :
Symmetric choice reduction at 6 with 3250 rule applications. Total rules 30810 place count 8356 transition count 20300
Iterating global reduction 6 with 3250 rules applied. Total rules applied 34060 place count 8356 transition count 20300
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 34068 place count 8356 transition count 20292
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 34074 place count 8352 transition count 20290
Performed 1335 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 8 with 1335 Pre rules applied. Total rules applied 34074 place count 8352 transition count 18955
Deduced a syphon composed of 1335 places in 785 ms
Reduce places removed 1335 places and 0 transitions.
Iterating global reduction 8 with 2670 rules applied. Total rules applied 36744 place count 7017 transition count 18955
Discarding 234 places :
Symmetric choice reduction at 8 with 234 rule applications. Total rules 36978 place count 6783 transition count 16077
Iterating global reduction 8 with 234 rules applied. Total rules applied 37212 place count 6783 transition count 16077
Ensure Unique test removed 223 transitions
Reduce isomorphic transitions removed 223 transitions.
Iterating post reduction 8 with 223 rules applied. Total rules applied 37435 place count 6783 transition count 15854
Performed 1685 Post agglomeration using F-continuation condition with reduction of 1 identical transitions.
Deduced a syphon composed of 1685 places in 8 ms
Reduce places removed 1685 places and 0 transitions.
Iterating global reduction 9 with 3370 rules applied. Total rules applied 40805 place count 5098 transition count 14168
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 9 with 3 rules applied. Total rules applied 40808 place count 5098 transition count 14165
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 13 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 10 with 202 rules applied. Total rules applied 41010 place count 4997 transition count 14639
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 10 with 1 rules applied. Total rules applied 41011 place count 4997 transition count 14638
Discarding 32 places :
Symmetric choice reduction at 11 with 32 rule applications. Total rules 41043 place count 4965 transition count 14318
Iterating global reduction 11 with 32 rules applied. Total rules applied 41075 place count 4965 transition count 14318
Ensure Unique test removed 155 transitions
Reduce isomorphic transitions removed 155 transitions.
Iterating post reduction 11 with 155 rules applied. Total rules applied 41230 place count 4965 transition count 14163
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 41432 place count 4864 transition count 14643
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 12 with 1 rules applied. Total rules applied 41433 place count 4864 transition count 14642
Discarding 32 places :
Symmetric choice reduction at 13 with 32 rule applications. Total rules 41465 place count 4832 transition count 14322
Iterating global reduction 13 with 32 rules applied. Total rules applied 41497 place count 4832 transition count 14322
Ensure Unique test removed 156 transitions
Reduce isomorphic transitions removed 156 transitions.
Iterating post reduction 13 with 156 rules applied. Total rules applied 41653 place count 4832 transition count 14166
Performed 101 Post agglomeration using F-continuation condition with reduction of 145 identical transitions.
Deduced a syphon composed of 101 places in 6 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 14 with 202 rules applied. Total rules applied 41855 place count 4731 transition count 14644
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 14 with 1 rules applied. Total rules applied 41856 place count 4731 transition count 14643
Discarding 31 places :
Symmetric choice reduction at 15 with 31 rule applications. Total rules 41887 place count 4700 transition count 14333
Iterating global reduction 15 with 31 rules applied. Total rules applied 41918 place count 4700 transition count 14333
Ensure Unique test removed 140 transitions
Reduce isomorphic transitions removed 140 transitions.
Iterating post reduction 15 with 140 rules applied. Total rules applied 42058 place count 4700 transition count 14193
Performed 101 Post agglomeration using F-continuation condition with reduction of 115 identical transitions.
Deduced a syphon composed of 101 places in 5 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 16 with 202 rules applied. Total rules applied 42260 place count 4599 transition count 14775
Drop transitions removed 51 transitions
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 52 transitions.
Iterating post reduction 16 with 52 rules applied. Total rules applied 42312 place count 4599 transition count 14723
Discarding 23 places :
Symmetric choice reduction at 17 with 23 rule applications. Total rules 42335 place count 4576 transition count 14493
Iterating global reduction 17 with 23 rules applied. Total rules applied 42358 place count 4576 transition count 14493
Ensure Unique test removed 111 transitions
Reduce isomorphic transitions removed 111 transitions.
Iterating post reduction 17 with 111 rules applied. Total rules applied 42469 place count 4576 transition count 14382
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: -78
Deduced a syphon composed of 10 places in 2 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 18 with 20 rules applied. Total rules applied 42489 place count 4566 transition count 14460
Drop transitions removed 18 transitions
Reduce isomorphic transitions removed 18 transitions.
Iterating post reduction 18 with 18 rules applied. Total rules applied 42507 place count 4566 transition count 14442
Drop transitions removed 96 transitions
Redundant transition composition rules discarded 96 transitions
Iterating global reduction 19 with 96 rules applied. Total rules applied 42603 place count 4566 transition count 14346
Discarding 2 places :
Symmetric choice reduction at 19 with 2 rule applications. Total rules 42605 place count 4564 transition count 14344
Iterating global reduction 19 with 2 rules applied. Total rules applied 42607 place count 4564 transition count 14344
Discarding 2 places :
Symmetric choice reduction at 19 with 2 rule applications. Total rules 42609 place count 4562 transition count 14089
Iterating global reduction 19 with 2 rules applied. Total rules applied 42611 place count 4562 transition count 14089
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 19 with 2 rules applied. Total rules applied 42613 place count 4562 transition count 14087
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 42619 place count 4559 transition count 14084
Discarding 3 places :
Symmetric choice reduction at 20 with 3 rule applications. Total rules 42622 place count 4556 transition count 13698
Iterating global reduction 20 with 3 rules applied. Total rules applied 42625 place count 4556 transition count 13698
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 20 with 2 rules applied. Total rules applied 42627 place count 4556 transition count 13696
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -35
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 21 with 8 rules applied. Total rules applied 42635 place count 4552 transition count 13731
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 21 with 6 rules applied. Total rules applied 42641 place count 4552 transition count 13725
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 22 with 21 rules applied. Total rules applied 42662 place count 4552 transition count 13704
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 42668 place count 4549 transition count 13734
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 22 with 4 rules applied. Total rules applied 42672 place count 4549 transition count 13730
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 23 with 20 rules applied. Total rules applied 42692 place count 4549 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 23 with 6 rules applied. Total rules applied 42698 place count 4546 transition count 13738
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 23 with 4 rules applied. Total rules applied 42702 place count 4546 transition count 13734
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 24 with 20 rules applied. Total rules applied 42722 place count 4546 transition count 13714
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 24 with 6 rules applied. Total rules applied 42728 place count 4543 transition count 13741
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 24 with 5 rules applied. Total rules applied 42733 place count 4543 transition count 13736
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 25 with 20 rules applied. Total rules applied 42753 place count 4543 transition count 13716
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 25 with 6 rules applied. Total rules applied 42759 place count 4540 transition count 13744
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 25 with 4 rules applied. Total rules applied 42763 place count 4540 transition count 13740
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 26 with 20 rules applied. Total rules applied 42783 place count 4540 transition count 13720
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 42789 place count 4537 transition count 13747
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 26 with 5 rules applied. Total rules applied 42794 place count 4537 transition count 13742
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 27 with 20 rules applied. Total rules applied 42814 place count 4537 transition count 13722
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 42820 place count 4534 transition count 13750
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 27 with 4 rules applied. Total rules applied 42824 place count 4534 transition count 13746
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 28 with 20 rules applied. Total rules applied 42844 place count 4534 transition count 13726
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 42850 place count 4531 transition count 13753
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 28 with 5 rules applied. Total rules applied 42855 place count 4531 transition count 13748
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 29 with 20 rules applied. Total rules applied 42875 place count 4531 transition count 13728
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 42881 place count 4528 transition count 13756
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 29 with 4 rules applied. Total rules applied 42885 place count 4528 transition count 13752
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 30 with 20 rules applied. Total rules applied 42905 place count 4528 transition count 13732
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 42911 place count 4525 transition count 13760
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 30 with 5 rules applied. Total rules applied 42916 place count 4525 transition count 13755
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 31 with 20 rules applied. Total rules applied 42936 place count 4525 transition count 13735
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 31 with 6 rules applied. Total rules applied 42942 place count 4522 transition count 13763
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 31 with 4 rules applied. Total rules applied 42946 place count 4522 transition count 13759
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 32 with 20 rules applied. Total rules applied 42966 place count 4522 transition count 13739
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 32 with 6 rules applied. Total rules applied 42972 place count 4519 transition count 13767
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 32 with 5 rules applied. Total rules applied 42977 place count 4519 transition count 13762
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 33 with 20 rules applied. Total rules applied 42997 place count 4519 transition count 13742
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 33 with 6 rules applied. Total rules applied 43003 place count 4516 transition count 13770
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 33 with 4 rules applied. Total rules applied 43007 place count 4516 transition count 13766
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 34 with 20 rules applied. Total rules applied 43027 place count 4516 transition count 13746
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 34 with 6 rules applied. Total rules applied 43033 place count 4513 transition count 13773
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 34 with 5 rules applied. Total rules applied 43038 place count 4513 transition count 13768
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 35 with 20 rules applied. Total rules applied 43058 place count 4513 transition count 13748
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 43064 place count 4510 transition count 13777
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 35 with 4 rules applied. Total rules applied 43068 place count 4510 transition count 13773
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 36 with 20 rules applied. Total rules applied 43088 place count 4510 transition count 13753
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 43094 place count 4507 transition count 13780
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 36 with 5 rules applied. Total rules applied 43099 place count 4507 transition count 13775
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 37 with 20 rules applied. Total rules applied 43119 place count 4507 transition count 13755
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 43125 place count 4504 transition count 13782
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 37 with 5 rules applied. Total rules applied 43130 place count 4504 transition count 13777
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 38 with 20 rules applied. Total rules applied 43150 place count 4504 transition count 13757
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 43156 place count 4501 transition count 13787
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 38 with 3 rules applied. Total rules applied 43159 place count 4501 transition count 13784
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 39 with 16 rules applied. Total rules applied 43175 place count 4501 transition count 13768
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 43179 place count 4499 transition count 13790
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 39 with 3 rules applied. Total rules applied 43182 place count 4499 transition count 13787
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 40 with 16 rules applied. Total rules applied 43198 place count 4499 transition count 13771
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 43202 place count 4497 transition count 13792
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 40 with 3 rules applied. Total rules applied 43205 place count 4497 transition count 13789
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 41 with 16 rules applied. Total rules applied 43221 place count 4497 transition count 13773
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 43225 place count 4495 transition count 13794
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 41 with 3 rules applied. Total rules applied 43228 place count 4495 transition count 13791
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 42 with 16 rules applied. Total rules applied 43244 place count 4495 transition count 13775
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 42 with 4 rules applied. Total rules applied 43248 place count 4493 transition count 13796
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 42 with 3 rules applied. Total rules applied 43251 place count 4493 transition count 13793
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 43 with 16 rules applied. Total rules applied 43267 place count 4493 transition count 13777
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 43 with 4 rules applied. Total rules applied 43271 place count 4491 transition count 13798
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 43 with 3 rules applied. Total rules applied 43274 place count 4491 transition count 13795
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 44 with 16 rules applied. Total rules applied 43290 place count 4491 transition count 13779
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 43294 place count 4489 transition count 13799
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 44 with 4 rules applied. Total rules applied 43298 place count 4489 transition count 13795
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 45 with 16 rules applied. Total rules applied 43314 place count 4489 transition count 13779
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 45 with 4 rules applied. Total rules applied 43318 place count 4487 transition count 13800
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 45 with 3 rules applied. Total rules applied 43321 place count 4487 transition count 13797
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 46 with 16 rules applied. Total rules applied 43337 place count 4487 transition count 13781
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 46 with 4 rules applied. Total rules applied 43341 place count 4485 transition count 13802
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 46 with 3 rules applied. Total rules applied 43344 place count 4485 transition count 13799
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 47 with 16 rules applied. Total rules applied 43360 place count 4485 transition count 13783
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 43364 place count 4483 transition count 13807
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 47 with 4 rules applied. Total rules applied 43368 place count 4483 transition count 13803
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 48 with 16 rules applied. Total rules applied 43384 place count 4483 transition count 13787
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 48 with 4 rules applied. Total rules applied 43388 place count 4481 transition count 13811
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 48 with 3 rules applied. Total rules applied 43391 place count 4481 transition count 13808
Drop transitions removed 17 transitions
Redundant transition composition rules discarded 17 transitions
Iterating global reduction 49 with 17 rules applied. Total rules applied 43408 place count 4481 transition count 13791
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 43412 place count 4479 transition count 13812
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 49 with 3 rules applied. Total rules applied 43415 place count 4479 transition count 13809
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 50 with 16 rules applied. Total rules applied 43431 place count 4479 transition count 13793
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 43435 place count 4477 transition count 13816
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 50 with 4 rules applied. Total rules applied 43439 place count 4477 transition count 13812
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 51 with 16 rules applied. Total rules applied 43455 place count 4477 transition count 13796
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 43459 place count 4475 transition count 13820
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 51 with 3 rules applied. Total rules applied 43462 place count 4475 transition count 13817
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 52 with 16 rules applied. Total rules applied 43478 place count 4475 transition count 13801
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 43482 place count 4473 transition count 13823
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 52 with 3 rules applied. Total rules applied 43485 place count 4473 transition count 13820
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 53 with 16 rules applied. Total rules applied 43501 place count 4473 transition count 13804
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 43505 place count 4471 transition count 13827
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 53 with 4 rules applied. Total rules applied 43509 place count 4471 transition count 13823
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 54 with 16 rules applied. Total rules applied 43525 place count 4471 transition count 13807
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 43529 place count 4469 transition count 13831
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 54 with 3 rules applied. Total rules applied 43532 place count 4469 transition count 13828
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 55 with 16 rules applied. Total rules applied 43548 place count 4469 transition count 13812
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 43552 place count 4467 transition count 13834
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 55 with 3 rules applied. Total rules applied 43555 place count 4467 transition count 13831
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 56 with 16 rules applied. Total rules applied 43571 place count 4467 transition count 13815
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 43575 place count 4465 transition count 13836
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 56 with 3 rules applied. Total rules applied 43578 place count 4465 transition count 13833
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 57 with 16 rules applied. Total rules applied 43594 place count 4465 transition count 13817
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 57 with 4 rules applied. Total rules applied 43598 place count 4463 transition count 13838
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 57 with 3 rules applied. Total rules applied 43601 place count 4463 transition count 13835
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 58 with 16 rules applied. Total rules applied 43617 place count 4463 transition count 13819
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 43621 place count 4461 transition count 13840
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 58 with 3 rules applied. Total rules applied 43624 place count 4461 transition count 13837
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 59 with 16 rules applied. Total rules applied 43640 place count 4461 transition count 13821
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 43644 place count 4459 transition count 13842
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 59 with 3 rules applied. Total rules applied 43647 place count 4459 transition count 13839
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 60 with 16 rules applied. Total rules applied 43663 place count 4459 transition count 13823
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 43667 place count 4457 transition count 13846
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 60 with 4 rules applied. Total rules applied 43671 place count 4457 transition count 13842
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 61 with 16 rules applied. Total rules applied 43687 place count 4457 transition count 13826
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 43691 place count 4455 transition count 13849
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 61 with 3 rules applied. Total rules applied 43694 place count 4455 transition count 13846
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 62 with 16 rules applied. Total rules applied 43710 place count 4455 transition count 13830
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 43714 place count 4453 transition count 13851
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 62 with 3 rules applied. Total rules applied 43717 place count 4453 transition count 13848
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 63 with 16 rules applied. Total rules applied 43733 place count 4453 transition count 13832
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 43737 place count 4451 transition count 13853
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 63 with 3 rules applied. Total rules applied 43740 place count 4451 transition count 13850
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 64 with 16 rules applied. Total rules applied 43756 place count 4451 transition count 13834
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 43760 place count 4449 transition count 13856
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 64 with 2 rules applied. Total rules applied 43762 place count 4449 transition count 13854
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 65 with 16 rules applied. Total rules applied 43778 place count 4449 transition count 13838
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 65 with 4 rules applied. Total rules applied 43782 place count 4447 transition count 13859
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 65 with 3 rules applied. Total rules applied 43785 place count 4447 transition count 13856
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 66 with 16 rules applied. Total rules applied 43801 place count 4447 transition count 13840
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 43805 place count 4445 transition count 13861
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 66 with 3 rules applied. Total rules applied 43808 place count 4445 transition count 13858
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 67 with 16 rules applied. Total rules applied 43824 place count 4445 transition count 13842
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 67 with 4 rules applied. Total rules applied 43828 place count 4443 transition count 13864
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 67 with 5 rules applied. Total rules applied 43833 place count 4443 transition count 13859
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 68 with 16 rules applied. Total rules applied 43849 place count 4443 transition count 13843
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 68 with 4 rules applied. Total rules applied 43853 place count 4441 transition count 13867
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 68 with 1 rules applied. Total rules applied 43854 place count 4441 transition count 13866
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 69 with 10 rules applied. Total rules applied 43864 place count 4441 transition count 13856
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 43866 place count 4440 transition count 13869
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 69 with 2 rules applied. Total rules applied 43868 place count 4440 transition count 13867
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 70 with 10 rules applied. Total rules applied 43878 place count 4440 transition count 13857
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 70 with 2 rules applied. Total rules applied 43880 place count 4439 transition count 13869
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 70 with 2 rules applied. Total rules applied 43882 place count 4439 transition count 13867
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 71 with 10 rules applied. Total rules applied 43892 place count 4439 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 71 with 2 rules applied. Total rules applied 43894 place count 4438 transition count 13870
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 71 with 1 rules applied. Total rules applied 43895 place count 4438 transition count 13869
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 72 with 10 rules applied. Total rules applied 43905 place count 4438 transition count 13859
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 43907 place count 4437 transition count 13872
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 72 with 2 rules applied. Total rules applied 43909 place count 4437 transition count 13870
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 73 with 10 rules applied. Total rules applied 43919 place count 4437 transition count 13860
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 73 with 2 rules applied. Total rules applied 43921 place count 4436 transition count 13873
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 73 with 1 rules applied. Total rules applied 43922 place count 4436 transition count 13872
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 74 with 10 rules applied. Total rules applied 43932 place count 4436 transition count 13862
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 74 with 2 rules applied. Total rules applied 43934 place count 4435 transition count 13874
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 74 with 2 rules applied. Total rules applied 43936 place count 4435 transition count 13872
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 75 with 10 rules applied. Total rules applied 43946 place count 4435 transition count 13862
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 43948 place count 4434 transition count 13875
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 75 with 1 rules applied. Total rules applied 43949 place count 4434 transition count 13874
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 76 with 10 rules applied. Total rules applied 43959 place count 4434 transition count 13864
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 76 with 2 rules applied. Total rules applied 43961 place count 4433 transition count 13876
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 76 with 2 rules applied. Total rules applied 43963 place count 4433 transition count 13874
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 77 with 10 rules applied. Total rules applied 43973 place count 4433 transition count 13864
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 77 with 2 rules applied. Total rules applied 43975 place count 4432 transition count 13876
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 77 with 2 rules applied. Total rules applied 43977 place count 4432 transition count 13874
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 78 with 10 rules applied. Total rules applied 43987 place count 4432 transition count 13864
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 43989 place count 4431 transition count 13877
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 78 with 1 rules applied. Total rules applied 43990 place count 4431 transition count 13876
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 79 with 10 rules applied. Total rules applied 44000 place count 4431 transition count 13866
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 44002 place count 4430 transition count 13878
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 79 with 2 rules applied. Total rules applied 44004 place count 4430 transition count 13876
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 80 with 10 rules applied. Total rules applied 44014 place count 4430 transition count 13866
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 44016 place count 4429 transition count 13879
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 80 with 1 rules applied. Total rules applied 44017 place count 4429 transition count 13878
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 81 with 10 rules applied. Total rules applied 44027 place count 4429 transition count 13868
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 81 with 2 rules applied. Total rules applied 44029 place count 4428 transition count 13880
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 81 with 2 rules applied. Total rules applied 44031 place count 4428 transition count 13878
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 82 with 10 rules applied. Total rules applied 44041 place count 4428 transition count 13868
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 44043 place count 4427 transition count 13881
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 82 with 1 rules applied. Total rules applied 44044 place count 4427 transition count 13880
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 83 with 10 rules applied. Total rules applied 44054 place count 4427 transition count 13870
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 44056 place count 4426 transition count 13882
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 83 with 2 rules applied. Total rules applied 44058 place count 4426 transition count 13880
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 84 with 10 rules applied. Total rules applied 44068 place count 4426 transition count 13870
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 44070 place count 4425 transition count 13883
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 84 with 1 rules applied. Total rules applied 44071 place count 4425 transition count 13882
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 85 with 10 rules applied. Total rules applied 44081 place count 4425 transition count 13872
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 44083 place count 4424 transition count 13885
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 85 with 2 rules applied. Total rules applied 44085 place count 4424 transition count 13883
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 86 with 10 rules applied. Total rules applied 44095 place count 4424 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 86 with 2 rules applied. Total rules applied 44097 place count 4423 transition count 13886
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 86 with 1 rules applied. Total rules applied 44098 place count 4423 transition count 13885
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 87 with 10 rules applied. Total rules applied 44108 place count 4423 transition count 13875
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 44110 place count 4422 transition count 13888
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 87 with 2 rules applied. Total rules applied 44112 place count 4422 transition count 13886
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 88 with 10 rules applied. Total rules applied 44122 place count 4422 transition count 13876
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 88 with 2 rules applied. Total rules applied 44124 place count 4421 transition count 13889
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 88 with 1 rules applied. Total rules applied 44125 place count 4421 transition count 13888
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 89 with 10 rules applied. Total rules applied 44135 place count 4421 transition count 13878
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 89 with 2 rules applied. Total rules applied 44137 place count 4420 transition count 13890
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 89 with 2 rules applied. Total rules applied 44139 place count 4420 transition count 13888
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 90 with 10 rules applied. Total rules applied 44149 place count 4420 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 90 with 2 rules applied. Total rules applied 44151 place count 4419 transition count 13891
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 90 with 1 rules applied. Total rules applied 44152 place count 4419 transition count 13890
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 91 with 10 rules applied. Total rules applied 44162 place count 4419 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 91 with 2 rules applied. Total rules applied 44164 place count 4418 transition count 13892
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 91 with 2 rules applied. Total rules applied 44166 place count 4418 transition count 13890
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 92 with 10 rules applied. Total rules applied 44176 place count 4418 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 92 with 2 rules applied. Total rules applied 44178 place count 4417 transition count 13893
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 92 with 1 rules applied. Total rules applied 44179 place count 4417 transition count 13892
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 93 with 10 rules applied. Total rules applied 44189 place count 4417 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 93 with 2 rules applied. Total rules applied 44191 place count 4416 transition count 13894
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 93 with 2 rules applied. Total rules applied 44193 place count 4416 transition count 13892
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 94 with 10 rules applied. Total rules applied 44203 place count 4416 transition count 13882
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 44205 place count 4415 transition count 13895
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 94 with 1 rules applied. Total rules applied 44206 place count 4415 transition count 13894
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 95 with 10 rules applied. Total rules applied 44216 place count 4415 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 95 with 2 rules applied. Total rules applied 44218 place count 4414 transition count 13896
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 95 with 2 rules applied. Total rules applied 44220 place count 4414 transition count 13894
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 96 with 10 rules applied. Total rules applied 44230 place count 4414 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 96 with 2 rules applied. Total rules applied 44232 place count 4413 transition count 13897
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 96 with 1 rules applied. Total rules applied 44233 place count 4413 transition count 13896
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 97 with 10 rules applied. Total rules applied 44243 place count 4413 transition count 13886
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 97 with 2 rules applied. Total rules applied 44245 place count 4412 transition count 13898
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 97 with 2 rules applied. Total rules applied 44247 place count 4412 transition count 13896
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 98 with 10 rules applied. Total rules applied 44257 place count 4412 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 98 with 2 rules applied. Total rules applied 44259 place count 4411 transition count 13899
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 98 with 1 rules applied. Total rules applied 44260 place count 4411 transition count 13898
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 99 with 10 rules applied. Total rules applied 44270 place count 4411 transition count 13888
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 44272 place count 4410 transition count 13900
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 99 with 2 rules applied. Total rules applied 44274 place count 4410 transition count 13898
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 100 with 10 rules applied. Total rules applied 44284 place count 4410 transition count 13888
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 100 with 2 rules applied. Total rules applied 44286 place count 4409 transition count 13900
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 100 with 2 rules applied. Total rules applied 44288 place count 4409 transition count 13898
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 101 with 10 rules applied. Total rules applied 44298 place count 4409 transition count 13888
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 44300 place count 4408 transition count 13901
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 101 with 1 rules applied. Total rules applied 44301 place count 4408 transition count 13900
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 102 with 10 rules applied. Total rules applied 44311 place count 4408 transition count 13890
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 44313 place count 4407 transition count 13902
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 102 with 2 rules applied. Total rules applied 44315 place count 4407 transition count 13900
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 103 with 10 rules applied. Total rules applied 44325 place count 4407 transition count 13890
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 103 with 2 rules applied. Total rules applied 44327 place count 4406 transition count 13903
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 103 with 1 rules applied. Total rules applied 44328 place count 4406 transition count 13902
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 104 with 10 rules applied. Total rules applied 44338 place count 4406 transition count 13892
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 104 with 2 rules applied. Total rules applied 44340 place count 4405 transition count 13904
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 104 with 2 rules applied. Total rules applied 44342 place count 4405 transition count 13902
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 105 with 10 rules applied. Total rules applied 44352 place count 4405 transition count 13892
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 105 with 2 rules applied. Total rules applied 44354 place count 4404 transition count 13905
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 105 with 1 rules applied. Total rules applied 44355 place count 4404 transition count 13904
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 106 with 10 rules applied. Total rules applied 44365 place count 4404 transition count 13894
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 44367 place count 4403 transition count 13906
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 106 with 2 rules applied. Total rules applied 44369 place count 4403 transition count 13904
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 107 with 10 rules applied. Total rules applied 44379 place count 4403 transition count 13894
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 44381 place count 4402 transition count 13907
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 107 with 1 rules applied. Total rules applied 44382 place count 4402 transition count 13906
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 108 with 10 rules applied. Total rules applied 44392 place count 4402 transition count 13896
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 44394 place count 4401 transition count 13908
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 108 with 2 rules applied. Total rules applied 44396 place count 4401 transition count 13906
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 109 with 10 rules applied. Total rules applied 44406 place count 4401 transition count 13896
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 44408 place count 4400 transition count 13909
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 109 with 1 rules applied. Total rules applied 44409 place count 4400 transition count 13908
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 110 with 10 rules applied. Total rules applied 44419 place count 4400 transition count 13898
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 44421 place count 4399 transition count 13910
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 110 with 2 rules applied. Total rules applied 44423 place count 4399 transition count 13908
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 111 with 10 rules applied. Total rules applied 44433 place count 4399 transition count 13898
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 44435 place count 4398 transition count 13911
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 111 with 1 rules applied. Total rules applied 44436 place count 4398 transition count 13910
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 112 with 10 rules applied. Total rules applied 44446 place count 4398 transition count 13900
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 44448 place count 4397 transition count 13913
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 112 with 2 rules applied. Total rules applied 44450 place count 4397 transition count 13911
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 113 with 10 rules applied. Total rules applied 44460 place count 4397 transition count 13901
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 44462 place count 4396 transition count 13913
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 113 with 2 rules applied. Total rules applied 44464 place count 4396 transition count 13911
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 114 with 10 rules applied. Total rules applied 44474 place count 4396 transition count 13901
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 44476 place count 4395 transition count 13914
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 114 with 1 rules applied. Total rules applied 44477 place count 4395 transition count 13913
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 115 with 10 rules applied. Total rules applied 44487 place count 4395 transition count 13903
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 115 with 2 rules applied. Total rules applied 44489 place count 4394 transition count 13915
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 115 with 2 rules applied. Total rules applied 44491 place count 4394 transition count 13913
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 116 with 10 rules applied. Total rules applied 44501 place count 4394 transition count 13903
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 116 with 2 rules applied. Total rules applied 44503 place count 4393 transition count 13916
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 116 with 1 rules applied. Total rules applied 44504 place count 4393 transition count 13915
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 117 with 10 rules applied. Total rules applied 44514 place count 4393 transition count 13905
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 117 with 2 rules applied. Total rules applied 44516 place count 4392 transition count 13918
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 117 with 2 rules applied. Total rules applied 44518 place count 4392 transition count 13916
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 118 with 10 rules applied. Total rules applied 44528 place count 4392 transition count 13906
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 44530 place count 4391 transition count 13919
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 118 with 1 rules applied. Total rules applied 44531 place count 4391 transition count 13918
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 119 with 9 rules applied. Total rules applied 44540 place count 4391 transition count 13909
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 44542 place count 4390 transition count 13921
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 119 with 2 rules applied. Total rules applied 44544 place count 4390 transition count 13919
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 44554 place count 4390 transition count 13909
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 44556 place count 4389 transition count 13922
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 120 with 1 rules applied. Total rules applied 44557 place count 4389 transition count 13921
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 121 with 10 rules applied. Total rules applied 44567 place count 4389 transition count 13911
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 44569 place count 4388 transition count 13923
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 121 with 2 rules applied. Total rules applied 44571 place count 4388 transition count 13921
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 122 with 10 rules applied. Total rules applied 44581 place count 4388 transition count 13911
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 122 with 2 rules applied. Total rules applied 44583 place count 4387 transition count 13924
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 122 with 1 rules applied. Total rules applied 44584 place count 4387 transition count 13923
Free-agglomeration rule applied 2451 times with reduction of 1495 identical transitions.
Iterating global reduction 122 with 2451 rules applied. Total rules applied 47035 place count 4387 transition count 9977
Reduce places removed 2451 places and 0 transitions.
Drop transitions removed 3630 transitions
Ensure Unique test removed 23 transitions
Reduce isomorphic transitions removed 3653 transitions.
Graph (complete) has 7174 edges and 1936 vertex of which 1863 are kept as prefixes of interest. Removing 73 places using SCC suffix rule.5 ms
Discarding 73 places :
Also discarding 43 output transitions
Drop transitions removed 43 transitions
Iterating post reduction 122 with 6105 rules applied. Total rules applied 53140 place count 1863 transition count 6281
Drop transitions removed 149 transitions
Ensure Unique test removed 17 transitions
Reduce isomorphic transitions removed 166 transitions.
Iterating post reduction 123 with 166 rules applied. Total rules applied 53306 place count 1863 transition count 6115
Discarding 231 places :
Symmetric choice reduction at 124 with 231 rule applications. Total rules 53537 place count 1632 transition count 5529
Iterating global reduction 124 with 231 rules applied. Total rules applied 53768 place count 1632 transition count 5529
Drop transitions removed 276 transitions
Redundant transition composition rules discarded 276 transitions
Iterating global reduction 124 with 276 rules applied. Total rules applied 54044 place count 1632 transition count 5253
Discarding 10 places :
Symmetric choice reduction at 124 with 10 rule applications. Total rules 54054 place count 1622 transition count 5206
Iterating global reduction 124 with 10 rules applied. Total rules applied 54064 place count 1622 transition count 5206
Free-agglomeration rule applied 1 times.
Iterating global reduction 124 with 1 rules applied. Total rules applied 54065 place count 1622 transition count 5205
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 124 with 1 rules applied. Total rules applied 54066 place count 1621 transition count 5205
Drop transitions removed 4 transitions
Redundant transition composition rules discarded 4 transitions
Iterating global reduction 125 with 4 rules applied. Total rules applied 54070 place count 1621 transition count 5201
Free-agglomeration rule applied 1 times.
Iterating global reduction 125 with 1 rules applied. Total rules applied 54071 place count 1621 transition count 5200
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 125 with 1 rules applied. Total rules applied 54072 place count 1620 transition count 5200
Partial Free-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 126 with 1 rules applied. Total rules applied 54073 place count 1620 transition count 5200
Applied a total of 54073 rules in 100394 ms. Remains 1620 /27146 variables (removed 25526) and now considering 5200/39849 (removed 34649) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 100394 ms. Remains : 1620/27146 places, 5200/39849 transitions.
[2023-03-09 21:11:14] [INFO ] Flatten gal took : 779 ms
[2023-03-09 21:11:15] [INFO ] Flatten gal took : 762 ms
[2023-03-09 21:11:17] [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 1685 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 1689 ms. Remains : 27146/27146 places, 39849/39849 transitions.
[2023-03-09 21:11:23] [INFO ] Flatten gal took : 748 ms
[2023-03-09 21:11:23] [INFO ] Flatten gal took : 868 ms
[2023-03-09 21:11:25] [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 1697 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 1699 ms. Remains : 27146/27146 places, 39849/39849 transitions.
[2023-03-09 21:11:28] [INFO ] Flatten gal took : 746 ms
[2023-03-09 21:11:29] [INFO ] Flatten gal took : 840 ms
[2023-03-09 21:11:30] [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 1743 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 1744 ms. Remains : 27146/27146 places, 39849/39849 transitions.
[2023-03-09 21:11:33] [INFO ] Flatten gal took : 742 ms
[2023-03-09 21:11:34] [INFO ] Flatten gal took : 839 ms
[2023-03-09 21:11:36] [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 1786 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 1787 ms. Remains : 27146/27146 places, 39849/39849 transitions.
[2023-03-09 21:11:38] [INFO ] Flatten gal took : 764 ms
[2023-03-09 21:11:39] [INFO ] Flatten gal took : 864 ms
[2023-03-09 21:11:41] [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 10 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 742 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 637 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 8370 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 8370 ms. Remains : 4913/27146 places, 11443/39849 transitions.
[2023-03-09 21:11:50] [INFO ] Flatten gal took : 261 ms
[2023-03-09 21:11:50] [INFO ] Flatten gal took : 243 ms
[2023-03-09 21:11:51] [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 709 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 602 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 4 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 7831 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 7832 ms. Remains : 4914/27146 places, 11317/39849 transitions.
[2023-03-09 21:11:59] [INFO ] Flatten gal took : 185 ms
[2023-03-09 21:11:59] [INFO ] Flatten gal took : 211 ms
[2023-03-09 21:12:00] [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 1792 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 1794 ms. Remains : 27146/27146 places, 39849/39849 transitions.
[2023-03-09 21:12:02] [INFO ] Flatten gal took : 652 ms
[2023-03-09 21:12:03] [INFO ] Flatten gal took : 721 ms
[2023-03-09 21:12:05] [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 11 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 741 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 640 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 3 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 8989 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 8991 ms. Remains : 4931/27146 places, 11476/39849 transitions.
[2023-03-09 21:12:14] [INFO ] Flatten gal took : 218 ms
[2023-03-09 21:12:14] [INFO ] Flatten gal took : 255 ms
[2023-03-09 21:12:15] [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 1702 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 1705 ms. Remains : 27146/27146 places, 39849/39849 transitions.
[2023-03-09 21:12:17] [INFO ] Flatten gal took : 691 ms
[2023-03-09 21:12:18] [INFO ] Flatten gal took : 718 ms
[2023-03-09 21:12:20] [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 11 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 777 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 629 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 3 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 8205 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 8206 ms. Remains : 4914/27146 places, 11317/39849 transitions.
[2023-03-09 21:12:28] [INFO ] Flatten gal took : 213 ms
[2023-03-09 21:12:29] [INFO ] Flatten gal took : 251 ms
[2023-03-09 21:12:29] [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 1833 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 1835 ms. Remains : 27146/27146 places, 39849/39849 transitions.
[2023-03-09 21:12:32] [INFO ] Flatten gal took : 767 ms
[2023-03-09 21:12:33] [INFO ] Flatten gal took : 819 ms
[2023-03-09 21:12:35] [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 1784 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 1785 ms. Remains : 27146/27146 places, 39849/39849 transitions.
[2023-03-09 21:12:37] [INFO ] Flatten gal took : 659 ms
[2023-03-09 21:12:38] [INFO ] Flatten gal took : 762 ms
[2023-03-09 21:12:40] [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 10 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 762 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 662 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 3 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 7965 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 7965 ms. Remains : 4928/27146 places, 11468/39849 transitions.
[2023-03-09 21:12:49] [INFO ] Flatten gal took : 280 ms
[2023-03-09 21:12:49] [INFO ] Flatten gal took : 321 ms
[2023-03-09 21:12:50] [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 1725 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 1726 ms. Remains : 27146/27146 places, 39849/39849 transitions.
[2023-03-09 21:12:52] [INFO ] Flatten gal took : 668 ms
[2023-03-09 21:12:53] [INFO ] Flatten gal took : 739 ms
[2023-03-09 21:12:54] [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 1744 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 1745 ms. Remains : 27146/27146 places, 39849/39849 transitions.
[2023-03-09 21:12:57] [INFO ] Flatten gal took : 756 ms
[2023-03-09 21:12:58] [INFO ] Flatten gal took : 861 ms
[2023-03-09 21:13:00] [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 1775 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 1777 ms. Remains : 27146/27146 places, 39849/39849 transitions.
[2023-03-09 21:13:03] [INFO ] Flatten gal took : 757 ms
[2023-03-09 21:13:03] [INFO ] Flatten gal took : 841 ms
[2023-03-09 21:13:05] [INFO ] Input system was already deterministic with 39849 transitions.
[2023-03-09 21:13:06] [INFO ] Flatten gal took : 763 ms
[2023-03-09 21:13:07] [INFO ] Flatten gal took : 747 ms
[2023-03-09 21:13:07] [INFO ] Export to MCC of 16 properties in file /home/mcc/execution/CTLFireability.sr.xml took 4 ms.
[2023-03-09 21:13:07] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 27146 places, 39849 transitions and 107425 arcs took 115 ms.
Total runtime 263107 ms.
There are residual formulas that ITS could not solve within timeout
pnml2lts-sym model.pnml --lace-workers=4 --vset=lddmc --saturation=sat -rbs,w2W,ru,hf --sylvan-sizes=20,28,20,28 --ctl=/tmp/555/ctl_0_ --ctl=/tmp/555/ctl_1_ --ctl=/tmp/555/ctl_2_ --ctl=/tmp/555/ctl_3_ --ctl=/tmp/555/ctl_4_ --ctl=/tmp/555/ctl_5_ --ctl=/tmp/555/ctl_6_ --ctl=/tmp/555/ctl_7_ --ctl=/tmp/555/ctl_8_ --ctl=/tmp/555/ctl_9_ --ctl=/tmp/555/ctl_10_ --ctl=/tmp/555/ctl_11_ --ctl=/tmp/555/ctl_12_ --ctl=/tmp/555/ctl_13_ --ctl=/tmp/555/ctl_14_ --ctl=/tmp/555/ctl_15_ --mu-par --mu-opt
Could not compute solution for formula : DLCshifumi-PT-5b-CTLFireability-00
Could not compute solution for formula : DLCshifumi-PT-5b-CTLFireability-01
Could not compute solution for formula : DLCshifumi-PT-5b-CTLFireability-02
Could not compute solution for formula : DLCshifumi-PT-5b-CTLFireability-03
Could not compute solution for formula : DLCshifumi-PT-5b-CTLFireability-04
Could not compute solution for formula : DLCshifumi-PT-5b-CTLFireability-05
Could not compute solution for formula : DLCshifumi-PT-5b-CTLFireability-06
Could not compute solution for formula : DLCshifumi-PT-5b-CTLFireability-07
Could not compute solution for formula : DLCshifumi-PT-5b-CTLFireability-08
Could not compute solution for formula : DLCshifumi-PT-5b-CTLFireability-09
Could not compute solution for formula : DLCshifumi-PT-5b-CTLFireability-10
Could not compute solution for formula : DLCshifumi-PT-5b-CTLFireability-11
Could not compute solution for formula : DLCshifumi-PT-5b-CTLFireability-12
Could not compute solution for formula : DLCshifumi-PT-5b-CTLFireability-13
Could not compute solution for formula : DLCshifumi-PT-5b-CTLFireability-14
Could not compute solution for formula : DLCshifumi-PT-5b-CTLFireability-15

BK_STOP 1678398598814

--------------------
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
mcc2023
ctl formula name DLCshifumi-PT-5b-CTLFireability-00
ctl formula formula --ctl=/tmp/555/ctl_0_
ctl formula name DLCshifumi-PT-5b-CTLFireability-01
ctl formula formula --ctl=/tmp/555/ctl_1_
ctl formula name DLCshifumi-PT-5b-CTLFireability-02
ctl formula formula --ctl=/tmp/555/ctl_2_
ctl formula name DLCshifumi-PT-5b-CTLFireability-03
ctl formula formula --ctl=/tmp/555/ctl_3_
ctl formula name DLCshifumi-PT-5b-CTLFireability-04
ctl formula formula --ctl=/tmp/555/ctl_4_
ctl formula name DLCshifumi-PT-5b-CTLFireability-05
ctl formula formula --ctl=/tmp/555/ctl_5_
ctl formula name DLCshifumi-PT-5b-CTLFireability-06
ctl formula formula --ctl=/tmp/555/ctl_6_
ctl formula name DLCshifumi-PT-5b-CTLFireability-07
ctl formula formula --ctl=/tmp/555/ctl_7_
ctl formula name DLCshifumi-PT-5b-CTLFireability-08
ctl formula formula --ctl=/tmp/555/ctl_8_
ctl formula name DLCshifumi-PT-5b-CTLFireability-09
ctl formula formula --ctl=/tmp/555/ctl_9_
ctl formula name DLCshifumi-PT-5b-CTLFireability-10
ctl formula formula --ctl=/tmp/555/ctl_10_
ctl formula name DLCshifumi-PT-5b-CTLFireability-11
ctl formula formula --ctl=/tmp/555/ctl_11_
ctl formula name DLCshifumi-PT-5b-CTLFireability-12
ctl formula formula --ctl=/tmp/555/ctl_12_
ctl formula name DLCshifumi-PT-5b-CTLFireability-13
ctl formula formula --ctl=/tmp/555/ctl_13_
ctl formula name DLCshifumi-PT-5b-CTLFireability-14
ctl formula formula --ctl=/tmp/555/ctl_14_
ctl formula name DLCshifumi-PT-5b-CTLFireability-15
ctl formula formula --ctl=/tmp/555/ctl_15_
pnml2lts-sym: Exploration order is bfs-prev
pnml2lts-sym: Saturation strategy is sat
pnml2lts-sym: Guided search strategy is unguided
pnml2lts-sym: Attractor strategy is default
pnml2lts-sym: opening model.pnml
pnml2lts-sym: Edge label is id
Warning: program compiled against libxml 210 using older 209
pnml2lts-sym: Petri net has 27146 places, 39849 transitions and 107425 arcs
pnml2lts-sym: Petri net Petri analyzed
pnml2lts-sym: There are no safe places
pnml2lts-sym: Loading Petri net took 1.090 real 0.500 user 0.590 sys
pnml2lts-sym: Initializing regrouping layer
pnml2lts-sym: Regroup specification: bs,w2W,ru,hf
pnml2lts-sym: Regroup Boost's Sloan
pnml2lts-sym: Regroup over-approximate must-write to may-write
pnml2lts-sym: Regroup Row sUbsume
pnml2lts-sym: Reqroup Horizontal Flip
pnml2lts-sym: Regrouping: 39849->39849 groups
pnml2lts-sym: Regrouping took 1784.850 real 1781.300 user 3.270 sys
pnml2lts-sym: state vector length is 27146; there are 39849 groups
pnml2lts-sym: Creating a multi-core ListDD domain.
pnml2lts-sym: Sylvan allocates 15.000 GB virtual memory for nodes table and operation cache.
pnml2lts-sym: Initial nodes table and operation cache requires 60.00 MB.
pnml2lts-sym: Using GBgetTransitionsShortR2W as next-state function
pnml2lts-sym: vset_sylvan: starting garbage collection
pnml2lts-sym: vset_sylvan: garbage collection done
pnml2lts-sym: vset_sylvan: starting garbage collection
pnml2lts-sym: vset_sylvan: garbage collection done
pnml2lts-sym: vset_sylvan: starting garbage collection
pnml2lts-sym: vset_sylvan: garbage collection done
pnml2lts-sym: vset_sylvan: starting garbage collection
pnml2lts-sym: vset_sylvan: garbage collection done
pnml2lts-sym: vset_sylvan: starting garbage collection
pnml2lts-sym: vset_sylvan: garbage collection done
pnml2lts-sym: vset_sylvan: starting garbage collection
pnml2lts-sym: vset_sylvan: garbage collection done
pnml2lts-sym: vset_sylvan: starting garbage collection
pnml2lts-sym: vset_sylvan: garbage collection done
pnml2lts-sym: got initial state
pnml2lts-sym: parsing CTL formula
pnml2lts-sym: converting CTL to mu-calculus...
pnml2lts-sym: parsing CTL formula
pnml2lts-sym: converting CTL to mu-calculus...
pnml2lts-sym: parsing CTL formula
pnml2lts-sym: converting CTL to mu-calculus...
pnml2lts-sym: parsing CTL formula
pnml2lts-sym: converting CTL to mu-calculus...
pnml2lts-sym: parsing CTL formula
pnml2lts-sym: converting CTL to mu-calculus...
pnml2lts-sym: parsing CTL formula
pnml2lts-sym: converting CTL to mu-calculus...
pnml2lts-sym: parsing CTL formula
pnml2lts-sym: converting CTL to mu-calculus...
pnml2lts-sym: parsing CTL formula
pnml2lts-sym: converting CTL to mu-calculus...
pnml2lts-sym: parsing CTL formula
pnml2lts-sym: converting CTL to mu-calculus...
pnml2lts-sym: parsing CTL formula
pnml2lts-sym: converting CTL to mu-calculus...
pnml2lts-sym: parsing CTL formula
pnml2lts-sym: converting CTL to mu-calculus...
pnml2lts-sym: parsing CTL formula
pnml2lts-sym: converting CTL to mu-calculus...
pnml2lts-sym: parsing CTL formula
pnml2lts-sym: converting CTL to mu-calculus...
pnml2lts-sym: parsing CTL formula
pnml2lts-sym: converting CTL to mu-calculus...
pnml2lts-sym: parsing CTL formula
pnml2lts-sym: converting CTL to mu-calculus...
pnml2lts-sym: parsing CTL formula
pnml2lts-sym: converting CTL to mu-calculus...

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="ltsminxred"
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 ltsminxred"
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 r105-tall-167814481800850"
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 ;