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-167814478800821.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-3b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r103-tall-167814478800821
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.6M
-rw-r--r-- 1 mcc users 5.7K Feb 26 08:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 54K Feb 26 08:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 08:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 08:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K 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 17K Feb 25 15:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.9K Feb 26 08:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 26 08:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 08:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 08:04 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 2.3M 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 positive values
NUM_VECTOR

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

=== Now, execution of the tool begins

BK_START 1678280821873

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=UpperBounds
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCshifumi-PT-3b
Applying reductions before tool lola
Invoking reducer
Running Version 202303021504
[2023-03-08 13:07:03] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -timeout, 360, -rebuildPNML]
[2023-03-08 13:07:03] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-08 13:07:03] [INFO ] Load time of PNML (sax parser for PT used): 248 ms
[2023-03-08 13:07:03] [INFO ] Transformed 7058 places.
[2023-03-08 13:07:03] [INFO ] Transformed 9611 transitions.
[2023-03-08 13:07:03] [INFO ] Found NUPN structural information;
[2023-03-08 13:07:03] [INFO ] Parsed PT model containing 7058 places and 9611 transitions and 24573 arcs in 448 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 6 ms.
// Phase 1: matrix 9611 rows 7058 cols
[2023-03-08 13:07:04] [INFO ] Computed 282 place invariants in 84 ms
Incomplete random walk after 10000 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=79 ) properties (out of 16) seen :8
FORMULA DLCshifumi-PT-3b-UpperBounds-15 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-3b-UpperBounds-12 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-3b-UpperBounds-09 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-3b-UpperBounds-08 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-3b-UpperBounds-06 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-3b-UpperBounds-05 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-3b-UpperBounds-04 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-3b-UpperBounds-01 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=555 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=909 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=909 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=833 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=833 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=555 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=1000 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 8 ms. (steps per millisecond=1250 ) properties (out of 8) seen :0
[2023-03-08 13:07:04] [INFO ] Invariant cache hit.
[2023-03-08 13:07:06] [INFO ] [Real]Absence check using 282 positive place invariants in 413 ms returned sat
[2023-03-08 13:07:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-08 13:07:09] [INFO ] [Real]Absence check using state equation in 3457 ms returned unknown
[2023-03-08 13:07:11] [INFO ] [Real]Absence check using 282 positive place invariants in 398 ms returned sat
[2023-03-08 13:07:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-08 13:07:14] [INFO ] [Real]Absence check using state equation in 3577 ms returned unknown
[2023-03-08 13:07:16] [INFO ] [Real]Absence check using 282 positive place invariants in 379 ms returned sat
[2023-03-08 13:07:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-08 13:07:19] [INFO ] [Real]Absence check using state equation in 3584 ms returned unknown
[2023-03-08 13:07:21] [INFO ] [Real]Absence check using 282 positive place invariants in 383 ms returned sat
[2023-03-08 13:07:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-08 13:07:24] [INFO ] [Real]Absence check using state equation in 3614 ms returned unknown
[2023-03-08 13:07:26] [INFO ] [Real]Absence check using 282 positive place invariants in 373 ms returned sat
[2023-03-08 13:07:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-08 13:07:29] [INFO ] [Real]Absence check using state equation in 3630 ms returned unknown
[2023-03-08 13:07:31] [INFO ] [Real]Absence check using 282 positive place invariants in 367 ms returned sat
[2023-03-08 13:07:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-08 13:07:34] [INFO ] [Real]Absence check using state equation in 3637 ms returned unknown
[2023-03-08 13:07:36] [INFO ] [Real]Absence check using 282 positive place invariants in 367 ms returned sat
[2023-03-08 13:07:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-08 13:07:39] [INFO ] [Real]Absence check using state equation in 3630 ms returned unknown
[2023-03-08 13:07:41] [INFO ] [Real]Absence check using 282 positive place invariants in 380 ms returned sat
[2023-03-08 13:07:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2023-03-08 13:07:44] [INFO ] [Real]Absence check using state equation in 3704 ms returned unknown
Current structural bounds on expressions (after SMT) : [1, 1, 1, 1, 1, 1, 1, 1] Max seen :[0, 0, 0, 0, 0, 0, 0, 0]
Support contains 8 out of 7058 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 7058/7058 places, 9611/9611 transitions.
Graph (trivial) has 6782 edges and 7058 vertex of which 785 / 7058 are part of one of the 51 SCC in 29 ms
Free SCC test removed 734 places
Drop transitions removed 829 transitions
Reduce isomorphic transitions removed 829 transitions.
Drop transitions removed 3508 transitions
Trivial Post-agglo rules discarded 3508 transitions
Performed 3508 trivial Post agglomeration. Transition count delta: 3508
Iterating post reduction 0 with 3508 rules applied. Total rules applied 3509 place count 6324 transition count 5274
Reduce places removed 3508 places and 0 transitions.
Ensure Unique test removed 125 transitions
Reduce isomorphic transitions removed 125 transitions.
Drop transitions removed 122 transitions
Trivial Post-agglo rules discarded 122 transitions
Performed 122 trivial Post agglomeration. Transition count delta: 122
Iterating post reduction 1 with 3755 rules applied. Total rules applied 7264 place count 2816 transition count 5027
Reduce places removed 122 places and 0 transitions.
Ensure Unique test removed 38 transitions
Reduce isomorphic transitions removed 38 transitions.
Drop transitions removed 38 transitions
Trivial Post-agglo rules discarded 38 transitions
Performed 38 trivial Post agglomeration. Transition count delta: 38
Iterating post reduction 2 with 198 rules applied. Total rules applied 7462 place count 2694 transition count 4951
Reduce places removed 38 places and 0 transitions.
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Iterating post reduction 3 with 43 rules applied. Total rules applied 7505 place count 2656 transition count 4946
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 4 with 5 rules applied. Total rules applied 7510 place count 2651 transition count 4946
Performed 40 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 40 Pre rules applied. Total rules applied 7510 place count 2651 transition count 4906
Deduced a syphon composed of 40 places in 30 ms
Reduce places removed 40 places and 0 transitions.
Iterating global reduction 5 with 80 rules applied. Total rules applied 7590 place count 2611 transition count 4906
Discarding 739 places :
Symmetric choice reduction at 5 with 739 rule applications. Total rules 8329 place count 1872 transition count 4167
Iterating global reduction 5 with 739 rules applied. Total rules applied 9068 place count 1872 transition count 4167
Performed 283 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 283 Pre rules applied. Total rules applied 9068 place count 1872 transition count 3884
Deduced a syphon composed of 283 places in 25 ms
Reduce places removed 283 places and 0 transitions.
Iterating global reduction 5 with 566 rules applied. Total rules applied 9634 place count 1589 transition count 3884
Discarding 95 places :
Symmetric choice reduction at 5 with 95 rule applications. Total rules 9729 place count 1494 transition count 2839
Iterating global reduction 5 with 95 rules applied. Total rules applied 9824 place count 1494 transition count 2839
Ensure Unique test removed 81 transitions
Reduce isomorphic transitions removed 81 transitions.
Iterating post reduction 5 with 81 rules applied. Total rules applied 9905 place count 1494 transition count 2758
Performed 376 Post agglomeration using F-continuation condition with reduction of 3 identical transitions.
Deduced a syphon composed of 376 places in 2 ms
Reduce places removed 376 places and 0 transitions.
Iterating global reduction 6 with 752 rules applied. Total rules applied 10657 place count 1118 transition count 2379
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 6 with 3 rules applied. Total rules applied 10660 place count 1118 transition count 2376
Renaming transitions due to excessive name length > 1024 char.
Performed 101 Post agglomeration using F-continuation condition with reduction of 96 identical transitions.
Deduced a syphon composed of 101 places in 1 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 7 with 202 rules applied. Total rules applied 10862 place count 1017 transition count 2581
Discarding 32 places :
Symmetric choice reduction at 7 with 32 rule applications. Total rules 10894 place count 985 transition count 2389
Iterating global reduction 7 with 32 rules applied. Total rules applied 10926 place count 985 transition count 2389
Ensure Unique test removed 96 transitions
Reduce isomorphic transitions removed 96 transitions.
Iterating post reduction 7 with 96 rules applied. Total rules applied 11022 place count 985 transition count 2293
Performed 22 Post agglomeration using F-continuation condition with reduction of 18 identical transitions.
Deduced a syphon composed of 22 places in 2 ms
Reduce places removed 22 places and 0 transitions.
Iterating global reduction 8 with 44 rules applied. Total rules applied 11066 place count 963 transition count 2358
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 8 with 7 rules applied. Total rules applied 11073 place count 963 transition count 2351
Discarding 6 places :
Symmetric choice reduction at 9 with 6 rule applications. Total rules 11079 place count 957 transition count 2315
Iterating global reduction 9 with 6 rules applied. Total rules applied 11085 place count 957 transition count 2315
Ensure Unique test removed 18 transitions
Reduce isomorphic transitions removed 18 transitions.
Iterating post reduction 9 with 18 rules applied. Total rules applied 11103 place count 957 transition count 2297
Drop transitions removed 32 transitions
Redundant transition composition rules discarded 32 transitions
Iterating global reduction 10 with 32 rules applied. Total rules applied 11135 place count 957 transition count 2265
Discarding 5 places :
Symmetric choice reduction at 10 with 5 rule applications. Total rules 11140 place count 952 transition count 2260
Iterating global reduction 10 with 5 rules applied. Total rules applied 11145 place count 952 transition count 2260
Discarding 5 places :
Symmetric choice reduction at 10 with 5 rule applications. Total rules 11150 place count 947 transition count 2053
Iterating global reduction 10 with 5 rules applied. Total rules applied 11155 place count 947 transition count 2053
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 10 with 5 rules applied. Total rules applied 11160 place count 947 transition count 2048
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 11 with 6 rules applied. Total rules applied 11166 place count 944 transition count 2045
Discarding 3 places :
Symmetric choice reduction at 11 with 3 rule applications. Total rules 11169 place count 941 transition count 1921
Iterating global reduction 11 with 3 rules applied. Total rules applied 11172 place count 941 transition count 1921
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 11 with 3 rules applied. Total rules applied 11175 place count 941 transition count 1918
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 12 with 8 rules applied. Total rules applied 11183 place count 937 transition count 1945
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 12 with 5 rules applied. Total rules applied 11188 place count 937 transition count 1940
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 13 with 22 rules applied. Total rules applied 11210 place count 937 transition count 1918
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 13 with 8 rules applied. Total rules applied 11218 place count 933 transition count 1945
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 13 with 6 rules applied. Total rules applied 11224 place count 933 transition count 1939
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 14 with 21 rules applied. Total rules applied 11245 place count 933 transition count 1918
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 14 with 8 rules applied. Total rules applied 11253 place count 929 transition count 1945
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 14 with 6 rules applied. Total rules applied 11259 place count 929 transition count 1939
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 15 with 21 rules applied. Total rules applied 11280 place count 929 transition count 1918
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 15 with 8 rules applied. Total rules applied 11288 place count 925 transition count 1945
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 15 with 6 rules applied. Total rules applied 11294 place count 925 transition count 1939
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 16 with 21 rules applied. Total rules applied 11315 place count 925 transition count 1918
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 11323 place count 921 transition count 1945
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 16 with 6 rules applied. Total rules applied 11329 place count 921 transition count 1939
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 17 with 21 rules applied. Total rules applied 11350 place count 921 transition count 1918
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 17 with 8 rules applied. Total rules applied 11358 place count 917 transition count 1945
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 17 with 6 rules applied. Total rules applied 11364 place count 917 transition count 1939
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 18 with 21 rules applied. Total rules applied 11385 place count 917 transition count 1918
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 18 with 8 rules applied. Total rules applied 11393 place count 913 transition count 1949
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 18 with 7 rules applied. Total rules applied 11400 place count 913 transition count 1942
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 19 with 21 rules applied. Total rules applied 11421 place count 913 transition count 1921
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 19 with 8 rules applied. Total rules applied 11429 place count 909 transition count 1949
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 19 with 6 rules applied. Total rules applied 11435 place count 909 transition count 1943
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 20 with 21 rules applied. Total rules applied 11456 place count 909 transition count 1922
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 20 with 8 rules applied. Total rules applied 11464 place count 905 transition count 1949
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 20 with 6 rules applied. Total rules applied 11470 place count 905 transition count 1943
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 21 with 21 rules applied. Total rules applied 11491 place count 905 transition count 1922
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 21 with 8 rules applied. Total rules applied 11499 place count 901 transition count 1950
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 21 with 6 rules applied. Total rules applied 11505 place count 901 transition count 1944
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 22 with 21 rules applied. Total rules applied 11526 place count 901 transition count 1923
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 22 with 8 rules applied. Total rules applied 11534 place count 897 transition count 1952
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 22 with 7 rules applied. Total rules applied 11541 place count 897 transition count 1945
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 23 with 21 rules applied. Total rules applied 11562 place count 897 transition count 1924
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -26
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 23 with 8 rules applied. Total rules applied 11570 place count 893 transition count 1950
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 23 with 5 rules applied. Total rules applied 11575 place count 893 transition count 1945
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 24 with 19 rules applied. Total rules applied 11594 place count 893 transition count 1926
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 24 with 6 rules applied. Total rules applied 11600 place count 890 transition count 1949
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 24 with 5 rules applied. Total rules applied 11605 place count 890 transition count 1944
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 25 with 18 rules applied. Total rules applied 11623 place count 890 transition count 1926
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 25 with 6 rules applied. Total rules applied 11629 place count 887 transition count 1949
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 25 with 4 rules applied. Total rules applied 11633 place count 887 transition count 1945
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 26 with 19 rules applied. Total rules applied 11652 place count 887 transition count 1926
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 26 with 6 rules applied. Total rules applied 11658 place count 884 transition count 1949
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 26 with 5 rules applied. Total rules applied 11663 place count 884 transition count 1944
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 27 with 18 rules applied. Total rules applied 11681 place count 884 transition count 1926
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 27 with 6 rules applied. Total rules applied 11687 place count 881 transition count 1949
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 27 with 4 rules applied. Total rules applied 11691 place count 881 transition count 1945
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 28 with 19 rules applied. Total rules applied 11710 place count 881 transition count 1926
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 28 with 6 rules applied. Total rules applied 11716 place count 878 transition count 1949
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 28 with 5 rules applied. Total rules applied 11721 place count 878 transition count 1944
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 29 with 18 rules applied. Total rules applied 11739 place count 878 transition count 1926
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 0 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 29 with 6 rules applied. Total rules applied 11745 place count 875 transition count 1949
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 29 with 3 rules applied. Total rules applied 11748 place count 875 transition count 1946
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 30 with 15 rules applied. Total rules applied 11763 place count 875 transition count 1931
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 30 with 4 rules applied. Total rules applied 11767 place count 873 transition count 1949
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 30 with 3 rules applied. Total rules applied 11770 place count 873 transition count 1946
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 31 with 15 rules applied. Total rules applied 11785 place count 873 transition count 1931
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 31 with 4 rules applied. Total rules applied 11789 place count 871 transition count 1949
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 31 with 3 rules applied. Total rules applied 11792 place count 871 transition count 1946
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 32 with 15 rules applied. Total rules applied 11807 place count 871 transition count 1931
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 32 with 4 rules applied. Total rules applied 11811 place count 869 transition count 1949
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 32 with 3 rules applied. Total rules applied 11814 place count 869 transition count 1946
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 33 with 15 rules applied. Total rules applied 11829 place count 869 transition count 1931
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 33 with 4 rules applied. Total rules applied 11833 place count 867 transition count 1949
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 33 with 3 rules applied. Total rules applied 11836 place count 867 transition count 1946
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 34 with 15 rules applied. Total rules applied 11851 place count 867 transition count 1931
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 34 with 4 rules applied. Total rules applied 11855 place count 865 transition count 1949
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 34 with 3 rules applied. Total rules applied 11858 place count 865 transition count 1946
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 35 with 15 rules applied. Total rules applied 11873 place count 865 transition count 1931
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 35 with 4 rules applied. Total rules applied 11877 place count 863 transition count 1949
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 35 with 3 rules applied. Total rules applied 11880 place count 863 transition count 1946
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 36 with 15 rules applied. Total rules applied 11895 place count 863 transition count 1931
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 36 with 4 rules applied. Total rules applied 11899 place count 861 transition count 1949
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 36 with 3 rules applied. Total rules applied 11902 place count 861 transition count 1946
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 37 with 15 rules applied. Total rules applied 11917 place count 861 transition count 1931
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 37 with 4 rules applied. Total rules applied 11921 place count 859 transition count 1949
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 37 with 3 rules applied. Total rules applied 11924 place count 859 transition count 1946
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 38 with 15 rules applied. Total rules applied 11939 place count 859 transition count 1931
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 38 with 4 rules applied. Total rules applied 11943 place count 857 transition count 1949
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 38 with 3 rules applied. Total rules applied 11946 place count 857 transition count 1946
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 39 with 15 rules applied. Total rules applied 11961 place count 857 transition count 1931
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 39 with 4 rules applied. Total rules applied 11965 place count 855 transition count 1949
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 39 with 3 rules applied. Total rules applied 11968 place count 855 transition count 1946
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 40 with 15 rules applied. Total rules applied 11983 place count 855 transition count 1931
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 40 with 4 rules applied. Total rules applied 11987 place count 853 transition count 1949
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 40 with 3 rules applied. Total rules applied 11990 place count 853 transition count 1946
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 41 with 15 rules applied. Total rules applied 12005 place count 853 transition count 1931
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 41 with 4 rules applied. Total rules applied 12009 place count 851 transition count 1949
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 41 with 3 rules applied. Total rules applied 12012 place count 851 transition count 1946
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 42 with 15 rules applied. Total rules applied 12027 place count 851 transition count 1931
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 42 with 4 rules applied. Total rules applied 12031 place count 849 transition count 1949
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 42 with 3 rules applied. Total rules applied 12034 place count 849 transition count 1946
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 43 with 15 rules applied. Total rules applied 12049 place count 849 transition count 1931
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 43 with 4 rules applied. Total rules applied 12053 place count 847 transition count 1949
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 43 with 3 rules applied. Total rules applied 12056 place count 847 transition count 1946
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 44 with 15 rules applied. Total rules applied 12071 place count 847 transition count 1931
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 44 with 4 rules applied. Total rules applied 12075 place count 845 transition count 1949
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 44 with 3 rules applied. Total rules applied 12078 place count 845 transition count 1946
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 45 with 15 rules applied. Total rules applied 12093 place count 845 transition count 1931
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 45 with 4 rules applied. Total rules applied 12097 place count 843 transition count 1949
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 45 with 3 rules applied. Total rules applied 12100 place count 843 transition count 1946
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 46 with 15 rules applied. Total rules applied 12115 place count 843 transition count 1931
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 46 with 4 rules applied. Total rules applied 12119 place count 841 transition count 1949
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 46 with 3 rules applied. Total rules applied 12122 place count 841 transition count 1946
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 47 with 15 rules applied. Total rules applied 12137 place count 841 transition count 1931
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 47 with 4 rules applied. Total rules applied 12141 place count 839 transition count 1949
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 47 with 3 rules applied. Total rules applied 12144 place count 839 transition count 1946
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 48 with 15 rules applied. Total rules applied 12159 place count 839 transition count 1931
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -22
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 48 with 4 rules applied. Total rules applied 12163 place count 837 transition count 1953
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 48 with 4 rules applied. Total rules applied 12167 place count 837 transition count 1949
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 49 with 15 rules applied. Total rules applied 12182 place count 837 transition count 1934
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 49 with 4 rules applied. Total rules applied 12186 place count 835 transition count 1952
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 49 with 3 rules applied. Total rules applied 12189 place count 835 transition count 1949
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 50 with 15 rules applied. Total rules applied 12204 place count 835 transition count 1934
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 50 with 4 rules applied. Total rules applied 12208 place count 833 transition count 1952
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 50 with 3 rules applied. Total rules applied 12211 place count 833 transition count 1949
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 51 with 15 rules applied. Total rules applied 12226 place count 833 transition count 1934
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -19
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 51 with 4 rules applied. Total rules applied 12230 place count 831 transition count 1953
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 51 with 3 rules applied. Total rules applied 12233 place count 831 transition count 1950
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 52 with 15 rules applied. Total rules applied 12248 place count 831 transition count 1935
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 52 with 4 rules applied. Total rules applied 12252 place count 829 transition count 1953
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 52 with 3 rules applied. Total rules applied 12255 place count 829 transition count 1950
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 53 with 15 rules applied. Total rules applied 12270 place count 829 transition count 1935
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 53 with 4 rules applied. Total rules applied 12274 place count 827 transition count 1953
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 53 with 3 rules applied. Total rules applied 12277 place count 827 transition count 1950
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 54 with 15 rules applied. Total rules applied 12292 place count 827 transition count 1935
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 54 with 4 rules applied. Total rules applied 12296 place count 825 transition count 1953
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 54 with 3 rules applied. Total rules applied 12299 place count 825 transition count 1950
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 55 with 15 rules applied. Total rules applied 12314 place count 825 transition count 1935
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 55 with 4 rules applied. Total rules applied 12318 place count 823 transition count 1954
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 55 with 3 rules applied. Total rules applied 12321 place count 823 transition count 1951
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 56 with 15 rules applied. Total rules applied 12336 place count 823 transition count 1936
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -20
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 56 with 4 rules applied. Total rules applied 12340 place count 821 transition count 1956
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 56 with 4 rules applied. Total rules applied 12344 place count 821 transition count 1952
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 57 with 15 rules applied. Total rules applied 12359 place count 821 transition count 1937
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 57 with 4 rules applied. Total rules applied 12363 place count 819 transition count 1955
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 57 with 3 rules applied. Total rules applied 12366 place count 819 transition count 1952
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 58 with 15 rules applied. Total rules applied 12381 place count 819 transition count 1937
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 58 with 4 rules applied. Total rules applied 12385 place count 817 transition count 1955
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 58 with 3 rules applied. Total rules applied 12388 place count 817 transition count 1952
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 59 with 15 rules applied. Total rules applied 12403 place count 817 transition count 1937
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 59 with 4 rules applied. Total rules applied 12407 place count 815 transition count 1955
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 59 with 3 rules applied. Total rules applied 12410 place count 815 transition count 1952
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 60 with 15 rules applied. Total rules applied 12425 place count 815 transition count 1937
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 60 with 4 rules applied. Total rules applied 12429 place count 813 transition count 1955
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 60 with 3 rules applied. Total rules applied 12432 place count 813 transition count 1952
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 61 with 15 rules applied. Total rules applied 12447 place count 813 transition count 1937
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 61 with 4 rules applied. Total rules applied 12451 place count 811 transition count 1955
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 61 with 3 rules applied. Total rules applied 12454 place count 811 transition count 1952
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 62 with 15 rules applied. Total rules applied 12469 place count 811 transition count 1937
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 62 with 4 rules applied. Total rules applied 12473 place count 809 transition count 1955
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 62 with 3 rules applied. Total rules applied 12476 place count 809 transition count 1952
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 63 with 15 rules applied. Total rules applied 12491 place count 809 transition count 1937
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 63 with 4 rules applied. Total rules applied 12495 place count 807 transition count 1955
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 63 with 3 rules applied. Total rules applied 12498 place count 807 transition count 1952
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 64 with 15 rules applied. Total rules applied 12513 place count 807 transition count 1937
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 64 with 4 rules applied. Total rules applied 12517 place count 805 transition count 1955
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 64 with 3 rules applied. Total rules applied 12520 place count 805 transition count 1952
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 65 with 15 rules applied. Total rules applied 12535 place count 805 transition count 1937
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 65 with 4 rules applied. Total rules applied 12539 place count 803 transition count 1955
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 65 with 3 rules applied. Total rules applied 12542 place count 803 transition count 1952
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 66 with 15 rules applied. Total rules applied 12557 place count 803 transition count 1937
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 66 with 4 rules applied. Total rules applied 12561 place count 801 transition count 1955
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 66 with 3 rules applied. Total rules applied 12564 place count 801 transition count 1952
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 67 with 15 rules applied. Total rules applied 12579 place count 801 transition count 1937
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 67 with 4 rules applied. Total rules applied 12583 place count 799 transition count 1955
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 67 with 2 rules applied. Total rules applied 12585 place count 799 transition count 1953
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 68 with 9 rules applied. Total rules applied 12594 place count 799 transition count 1944
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 68 with 2 rules applied. Total rules applied 12596 place count 798 transition count 1955
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 68 with 2 rules applied. Total rules applied 12598 place count 798 transition count 1953
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 69 with 9 rules applied. Total rules applied 12607 place count 798 transition count 1944
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 69 with 2 rules applied. Total rules applied 12609 place count 797 transition count 1955
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 69 with 1 rules applied. Total rules applied 12610 place count 797 transition count 1954
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 70 with 10 rules applied. Total rules applied 12620 place count 797 transition count 1944
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 70 with 2 rules applied. Total rules applied 12622 place count 796 transition count 1955
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 70 with 2 rules applied. Total rules applied 12624 place count 796 transition count 1953
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 71 with 9 rules applied. Total rules applied 12633 place count 796 transition count 1944
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 71 with 2 rules applied. Total rules applied 12635 place count 795 transition count 1955
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 71 with 1 rules applied. Total rules applied 12636 place count 795 transition count 1954
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 72 with 10 rules applied. Total rules applied 12646 place count 795 transition count 1944
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 72 with 2 rules applied. Total rules applied 12648 place count 794 transition count 1955
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 72 with 2 rules applied. Total rules applied 12650 place count 794 transition count 1953
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 73 with 9 rules applied. Total rules applied 12659 place count 794 transition count 1944
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 73 with 2 rules applied. Total rules applied 12661 place count 793 transition count 1955
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 73 with 1 rules applied. Total rules applied 12662 place count 793 transition count 1954
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 74 with 10 rules applied. Total rules applied 12672 place count 793 transition count 1944
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 74 with 2 rules applied. Total rules applied 12674 place count 792 transition count 1955
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 74 with 2 rules applied. Total rules applied 12676 place count 792 transition count 1953
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 75 with 9 rules applied. Total rules applied 12685 place count 792 transition count 1944
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 75 with 2 rules applied. Total rules applied 12687 place count 791 transition count 1955
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 75 with 1 rules applied. Total rules applied 12688 place count 791 transition count 1954
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 76 with 10 rules applied. Total rules applied 12698 place count 791 transition count 1944
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 76 with 2 rules applied. Total rules applied 12700 place count 790 transition count 1955
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 76 with 2 rules applied. Total rules applied 12702 place count 790 transition count 1953
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 77 with 9 rules applied. Total rules applied 12711 place count 790 transition count 1944
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 77 with 2 rules applied. Total rules applied 12713 place count 789 transition count 1955
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 77 with 1 rules applied. Total rules applied 12714 place count 789 transition count 1954
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 78 with 10 rules applied. Total rules applied 12724 place count 789 transition count 1944
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 78 with 2 rules applied. Total rules applied 12726 place count 788 transition count 1955
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 78 with 2 rules applied. Total rules applied 12728 place count 788 transition count 1953
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 79 with 9 rules applied. Total rules applied 12737 place count 788 transition count 1944
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 79 with 2 rules applied. Total rules applied 12739 place count 787 transition count 1957
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 79 with 1 rules applied. Total rules applied 12740 place count 787 transition count 1956
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 80 with 10 rules applied. Total rules applied 12750 place count 787 transition count 1946
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 80 with 2 rules applied. Total rules applied 12752 place count 786 transition count 1957
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 80 with 2 rules applied. Total rules applied 12754 place count 786 transition count 1955
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 81 with 9 rules applied. Total rules applied 12763 place count 786 transition count 1946
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 81 with 2 rules applied. Total rules applied 12765 place count 785 transition count 1959
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 81 with 1 rules applied. Total rules applied 12766 place count 785 transition count 1958
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 82 with 10 rules applied. Total rules applied 12776 place count 785 transition count 1948
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 82 with 2 rules applied. Total rules applied 12778 place count 784 transition count 1959
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 82 with 2 rules applied. Total rules applied 12780 place count 784 transition count 1957
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 83 with 9 rules applied. Total rules applied 12789 place count 784 transition count 1948
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 83 with 2 rules applied. Total rules applied 12791 place count 783 transition count 1961
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 83 with 1 rules applied. Total rules applied 12792 place count 783 transition count 1960
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 84 with 10 rules applied. Total rules applied 12802 place count 783 transition count 1950
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 84 with 2 rules applied. Total rules applied 12804 place count 782 transition count 1961
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 84 with 2 rules applied. Total rules applied 12806 place count 782 transition count 1959
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 85 with 9 rules applied. Total rules applied 12815 place count 782 transition count 1950
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 85 with 2 rules applied. Total rules applied 12817 place count 781 transition count 1963
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 85 with 1 rules applied. Total rules applied 12818 place count 781 transition count 1962
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 86 with 10 rules applied. Total rules applied 12828 place count 781 transition count 1952
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 86 with 2 rules applied. Total rules applied 12830 place count 780 transition count 1963
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 86 with 2 rules applied. Total rules applied 12832 place count 780 transition count 1961
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 87 with 9 rules applied. Total rules applied 12841 place count 780 transition count 1952
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 87 with 2 rules applied. Total rules applied 12843 place count 779 transition count 1965
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 87 with 1 rules applied. Total rules applied 12844 place count 779 transition count 1964
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 88 with 10 rules applied. Total rules applied 12854 place count 779 transition count 1954
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 88 with 2 rules applied. Total rules applied 12856 place count 778 transition count 1965
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 88 with 2 rules applied. Total rules applied 12858 place count 778 transition count 1963
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 89 with 9 rules applied. Total rules applied 12867 place count 778 transition count 1954
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 89 with 2 rules applied. Total rules applied 12869 place count 777 transition count 1967
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 89 with 1 rules applied. Total rules applied 12870 place count 777 transition count 1966
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 90 with 10 rules applied. Total rules applied 12880 place count 777 transition count 1956
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 90 with 2 rules applied. Total rules applied 12882 place count 776 transition count 1967
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 90 with 2 rules applied. Total rules applied 12884 place count 776 transition count 1965
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 91 with 9 rules applied. Total rules applied 12893 place count 776 transition count 1956
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 91 with 2 rules applied. Total rules applied 12895 place count 775 transition count 1969
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 91 with 1 rules applied. Total rules applied 12896 place count 775 transition count 1968
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 92 with 10 rules applied. Total rules applied 12906 place count 775 transition count 1958
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 92 with 2 rules applied. Total rules applied 12908 place count 774 transition count 1969
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 92 with 2 rules applied. Total rules applied 12910 place count 774 transition count 1967
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 93 with 9 rules applied. Total rules applied 12919 place count 774 transition count 1958
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 93 with 2 rules applied. Total rules applied 12921 place count 773 transition count 1971
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 93 with 1 rules applied. Total rules applied 12922 place count 773 transition count 1970
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 94 with 10 rules applied. Total rules applied 12932 place count 773 transition count 1960
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 94 with 2 rules applied. Total rules applied 12934 place count 772 transition count 1971
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 94 with 2 rules applied. Total rules applied 12936 place count 772 transition count 1969
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 95 with 9 rules applied. Total rules applied 12945 place count 772 transition count 1960
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 95 with 2 rules applied. Total rules applied 12947 place count 771 transition count 1973
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 95 with 1 rules applied. Total rules applied 12948 place count 771 transition count 1972
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 96 with 10 rules applied. Total rules applied 12958 place count 771 transition count 1962
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 96 with 2 rules applied. Total rules applied 12960 place count 770 transition count 1973
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 96 with 2 rules applied. Total rules applied 12962 place count 770 transition count 1971
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 97 with 9 rules applied. Total rules applied 12971 place count 770 transition count 1962
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 97 with 2 rules applied. Total rules applied 12973 place count 769 transition count 1975
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 97 with 1 rules applied. Total rules applied 12974 place count 769 transition count 1974
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 98 with 10 rules applied. Total rules applied 12984 place count 769 transition count 1964
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 98 with 2 rules applied. Total rules applied 12986 place count 768 transition count 1975
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 98 with 2 rules applied. Total rules applied 12988 place count 768 transition count 1973
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 99 with 9 rules applied. Total rules applied 12997 place count 768 transition count 1964
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 99 with 2 rules applied. Total rules applied 12999 place count 767 transition count 1977
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 99 with 1 rules applied. Total rules applied 13000 place count 767 transition count 1976
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 100 with 10 rules applied. Total rules applied 13010 place count 767 transition count 1966
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 100 with 2 rules applied. Total rules applied 13012 place count 766 transition count 1977
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 100 with 2 rules applied. Total rules applied 13014 place count 766 transition count 1975
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 101 with 9 rules applied. Total rules applied 13023 place count 766 transition count 1966
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 101 with 2 rules applied. Total rules applied 13025 place count 765 transition count 1979
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 101 with 1 rules applied. Total rules applied 13026 place count 765 transition count 1978
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 102 with 10 rules applied. Total rules applied 13036 place count 765 transition count 1968
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 102 with 2 rules applied. Total rules applied 13038 place count 764 transition count 1979
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 102 with 2 rules applied. Total rules applied 13040 place count 764 transition count 1977
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 103 with 9 rules applied. Total rules applied 13049 place count 764 transition count 1968
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 103 with 2 rules applied. Total rules applied 13051 place count 763 transition count 1981
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 103 with 1 rules applied. Total rules applied 13052 place count 763 transition count 1980
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 104 with 10 rules applied. Total rules applied 13062 place count 763 transition count 1970
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 104 with 2 rules applied. Total rules applied 13064 place count 762 transition count 1981
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 104 with 2 rules applied. Total rules applied 13066 place count 762 transition count 1979
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 105 with 9 rules applied. Total rules applied 13075 place count 762 transition count 1970
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 105 with 2 rules applied. Total rules applied 13077 place count 761 transition count 1983
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 105 with 1 rules applied. Total rules applied 13078 place count 761 transition count 1982
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 106 with 10 rules applied. Total rules applied 13088 place count 761 transition count 1972
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 106 with 2 rules applied. Total rules applied 13090 place count 760 transition count 1985
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 106 with 3 rules applied. Total rules applied 13093 place count 760 transition count 1982
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 107 with 9 rules applied. Total rules applied 13102 place count 760 transition count 1973
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 107 with 2 rules applied. Total rules applied 13104 place count 759 transition count 1984
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 107 with 2 rules applied. Total rules applied 13106 place count 759 transition count 1982
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 108 with 9 rules applied. Total rules applied 13115 place count 759 transition count 1973
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 108 with 2 rules applied. Total rules applied 13117 place count 758 transition count 1986
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 108 with 1 rules applied. Total rules applied 13118 place count 758 transition count 1985
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 109 with 10 rules applied. Total rules applied 13128 place count 758 transition count 1975
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 109 with 2 rules applied. Total rules applied 13130 place count 757 transition count 1986
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 109 with 2 rules applied. Total rules applied 13132 place count 757 transition count 1984
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 110 with 9 rules applied. Total rules applied 13141 place count 757 transition count 1975
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 110 with 2 rules applied. Total rules applied 13143 place count 756 transition count 1988
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 110 with 1 rules applied. Total rules applied 13144 place count 756 transition count 1987
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 111 with 10 rules applied. Total rules applied 13154 place count 756 transition count 1977
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -12
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 111 with 2 rules applied. Total rules applied 13156 place count 755 transition count 1989
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 111 with 2 rules applied. Total rules applied 13158 place count 755 transition count 1987
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 112 with 9 rules applied. Total rules applied 13167 place count 755 transition count 1978
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 112 with 2 rules applied. Total rules applied 13169 place count 754 transition count 1991
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 112 with 1 rules applied. Total rules applied 13170 place count 754 transition count 1990
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 113 with 10 rules applied. Total rules applied 13180 place count 754 transition count 1980
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 113 with 2 rules applied. Total rules applied 13182 place count 753 transition count 1991
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 113 with 2 rules applied. Total rules applied 13184 place count 753 transition count 1989
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 114 with 9 rules applied. Total rules applied 13193 place count 753 transition count 1980
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 114 with 2 rules applied. Total rules applied 13195 place count 752 transition count 1993
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 114 with 1 rules applied. Total rules applied 13196 place count 752 transition count 1992
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 115 with 10 rules applied. Total rules applied 13206 place count 752 transition count 1982
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 115 with 2 rules applied. Total rules applied 13208 place count 751 transition count 1993
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 115 with 2 rules applied. Total rules applied 13210 place count 751 transition count 1991
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 116 with 9 rules applied. Total rules applied 13219 place count 751 transition count 1982
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 116 with 2 rules applied. Total rules applied 13221 place count 750 transition count 1995
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 116 with 1 rules applied. Total rules applied 13222 place count 750 transition count 1994
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 117 with 10 rules applied. Total rules applied 13232 place count 750 transition count 1984
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 117 with 2 rules applied. Total rules applied 13234 place count 749 transition count 1995
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 117 with 2 rules applied. Total rules applied 13236 place count 749 transition count 1993
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 118 with 9 rules applied. Total rules applied 13245 place count 749 transition count 1984
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 118 with 2 rules applied. Total rules applied 13247 place count 748 transition count 1997
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 118 with 1 rules applied. Total rules applied 13248 place count 748 transition count 1996
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 119 with 10 rules applied. Total rules applied 13258 place count 748 transition count 1986
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 119 with 2 rules applied. Total rules applied 13260 place count 747 transition count 1998
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 119 with 2 rules applied. Total rules applied 13262 place count 747 transition count 1996
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 120 with 9 rules applied. Total rules applied 13271 place count 747 transition count 1987
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 120 with 2 rules applied. Total rules applied 13273 place count 746 transition count 2000
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 120 with 1 rules applied. Total rules applied 13274 place count 746 transition count 1999
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 121 with 10 rules applied. Total rules applied 13284 place count 746 transition count 1989
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 121 with 2 rules applied. Total rules applied 13286 place count 745 transition count 2002
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 121 with 3 rules applied. Total rules applied 13289 place count 745 transition count 1999
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 122 with 9 rules applied. Total rules applied 13298 place count 745 transition count 1990
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 122 with 2 rules applied. Total rules applied 13300 place count 744 transition count 2003
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 122 with 1 rules applied. Total rules applied 13301 place count 744 transition count 2002
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 123 with 10 rules applied. Total rules applied 13311 place count 744 transition count 1992
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 123 with 2 rules applied. Total rules applied 13313 place count 743 transition count 2003
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 123 with 2 rules applied. Total rules applied 13315 place count 743 transition count 2001
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 124 with 9 rules applied. Total rules applied 13324 place count 743 transition count 1992
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 124 with 2 rules applied. Total rules applied 13326 place count 742 transition count 2005
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 124 with 1 rules applied. Total rules applied 13327 place count 742 transition count 2004
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 125 with 10 rules applied. Total rules applied 13337 place count 742 transition count 1994
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 125 with 2 rules applied. Total rules applied 13339 place count 741 transition count 2005
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 125 with 2 rules applied. Total rules applied 13341 place count 741 transition count 2003
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 126 with 9 rules applied. Total rules applied 13350 place count 741 transition count 1994
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 126 with 2 rules applied. Total rules applied 13352 place count 740 transition count 2007
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 126 with 1 rules applied. Total rules applied 13353 place count 740 transition count 2006
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 127 with 10 rules applied. Total rules applied 13363 place count 740 transition count 1996
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 127 with 2 rules applied. Total rules applied 13365 place count 739 transition count 2007
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 127 with 2 rules applied. Total rules applied 13367 place count 739 transition count 2005
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 128 with 9 rules applied. Total rules applied 13376 place count 739 transition count 1996
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 128 with 2 rules applied. Total rules applied 13378 place count 738 transition count 2009
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 128 with 1 rules applied. Total rules applied 13379 place count 738 transition count 2008
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 129 with 10 rules applied. Total rules applied 13389 place count 738 transition count 1998
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 129 with 2 rules applied. Total rules applied 13391 place count 737 transition count 2009
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 129 with 2 rules applied. Total rules applied 13393 place count 737 transition count 2007
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 130 with 9 rules applied. Total rules applied 13402 place count 737 transition count 1998
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 130 with 2 rules applied. Total rules applied 13404 place count 736 transition count 2011
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 130 with 1 rules applied. Total rules applied 13405 place count 736 transition count 2010
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 131 with 10 rules applied. Total rules applied 13415 place count 736 transition count 2000
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 131 with 2 rules applied. Total rules applied 13417 place count 735 transition count 2011
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 131 with 2 rules applied. Total rules applied 13419 place count 735 transition count 2009
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 132 with 9 rules applied. Total rules applied 13428 place count 735 transition count 2000
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 132 with 2 rules applied. Total rules applied 13430 place count 734 transition count 2013
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 132 with 1 rules applied. Total rules applied 13431 place count 734 transition count 2012
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 133 with 10 rules applied. Total rules applied 13441 place count 734 transition count 2002
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 13443 place count 733 transition count 2013
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 133 with 2 rules applied. Total rules applied 13445 place count 733 transition count 2011
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 134 with 9 rules applied. Total rules applied 13454 place count 733 transition count 2002
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
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 13456 place count 732 transition count 2015
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 134 with 1 rules applied. Total rules applied 13457 place count 732 transition count 2014
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 135 with 10 rules applied. Total rules applied 13467 place count 732 transition count 2004
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 13469 place count 731 transition count 2015
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 135 with 2 rules applied. Total rules applied 13471 place count 731 transition count 2013
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 136 with 9 rules applied. Total rules applied 13480 place count 731 transition count 2004
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 136 with 2 rules applied. Total rules applied 13482 place count 730 transition count 2017
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 136 with 1 rules applied. Total rules applied 13483 place count 730 transition count 2016
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 137 with 10 rules applied. Total rules applied 13493 place count 730 transition count 2006
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 137 with 2 rules applied. Total rules applied 13495 place count 729 transition count 2017
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 137 with 2 rules applied. Total rules applied 13497 place count 729 transition count 2015
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 138 with 9 rules applied. Total rules applied 13506 place count 729 transition count 2006
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 138 with 2 rules applied. Total rules applied 13508 place count 728 transition count 2019
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 138 with 1 rules applied. Total rules applied 13509 place count 728 transition count 2018
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 139 with 10 rules applied. Total rules applied 13519 place count 728 transition count 2008
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 13521 place count 727 transition count 2019
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 139 with 2 rules applied. Total rules applied 13523 place count 727 transition count 2017
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 140 with 9 rules applied. Total rules applied 13532 place count 727 transition count 2008
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
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 13534 place count 726 transition count 2021
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 140 with 1 rules applied. Total rules applied 13535 place count 726 transition count 2020
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 141 with 10 rules applied. Total rules applied 13545 place count 726 transition count 2010
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 141 with 2 rules applied. Total rules applied 13547 place count 725 transition count 2021
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 141 with 2 rules applied. Total rules applied 13549 place count 725 transition count 2019
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 142 with 9 rules applied. Total rules applied 13558 place count 725 transition count 2010
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 142 with 2 rules applied. Total rules applied 13560 place count 724 transition count 2023
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 142 with 1 rules applied. Total rules applied 13561 place count 724 transition count 2022
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 143 with 10 rules applied. Total rules applied 13571 place count 724 transition count 2012
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 143 with 2 rules applied. Total rules applied 13573 place count 723 transition count 2023
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 143 with 2 rules applied. Total rules applied 13575 place count 723 transition count 2021
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 144 with 9 rules applied. Total rules applied 13584 place count 723 transition count 2012
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 0 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 144 with 2 rules applied. Total rules applied 13586 place count 722 transition count 2025
Free-agglomeration rule applied 161 times with reduction of 23 identical transitions.
Iterating global reduction 144 with 161 rules applied. Total rules applied 13747 place count 722 transition count 1841
Reduce places removed 161 places and 0 transitions.
Drop transitions removed 635 transitions
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 639 transitions.
Graph (complete) has 1762 edges and 561 vertex of which 502 are kept as prefixes of interest. Removing 59 places using SCC suffix rule.2 ms
Discarding 59 places :
Also discarding 75 output transitions
Drop transitions removed 75 transitions
Iterating post reduction 144 with 801 rules applied. Total rules applied 14548 place count 502 transition count 1127
Drop transitions removed 25 transitions
Reduce isomorphic transitions removed 25 transitions.
Iterating post reduction 145 with 25 rules applied. Total rules applied 14573 place count 502 transition count 1102
Discarding 6 places :
Symmetric choice reduction at 146 with 6 rule applications. Total rules 14579 place count 496 transition count 1096
Iterating global reduction 146 with 6 rules applied. Total rules applied 14585 place count 496 transition count 1096
Drop transitions removed 146 transitions
Redundant transition composition rules discarded 146 transitions
Iterating global reduction 146 with 146 rules applied. Total rules applied 14731 place count 496 transition count 950
Partial Free-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 146 with 1 rules applied. Total rules applied 14732 place count 496 transition count 950
Applied a total of 14732 rules in 10958 ms. Remains 496 /7058 variables (removed 6562) and now considering 950/9611 (removed 8661) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 10958 ms. Remains : 496/7058 places, 950/9611 transitions.
Normalized transition count is 625 out of 950 initially.
// Phase 1: matrix 625 rows 496 cols
[2023-03-08 13:07:55] [INFO ] Computed 242 place invariants in 3 ms
Incomplete random walk after 1000000 steps, including 2 resets, run finished after 13640 ms. (steps per millisecond=73 ) properties (out of 8) seen :8
FORMULA DLCshifumi-PT-3b-UpperBounds-14 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-3b-UpperBounds-13 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-3b-UpperBounds-11 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-3b-UpperBounds-10 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-3b-UpperBounds-07 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-3b-UpperBounds-03 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-3b-UpperBounds-02 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCshifumi-PT-3b-UpperBounds-00 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
All properties solved without resorting to model-checking.
Total runtime 66193 ms.
ITS solved all properties within timeout

BK_STOP 1678280890442

--------------------
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 UpperBounds -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-3b"
export BK_EXAMINATION="UpperBounds"
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-3b, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r103-tall-167814478800821"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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