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.r103-tall-167814478800851.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 lolaxred
Input is DLCshifumi-PT-5b, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r103-tall-167814478800851
=====================================================================

--------------------
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-LTLCardinality-00
FORMULA_NAME DLCshifumi-PT-5b-LTLCardinality-01
FORMULA_NAME DLCshifumi-PT-5b-LTLCardinality-02
FORMULA_NAME DLCshifumi-PT-5b-LTLCardinality-03
FORMULA_NAME DLCshifumi-PT-5b-LTLCardinality-04
FORMULA_NAME DLCshifumi-PT-5b-LTLCardinality-05
FORMULA_NAME DLCshifumi-PT-5b-LTLCardinality-06
FORMULA_NAME DLCshifumi-PT-5b-LTLCardinality-07
FORMULA_NAME DLCshifumi-PT-5b-LTLCardinality-08
FORMULA_NAME DLCshifumi-PT-5b-LTLCardinality-09
FORMULA_NAME DLCshifumi-PT-5b-LTLCardinality-10
FORMULA_NAME DLCshifumi-PT-5b-LTLCardinality-11
FORMULA_NAME DLCshifumi-PT-5b-LTLCardinality-12
FORMULA_NAME DLCshifumi-PT-5b-LTLCardinality-13
FORMULA_NAME DLCshifumi-PT-5b-LTLCardinality-14
FORMULA_NAME DLCshifumi-PT-5b-LTLCardinality-15

=== Now, execution of the tool begins

BK_START 1678282283107

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=lolaxred
BK_EXAMINATION=LTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCshifumi-PT-5b
Applying reductions before tool lola
Invoking reducer
Running Version 202303021504
[2023-03-08 13:31:24] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLCardinality, -timeout, 360, -rebuildPNML]
[2023-03-08 13:31:24] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-08 13:31:25] [INFO ] Load time of PNML (sax parser for PT used): 792 ms
[2023-03-08 13:31:25] [INFO ] Transformed 27146 places.
[2023-03-08 13:31:25] [INFO ] Transformed 39849 transitions.
[2023-03-08 13:31:25] [INFO ] Found NUPN structural information;
[2023-03-08 13:31:26] [INFO ] Parsed PT model containing 27146 places and 39849 transitions and 107425 arcs in 2011 ms.
Parsed 16 properties from file /home/mcc/execution/LTLCardinality.xml in 16 ms.
Working with output stream class java.io.PrintStream
Initial state reduction rules removed 6 formulas.
FORMULA DLCshifumi-PT-5b-LTLCardinality-04 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-LTLCardinality-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-LTLCardinality-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-LTLCardinality-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-LTLCardinality-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-LTLCardinality-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-LTLCardinality-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-LTLCardinality-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-LTLCardinality-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-LTLCardinality-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 19 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 2007 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
// Phase 1: matrix 39849 rows 27146 cols
[2023-03-08 13:31:31] [INFO ] Computed 1378 place invariants in 227 ms
[2023-03-08 13:31:35] [INFO ] Implicit Places using invariants in 3846 ms returned []
Implicit Place search using SMT only with invariants took 3873 ms to find 0 implicit places.
[2023-03-08 13:31:35] [INFO ] Invariant cache hit.
[2023-03-08 13:31:38] [INFO ] Dead Transitions using invariants and state equation in 3149 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 9041 ms. Remains : 27146/27146 places, 39849/39849 transitions.
Support contains 19 out of 27146 places after structural reductions.
[2023-03-08 13:31:41] [INFO ] Flatten gal took : 1182 ms
[2023-03-08 13:31:41] [INFO ] Flatten gal took : 847 ms
[2023-03-08 13:31:43] [INFO ] Input system was already deterministic with 39849 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 543 ms. (steps per millisecond=18 ) properties (out of 10) seen :3
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=384 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 28 ms. (steps per millisecond=357 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=400 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=400 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=384 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=400 ) properties (out of 7) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 27 ms. (steps per millisecond=370 ) properties (out of 7) seen :0
Running SMT prover for 7 properties.
[2023-03-08 13:31:47] [INFO ] Invariant cache hit.
[2023-03-08 13:32:01] [INFO ] [Real]Absence check using 1378 positive place invariants in 6018 ms returned sat
[2023-03-08 13:32:02] [INFO ] After 15637ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:7
[2023-03-08 13:32:16] [INFO ] [Nat]Absence check using 1378 positive place invariants in 5743 ms returned sat
[2023-03-08 13:32:27] [INFO ] After 8569ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :6
[2023-03-08 13:32:28] [INFO ] After 8625ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :6
Attempting to minimize the solution found.
Minimization took 20 ms.
[2023-03-08 13:32:28] [INFO ] After 25100ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :6
Fused 7 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 13 out of 27146 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Graph (trivial) has 25275 edges and 27146 vertex of which 2235 / 27146 are part of one of the 142 SCC in 50 ms
Free SCC test removed 2093 places
Drop transitions removed 2367 transitions
Reduce isomorphic transitions removed 2367 transitions.
Drop transitions removed 12904 transitions
Trivial Post-agglo rules discarded 12904 transitions
Performed 12904 trivial Post agglomeration. Transition count delta: 12904
Iterating post reduction 0 with 12904 rules applied. Total rules applied 12905 place count 25053 transition count 24578
Reduce places removed 12904 places and 0 transitions.
Ensure Unique test removed 382 transitions
Reduce isomorphic transitions removed 382 transitions.
Drop transitions removed 377 transitions
Trivial Post-agglo rules discarded 377 transitions
Performed 377 trivial Post agglomeration. Transition count delta: 377
Iterating post reduction 1 with 13663 rules applied. Total rules applied 26568 place count 12149 transition count 23819
Reduce places removed 377 places and 0 transitions.
Ensure Unique test removed 123 transitions
Reduce isomorphic transitions removed 123 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 621 rules applied. Total rules applied 27189 place count 11772 transition count 23575
Reduce places removed 121 places and 0 transitions.
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Iterating post reduction 3 with 130 rules applied. Total rules applied 27319 place count 11651 transition count 23566
Reduce places removed 9 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 11 rules applied. Total rules applied 27330 place count 11642 transition count 23564
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 27331 place count 11641 transition count 23564
Performed 124 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 124 Pre rules applied. Total rules applied 27331 place count 11641 transition count 23440
Deduced a syphon composed of 124 places in 814 ms
Reduce places removed 124 places and 0 transitions.
Iterating global reduction 6 with 248 rules applied. Total rules applied 27579 place count 11517 transition count 23440
Discarding 3281 places :
Symmetric choice reduction at 6 with 3281 rule applications. Total rules 30860 place count 8236 transition count 20159
Iterating global reduction 6 with 3281 rules applied. Total rules applied 34141 place count 8236 transition count 20159
Performed 1381 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 1381 Pre rules applied. Total rules applied 34141 place count 8236 transition count 18778
Deduced a syphon composed of 1381 places in 628 ms
Reduce places removed 1381 places and 0 transitions.
Iterating global reduction 6 with 2762 rules applied. Total rules applied 36903 place count 6855 transition count 18778
Discarding 278 places :
Symmetric choice reduction at 6 with 278 rule applications. Total rules 37181 place count 6577 transition count 13240
Iterating global reduction 6 with 278 rules applied. Total rules applied 37459 place count 6577 transition count 13240
Ensure Unique test removed 254 transitions
Reduce isomorphic transitions removed 254 transitions.
Iterating post reduction 6 with 254 rules applied. Total rules applied 37713 place count 6577 transition count 12986
Performed 1648 Post agglomeration using F-continuation condition with reduction of 5 identical transitions.
Deduced a syphon composed of 1648 places in 4 ms
Reduce places removed 1648 places and 0 transitions.
Iterating global reduction 7 with 3296 rules applied. Total rules applied 41009 place count 4929 transition count 11333
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 7 with 5 rules applied. Total rules applied 41014 place count 4929 transition count 11328
Renaming transitions due to excessive name length > 1024 char.
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 41015 place count 4928 transition count 11201
Iterating global reduction 8 with 1 rules applied. Total rules applied 41016 place count 4928 transition count 11201
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 4 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 8 with 202 rules applied. Total rules applied 41218 place count 4827 transition count 11667
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 41219 place count 4827 transition count 11666
Discarding 33 places :
Symmetric choice reduction at 9 with 33 rule applications. Total rules 41252 place count 4794 transition count 11336
Iterating global reduction 9 with 33 rules applied. Total rules applied 41285 place count 4794 transition count 11336
Ensure Unique test removed 161 transitions
Reduce isomorphic transitions removed 161 transitions.
Iterating post reduction 9 with 161 rules applied. Total rules applied 41446 place count 4794 transition count 11175
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 2 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 10 with 202 rules applied. Total rules applied 41648 place count 4693 transition count 11644
Discarding 33 places :
Symmetric choice reduction at 10 with 33 rule applications. Total rules 41681 place count 4660 transition count 11314
Iterating global reduction 10 with 33 rules applied. Total rules applied 41714 place count 4660 transition count 11314
Ensure Unique test removed 165 transitions
Reduce isomorphic transitions removed 165 transitions.
Iterating post reduction 10 with 165 rules applied. Total rules applied 41879 place count 4660 transition count 11149
Performed 101 Post agglomeration using F-continuation condition with reduction of 160 identical transitions.
Deduced a syphon composed of 101 places in 2 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 11 with 202 rules applied. Total rules applied 42081 place count 4559 transition count 11627
Discarding 32 places :
Symmetric choice reduction at 11 with 32 rule applications. Total rules 42113 place count 4527 transition count 11307
Iterating global reduction 11 with 32 rules applied. Total rules applied 42145 place count 4527 transition count 11307
Ensure Unique test removed 160 transitions
Reduce isomorphic transitions removed 160 transitions.
Iterating post reduction 11 with 160 rules applied. Total rules applied 42305 place count 4527 transition count 11147
Performed 75 Post agglomeration using F-continuation condition with reduction of 110 identical transitions.
Deduced a syphon composed of 75 places in 1 ms
Reduce places removed 75 places and 0 transitions.
Iterating global reduction 12 with 150 rules applied. Total rules applied 42455 place count 4452 transition count 11530
Drop transitions removed 18 transitions
Reduce isomorphic transitions removed 18 transitions.
Iterating post reduction 12 with 18 rules applied. Total rules applied 42473 place count 4452 transition count 11512
Discarding 22 places :
Symmetric choice reduction at 13 with 22 rule applications. Total rules 42495 place count 4430 transition count 11289
Iterating global reduction 13 with 22 rules applied. Total rules applied 42517 place count 4430 transition count 11289
Ensure Unique test removed 112 transitions
Reduce isomorphic transitions removed 112 transitions.
Iterating post reduction 13 with 112 rules applied. Total rules applied 42629 place count 4430 transition count 11177
Drop transitions removed 42 transitions
Redundant transition composition rules discarded 42 transitions
Iterating global reduction 14 with 42 rules applied. Total rules applied 42671 place count 4430 transition count 11135
Discarding 9 places :
Symmetric choice reduction at 14 with 9 rule applications. Total rules 42680 place count 4421 transition count 11126
Iterating global reduction 14 with 9 rules applied. Total rules applied 42689 place count 4421 transition count 11126
Discarding 9 places :
Symmetric choice reduction at 14 with 9 rule applications. Total rules 42698 place count 4412 transition count 9977
Iterating global reduction 14 with 9 rules applied. Total rules applied 42707 place count 4412 transition count 9977
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 14 with 9 rules applied. Total rules applied 42716 place count 4412 transition count 9968
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 1 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 15 with 10 rules applied. Total rules applied 42726 place count 4407 transition count 9963
Discarding 5 places :
Symmetric choice reduction at 15 with 5 rule applications. Total rules 42731 place count 4402 transition count 9325
Iterating global reduction 15 with 5 rules applied. Total rules applied 42736 place count 4402 transition count 9325
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 15 with 5 rules applied. Total rules applied 42741 place count 4402 transition count 9320
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 16 with 8 rules applied. Total rules applied 42749 place count 4398 transition count 9347
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 16 with 6 rules applied. Total rules applied 42755 place count 4398 transition count 9341
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 17 with 21 rules applied. Total rules applied 42776 place count 4398 transition count 9320
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 17 with 8 rules applied. Total rules applied 42784 place count 4394 transition count 9347
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 17 with 6 rules applied. Total rules applied 42790 place count 4394 transition count 9341
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 18 with 21 rules applied. Total rules applied 42811 place count 4394 transition count 9320
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 18 with 8 rules applied. Total rules applied 42819 place count 4390 transition count 9347
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 18 with 6 rules applied. Total rules applied 42825 place count 4390 transition count 9341
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 19 with 21 rules applied. Total rules applied 42846 place count 4390 transition count 9320
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 19 with 8 rules applied. Total rules applied 42854 place count 4386 transition count 9347
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 19 with 6 rules applied. Total rules applied 42860 place count 4386 transition count 9341
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 20 with 21 rules applied. Total rules applied 42881 place count 4386 transition count 9320
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 20 with 8 rules applied. Total rules applied 42889 place count 4382 transition count 9347
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 20 with 6 rules applied. Total rules applied 42895 place count 4382 transition count 9341
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 21 with 21 rules applied. Total rules applied 42916 place count 4382 transition count 9320
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 21 with 8 rules applied. Total rules applied 42924 place count 4378 transition count 9347
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 21 with 6 rules applied. Total rules applied 42930 place count 4378 transition count 9341
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 22 with 21 rules applied. Total rules applied 42951 place count 4378 transition count 9320
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 22 with 8 rules applied. Total rules applied 42959 place count 4374 transition count 9347
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 22 with 6 rules applied. Total rules applied 42965 place count 4374 transition count 9341
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 23 with 21 rules applied. Total rules applied 42986 place count 4374 transition count 9320
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 23 with 8 rules applied. Total rules applied 42994 place count 4370 transition count 9347
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 23 with 6 rules applied. Total rules applied 43000 place count 4370 transition count 9341
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 24 with 21 rules applied. Total rules applied 43021 place count 4370 transition count 9320
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 24 with 8 rules applied. Total rules applied 43029 place count 4366 transition count 9349
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 24 with 7 rules applied. Total rules applied 43036 place count 4366 transition count 9342
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 25 with 21 rules applied. Total rules applied 43057 place count 4366 transition count 9321
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 25 with 8 rules applied. Total rules applied 43065 place count 4362 transition count 9348
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 25 with 6 rules applied. Total rules applied 43071 place count 4362 transition count 9342
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 26 with 21 rules applied. Total rules applied 43092 place count 4362 transition count 9321
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 26 with 8 rules applied. Total rules applied 43100 place count 4358 transition count 9350
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 26 with 6 rules applied. Total rules applied 43106 place count 4358 transition count 9344
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 27 with 21 rules applied. Total rules applied 43127 place count 4358 transition count 9323
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 27 with 8 rules applied. Total rules applied 43135 place count 4354 transition count 9352
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 27 with 5 rules applied. Total rules applied 43140 place count 4354 transition count 9347
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 28 with 18 rules applied. Total rules applied 43158 place count 4354 transition count 9329
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
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 43164 place count 4351 transition count 9354
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 28 with 4 rules applied. Total rules applied 43168 place count 4351 transition count 9350
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 29 with 19 rules applied. Total rules applied 43187 place count 4351 transition count 9331
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 29 with 6 rules applied. Total rules applied 43193 place count 4348 transition count 9355
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 29 with 5 rules applied. Total rules applied 43198 place count 4348 transition count 9350
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 30 with 18 rules applied. Total rules applied 43216 place count 4348 transition count 9332
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 30 with 6 rules applied. Total rules applied 43222 place count 4345 transition count 9357
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 30 with 4 rules applied. Total rules applied 43226 place count 4345 transition count 9353
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 31 with 19 rules applied. Total rules applied 43245 place count 4345 transition count 9334
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
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 43251 place count 4342 transition count 9358
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 31 with 5 rules applied. Total rules applied 43256 place count 4342 transition count 9353
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 32 with 18 rules applied. Total rules applied 43274 place count 4342 transition count 9335
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 32 with 6 rules applied. Total rules applied 43280 place count 4339 transition count 9360
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 32 with 4 rules applied. Total rules applied 43284 place count 4339 transition count 9356
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 33 with 19 rules applied. Total rules applied 43303 place count 4339 transition count 9337
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 33 with 6 rules applied. Total rules applied 43309 place count 4336 transition count 9361
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 33 with 5 rules applied. Total rules applied 43314 place count 4336 transition count 9356
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 34 with 18 rules applied. Total rules applied 43332 place count 4336 transition count 9338
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 34 with 6 rules applied. Total rules applied 43338 place count 4333 transition count 9363
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 34 with 4 rules applied. Total rules applied 43342 place count 4333 transition count 9359
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 35 with 19 rules applied. Total rules applied 43361 place count 4333 transition count 9340
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -26
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 35 with 6 rules applied. Total rules applied 43367 place count 4330 transition count 9366
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 35 with 5 rules applied. Total rules applied 43372 place count 4330 transition count 9361
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 36 with 18 rules applied. Total rules applied 43390 place count 4330 transition count 9343
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 36 with 6 rules applied. Total rules applied 43396 place count 4327 transition count 9368
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 36 with 4 rules applied. Total rules applied 43400 place count 4327 transition count 9364
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 37 with 19 rules applied. Total rules applied 43419 place count 4327 transition count 9345
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 37 with 6 rules applied. Total rules applied 43425 place count 4324 transition count 9369
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 37 with 5 rules applied. Total rules applied 43430 place count 4324 transition count 9364
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 38 with 18 rules applied. Total rules applied 43448 place count 4324 transition count 9346
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 38 with 6 rules applied. Total rules applied 43454 place count 4321 transition count 9371
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 38 with 4 rules applied. Total rules applied 43458 place count 4321 transition count 9367
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 39 with 19 rules applied. Total rules applied 43477 place count 4321 transition count 9348
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 39 with 6 rules applied. Total rules applied 43483 place count 4318 transition count 9372
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 39 with 5 rules applied. Total rules applied 43488 place count 4318 transition count 9367
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 40 with 18 rules applied. Total rules applied 43506 place count 4318 transition count 9349
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 40 with 6 rules applied. Total rules applied 43512 place count 4315 transition count 9374
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 40 with 4 rules applied. Total rules applied 43516 place count 4315 transition count 9370
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 41 with 19 rules applied. Total rules applied 43535 place count 4315 transition count 9351
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 41 with 6 rules applied. Total rules applied 43541 place count 4312 transition count 9375
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 41 with 5 rules applied. Total rules applied 43546 place count 4312 transition count 9370
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 42 with 18 rules applied. Total rules applied 43564 place count 4312 transition count 9352
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 42 with 6 rules applied. Total rules applied 43570 place count 4309 transition count 9377
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 42 with 4 rules applied. Total rules applied 43574 place count 4309 transition count 9373
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 43 with 19 rules applied. Total rules applied 43593 place count 4309 transition count 9354
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 43 with 6 rules applied. Total rules applied 43599 place count 4306 transition count 9379
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 43 with 5 rules applied. Total rules applied 43604 place count 4306 transition count 9374
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 44 with 18 rules applied. Total rules applied 43622 place count 4306 transition count 9356
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 44 with 6 rules applied. Total rules applied 43628 place count 4303 transition count 9381
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 44 with 4 rules applied. Total rules applied 43632 place count 4303 transition count 9377
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 45 with 19 rules applied. Total rules applied 43651 place count 4303 transition count 9358
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 45 with 6 rules applied. Total rules applied 43657 place count 4300 transition count 9382
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 45 with 5 rules applied. Total rules applied 43662 place count 4300 transition count 9377
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 46 with 18 rules applied. Total rules applied 43680 place count 4300 transition count 9359
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 46 with 6 rules applied. Total rules applied 43686 place count 4297 transition count 9384
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 46 with 4 rules applied. Total rules applied 43690 place count 4297 transition count 9380
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 47 with 19 rules applied. Total rules applied 43709 place count 4297 transition count 9361
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 47 with 6 rules applied. Total rules applied 43715 place count 4294 transition count 9385
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 47 with 5 rules applied. Total rules applied 43720 place count 4294 transition count 9380
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 48 with 18 rules applied. Total rules applied 43738 place count 4294 transition count 9362
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 48 with 6 rules applied. Total rules applied 43744 place count 4291 transition count 9386
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 48 with 4 rules applied. Total rules applied 43748 place count 4291 transition count 9382
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 49 with 19 rules applied. Total rules applied 43767 place count 4291 transition count 9363
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 49 with 6 rules applied. Total rules applied 43773 place count 4288 transition count 9387
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 49 with 5 rules applied. Total rules applied 43778 place count 4288 transition count 9382
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 50 with 18 rules applied. Total rules applied 43796 place count 4288 transition count 9364
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 50 with 6 rules applied. Total rules applied 43802 place count 4285 transition count 9389
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 50 with 4 rules applied. Total rules applied 43806 place count 4285 transition count 9385
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 51 with 19 rules applied. Total rules applied 43825 place count 4285 transition count 9366
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 51 with 6 rules applied. Total rules applied 43831 place count 4282 transition count 9390
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 51 with 5 rules applied. Total rules applied 43836 place count 4282 transition count 9385
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 52 with 18 rules applied. Total rules applied 43854 place count 4282 transition count 9367
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 52 with 6 rules applied. Total rules applied 43860 place count 4279 transition count 9392
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 52 with 4 rules applied. Total rules applied 43864 place count 4279 transition count 9388
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 53 with 19 rules applied. Total rules applied 43883 place count 4279 transition count 9369
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 53 with 6 rules applied. Total rules applied 43889 place count 4276 transition count 9393
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 53 with 5 rules applied. Total rules applied 43894 place count 4276 transition count 9388
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 54 with 18 rules applied. Total rules applied 43912 place count 4276 transition count 9370
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 54 with 6 rules applied. Total rules applied 43918 place count 4273 transition count 9395
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 54 with 4 rules applied. Total rules applied 43922 place count 4273 transition count 9391
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 55 with 19 rules applied. Total rules applied 43941 place count 4273 transition count 9372
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 55 with 6 rules applied. Total rules applied 43947 place count 4270 transition count 9396
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 55 with 5 rules applied. Total rules applied 43952 place count 4270 transition count 9391
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 56 with 18 rules applied. Total rules applied 43970 place count 4270 transition count 9373
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 56 with 6 rules applied. Total rules applied 43976 place count 4267 transition count 9398
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 56 with 4 rules applied. Total rules applied 43980 place count 4267 transition count 9394
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 57 with 19 rules applied. Total rules applied 43999 place count 4267 transition count 9375
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 57 with 6 rules applied. Total rules applied 44005 place count 4264 transition count 9399
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 57 with 5 rules applied. Total rules applied 44010 place count 4264 transition count 9394
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 58 with 18 rules applied. Total rules applied 44028 place count 4264 transition count 9376
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 58 with 6 rules applied. Total rules applied 44034 place count 4261 transition count 9401
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 58 with 4 rules applied. Total rules applied 44038 place count 4261 transition count 9397
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 59 with 19 rules applied. Total rules applied 44057 place count 4261 transition count 9378
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 59 with 6 rules applied. Total rules applied 44063 place count 4258 transition count 9402
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 59 with 5 rules applied. Total rules applied 44068 place count 4258 transition count 9397
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 60 with 18 rules applied. Total rules applied 44086 place count 4258 transition count 9379
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 60 with 6 rules applied. Total rules applied 44092 place count 4255 transition count 9404
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 60 with 4 rules applied. Total rules applied 44096 place count 4255 transition count 9400
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 61 with 19 rules applied. Total rules applied 44115 place count 4255 transition count 9381
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 61 with 6 rules applied. Total rules applied 44121 place count 4252 transition count 9405
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 61 with 5 rules applied. Total rules applied 44126 place count 4252 transition count 9400
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 62 with 18 rules applied. Total rules applied 44144 place count 4252 transition count 9382
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -25
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 62 with 6 rules applied. Total rules applied 44150 place count 4249 transition count 9407
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 62 with 3 rules applied. Total rules applied 44153 place count 4249 transition count 9404
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 63 with 15 rules applied. Total rules applied 44168 place count 4249 transition count 9389
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 63 with 4 rules applied. Total rules applied 44172 place count 4247 transition count 9408
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 63 with 3 rules applied. Total rules applied 44175 place count 4247 transition count 9405
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 64 with 15 rules applied. Total rules applied 44190 place count 4247 transition count 9390
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
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 44194 place count 4245 transition count 9409
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 64 with 3 rules applied. Total rules applied 44197 place count 4245 transition count 9406
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 65 with 15 rules applied. Total rules applied 44212 place count 4245 transition count 9391
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
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 44216 place count 4243 transition count 9410
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 65 with 3 rules applied. Total rules applied 44219 place count 4243 transition count 9407
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 66 with 15 rules applied. Total rules applied 44234 place count 4243 transition count 9392
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 66 with 4 rules applied. Total rules applied 44238 place count 4241 transition count 9411
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 66 with 3 rules applied. Total rules applied 44241 place count 4241 transition count 9408
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 67 with 15 rules applied. Total rules applied 44256 place count 4241 transition count 9393
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 67 with 4 rules applied. Total rules applied 44260 place count 4239 transition count 9412
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 67 with 3 rules applied. Total rules applied 44263 place count 4239 transition count 9409
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 68 with 15 rules applied. Total rules applied 44278 place count 4239 transition count 9394
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 68 with 4 rules applied. Total rules applied 44282 place count 4237 transition count 9413
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 68 with 3 rules applied. Total rules applied 44285 place count 4237 transition count 9410
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 69 with 15 rules applied. Total rules applied 44300 place count 4237 transition count 9395
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 69 with 4 rules applied. Total rules applied 44304 place count 4235 transition count 9414
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 69 with 3 rules applied. Total rules applied 44307 place count 4235 transition count 9411
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 70 with 15 rules applied. Total rules applied 44322 place count 4235 transition count 9396
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 70 with 4 rules applied. Total rules applied 44326 place count 4233 transition count 9415
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 70 with 3 rules applied. Total rules applied 44329 place count 4233 transition count 9412
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 71 with 15 rules applied. Total rules applied 44344 place count 4233 transition count 9397
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 71 with 4 rules applied. Total rules applied 44348 place count 4231 transition count 9416
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 71 with 3 rules applied. Total rules applied 44351 place count 4231 transition count 9413
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 72 with 15 rules applied. Total rules applied 44366 place count 4231 transition count 9398
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 72 with 4 rules applied. Total rules applied 44370 place count 4229 transition count 9417
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 72 with 3 rules applied. Total rules applied 44373 place count 4229 transition count 9414
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 73 with 15 rules applied. Total rules applied 44388 place count 4229 transition count 9399
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 73 with 4 rules applied. Total rules applied 44392 place count 4227 transition count 9418
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 73 with 3 rules applied. Total rules applied 44395 place count 4227 transition count 9415
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 74 with 15 rules applied. Total rules applied 44410 place count 4227 transition count 9400
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 74 with 4 rules applied. Total rules applied 44414 place count 4225 transition count 9419
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 74 with 3 rules applied. Total rules applied 44417 place count 4225 transition count 9416
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 75 with 15 rules applied. Total rules applied 44432 place count 4225 transition count 9401
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 75 with 4 rules applied. Total rules applied 44436 place count 4223 transition count 9420
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 75 with 3 rules applied. Total rules applied 44439 place count 4223 transition count 9417
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 76 with 15 rules applied. Total rules applied 44454 place count 4223 transition count 9402
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 76 with 4 rules applied. Total rules applied 44458 place count 4221 transition count 9421
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 76 with 3 rules applied. Total rules applied 44461 place count 4221 transition count 9418
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 77 with 15 rules applied. Total rules applied 44476 place count 4221 transition count 9403
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 77 with 4 rules applied. Total rules applied 44480 place count 4219 transition count 9422
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 77 with 3 rules applied. Total rules applied 44483 place count 4219 transition count 9419
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 78 with 15 rules applied. Total rules applied 44498 place count 4219 transition count 9404
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -21
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 78 with 4 rules applied. Total rules applied 44502 place count 4217 transition count 9425
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 78 with 3 rules applied. Total rules applied 44505 place count 4217 transition count 9422
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 79 with 15 rules applied. Total rules applied 44520 place count 4217 transition count 9407
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 79 with 4 rules applied. Total rules applied 44524 place count 4215 transition count 9426
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 79 with 3 rules applied. Total rules applied 44527 place count 4215 transition count 9423
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 80 with 15 rules applied. Total rules applied 44542 place count 4215 transition count 9408
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 80 with 4 rules applied. Total rules applied 44546 place count 4213 transition count 9427
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 80 with 3 rules applied. Total rules applied 44549 place count 4213 transition count 9424
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 81 with 15 rules applied. Total rules applied 44564 place count 4213 transition count 9409
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 81 with 4 rules applied. Total rules applied 44568 place count 4211 transition count 9428
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 81 with 3 rules applied. Total rules applied 44571 place count 4211 transition count 9425
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 82 with 15 rules applied. Total rules applied 44586 place count 4211 transition count 9410
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 82 with 4 rules applied. Total rules applied 44590 place count 4209 transition count 9429
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 82 with 3 rules applied. Total rules applied 44593 place count 4209 transition count 9426
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 83 with 15 rules applied. Total rules applied 44608 place count 4209 transition count 9411
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 83 with 4 rules applied. Total rules applied 44612 place count 4207 transition count 9430
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 83 with 3 rules applied. Total rules applied 44615 place count 4207 transition count 9427
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 84 with 15 rules applied. Total rules applied 44630 place count 4207 transition count 9412
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 84 with 4 rules applied. Total rules applied 44634 place count 4205 transition count 9431
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 84 with 3 rules applied. Total rules applied 44637 place count 4205 transition count 9428
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 85 with 15 rules applied. Total rules applied 44652 place count 4205 transition count 9413
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 85 with 4 rules applied. Total rules applied 44656 place count 4203 transition count 9432
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 85 with 3 rules applied. Total rules applied 44659 place count 4203 transition count 9429
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 86 with 15 rules applied. Total rules applied 44674 place count 4203 transition count 9414
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 86 with 4 rules applied. Total rules applied 44678 place count 4201 transition count 9433
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 86 with 3 rules applied. Total rules applied 44681 place count 4201 transition count 9430
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 87 with 15 rules applied. Total rules applied 44696 place count 4201 transition count 9415
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 87 with 4 rules applied. Total rules applied 44700 place count 4199 transition count 9434
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 87 with 3 rules applied. Total rules applied 44703 place count 4199 transition count 9431
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 88 with 15 rules applied. Total rules applied 44718 place count 4199 transition count 9416
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 88 with 4 rules applied. Total rules applied 44722 place count 4197 transition count 9435
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 88 with 3 rules applied. Total rules applied 44725 place count 4197 transition count 9432
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 89 with 15 rules applied. Total rules applied 44740 place count 4197 transition count 9417
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 89 with 4 rules applied. Total rules applied 44744 place count 4195 transition count 9436
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 89 with 3 rules applied. Total rules applied 44747 place count 4195 transition count 9433
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 90 with 15 rules applied. Total rules applied 44762 place count 4195 transition count 9418
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 90 with 4 rules applied. Total rules applied 44766 place count 4193 transition count 9437
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 90 with 3 rules applied. Total rules applied 44769 place count 4193 transition count 9434
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 91 with 15 rules applied. Total rules applied 44784 place count 4193 transition count 9419
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 91 with 4 rules applied. Total rules applied 44788 place count 4191 transition count 9438
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 91 with 3 rules applied. Total rules applied 44791 place count 4191 transition count 9435
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 92 with 15 rules applied. Total rules applied 44806 place count 4191 transition count 9420
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -20
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 92 with 4 rules applied. Total rules applied 44810 place count 4189 transition count 9440
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 92 with 5 rules applied. Total rules applied 44815 place count 4189 transition count 9435
Drop transitions removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 93 with 14 rules applied. Total rules applied 44829 place count 4189 transition count 9421
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -22
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 93 with 4 rules applied. Total rules applied 44833 place count 4187 transition count 9443
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 93 with 2 rules applied. Total rules applied 44835 place count 4187 transition count 9441
Drop transitions removed 16 transitions
Redundant transition composition rules discarded 16 transitions
Iterating global reduction 94 with 16 rules applied. Total rules applied 44851 place count 4187 transition count 9425
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 94 with 4 rules applied. Total rules applied 44855 place count 4185 transition count 9444
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 94 with 3 rules applied. Total rules applied 44858 place count 4185 transition count 9441
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 95 with 15 rules applied. Total rules applied 44873 place count 4185 transition count 9426
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 95 with 4 rules applied. Total rules applied 44877 place count 4183 transition count 9445
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 95 with 3 rules applied. Total rules applied 44880 place count 4183 transition count 9442
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 96 with 15 rules applied. Total rules applied 44895 place count 4183 transition count 9427
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 96 with 4 rules applied. Total rules applied 44899 place count 4181 transition count 9446
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 96 with 3 rules applied. Total rules applied 44902 place count 4181 transition count 9443
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 97 with 15 rules applied. Total rules applied 44917 place count 4181 transition count 9428
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 97 with 4 rules applied. Total rules applied 44921 place count 4179 transition count 9447
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 97 with 3 rules applied. Total rules applied 44924 place count 4179 transition count 9444
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 98 with 15 rules applied. Total rules applied 44939 place count 4179 transition count 9429
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 98 with 4 rules applied. Total rules applied 44943 place count 4177 transition count 9448
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 98 with 3 rules applied. Total rules applied 44946 place count 4177 transition count 9445
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 99 with 15 rules applied. Total rules applied 44961 place count 4177 transition count 9430
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 99 with 4 rules applied. Total rules applied 44965 place count 4175 transition count 9449
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 99 with 3 rules applied. Total rules applied 44968 place count 4175 transition count 9446
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 100 with 15 rules applied. Total rules applied 44983 place count 4175 transition count 9431
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 100 with 4 rules applied. Total rules applied 44987 place count 4173 transition count 9450
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 100 with 3 rules applied. Total rules applied 44990 place count 4173 transition count 9447
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 101 with 15 rules applied. Total rules applied 45005 place count 4173 transition count 9432
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 101 with 4 rules applied. Total rules applied 45009 place count 4171 transition count 9451
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 101 with 3 rules applied. Total rules applied 45012 place count 4171 transition count 9448
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 102 with 15 rules applied. Total rules applied 45027 place count 4171 transition count 9433
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 102 with 4 rules applied. Total rules applied 45031 place count 4169 transition count 9452
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 102 with 3 rules applied. Total rules applied 45034 place count 4169 transition count 9449
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 103 with 15 rules applied. Total rules applied 45049 place count 4169 transition count 9434
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 103 with 4 rules applied. Total rules applied 45053 place count 4167 transition count 9453
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 103 with 3 rules applied. Total rules applied 45056 place count 4167 transition count 9450
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 104 with 15 rules applied. Total rules applied 45071 place count 4167 transition count 9435
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 104 with 4 rules applied. Total rules applied 45075 place count 4165 transition count 9454
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 104 with 3 rules applied. Total rules applied 45078 place count 4165 transition count 9451
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 105 with 15 rules applied. Total rules applied 45093 place count 4165 transition count 9436
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 105 with 4 rules applied. Total rules applied 45097 place count 4163 transition count 9455
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 105 with 3 rules applied. Total rules applied 45100 place count 4163 transition count 9452
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 106 with 15 rules applied. Total rules applied 45115 place count 4163 transition count 9437
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 106 with 4 rules applied. Total rules applied 45119 place count 4161 transition count 9456
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 106 with 3 rules applied. Total rules applied 45122 place count 4161 transition count 9453
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 107 with 15 rules applied. Total rules applied 45137 place count 4161 transition count 9438
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 107 with 4 rules applied. Total rules applied 45141 place count 4159 transition count 9457
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 107 with 3 rules applied. Total rules applied 45144 place count 4159 transition count 9454
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 108 with 15 rules applied. Total rules applied 45159 place count 4159 transition count 9439
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 108 with 4 rules applied. Total rules applied 45163 place count 4157 transition count 9458
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 108 with 3 rules applied. Total rules applied 45166 place count 4157 transition count 9455
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 109 with 15 rules applied. Total rules applied 45181 place count 4157 transition count 9440
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 109 with 4 rules applied. Total rules applied 45185 place count 4155 transition count 9459
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 109 with 3 rules applied. Total rules applied 45188 place count 4155 transition count 9456
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 110 with 15 rules applied. Total rules applied 45203 place count 4155 transition count 9441
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 110 with 4 rules applied. Total rules applied 45207 place count 4153 transition count 9460
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 110 with 3 rules applied. Total rules applied 45210 place count 4153 transition count 9457
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 111 with 15 rules applied. Total rules applied 45225 place count 4153 transition count 9442
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 111 with 4 rules applied. Total rules applied 45229 place count 4151 transition count 9461
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 111 with 3 rules applied. Total rules applied 45232 place count 4151 transition count 9458
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 112 with 15 rules applied. Total rules applied 45247 place count 4151 transition count 9443
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 112 with 4 rules applied. Total rules applied 45251 place count 4149 transition count 9462
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 112 with 3 rules applied. Total rules applied 45254 place count 4149 transition count 9459
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 113 with 15 rules applied. Total rules applied 45269 place count 4149 transition count 9444
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 113 with 4 rules applied. Total rules applied 45273 place count 4147 transition count 9463
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 113 with 3 rules applied. Total rules applied 45276 place count 4147 transition count 9460
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 114 with 15 rules applied. Total rules applied 45291 place count 4147 transition count 9445
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 114 with 4 rules applied. Total rules applied 45295 place count 4145 transition count 9464
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 114 with 3 rules applied. Total rules applied 45298 place count 4145 transition count 9461
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 115 with 15 rules applied. Total rules applied 45313 place count 4145 transition count 9446
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 115 with 4 rules applied. Total rules applied 45317 place count 4143 transition count 9465
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 115 with 3 rules applied. Total rules applied 45320 place count 4143 transition count 9462
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 116 with 15 rules applied. Total rules applied 45335 place count 4143 transition count 9447
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 116 with 4 rules applied. Total rules applied 45339 place count 4141 transition count 9466
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 116 with 3 rules applied. Total rules applied 45342 place count 4141 transition count 9463
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 117 with 15 rules applied. Total rules applied 45357 place count 4141 transition count 9448
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 117 with 4 rules applied. Total rules applied 45361 place count 4139 transition count 9467
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 117 with 3 rules applied. Total rules applied 45364 place count 4139 transition count 9464
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 118 with 15 rules applied. Total rules applied 45379 place count 4139 transition count 9449
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 118 with 4 rules applied. Total rules applied 45383 place count 4137 transition count 9468
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 118 with 3 rules applied. Total rules applied 45386 place count 4137 transition count 9465
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 119 with 15 rules applied. Total rules applied 45401 place count 4137 transition count 9450
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 119 with 4 rules applied. Total rules applied 45405 place count 4135 transition count 9469
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 119 with 3 rules applied. Total rules applied 45408 place count 4135 transition count 9466
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 120 with 15 rules applied. Total rules applied 45423 place count 4135 transition count 9451
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 120 with 4 rules applied. Total rules applied 45427 place count 4133 transition count 9470
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 120 with 3 rules applied. Total rules applied 45430 place count 4133 transition count 9467
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 121 with 15 rules applied. Total rules applied 45445 place count 4133 transition count 9452
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 121 with 4 rules applied. Total rules applied 45449 place count 4131 transition count 9471
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 121 with 3 rules applied. Total rules applied 45452 place count 4131 transition count 9468
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 122 with 15 rules applied. Total rules applied 45467 place count 4131 transition count 9453
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 122 with 4 rules applied. Total rules applied 45471 place count 4129 transition count 9472
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 122 with 3 rules applied. Total rules applied 45474 place count 4129 transition count 9469
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 123 with 15 rules applied. Total rules applied 45489 place count 4129 transition count 9454
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 123 with 4 rules applied. Total rules applied 45493 place count 4127 transition count 9473
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 123 with 3 rules applied. Total rules applied 45496 place count 4127 transition count 9470
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 124 with 15 rules applied. Total rules applied 45511 place count 4127 transition count 9455
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 124 with 4 rules applied. Total rules applied 45515 place count 4125 transition count 9474
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 124 with 3 rules applied. Total rules applied 45518 place count 4125 transition count 9471
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 125 with 15 rules applied. Total rules applied 45533 place count 4125 transition count 9456
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 125 with 4 rules applied. Total rules applied 45537 place count 4123 transition count 9475
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 125 with 3 rules applied. Total rules applied 45540 place count 4123 transition count 9472
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 126 with 15 rules applied. Total rules applied 45555 place count 4123 transition count 9457
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 126 with 4 rules applied. Total rules applied 45559 place count 4121 transition count 9476
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 126 with 3 rules applied. Total rules applied 45562 place count 4121 transition count 9473
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 127 with 15 rules applied. Total rules applied 45577 place count 4121 transition count 9458
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 127 with 4 rules applied. Total rules applied 45581 place count 4119 transition count 9479
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 127 with 4 rules applied. Total rules applied 45585 place count 4119 transition count 9475
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 128 with 15 rules applied. Total rules applied 45600 place count 4119 transition count 9460
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 128 with 4 rules applied. Total rules applied 45604 place count 4117 transition count 9479
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 128 with 3 rules applied. Total rules applied 45607 place count 4117 transition count 9476
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 129 with 15 rules applied. Total rules applied 45622 place count 4117 transition count 9461
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 129 with 4 rules applied. Total rules applied 45626 place count 4115 transition count 9479
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 129 with 3 rules applied. Total rules applied 45629 place count 4115 transition count 9476
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 130 with 15 rules applied. Total rules applied 45644 place count 4115 transition count 9461
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 130 with 4 rules applied. Total rules applied 45648 place count 4113 transition count 9479
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 130 with 3 rules applied. Total rules applied 45651 place count 4113 transition count 9476
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 131 with 15 rules applied. Total rules applied 45666 place count 4113 transition count 9461
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 131 with 4 rules applied. Total rules applied 45670 place count 4111 transition count 9479
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 131 with 3 rules applied. Total rules applied 45673 place count 4111 transition count 9476
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 132 with 15 rules applied. Total rules applied 45688 place count 4111 transition count 9461
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 132 with 4 rules applied. Total rules applied 45692 place count 4109 transition count 9479
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 132 with 2 rules applied. Total rules applied 45694 place count 4109 transition count 9477
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 133 with 9 rules applied. Total rules applied 45703 place count 4109 transition count 9468
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 133 with 2 rules applied. Total rules applied 45705 place count 4108 transition count 9479
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 133 with 2 rules applied. Total rules applied 45707 place count 4108 transition count 9477
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 134 with 9 rules applied. Total rules applied 45716 place count 4108 transition count 9468
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 134 with 2 rules applied. Total rules applied 45718 place count 4107 transition count 9479
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 134 with 1 rules applied. Total rules applied 45719 place count 4107 transition count 9478
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 135 with 10 rules applied. Total rules applied 45729 place count 4107 transition count 9468
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 135 with 2 rules applied. Total rules applied 45731 place count 4106 transition count 9479
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 135 with 2 rules applied. Total rules applied 45733 place count 4106 transition count 9477
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 136 with 9 rules applied. Total rules applied 45742 place count 4106 transition count 9468
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 136 with 2 rules applied. Total rules applied 45744 place count 4105 transition count 9479
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 136 with 1 rules applied. Total rules applied 45745 place count 4105 transition count 9478
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 137 with 10 rules applied. Total rules applied 45755 place count 4105 transition count 9468
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 137 with 2 rules applied. Total rules applied 45757 place count 4104 transition count 9479
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 137 with 2 rules applied. Total rules applied 45759 place count 4104 transition count 9477
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 138 with 9 rules applied. Total rules applied 45768 place count 4104 transition count 9468
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 138 with 2 rules applied. Total rules applied 45770 place count 4103 transition count 9479
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 138 with 1 rules applied. Total rules applied 45771 place count 4103 transition count 9478
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 139 with 10 rules applied. Total rules applied 45781 place count 4103 transition count 9468
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 139 with 2 rules applied. Total rules applied 45783 place count 4102 transition count 9479
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 139 with 2 rules applied. Total rules applied 45785 place count 4102 transition count 9477
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 140 with 9 rules applied. Total rules applied 45794 place count 4102 transition count 9468
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 140 with 2 rules applied. Total rules applied 45796 place count 4101 transition count 9479
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 140 with 1 rules applied. Total rules applied 45797 place count 4101 transition count 9478
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 141 with 10 rules applied. Total rules applied 45807 place count 4101 transition count 9468
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 141 with 2 rules applied. Total rules applied 45809 place count 4100 transition count 9479
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 141 with 2 rules applied. Total rules applied 45811 place count 4100 transition count 9477
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 142 with 9 rules applied. Total rules applied 45820 place count 4100 transition count 9468
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 142 with 2 rules applied. Total rules applied 45822 place count 4099 transition count 9479
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 142 with 1 rules applied. Total rules applied 45823 place count 4099 transition count 9478
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 143 with 10 rules applied. Total rules applied 45833 place count 4099 transition count 9468
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 143 with 2 rules applied. Total rules applied 45835 place count 4098 transition count 9479
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 143 with 2 rules applied. Total rules applied 45837 place count 4098 transition count 9477
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 144 with 9 rules applied. Total rules applied 45846 place count 4098 transition count 9468
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 144 with 2 rules applied. Total rules applied 45848 place count 4097 transition count 9479
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 144 with 1 rules applied. Total rules applied 45849 place count 4097 transition count 9478
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 145 with 10 rules applied. Total rules applied 45859 place count 4097 transition count 9468
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 145 with 2 rules applied. Total rules applied 45861 place count 4096 transition count 9479
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 145 with 2 rules applied. Total rules applied 45863 place count 4096 transition count 9477
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 146 with 9 rules applied. Total rules applied 45872 place count 4096 transition count 9468
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 146 with 2 rules applied. Total rules applied 45874 place count 4095 transition count 9479
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 146 with 1 rules applied. Total rules applied 45875 place count 4095 transition count 9478
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 147 with 10 rules applied. Total rules applied 45885 place count 4095 transition count 9468
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 147 with 2 rules applied. Total rules applied 45887 place count 4094 transition count 9479
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 147 with 2 rules applied. Total rules applied 45889 place count 4094 transition count 9477
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 148 with 9 rules applied. Total rules applied 45898 place count 4094 transition count 9468
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 148 with 2 rules applied. Total rules applied 45900 place count 4093 transition count 9479
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 148 with 1 rules applied. Total rules applied 45901 place count 4093 transition count 9478
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 149 with 10 rules applied. Total rules applied 45911 place count 4093 transition count 9468
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 149 with 2 rules applied. Total rules applied 45913 place count 4092 transition count 9479
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 149 with 2 rules applied. Total rules applied 45915 place count 4092 transition count 9477
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 150 with 9 rules applied. Total rules applied 45924 place count 4092 transition count 9468
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 150 with 2 rules applied. Total rules applied 45926 place count 4091 transition count 9479
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 150 with 1 rules applied. Total rules applied 45927 place count 4091 transition count 9478
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 151 with 10 rules applied. Total rules applied 45937 place count 4091 transition count 9468
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 151 with 2 rules applied. Total rules applied 45939 place count 4090 transition count 9479
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 151 with 2 rules applied. Total rules applied 45941 place count 4090 transition count 9477
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 152 with 9 rules applied. Total rules applied 45950 place count 4090 transition count 9468
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 152 with 2 rules applied. Total rules applied 45952 place count 4089 transition count 9479
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 152 with 1 rules applied. Total rules applied 45953 place count 4089 transition count 9478
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 153 with 10 rules applied. Total rules applied 45963 place count 4089 transition count 9468
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 153 with 2 rules applied. Total rules applied 45965 place count 4088 transition count 9479
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 153 with 2 rules applied. Total rules applied 45967 place count 4088 transition count 9477
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 154 with 9 rules applied. Total rules applied 45976 place count 4088 transition count 9468
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 154 with 2 rules applied. Total rules applied 45978 place count 4087 transition count 9479
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 154 with 1 rules applied. Total rules applied 45979 place count 4087 transition count 9478
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 155 with 10 rules applied. Total rules applied 45989 place count 4087 transition count 9468
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 155 with 2 rules applied. Total rules applied 45991 place count 4086 transition count 9480
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 155 with 2 rules applied. Total rules applied 45993 place count 4086 transition count 9478
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 156 with 9 rules applied. Total rules applied 46002 place count 4086 transition count 9469
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 156 with 2 rules applied. Total rules applied 46004 place count 4085 transition count 9481
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 156 with 1 rules applied. Total rules applied 46005 place count 4085 transition count 9480
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 157 with 10 rules applied. Total rules applied 46015 place count 4085 transition count 9470
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 157 with 2 rules applied. Total rules applied 46017 place count 4084 transition count 9481
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 157 with 2 rules applied. Total rules applied 46019 place count 4084 transition count 9479
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 158 with 9 rules applied. Total rules applied 46028 place count 4084 transition count 9470
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 158 with 2 rules applied. Total rules applied 46030 place count 4083 transition count 9481
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 158 with 1 rules applied. Total rules applied 46031 place count 4083 transition count 9480
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 159 with 10 rules applied. Total rules applied 46041 place count 4083 transition count 9470
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 159 with 2 rules applied. Total rules applied 46043 place count 4082 transition count 9481
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 159 with 2 rules applied. Total rules applied 46045 place count 4082 transition count 9479
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 160 with 9 rules applied. Total rules applied 46054 place count 4082 transition count 9470
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 160 with 2 rules applied. Total rules applied 46056 place count 4081 transition count 9481
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 160 with 1 rules applied. Total rules applied 46057 place count 4081 transition count 9480
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 161 with 10 rules applied. Total rules applied 46067 place count 4081 transition count 9470
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 161 with 2 rules applied. Total rules applied 46069 place count 4080 transition count 9481
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 161 with 2 rules applied. Total rules applied 46071 place count 4080 transition count 9479
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 162 with 9 rules applied. Total rules applied 46080 place count 4080 transition count 9470
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 162 with 2 rules applied. Total rules applied 46082 place count 4079 transition count 9481
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 162 with 1 rules applied. Total rules applied 46083 place count 4079 transition count 9480
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 163 with 10 rules applied. Total rules applied 46093 place count 4079 transition count 9470
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 163 with 2 rules applied. Total rules applied 46095 place count 4078 transition count 9481
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 163 with 2 rules applied. Total rules applied 46097 place count 4078 transition count 9479
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 164 with 9 rules applied. Total rules applied 46106 place count 4078 transition count 9470
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 164 with 2 rules applied. Total rules applied 46108 place count 4077 transition count 9481
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 164 with 1 rules applied. Total rules applied 46109 place count 4077 transition count 9480
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 165 with 10 rules applied. Total rules applied 46119 place count 4077 transition count 9470
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 165 with 2 rules applied. Total rules applied 46121 place count 4076 transition count 9481
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 165 with 2 rules applied. Total rules applied 46123 place count 4076 transition count 9479
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 166 with 9 rules applied. Total rules applied 46132 place count 4076 transition count 9470
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 166 with 2 rules applied. Total rules applied 46134 place count 4075 transition count 9481
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 166 with 1 rules applied. Total rules applied 46135 place count 4075 transition count 9480
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 167 with 10 rules applied. Total rules applied 46145 place count 4075 transition count 9470
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 167 with 2 rules applied. Total rules applied 46147 place count 4074 transition count 9481
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 167 with 2 rules applied. Total rules applied 46149 place count 4074 transition count 9479
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 168 with 9 rules applied. Total rules applied 46158 place count 4074 transition count 9470
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 168 with 2 rules applied. Total rules applied 46160 place count 4073 transition count 9481
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 168 with 1 rules applied. Total rules applied 46161 place count 4073 transition count 9480
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 169 with 10 rules applied. Total rules applied 46171 place count 4073 transition count 9470
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 169 with 2 rules applied. Total rules applied 46173 place count 4072 transition count 9481
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 169 with 2 rules applied. Total rules applied 46175 place count 4072 transition count 9479
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 170 with 9 rules applied. Total rules applied 46184 place count 4072 transition count 9470
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 170 with 2 rules applied. Total rules applied 46186 place count 4071 transition count 9481
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 170 with 1 rules applied. Total rules applied 46187 place count 4071 transition count 9480
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 171 with 10 rules applied. Total rules applied 46197 place count 4071 transition count 9470
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 171 with 2 rules applied. Total rules applied 46199 place count 4070 transition count 9481
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 171 with 2 rules applied. Total rules applied 46201 place count 4070 transition count 9479
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 172 with 9 rules applied. Total rules applied 46210 place count 4070 transition count 9470
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 172 with 2 rules applied. Total rules applied 46212 place count 4069 transition count 9481
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 172 with 1 rules applied. Total rules applied 46213 place count 4069 transition count 9480
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 173 with 10 rules applied. Total rules applied 46223 place count 4069 transition count 9470
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 173 with 2 rules applied. Total rules applied 46225 place count 4068 transition count 9481
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 173 with 2 rules applied. Total rules applied 46227 place count 4068 transition count 9479
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 174 with 9 rules applied. Total rules applied 46236 place count 4068 transition count 9470
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 174 with 2 rules applied. Total rules applied 46238 place count 4067 transition count 9481
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 174 with 1 rules applied. Total rules applied 46239 place count 4067 transition count 9480
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 175 with 10 rules applied. Total rules applied 46249 place count 4067 transition count 9470
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 175 with 2 rules applied. Total rules applied 46251 place count 4066 transition count 9481
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 175 with 2 rules applied. Total rules applied 46253 place count 4066 transition count 9479
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 176 with 9 rules applied. Total rules applied 46262 place count 4066 transition count 9470
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 176 with 2 rules applied. Total rules applied 46264 place count 4065 transition count 9481
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 176 with 1 rules applied. Total rules applied 46265 place count 4065 transition count 9480
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 177 with 10 rules applied. Total rules applied 46275 place count 4065 transition count 9470
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 177 with 2 rules applied. Total rules applied 46277 place count 4064 transition count 9481
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 177 with 2 rules applied. Total rules applied 46279 place count 4064 transition count 9479
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 178 with 9 rules applied. Total rules applied 46288 place count 4064 transition count 9470
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 178 with 2 rules applied. Total rules applied 46290 place count 4063 transition count 9481
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 178 with 1 rules applied. Total rules applied 46291 place count 4063 transition count 9480
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 179 with 10 rules applied. Total rules applied 46301 place count 4063 transition count 9470
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 179 with 2 rules applied. Total rules applied 46303 place count 4062 transition count 9481
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 179 with 2 rules applied. Total rules applied 46305 place count 4062 transition count 9479
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 180 with 9 rules applied. Total rules applied 46314 place count 4062 transition count 9470
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 180 with 2 rules applied. Total rules applied 46316 place count 4061 transition count 9482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 180 with 1 rules applied. Total rules applied 46317 place count 4061 transition count 9481
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 181 with 10 rules applied. Total rules applied 46327 place count 4061 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 181 with 2 rules applied. Total rules applied 46329 place count 4060 transition count 9482
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 181 with 2 rules applied. Total rules applied 46331 place count 4060 transition count 9480
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 182 with 9 rules applied. Total rules applied 46340 place count 4060 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 182 with 2 rules applied. Total rules applied 46342 place count 4059 transition count 9482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 182 with 1 rules applied. Total rules applied 46343 place count 4059 transition count 9481
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 183 with 10 rules applied. Total rules applied 46353 place count 4059 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 183 with 2 rules applied. Total rules applied 46355 place count 4058 transition count 9482
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 183 with 2 rules applied. Total rules applied 46357 place count 4058 transition count 9480
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 184 with 9 rules applied. Total rules applied 46366 place count 4058 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 184 with 2 rules applied. Total rules applied 46368 place count 4057 transition count 9482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 184 with 1 rules applied. Total rules applied 46369 place count 4057 transition count 9481
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 185 with 10 rules applied. Total rules applied 46379 place count 4057 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 185 with 2 rules applied. Total rules applied 46381 place count 4056 transition count 9482
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 185 with 2 rules applied. Total rules applied 46383 place count 4056 transition count 9480
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 186 with 9 rules applied. Total rules applied 46392 place count 4056 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 186 with 2 rules applied. Total rules applied 46394 place count 4055 transition count 9482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 186 with 1 rules applied. Total rules applied 46395 place count 4055 transition count 9481
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 187 with 10 rules applied. Total rules applied 46405 place count 4055 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 187 with 2 rules applied. Total rules applied 46407 place count 4054 transition count 9482
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 187 with 2 rules applied. Total rules applied 46409 place count 4054 transition count 9480
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 188 with 9 rules applied. Total rules applied 46418 place count 4054 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 188 with 2 rules applied. Total rules applied 46420 place count 4053 transition count 9482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 188 with 1 rules applied. Total rules applied 46421 place count 4053 transition count 9481
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 189 with 10 rules applied. Total rules applied 46431 place count 4053 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 189 with 2 rules applied. Total rules applied 46433 place count 4052 transition count 9482
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 189 with 2 rules applied. Total rules applied 46435 place count 4052 transition count 9480
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 190 with 9 rules applied. Total rules applied 46444 place count 4052 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 190 with 2 rules applied. Total rules applied 46446 place count 4051 transition count 9482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 190 with 1 rules applied. Total rules applied 46447 place count 4051 transition count 9481
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 191 with 10 rules applied. Total rules applied 46457 place count 4051 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 191 with 2 rules applied. Total rules applied 46459 place count 4050 transition count 9482
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 191 with 2 rules applied. Total rules applied 46461 place count 4050 transition count 9480
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 192 with 9 rules applied. Total rules applied 46470 place count 4050 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 192 with 2 rules applied. Total rules applied 46472 place count 4049 transition count 9482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 192 with 1 rules applied. Total rules applied 46473 place count 4049 transition count 9481
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 193 with 10 rules applied. Total rules applied 46483 place count 4049 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 193 with 2 rules applied. Total rules applied 46485 place count 4048 transition count 9482
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 193 with 2 rules applied. Total rules applied 46487 place count 4048 transition count 9480
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 194 with 9 rules applied. Total rules applied 46496 place count 4048 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 194 with 2 rules applied. Total rules applied 46498 place count 4047 transition count 9482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 194 with 1 rules applied. Total rules applied 46499 place count 4047 transition count 9481
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 195 with 10 rules applied. Total rules applied 46509 place count 4047 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 195 with 2 rules applied. Total rules applied 46511 place count 4046 transition count 9482
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 195 with 2 rules applied. Total rules applied 46513 place count 4046 transition count 9480
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 196 with 9 rules applied. Total rules applied 46522 place count 4046 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 196 with 2 rules applied. Total rules applied 46524 place count 4045 transition count 9482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 196 with 1 rules applied. Total rules applied 46525 place count 4045 transition count 9481
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 197 with 10 rules applied. Total rules applied 46535 place count 4045 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 197 with 2 rules applied. Total rules applied 46537 place count 4044 transition count 9482
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 197 with 2 rules applied. Total rules applied 46539 place count 4044 transition count 9480
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 198 with 9 rules applied. Total rules applied 46548 place count 4044 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 198 with 2 rules applied. Total rules applied 46550 place count 4043 transition count 9482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 198 with 1 rules applied. Total rules applied 46551 place count 4043 transition count 9481
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 199 with 10 rules applied. Total rules applied 46561 place count 4043 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 199 with 2 rules applied. Total rules applied 46563 place count 4042 transition count 9482
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 199 with 2 rules applied. Total rules applied 46565 place count 4042 transition count 9480
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 200 with 9 rules applied. Total rules applied 46574 place count 4042 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 200 with 2 rules applied. Total rules applied 46576 place count 4041 transition count 9482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 200 with 1 rules applied. Total rules applied 46577 place count 4041 transition count 9481
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 201 with 10 rules applied. Total rules applied 46587 place count 4041 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 201 with 2 rules applied. Total rules applied 46589 place count 4040 transition count 9482
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 201 with 2 rules applied. Total rules applied 46591 place count 4040 transition count 9480
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 202 with 9 rules applied. Total rules applied 46600 place count 4040 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 202 with 2 rules applied. Total rules applied 46602 place count 4039 transition count 9482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 202 with 1 rules applied. Total rules applied 46603 place count 4039 transition count 9481
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 203 with 10 rules applied. Total rules applied 46613 place count 4039 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 203 with 2 rules applied. Total rules applied 46615 place count 4038 transition count 9482
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 203 with 2 rules applied. Total rules applied 46617 place count 4038 transition count 9480
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 204 with 9 rules applied. Total rules applied 46626 place count 4038 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 204 with 2 rules applied. Total rules applied 46628 place count 4037 transition count 9482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 204 with 1 rules applied. Total rules applied 46629 place count 4037 transition count 9481
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 205 with 10 rules applied. Total rules applied 46639 place count 4037 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 205 with 2 rules applied. Total rules applied 46641 place count 4036 transition count 9482
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 205 with 2 rules applied. Total rules applied 46643 place count 4036 transition count 9480
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 206 with 9 rules applied. Total rules applied 46652 place count 4036 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 206 with 2 rules applied. Total rules applied 46654 place count 4035 transition count 9482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 206 with 1 rules applied. Total rules applied 46655 place count 4035 transition count 9481
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 207 with 10 rules applied. Total rules applied 46665 place count 4035 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 207 with 2 rules applied. Total rules applied 46667 place count 4034 transition count 9482
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 207 with 2 rules applied. Total rules applied 46669 place count 4034 transition count 9480
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 208 with 9 rules applied. Total rules applied 46678 place count 4034 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 208 with 2 rules applied. Total rules applied 46680 place count 4033 transition count 9482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 208 with 1 rules applied. Total rules applied 46681 place count 4033 transition count 9481
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 209 with 10 rules applied. Total rules applied 46691 place count 4033 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 209 with 2 rules applied. Total rules applied 46693 place count 4032 transition count 9482
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 209 with 2 rules applied. Total rules applied 46695 place count 4032 transition count 9480
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 210 with 9 rules applied. Total rules applied 46704 place count 4032 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 210 with 2 rules applied. Total rules applied 46706 place count 4031 transition count 9482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 210 with 1 rules applied. Total rules applied 46707 place count 4031 transition count 9481
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 211 with 10 rules applied. Total rules applied 46717 place count 4031 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 211 with 2 rules applied. Total rules applied 46719 place count 4030 transition count 9482
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 211 with 2 rules applied. Total rules applied 46721 place count 4030 transition count 9480
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 212 with 9 rules applied. Total rules applied 46730 place count 4030 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 212 with 2 rules applied. Total rules applied 46732 place count 4029 transition count 9482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 212 with 1 rules applied. Total rules applied 46733 place count 4029 transition count 9481
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 213 with 10 rules applied. Total rules applied 46743 place count 4029 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 213 with 2 rules applied. Total rules applied 46745 place count 4028 transition count 9482
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 213 with 2 rules applied. Total rules applied 46747 place count 4028 transition count 9480
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 214 with 9 rules applied. Total rules applied 46756 place count 4028 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 214 with 2 rules applied. Total rules applied 46758 place count 4027 transition count 9482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 214 with 1 rules applied. Total rules applied 46759 place count 4027 transition count 9481
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 215 with 10 rules applied. Total rules applied 46769 place count 4027 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 215 with 2 rules applied. Total rules applied 46771 place count 4026 transition count 9482
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 215 with 2 rules applied. Total rules applied 46773 place count 4026 transition count 9480
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 216 with 9 rules applied. Total rules applied 46782 place count 4026 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 216 with 2 rules applied. Total rules applied 46784 place count 4025 transition count 9482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 216 with 1 rules applied. Total rules applied 46785 place count 4025 transition count 9481
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 217 with 10 rules applied. Total rules applied 46795 place count 4025 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 217 with 2 rules applied. Total rules applied 46797 place count 4024 transition count 9482
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 217 with 2 rules applied. Total rules applied 46799 place count 4024 transition count 9480
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 218 with 9 rules applied. Total rules applied 46808 place count 4024 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 218 with 2 rules applied. Total rules applied 46810 place count 4023 transition count 9482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 218 with 1 rules applied. Total rules applied 46811 place count 4023 transition count 9481
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 219 with 10 rules applied. Total rules applied 46821 place count 4023 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 219 with 2 rules applied. Total rules applied 46823 place count 4022 transition count 9482
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 219 with 2 rules applied. Total rules applied 46825 place count 4022 transition count 9480
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 220 with 9 rules applied. Total rules applied 46834 place count 4022 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 220 with 2 rules applied. Total rules applied 46836 place count 4021 transition count 9482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 220 with 1 rules applied. Total rules applied 46837 place count 4021 transition count 9481
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 221 with 10 rules applied. Total rules applied 46847 place count 4021 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 221 with 2 rules applied. Total rules applied 46849 place count 4020 transition count 9482
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 221 with 2 rules applied. Total rules applied 46851 place count 4020 transition count 9480
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 222 with 9 rules applied. Total rules applied 46860 place count 4020 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 222 with 2 rules applied. Total rules applied 46862 place count 4019 transition count 9482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 222 with 1 rules applied. Total rules applied 46863 place count 4019 transition count 9481
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 223 with 10 rules applied. Total rules applied 46873 place count 4019 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 223 with 2 rules applied. Total rules applied 46875 place count 4018 transition count 9482
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 223 with 2 rules applied. Total rules applied 46877 place count 4018 transition count 9480
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 224 with 9 rules applied. Total rules applied 46886 place count 4018 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 224 with 2 rules applied. Total rules applied 46888 place count 4017 transition count 9482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 224 with 1 rules applied. Total rules applied 46889 place count 4017 transition count 9481
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 225 with 10 rules applied. Total rules applied 46899 place count 4017 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 225 with 2 rules applied. Total rules applied 46901 place count 4016 transition count 9482
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 225 with 2 rules applied. Total rules applied 46903 place count 4016 transition count 9480
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 226 with 9 rules applied. Total rules applied 46912 place count 4016 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 226 with 2 rules applied. Total rules applied 46914 place count 4015 transition count 9482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 226 with 1 rules applied. Total rules applied 46915 place count 4015 transition count 9481
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 227 with 10 rules applied. Total rules applied 46925 place count 4015 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 227 with 2 rules applied. Total rules applied 46927 place count 4014 transition count 9482
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 227 with 2 rules applied. Total rules applied 46929 place count 4014 transition count 9480
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 228 with 9 rules applied. Total rules applied 46938 place count 4014 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 228 with 2 rules applied. Total rules applied 46940 place count 4013 transition count 9482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 228 with 1 rules applied. Total rules applied 46941 place count 4013 transition count 9481
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 229 with 10 rules applied. Total rules applied 46951 place count 4013 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 229 with 2 rules applied. Total rules applied 46953 place count 4012 transition count 9482
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 229 with 2 rules applied. Total rules applied 46955 place count 4012 transition count 9480
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 230 with 9 rules applied. Total rules applied 46964 place count 4012 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 230 with 2 rules applied. Total rules applied 46966 place count 4011 transition count 9482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 230 with 1 rules applied. Total rules applied 46967 place count 4011 transition count 9481
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 231 with 10 rules applied. Total rules applied 46977 place count 4011 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 231 with 2 rules applied. Total rules applied 46979 place count 4010 transition count 9482
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 231 with 2 rules applied. Total rules applied 46981 place count 4010 transition count 9480
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 232 with 9 rules applied. Total rules applied 46990 place count 4010 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 232 with 2 rules applied. Total rules applied 46992 place count 4009 transition count 9482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 232 with 1 rules applied. Total rules applied 46993 place count 4009 transition count 9481
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 233 with 10 rules applied. Total rules applied 47003 place count 4009 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 233 with 2 rules applied. Total rules applied 47005 place count 4008 transition count 9482
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 233 with 2 rules applied. Total rules applied 47007 place count 4008 transition count 9480
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 234 with 9 rules applied. Total rules applied 47016 place count 4008 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 234 with 2 rules applied. Total rules applied 47018 place count 4007 transition count 9482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 234 with 1 rules applied. Total rules applied 47019 place count 4007 transition count 9481
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 235 with 10 rules applied. Total rules applied 47029 place count 4007 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 235 with 2 rules applied. Total rules applied 47031 place count 4006 transition count 9482
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 235 with 2 rules applied. Total rules applied 47033 place count 4006 transition count 9480
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 236 with 9 rules applied. Total rules applied 47042 place count 4006 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 236 with 2 rules applied. Total rules applied 47044 place count 4005 transition count 9482
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 236 with 1 rules applied. Total rules applied 47045 place count 4005 transition count 9481
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 237 with 10 rules applied. Total rules applied 47055 place count 4005 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 237 with 2 rules applied. Total rules applied 47057 place count 4004 transition count 9482
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 237 with 2 rules applied. Total rules applied 47059 place count 4004 transition count 9480
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 238 with 9 rules applied. Total rules applied 47068 place count 4004 transition count 9471
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 238 with 2 rules applied. Total rules applied 47070 place count 4003 transition count 9482
Free-agglomeration rule applied 2066 times with reduction of 1248 identical transitions.
Iterating global reduction 238 with 2066 rules applied. Total rules applied 49136 place count 4003 transition count 6168
Reduce places removed 2066 places and 0 transitions.
Drop transitions removed 3120 transitions
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 3124 transitions.
Graph (complete) has 5054 edges and 1937 vertex of which 1920 are kept as prefixes of interest. Removing 17 places using SCC suffix rule.4 ms
Discarding 17 places :
Also discarding 0 output transitions
Iterating post reduction 238 with 5191 rules applied. Total rules applied 54327 place count 1920 transition count 3044
Discarding 576 places :
Symmetric choice reduction at 239 with 576 rule applications. Total rules 54903 place count 1344 transition count 2444
Iterating global reduction 239 with 576 rules applied. Total rules applied 55479 place count 1344 transition count 2444
Drop transitions removed 214 transitions
Redundant transition composition rules discarded 214 transitions
Iterating global reduction 239 with 214 rules applied. Total rules applied 55693 place count 1344 transition count 2230
Free-agglomeration rule applied 1 times.
Iterating global reduction 239 with 1 rules applied. Total rules applied 55694 place count 1344 transition count 2229
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 239 with 1 rules applied. Total rules applied 55695 place count 1343 transition count 2229
Drop transitions removed 123 transitions
Redundant transition composition rules discarded 123 transitions
Iterating global reduction 240 with 123 rules applied. Total rules applied 55818 place count 1343 transition count 2106
Partial Free-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 240 with 1 rules applied. Total rules applied 55819 place count 1343 transition count 2106
Applied a total of 55819 rules in 214911 ms. Remains 1343 /27146 variables (removed 25803) and now considering 2106/39849 (removed 37743) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 214912 ms. Remains : 1343/27146 places, 2106/39849 transitions.
Computed a total of 6377 stabilizing places and 6377 stable transitions
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202303021504/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G((F(p0)&&F(G(p1)))))'
Support contains 4 out of 27146 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Graph (trivial) has 25292 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 12909 transitions
Trivial Post-agglo rules discarded 12909 transitions
Performed 12909 trivial Post agglomeration. Transition count delta: 12909
Iterating post reduction 0 with 12909 rules applied. Total rules applied 12910 place count 25040 transition count 24701
Reduce places removed 12909 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 13672 rules applied. Total rules applied 26582 place count 12131 transition count 23938
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 27207 place count 11752 transition count 23692
Reduce places removed 123 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 3 with 125 rules applied. Total rules applied 27332 place count 11629 transition count 23690
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 27334 place count 11627 transition count 23690
Performed 123 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 123 Pre rules applied. Total rules applied 27334 place count 11627 transition count 23567
Deduced a syphon composed of 123 places in 736 ms
Reduce places removed 123 places and 0 transitions.
Iterating global reduction 5 with 246 rules applied. Total rules applied 27580 place count 11504 transition count 23567
Discarding 3286 places :
Symmetric choice reduction at 5 with 3286 rule applications. Total rules 30866 place count 8218 transition count 20281
Iterating global reduction 5 with 3286 rules applied. Total rules applied 34152 place count 8218 transition count 20281
Performed 1249 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1249 Pre rules applied. Total rules applied 34152 place count 8218 transition count 19032
Deduced a syphon composed of 1249 places in 619 ms
Reduce places removed 1249 places and 0 transitions.
Iterating global reduction 5 with 2498 rules applied. Total rules applied 36650 place count 6969 transition count 19032
Discarding 280 places :
Symmetric choice reduction at 5 with 280 rule applications. Total rules 36930 place count 6689 transition count 13362
Iterating global reduction 5 with 280 rules applied. Total rules applied 37210 place count 6689 transition count 13362
Ensure Unique test removed 255 transitions
Reduce isomorphic transitions removed 255 transitions.
Iterating post reduction 5 with 255 rules applied. Total rules applied 37465 place count 6689 transition count 13107
Performed 1777 Post agglomeration using F-continuation condition with reduction of 5 identical transitions.
Deduced a syphon composed of 1777 places in 3 ms
Reduce places removed 1777 places and 0 transitions.
Iterating global reduction 6 with 3554 rules applied. Total rules applied 41019 place count 4912 transition count 11325
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 6 with 5 rules applied. Total rules applied 41024 place count 4912 transition count 11320
Renaming transitions due to excessive name length > 1024 char.
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 2 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 7 with 202 rules applied. Total rules applied 41226 place count 4811 transition count 11790
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 41227 place count 4811 transition count 11789
Discarding 34 places :
Symmetric choice reduction at 8 with 34 rule applications. Total rules 41261 place count 4777 transition count 11449
Iterating global reduction 8 with 34 rules applied. Total rules applied 41295 place count 4777 transition count 11449
Ensure Unique test removed 166 transitions
Reduce isomorphic transitions removed 166 transitions.
Iterating post reduction 8 with 166 rules applied. Total rules applied 41461 place count 4777 transition count 11283
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 2 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 9 with 202 rules applied. Total rules applied 41663 place count 4676 transition count 11752
Discarding 33 places :
Symmetric choice reduction at 9 with 33 rule applications. Total rules 41696 place count 4643 transition count 11422
Iterating global reduction 9 with 33 rules applied. Total rules applied 41729 place count 4643 transition count 11422
Ensure Unique test removed 165 transitions
Reduce isomorphic transitions removed 165 transitions.
Iterating post reduction 9 with 165 rules applied. Total rules applied 41894 place count 4643 transition count 11257
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 2 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 10 with 202 rules applied. Total rules applied 42096 place count 4542 transition count 11734
Discarding 33 places :
Symmetric choice reduction at 10 with 33 rule applications. Total rules 42129 place count 4509 transition count 11404
Iterating global reduction 10 with 33 rules applied. Total rules applied 42162 place count 4509 transition count 11404
Ensure Unique test removed 165 transitions
Reduce isomorphic transitions removed 165 transitions.
Iterating post reduction 10 with 165 rules applied. Total rules applied 42327 place count 4509 transition count 11239
Performed 75 Post agglomeration using F-continuation condition with reduction of 110 identical transitions.
Deduced a syphon composed of 75 places in 2 ms
Reduce places removed 75 places and 0 transitions.
Iterating global reduction 11 with 150 rules applied. Total rules applied 42477 place count 4434 transition count 11622
Discarding 22 places :
Symmetric choice reduction at 11 with 22 rule applications. Total rules 42499 place count 4412 transition count 11396
Iterating global reduction 11 with 22 rules applied. Total rules applied 42521 place count 4412 transition count 11396
Ensure Unique test removed 112 transitions
Reduce isomorphic transitions removed 112 transitions.
Iterating post reduction 11 with 112 rules applied. Total rules applied 42633 place count 4412 transition count 11284
Drop transitions removed 36 transitions
Redundant transition composition rules discarded 36 transitions
Iterating global reduction 12 with 36 rules applied. Total rules applied 42669 place count 4412 transition count 11248
Discarding 10 places :
Symmetric choice reduction at 12 with 10 rule applications. Total rules 42679 place count 4402 transition count 11228
Iterating global reduction 12 with 10 rules applied. Total rules applied 42689 place count 4402 transition count 11228
Discarding 10 places :
Symmetric choice reduction at 12 with 10 rule applications. Total rules 42699 place count 4392 transition count 9952
Iterating global reduction 12 with 10 rules applied. Total rules applied 42709 place count 4392 transition count 9952
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 12 with 10 rules applied. Total rules applied 42719 place count 4392 transition count 9942
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 13 with 1 rules applied. Total rules applied 42720 place count 4391 transition count 9941
Applied a total of 42720 rules in 11478 ms. Remains 4391 /27146 variables (removed 22755) and now considering 9941/39849 (removed 29908) transitions.
[2023-03-08 13:36:17] [INFO ] Flow matrix only has 9792 transitions (discarded 149 similar events)
// Phase 1: matrix 9792 rows 4391 cols
[2023-03-08 13:36:17] [INFO ] Computed 1378 place invariants in 27 ms
[2023-03-08 13:36:20] [INFO ] Implicit Places using invariants in 2418 ms returned []
[2023-03-08 13:36:20] [INFO ] Flow matrix only has 9792 transitions (discarded 149 similar events)
[2023-03-08 13:36:20] [INFO ] Invariant cache hit.
[2023-03-08 13:36:22] [INFO ] Implicit Places using invariants and state equation in 2275 ms returned []
Implicit Place search using SMT with State Equation took 4696 ms to find 0 implicit places.
[2023-03-08 13:36:23] [INFO ] Redundant transitions in 1270 ms returned []
[2023-03-08 13:36:23] [INFO ] Flow matrix only has 9792 transitions (discarded 149 similar events)
[2023-03-08 13:36:23] [INFO ] Invariant cache hit.
[2023-03-08 13:36:28] [INFO ] Dead Transitions using invariants and state equation in 4940 ms found 0 transitions.
Starting structural reductions in SI_LTL mode, iteration 1 : 4391/27146 places, 9941/39849 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 22391 ms. Remains : 4391/27146 places, 9941/39849 transitions.
Stuttering acceptance computed with spot in 206 ms :[(OR (NOT p0) (NOT p1)), (NOT p0), (NOT p1)]
Running random walk in product with property : DLCshifumi-PT-5b-LTLCardinality-01 automaton TGBA Formula[mat=[[{ cond=true, acceptance={} source=0 dest: 0}, { cond=(NOT p0), acceptance={} source=0 dest: 1}, { cond=(NOT p1), acceptance={} source=0 dest: 2}], [{ cond=(NOT p0), acceptance={0} source=1 dest: 1}], [{ cond=p1, acceptance={} source=2 dest: 2}, { cond=(NOT p1), acceptance={0} source=2 dest: 2}]], initial=0, aps=[p0:(AND (EQ s433 0) (EQ s648 1)), p1:(AND (EQ s2324 0) (EQ s137 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-invariant], stateDesc=[null, null, null][true, true, true]]
Stuttering criterion allowed to conclude after 0 steps with 0 reset in 3 ms.
FORMULA DLCshifumi-PT-5b-LTLCardinality-01 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DLCshifumi-PT-5b-LTLCardinality-01 finished in 22684 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202303021504/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(G(F(p0)))'
Support contains 2 out of 27146 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Graph (trivial) has 25294 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.
Iterating post reduction 3 with 123 rules applied. Total rules applied 27334 place count 11627 transition count 23690
Performed 124 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 124 Pre rules applied. Total rules applied 27334 place count 11627 transition count 23566
Deduced a syphon composed of 124 places in 733 ms
Reduce places removed 124 places and 0 transitions.
Iterating global reduction 4 with 248 rules applied. Total rules applied 27582 place count 11503 transition count 23566
Discarding 3287 places :
Symmetric choice reduction at 4 with 3287 rule applications. Total rules 30869 place count 8216 transition count 20279
Iterating global reduction 4 with 3287 rules applied. Total rules applied 34156 place count 8216 transition count 20279
Performed 1250 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 1250 Pre rules applied. Total rules applied 34156 place count 8216 transition count 19029
Deduced a syphon composed of 1250 places in 621 ms
Reduce places removed 1250 places and 0 transitions.
Iterating global reduction 4 with 2500 rules applied. Total rules applied 36656 place count 6966 transition count 19029
Discarding 279 places :
Symmetric choice reduction at 4 with 279 rule applications. Total rules 36935 place count 6687 transition count 13364
Iterating global reduction 4 with 279 rules applied. Total rules applied 37214 place count 6687 transition count 13364
Ensure Unique test removed 254 transitions
Reduce isomorphic transitions removed 254 transitions.
Iterating post reduction 4 with 254 rules applied. Total rules applied 37468 place count 6687 transition count 13110
Performed 1778 Post agglomeration using F-continuation condition with reduction of 5 identical transitions.
Deduced a syphon composed of 1778 places in 2 ms
Reduce places removed 1778 places and 0 transitions.
Iterating global reduction 5 with 3556 rules applied. Total rules applied 41024 place count 4909 transition count 11327
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 5 with 5 rules applied. Total rules applied 41029 place count 4909 transition count 11322
Renaming transitions due to excessive name length > 1024 char.
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 1 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 6 with 202 rules applied. Total rules applied 41231 place count 4808 transition count 11792
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 41232 place count 4808 transition count 11791
Discarding 34 places :
Symmetric choice reduction at 7 with 34 rule applications. Total rules 41266 place count 4774 transition count 11451
Iterating global reduction 7 with 34 rules applied. Total rules applied 41300 place count 4774 transition count 11451
Ensure Unique test removed 166 transitions
Reduce isomorphic transitions removed 166 transitions.
Iterating post reduction 7 with 166 rules applied. Total rules applied 41466 place count 4774 transition count 11285
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 1 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 8 with 202 rules applied. Total rules applied 41668 place count 4673 transition count 11754
Discarding 33 places :
Symmetric choice reduction at 8 with 33 rule applications. Total rules 41701 place count 4640 transition count 11424
Iterating global reduction 8 with 33 rules applied. Total rules applied 41734 place count 4640 transition count 11424
Ensure Unique test removed 165 transitions
Reduce isomorphic transitions removed 165 transitions.
Iterating post reduction 8 with 165 rules applied. Total rules applied 41899 place count 4640 transition count 11259
Performed 101 Post agglomeration using F-continuation condition with reduction of 170 identical transitions.
Deduced a syphon composed of 101 places in 2 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 9 with 202 rules applied. Total rules applied 42101 place count 4539 transition count 11731
Discarding 34 places :
Symmetric choice reduction at 9 with 34 rule applications. Total rules 42135 place count 4505 transition count 11391
Iterating global reduction 9 with 34 rules applied. Total rules applied 42169 place count 4505 transition count 11391
Ensure Unique test removed 170 transitions
Reduce isomorphic transitions removed 170 transitions.
Iterating post reduction 9 with 170 rules applied. Total rules applied 42339 place count 4505 transition count 11221
Performed 70 Post agglomeration using F-continuation condition with reduction of 110 identical transitions.
Deduced a syphon composed of 70 places in 2 ms
Reduce places removed 70 places and 0 transitions.
Iterating global reduction 10 with 140 rules applied. Total rules applied 42479 place count 4435 transition count 11559
Discarding 22 places :
Symmetric choice reduction at 10 with 22 rule applications. Total rules 42501 place count 4413 transition count 11339
Iterating global reduction 10 with 22 rules applied. Total rules applied 42523 place count 4413 transition count 11339
Ensure Unique test removed 110 transitions
Reduce isomorphic transitions removed 110 transitions.
Iterating post reduction 10 with 110 rules applied. Total rules applied 42633 place count 4413 transition count 11229
Drop transitions removed 24 transitions
Redundant transition composition rules discarded 24 transitions
Iterating global reduction 11 with 24 rules applied. Total rules applied 42657 place count 4413 transition count 11205
Discarding 10 places :
Symmetric choice reduction at 11 with 10 rule applications. Total rules 42667 place count 4403 transition count 11185
Iterating global reduction 11 with 10 rules applied. Total rules applied 42677 place count 4403 transition count 11185
Discarding 10 places :
Symmetric choice reduction at 11 with 10 rule applications. Total rules 42687 place count 4393 transition count 9913
Iterating global reduction 11 with 10 rules applied. Total rules applied 42697 place count 4393 transition count 9913
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 11 with 10 rules applied. Total rules applied 42707 place count 4393 transition count 9903
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 12 with 1 rules applied. Total rules applied 42708 place count 4392 transition count 9902
Applied a total of 42708 rules in 12227 ms. Remains 4392 /27146 variables (removed 22754) and now considering 9902/39849 (removed 29947) transitions.
[2023-03-08 13:36:41] [INFO ] Flow matrix only has 9765 transitions (discarded 137 similar events)
// Phase 1: matrix 9765 rows 4392 cols
[2023-03-08 13:36:41] [INFO ] Computed 1378 place invariants in 27 ms
[2023-03-08 13:36:43] [INFO ] Implicit Places using invariants in 2222 ms returned []
[2023-03-08 13:36:43] [INFO ] Flow matrix only has 9765 transitions (discarded 137 similar events)
[2023-03-08 13:36:43] [INFO ] Invariant cache hit.
[2023-03-08 13:36:44] [INFO ] Implicit Places using invariants and state equation in 1232 ms returned []
Implicit Place search using SMT with State Equation took 3456 ms to find 0 implicit places.
[2023-03-08 13:36:45] [INFO ] Redundant transitions in 1089 ms returned []
[2023-03-08 13:36:45] [INFO ] Flow matrix only has 9765 transitions (discarded 137 similar events)
[2023-03-08 13:36:45] [INFO ] Invariant cache hit.
[2023-03-08 13:36:50] [INFO ] Dead Transitions using invariants and state equation in 5065 ms found 0 transitions.
Starting structural reductions in SI_LTL mode, iteration 1 : 4392/27146 places, 9902/39849 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 21861 ms. Remains : 4392/27146 places, 9902/39849 transitions.
Stuttering acceptance computed with spot in 65 ms :[(NOT p0), (NOT p0)]
Running random walk in product with property : DLCshifumi-PT-5b-LTLCardinality-02 automaton TGBA Formula[mat=[[{ cond=true, acceptance={} source=0 dest: 0}, { cond=(NOT p0), acceptance={} source=0 dest: 1}], [{ cond=(NOT p0), acceptance={0} source=1 dest: 1}]], initial=0, aps=[p0:(OR (EQ s415 0) (EQ s308 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-invariant, very-weak, weak, inherently-weak], stateDesc=[null, null][true, true]]
Stuttering criterion allowed to conclude after 2191 steps with 0 reset in 514 ms.
FORMULA DLCshifumi-PT-5b-LTLCardinality-02 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DLCshifumi-PT-5b-LTLCardinality-02 finished in 22482 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202303021504/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(F((G(F(!p0))||(!p1&&F(!p0))))))'
Support contains 4 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 1639 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
// Phase 1: matrix 39849 rows 27146 cols
[2023-03-08 13:36:53] [INFO ] Computed 1378 place invariants in 162 ms
[2023-03-08 13:36:56] [INFO ] Implicit Places using invariants in 3195 ms returned []
Implicit Place search using SMT only with invariants took 3195 ms to find 0 implicit places.
[2023-03-08 13:36:56] [INFO ] Invariant cache hit.
[2023-03-08 13:36:59] [INFO ] Dead Transitions using invariants and state equation in 3015 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 7851 ms. Remains : 27146/27146 places, 39849/39849 transitions.
Stuttering acceptance computed with spot in 114 ms :[p0, p0, p0]
Running random walk in product with property : DLCshifumi-PT-5b-LTLCardinality-03 automaton TGBA Formula[mat=[[{ cond=true, acceptance={} source=0 dest: 1}], [{ cond=p1, acceptance={} source=1 dest: 1}, { cond=p0, acceptance={} source=1 dest: 2}], [{ cond=p0, acceptance={0} source=2 dest: 2}]], initial=0, aps=[p1:(OR (NOT (OR (EQ s5986 0) (EQ s25757 1))) (NOT (OR (EQ s17347 0) (EQ s13063 1)))), p0:(OR (EQ s5986 0) (EQ s25757 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-sensitive], stateDesc=[null, null, null][false, false, false]]
Stuttering criterion allowed to conclude after 78074 steps with 1 reset in 2066 ms.
FORMULA DLCshifumi-PT-5b-LTLCardinality-03 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DLCshifumi-PT-5b-LTLCardinality-03 finished in 11139 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202303021504/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(G(p0)))'
Support contains 2 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 1667 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
[2023-03-08 13:37:04] [INFO ] Invariant cache hit.
[2023-03-08 13:37:07] [INFO ] Implicit Places using invariants in 3006 ms returned []
Implicit Place search using SMT only with invariants took 3007 ms to find 0 implicit places.
[2023-03-08 13:37:07] [INFO ] Invariant cache hit.
[2023-03-08 13:37:10] [INFO ] Dead Transitions using invariants and state equation in 2949 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 7631 ms. Remains : 27146/27146 places, 39849/39849 transitions.
Stuttering acceptance computed with spot in 91 ms :[true, (NOT p0), (NOT p0)]
Running random walk in product with property : DLCshifumi-PT-5b-LTLCardinality-05 automaton TGBA Formula[mat=[[{ cond=true, acceptance={0} source=0 dest: 0}], [{ cond=true, acceptance={} source=1 dest: 2}], [{ cond=(NOT p0), acceptance={} source=2 dest: 0}, { cond=p0, acceptance={} source=2 dest: 2}]], initial=1, aps=[p0:(OR (EQ s12651 0) (EQ s1683 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-sensitive, terminal, very-weak, weak, inherently-weak], stateDesc=[null, null, null][false, false, false]]
Entered a terminal (fully accepting) state of product in 52984 steps with 0 reset in 1461 ms.
FORMULA DLCshifumi-PT-5b-LTLCardinality-05 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DLCshifumi-PT-5b-LTLCardinality-05 finished in 10261 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202303021504/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(X(G((p0||(X(p1) U G(p1))))))'
Support contains 4 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 1649 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
[2023-03-08 13:37:14] [INFO ] Invariant cache hit.
[2023-03-08 13:37:17] [INFO ] Implicit Places using invariants in 3011 ms returned []
Implicit Place search using SMT only with invariants took 3012 ms to find 0 implicit places.
[2023-03-08 13:37:17] [INFO ] Invariant cache hit.
[2023-03-08 13:37:20] [INFO ] Dead Transitions using invariants and state equation in 3010 ms found 0 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 7685 ms. Remains : 27146/27146 places, 39849/39849 transitions.
Stuttering acceptance computed with spot in 123 ms :[true, (NOT p1), (AND (NOT p1) (NOT p0)), (AND (NOT p0) (NOT p1))]
Running random walk in product with property : DLCshifumi-PT-5b-LTLCardinality-07 automaton TGBA Formula[mat=[[{ cond=true, acceptance={0} source=0 dest: 0}], [{ cond=(NOT p1), acceptance={} source=1 dest: 0}, { cond=p1, acceptance={} source=1 dest: 1}], [{ cond=true, acceptance={} source=2 dest: 3}], [{ cond=(NOT p0), acceptance={} source=3 dest: 1}, { cond=p0, acceptance={} source=3 dest: 3}]], initial=2, aps=[p1:(OR (EQ s16311 0) (EQ s528 1)), p0:(AND (EQ s4613 0) (EQ s12996 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-sensitive, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null][false, false, false, false]]
Product exploration explored 100000 steps with 1 reset in 2699 ms.
Entered a terminal (fully accepting) state of product in 28422 steps with 0 reset in 829 ms.
FORMULA DLCshifumi-PT-5b-LTLCardinality-07 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DLCshifumi-PT-5b-LTLCardinality-07 finished in 12399 ms.
Running Spot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202303021504/bin/ltl2tgba-linux64' '--check=stutter' '--hoaf=tv' '-f' '!(F((p0&&F(p1))))'
Support contains 3 out of 27146 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Graph (trivial) has 25292 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 123 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 123 Pre rules applied. Total rules applied 27336 place count 11626 transition count 23566
Deduced a syphon composed of 123 places in 718 ms
Reduce places removed 123 places and 0 transitions.
Iterating global reduction 5 with 246 rules applied. Total rules applied 27582 place count 11503 transition count 23566
Discarding 3287 places :
Symmetric choice reduction at 5 with 3287 rule applications. Total rules 30869 place count 8216 transition count 20279
Iterating global reduction 5 with 3287 rules applied. Total rules applied 34156 place count 8216 transition count 20279
Performed 1249 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1249 Pre rules applied. Total rules applied 34156 place count 8216 transition count 19030
Deduced a syphon composed of 1249 places in 614 ms
Reduce places removed 1249 places and 0 transitions.
Iterating global reduction 5 with 2498 rules applied. Total rules applied 36654 place count 6967 transition count 19030
Discarding 281 places :
Symmetric choice reduction at 5 with 281 rule applications. Total rules 36935 place count 6686 transition count 13355
Iterating global reduction 5 with 281 rules applied. Total rules applied 37216 place count 6686 transition count 13355
Ensure Unique test removed 256 transitions
Reduce isomorphic transitions removed 256 transitions.
Iterating post reduction 5 with 256 rules applied. Total rules applied 37472 place count 6686 transition count 13099
Performed 1779 Post agglomeration using F-continuation condition with reduction of 5 identical transitions.
Deduced a syphon composed of 1779 places in 2 ms
Reduce places removed 1779 places and 0 transitions.
Iterating global reduction 6 with 3558 rules applied. Total rules applied 41030 place count 4907 transition count 11315
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 6 with 5 rules applied. Total rules applied 41035 place count 4907 transition count 11310
Renaming transitions due to excessive name length > 1024 char.
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 2 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 7 with 202 rules applied. Total rules applied 41237 place count 4806 transition count 11780
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 41238 place count 4806 transition count 11779
Discarding 34 places :
Symmetric choice reduction at 8 with 34 rule applications. Total rules 41272 place count 4772 transition count 11439
Iterating global reduction 8 with 34 rules applied. Total rules applied 41306 place count 4772 transition count 11439
Ensure Unique test removed 166 transitions
Reduce isomorphic transitions removed 166 transitions.
Iterating post reduction 8 with 166 rules applied. Total rules applied 41472 place count 4772 transition count 11273
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 1 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 9 with 202 rules applied. Total rules applied 41674 place count 4671 transition count 11742
Discarding 33 places :
Symmetric choice reduction at 9 with 33 rule applications. Total rules 41707 place count 4638 transition count 11412
Iterating global reduction 9 with 33 rules applied. Total rules applied 41740 place count 4638 transition count 11412
Ensure Unique test removed 165 transitions
Reduce isomorphic transitions removed 165 transitions.
Iterating post reduction 9 with 165 rules applied. Total rules applied 41905 place count 4638 transition count 11247
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 2 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 10 with 202 rules applied. Total rules applied 42107 place count 4537 transition count 11720
Discarding 33 places :
Symmetric choice reduction at 10 with 33 rule applications. Total rules 42140 place count 4504 transition count 11390
Iterating global reduction 10 with 33 rules applied. Total rules applied 42173 place count 4504 transition count 11390
Ensure Unique test removed 165 transitions
Reduce isomorphic transitions removed 165 transitions.
Iterating post reduction 10 with 165 rules applied. Total rules applied 42338 place count 4504 transition count 11225
Performed 69 Post agglomeration using F-continuation condition with reduction of 110 identical transitions.
Deduced a syphon composed of 69 places in 2 ms
Reduce places removed 69 places and 0 transitions.
Iterating global reduction 11 with 138 rules applied. Total rules applied 42476 place count 4435 transition count 11559
Discarding 22 places :
Symmetric choice reduction at 11 with 22 rule applications. Total rules 42498 place count 4413 transition count 11339
Iterating global reduction 11 with 22 rules applied. Total rules applied 42520 place count 4413 transition count 11339
Ensure Unique test removed 110 transitions
Reduce isomorphic transitions removed 110 transitions.
Iterating post reduction 11 with 110 rules applied. Total rules applied 42630 place count 4413 transition count 11229
Drop transitions removed 24 transitions
Redundant transition composition rules discarded 24 transitions
Iterating global reduction 12 with 24 rules applied. Total rules applied 42654 place count 4413 transition count 11205
Discarding 10 places :
Symmetric choice reduction at 12 with 10 rule applications. Total rules 42664 place count 4403 transition count 11185
Iterating global reduction 12 with 10 rules applied. Total rules applied 42674 place count 4403 transition count 11185
Discarding 10 places :
Symmetric choice reduction at 12 with 10 rule applications. Total rules 42684 place count 4393 transition count 9913
Iterating global reduction 12 with 10 rules applied. Total rules applied 42694 place count 4393 transition count 9913
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 12 with 10 rules applied. Total rules applied 42704 place count 4393 transition count 9903
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 13 with 1 rules applied. Total rules applied 42705 place count 4392 transition count 9902
Applied a total of 42705 rules in 13748 ms. Remains 4392 /27146 variables (removed 22754) and now considering 9902/39849 (removed 29947) transitions.
[2023-03-08 13:37:38] [INFO ] Flow matrix only has 9765 transitions (discarded 137 similar events)
// Phase 1: matrix 9765 rows 4392 cols
[2023-03-08 13:37:38] [INFO ] Computed 1378 place invariants in 28 ms
[2023-03-08 13:37:41] [INFO ] Implicit Places using invariants in 2256 ms returned []
[2023-03-08 13:37:41] [INFO ] Flow matrix only has 9765 transitions (discarded 137 similar events)
[2023-03-08 13:37:41] [INFO ] Invariant cache hit.
[2023-03-08 13:37:42] [INFO ] Implicit Places using invariants and state equation in 1219 ms returned []
Implicit Place search using SMT with State Equation took 3478 ms to find 0 implicit places.
[2023-03-08 13:37:43] [INFO ] Redundant transitions in 1081 ms returned []
[2023-03-08 13:37:43] [INFO ] Flow matrix only has 9765 transitions (discarded 137 similar events)
[2023-03-08 13:37:43] [INFO ] Invariant cache hit.
[2023-03-08 13:37:48] [INFO ] Dead Transitions using invariants and state equation in 4898 ms found 0 transitions.
Starting structural reductions in SI_LTL mode, iteration 1 : 4392/27146 places, 9902/39849 transitions.
Finished structural reductions in SI_LTL mode , in 1 iterations and 23217 ms. Remains : 4392/27146 places, 9902/39849 transitions.
Stuttering acceptance computed with spot in 68 ms :[(NOT p1), (OR (NOT p0) (NOT p1))]
Running random walk in product with property : DLCshifumi-PT-5b-LTLCardinality-11 automaton TGBA Formula[mat=[[{ cond=(NOT p1), acceptance={0} source=0 dest: 0}], [{ cond=(AND p0 (NOT p1)), acceptance={0} source=1 dest: 0}, { cond=(NOT p0), acceptance={0} source=1 dest: 1}]], initial=1, aps=[p1:(AND (EQ s3527 0) (EQ s4238 1)), p0:(EQ s360 1)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, colored, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-invariant, very-weak, weak, inherently-weak], stateDesc=[null, null][true, true]]
Stuttering criterion allowed to conclude after 0 steps with 0 reset in 0 ms.
FORMULA DLCshifumi-PT-5b-LTLCardinality-11 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DLCshifumi-PT-5b-LTLCardinality-11 finished in 23330 ms.
All properties solved by simple procedures.
Total runtime 383976 ms.
ITS solved all properties within timeout

BK_STOP 1678282669449

--------------------
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 LTLCardinality -timeout 360 -rebuildPNML

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCshifumi-PT-5b"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="lolaxred"
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 lolaxred"
echo " Input is DLCshifumi-PT-5b, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r103-tall-167814478800851"
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 [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "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 [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.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 '' LTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
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 ;