Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2021-input.r064-tall-162038396900254.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.........................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is DLCflexbar-PT-7b, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-tall-162038396900254
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 16K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 131K May 5 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 96K May 5 16:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.7K Mar 28 15:57 LTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 28 15:57 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 28 15:57 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 28 15:57 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K Mar 23 04:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 23 04:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 22 14:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 22 14:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 09:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 09:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 3 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 14M May 5 16:51 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1620499351614

Running Version 0
[2021-05-08 18:42:33] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-08 18:42:33] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-08 18:42:34] [INFO ] Load time of PNML (sax parser for PT used): 974 ms
[2021-05-08 18:42:34] [INFO ] Transformed 35101 places.
[2021-05-08 18:42:35] [INFO ] Transformed 55507 transitions.
[2021-05-08 18:42:35] [INFO ] Found NUPN structural information;
[2021-05-08 18:42:37] [INFO ] Parsed PT model containing 35101 places and 55507 transitions in 4040 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 34 ms.
Working with output stream class java.io.PrintStream
FORMULA DLCflexbar-PT-7b-ReachabilityCardinality-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCflexbar-PT-7b-ReachabilityCardinality-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCflexbar-PT-7b-ReachabilityCardinality-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCflexbar-PT-7b-ReachabilityCardinality-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Incomplete random walk after 10000 steps, including 2 resets, run finished after 259 ms. (steps per millisecond=38 ) properties (out of 12) seen :1
FORMULA DLCflexbar-PT-7b-ReachabilityCardinality-04 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 25 ms. (steps per millisecond=400 ) properties (out of 11) seen :1
FORMULA DLCflexbar-PT-7b-ReachabilityCardinality-15 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 29 ms. (steps per millisecond=344 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=454 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=454 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 38 ms. (steps per millisecond=263 ) properties (out of 10) 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 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=526 ) properties (out of 10) 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 10) seen :0
Running SMT prover for 10 properties.
// Phase 1: matrix 55507 rows 35101 cols
[2021-05-08 18:42:45] [INFO ] Computed 2171 place invariants in 430 ms
[2021-05-08 18:43:00] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:10
[2021-05-08 18:43:25] [INFO ] [Nat]Absence check using 2171 positive place invariants in 11416 ms returned unknown
[2021-05-08 18:43:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 18:43:25] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
FORMULA DLCflexbar-PT-7b-ReachabilityCardinality-09 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 10 Parikh solutions to 1 different solutions.
Support contains 32 out of 35101 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 35101/35101 places, 55507/55507 transitions.
Graph (trivial) has 31554 edges and 35101 vertex of which 2264 / 35101 are part of one of the 146 SCC in 69 ms
Free SCC test removed 2118 places
Drop transitions removed 2392 transitions
Reduce isomorphic transitions removed 2392 transitions.
Drop transitions removed 15398 transitions
Trivial Post-agglo rules discarded 15398 transitions
Performed 15398 trivial Post agglomeration. Transition count delta: 15398
Iterating post reduction 0 with 15398 rules applied. Total rules applied 15399 place count 32983 transition count 37717
Reduce places removed 15398 places and 0 transitions.
Ensure Unique test removed 357 transitions
Reduce isomorphic transitions removed 357 transitions.
Drop transitions removed 347 transitions
Trivial Post-agglo rules discarded 347 transitions
Performed 347 trivial Post agglomeration. Transition count delta: 347
Iterating post reduction 1 with 16102 rules applied. Total rules applied 31501 place count 17585 transition count 37013
Reduce places removed 347 places and 0 transitions.
Ensure Unique test removed 109 transitions
Reduce isomorphic transitions removed 109 transitions.
Drop transitions removed 109 transitions
Trivial Post-agglo rules discarded 109 transitions
Performed 109 trivial Post agglomeration. Transition count delta: 109
Iterating post reduction 2 with 565 rules applied. Total rules applied 32066 place count 17238 transition count 36795
Reduce places removed 109 places and 0 transitions.
Performed 11 Post agglomeration using F-continuation condition.Transition count delta: 11
Iterating post reduction 3 with 120 rules applied. Total rules applied 32186 place count 17129 transition count 36784
Reduce places removed 11 places and 0 transitions.
Iterating post reduction 4 with 11 rules applied. Total rules applied 32197 place count 17118 transition count 36784
Performed 123 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 123 Pre rules applied. Total rules applied 32197 place count 17118 transition count 36661
Deduced a syphon composed of 123 places in 1966 ms
Reduce places removed 123 places and 0 transitions.
Iterating global reduction 5 with 246 rules applied. Total rules applied 32443 place count 16995 transition count 36661
Discarding 4834 places :
Symmetric choice reduction at 5 with 4834 rule applications. Total rules 37277 place count 12161 transition count 31827
Iterating global reduction 5 with 4834 rules applied. Total rules applied 42111 place count 12161 transition count 31827
Performed 2166 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 2166 Pre rules applied. Total rules applied 42111 place count 12161 transition count 29661
Deduced a syphon composed of 2166 places in 1678 ms
Reduce places removed 2166 places and 0 transitions.
Iterating global reduction 5 with 4332 rules applied. Total rules applied 46443 place count 9995 transition count 29661
Discarding 283 places :
Symmetric choice reduction at 5 with 283 rule applications. Total rules 46726 place count 9712 transition count 20247
Iterating global reduction 5 with 283 rules applied. Total rules applied 47009 place count 9712 transition count 20247
Ensure Unique test removed 238 transitions
Reduce isomorphic transitions removed 238 transitions.
Iterating post reduction 5 with 238 rules applied. Total rules applied 47247 place count 9712 transition count 20009
Performed 2435 Post agglomeration using F-continuation condition with reduction of 9 identical transitions.
Deduced a syphon composed of 2435 places in 9 ms
Reduce places removed 2435 places and 0 transitions.
Iterating global reduction 6 with 4870 rules applied. Total rules applied 52117 place count 7277 transition count 17565
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 6 with 9 rules applied. Total rules applied 52126 place count 7277 transition count 17556
Renaming transitions due to excessive name length > 1024 char.
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: -800
Deduced a syphon composed of 101 places in 15 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 7 with 202 rules applied. Total rules applied 52328 place count 7176 transition count 18356
Ensure Unique test removed 50 transitions
Reduce isomorphic transitions removed 50 transitions.
Iterating post reduction 7 with 50 rules applied. Total rules applied 52378 place count 7176 transition count 18306
Discarding 49 places :
Symmetric choice reduction at 8 with 49 rule applications. Total rules 52427 place count 7127 transition count 17424
Iterating global reduction 8 with 49 rules applied. Total rules applied 52476 place count 7127 transition count 17424
Ensure Unique test removed 49 transitions
Reduce isomorphic transitions removed 49 transitions.
Iterating post reduction 8 with 49 rules applied. Total rules applied 52525 place count 7127 transition count 17375
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: -766
Deduced a syphon composed of 101 places in 7 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 9 with 202 rules applied. Total rules applied 52727 place count 7026 transition count 18141
Ensure Unique test removed 26 transitions
Reduce isomorphic transitions removed 26 transitions.
Iterating post reduction 9 with 26 rules applied. Total rules applied 52753 place count 7026 transition count 18115
Discarding 26 places :
Symmetric choice reduction at 10 with 26 rule applications. Total rules 52779 place count 7000 transition count 17647
Iterating global reduction 10 with 26 rules applied. Total rules applied 52805 place count 7000 transition count 17647
Ensure Unique test removed 26 transitions
Reduce isomorphic transitions removed 26 transitions.
Iterating post reduction 10 with 26 rules applied. Total rules applied 52831 place count 7000 transition count 17621
Performed 101 Post agglomeration using F-continuation condition.Transition count delta: -773
Deduced a syphon composed of 101 places in 7 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 11 with 202 rules applied. Total rules applied 53033 place count 6899 transition count 18394
Drop transitions removed 11 transitions
Ensure Unique test removed 34 transitions
Reduce isomorphic transitions removed 45 transitions.
Iterating post reduction 11 with 45 rules applied. Total rules applied 53078 place count 6899 transition count 18349
Discarding 34 places :
Symmetric choice reduction at 12 with 34 rule applications. Total rules 53112 place count 6865 transition count 17737
Iterating global reduction 12 with 34 rules applied. Total rules applied 53146 place count 6865 transition count 17737
Ensure Unique test removed 34 transitions
Reduce isomorphic transitions removed 34 transitions.
Iterating post reduction 12 with 34 rules applied. Total rules applied 53180 place count 6865 transition count 17703
Performed 67 Post agglomeration using F-continuation condition.Transition count delta: -473
Deduced a syphon composed of 67 places in 3 ms
Reduce places removed 67 places and 0 transitions.
Iterating global reduction 13 with 134 rules applied. Total rules applied 53314 place count 6798 transition count 18176
Drop transitions removed 52 transitions
Reduce isomorphic transitions removed 52 transitions.
Iterating post reduction 13 with 52 rules applied. Total rules applied 53366 place count 6798 transition count 18124
Drop transitions removed 96 transitions
Redundant transition composition rules discarded 96 transitions
Iterating global reduction 14 with 96 rules applied. Total rules applied 53462 place count 6798 transition count 18028
Discarding 18 places :
Symmetric choice reduction at 14 with 18 rule applications. Total rules 53480 place count 6780 transition count 18010
Iterating global reduction 14 with 18 rules applied. Total rules applied 53498 place count 6780 transition count 18010
Discarding 18 places :
Symmetric choice reduction at 14 with 18 rule applications. Total rules 53516 place count 6762 transition count 15854
Iterating global reduction 14 with 18 rules applied. Total rules applied 53534 place count 6762 transition count 15854
Ensure Unique test removed 18 transitions
Reduce isomorphic transitions removed 18 transitions.
Iterating post reduction 14 with 18 rules applied. Total rules applied 53552 place count 6762 transition count 15836
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Deduced a syphon composed of 9 places in 3 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 15 with 18 rules applied. Total rules applied 53570 place count 6753 transition count 15827
Discarding 9 places :
Symmetric choice reduction at 15 with 9 rule applications. Total rules 53579 place count 6744 transition count 14749
Iterating global reduction 15 with 9 rules applied. Total rules applied 53588 place count 6744 transition count 14749
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 15 with 9 rules applied. Total rules applied 53597 place count 6744 transition count 14740
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 3 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 16 with 6 rules applied. Total rules applied 53603 place count 6741 transition count 14763
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 16 with 4 rules applied. Total rules applied 53607 place count 6741 transition count 14759
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 17 with 19 rules applied. Total rules applied 53626 place count 6741 transition count 14740
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 3 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 17 with 6 rules applied. Total rules applied 53632 place count 6738 transition count 14763
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 17 with 4 rules applied. Total rules applied 53636 place count 6738 transition count 14759
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 18 with 19 rules applied. Total rules applied 53655 place count 6738 transition count 14740
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 3 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 18 with 6 rules applied. Total rules applied 53661 place count 6735 transition count 14763
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 18 with 5 rules applied. Total rules applied 53666 place count 6735 transition count 14758
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 19 with 18 rules applied. Total rules applied 53684 place count 6735 transition count 14740
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 19 with 6 rules applied. Total rules applied 53690 place count 6732 transition count 14763
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 19 with 4 rules applied. Total rules applied 53694 place count 6732 transition count 14759
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 20 with 19 rules applied. Total rules applied 53713 place count 6732 transition count 14740
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 3 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 20 with 6 rules applied. Total rules applied 53719 place count 6729 transition count 14763
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 20 with 5 rules applied. Total rules applied 53724 place count 6729 transition count 14758
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 21 with 18 rules applied. Total rules applied 53742 place count 6729 transition count 14740
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 3 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 21 with 6 rules applied. Total rules applied 53748 place count 6726 transition count 14763
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 21 with 4 rules applied. Total rules applied 53752 place count 6726 transition count 14759
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 22 with 19 rules applied. Total rules applied 53771 place count 6726 transition count 14740
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 22 with 6 rules applied. Total rules applied 53777 place count 6723 transition count 14763
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 22 with 5 rules applied. Total rules applied 53782 place count 6723 transition count 14758
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 23 with 18 rules applied. Total rules applied 53800 place count 6723 transition count 14740
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 23 with 6 rules applied. Total rules applied 53806 place count 6720 transition count 14763
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 23 with 4 rules applied. Total rules applied 53810 place count 6720 transition count 14759
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 24 with 19 rules applied. Total rules applied 53829 place count 6720 transition count 14740
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 3 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 24 with 6 rules applied. Total rules applied 53835 place count 6717 transition count 14763
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 24 with 5 rules applied. Total rules applied 53840 place count 6717 transition count 14758
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 25 with 18 rules applied. Total rules applied 53858 place count 6717 transition count 14740
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 25 with 6 rules applied. Total rules applied 53864 place count 6714 transition count 14763
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 25 with 4 rules applied. Total rules applied 53868 place count 6714 transition count 14759
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 26 with 19 rules applied. Total rules applied 53887 place count 6714 transition count 14740
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 3 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 26 with 6 rules applied. Total rules applied 53893 place count 6711 transition count 14763
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 26 with 5 rules applied. Total rules applied 53898 place count 6711 transition count 14758
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 27 with 18 rules applied. Total rules applied 53916 place count 6711 transition count 14740
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 3 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 27 with 6 rules applied. Total rules applied 53922 place count 6708 transition count 14763
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 27 with 3 rules applied. Total rules applied 53925 place count 6708 transition count 14760
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 28 with 15 rules applied. Total rules applied 53940 place count 6708 transition count 14745
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 28 with 4 rules applied. Total rules applied 53944 place count 6706 transition count 14763
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 28 with 3 rules applied. Total rules applied 53947 place count 6706 transition count 14760
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 29 with 15 rules applied. Total rules applied 53962 place count 6706 transition count 14745
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 29 with 4 rules applied. Total rules applied 53966 place count 6704 transition count 14763
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 29 with 3 rules applied. Total rules applied 53969 place count 6704 transition count 14760
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 30 with 15 rules applied. Total rules applied 53984 place count 6704 transition count 14745
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 30 with 4 rules applied. Total rules applied 53988 place count 6702 transition count 14763
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 30 with 3 rules applied. Total rules applied 53991 place count 6702 transition count 14760
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 31 with 15 rules applied. Total rules applied 54006 place count 6702 transition count 14745
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 31 with 4 rules applied. Total rules applied 54010 place count 6700 transition count 14763
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 31 with 3 rules applied. Total rules applied 54013 place count 6700 transition count 14760
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 32 with 15 rules applied. Total rules applied 54028 place count 6700 transition count 14745
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -20
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 32 with 4 rules applied. Total rules applied 54032 place count 6698 transition count 14765
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 32 with 3 rules applied. Total rules applied 54035 place count 6698 transition count 14762
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 33 with 15 rules applied. Total rules applied 54050 place count 6698 transition count 14747
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 33 with 4 rules applied. Total rules applied 54054 place count 6696 transition count 14765
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 33 with 3 rules applied. Total rules applied 54057 place count 6696 transition count 14762
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 34 with 15 rules applied. Total rules applied 54072 place count 6696 transition count 14747
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 34 with 4 rules applied. Total rules applied 54076 place count 6694 transition count 14765
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 34 with 3 rules applied. Total rules applied 54079 place count 6694 transition count 14762
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 35 with 15 rules applied. Total rules applied 54094 place count 6694 transition count 14747
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 35 with 4 rules applied. Total rules applied 54098 place count 6692 transition count 14765
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 35 with 3 rules applied. Total rules applied 54101 place count 6692 transition count 14762
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 36 with 15 rules applied. Total rules applied 54116 place count 6692 transition count 14747
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 36 with 4 rules applied. Total rules applied 54120 place count 6690 transition count 14765
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 36 with 3 rules applied. Total rules applied 54123 place count 6690 transition count 14762
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 37 with 15 rules applied. Total rules applied 54138 place count 6690 transition count 14747
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 37 with 4 rules applied. Total rules applied 54142 place count 6688 transition count 14765
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 37 with 3 rules applied. Total rules applied 54145 place count 6688 transition count 14762
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 38 with 15 rules applied. Total rules applied 54160 place count 6688 transition count 14747
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 38 with 4 rules applied. Total rules applied 54164 place count 6686 transition count 14765
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 38 with 3 rules applied. Total rules applied 54167 place count 6686 transition count 14762
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 39 with 15 rules applied. Total rules applied 54182 place count 6686 transition count 14747
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 39 with 4 rules applied. Total rules applied 54186 place count 6684 transition count 14765
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 39 with 3 rules applied. Total rules applied 54189 place count 6684 transition count 14762
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 40 with 15 rules applied. Total rules applied 54204 place count 6684 transition count 14747
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 40 with 4 rules applied. Total rules applied 54208 place count 6682 transition count 14765
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 40 with 3 rules applied. Total rules applied 54211 place count 6682 transition count 14762
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 41 with 15 rules applied. Total rules applied 54226 place count 6682 transition count 14747
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 41 with 4 rules applied. Total rules applied 54230 place count 6680 transition count 14765
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 41 with 3 rules applied. Total rules applied 54233 place count 6680 transition count 14762
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 42 with 15 rules applied. Total rules applied 54248 place count 6680 transition count 14747
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 42 with 4 rules applied. Total rules applied 54252 place count 6678 transition count 14765
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 42 with 3 rules applied. Total rules applied 54255 place count 6678 transition count 14762
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 43 with 15 rules applied. Total rules applied 54270 place count 6678 transition count 14747
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 43 with 4 rules applied. Total rules applied 54274 place count 6676 transition count 14765
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 43 with 3 rules applied. Total rules applied 54277 place count 6676 transition count 14762
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 44 with 15 rules applied. Total rules applied 54292 place count 6676 transition count 14747
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 44 with 4 rules applied. Total rules applied 54296 place count 6674 transition count 14765
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 44 with 3 rules applied. Total rules applied 54299 place count 6674 transition count 14762
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 45 with 15 rules applied. Total rules applied 54314 place count 6674 transition count 14747
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 45 with 4 rules applied. Total rules applied 54318 place count 6672 transition count 14765
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 45 with 3 rules applied. Total rules applied 54321 place count 6672 transition count 14762
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 46 with 15 rules applied. Total rules applied 54336 place count 6672 transition count 14747
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 46 with 4 rules applied. Total rules applied 54340 place count 6670 transition count 14765
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 46 with 3 rules applied. Total rules applied 54343 place count 6670 transition count 14762
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 47 with 15 rules applied. Total rules applied 54358 place count 6670 transition count 14747
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 47 with 4 rules applied. Total rules applied 54362 place count 6668 transition count 14765
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 47 with 3 rules applied. Total rules applied 54365 place count 6668 transition count 14762
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 48 with 15 rules applied. Total rules applied 54380 place count 6668 transition count 14747
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 48 with 4 rules applied. Total rules applied 54384 place count 6666 transition count 14765
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 48 with 3 rules applied. Total rules applied 54387 place count 6666 transition count 14762
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 49 with 15 rules applied. Total rules applied 54402 place count 6666 transition count 14747
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 49 with 4 rules applied. Total rules applied 54406 place count 6664 transition count 14765
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 49 with 3 rules applied. Total rules applied 54409 place count 6664 transition count 14762
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 50 with 15 rules applied. Total rules applied 54424 place count 6664 transition count 14747
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 50 with 4 rules applied. Total rules applied 54428 place count 6662 transition count 14765
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 50 with 3 rules applied. Total rules applied 54431 place count 6662 transition count 14762
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 51 with 15 rules applied. Total rules applied 54446 place count 6662 transition count 14747
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 51 with 4 rules applied. Total rules applied 54450 place count 6660 transition count 14765
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 51 with 3 rules applied. Total rules applied 54453 place count 6660 transition count 14762
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 52 with 15 rules applied. Total rules applied 54468 place count 6660 transition count 14747
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 52 with 4 rules applied. Total rules applied 54472 place count 6658 transition count 14765
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 52 with 3 rules applied. Total rules applied 54475 place count 6658 transition count 14762
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 53 with 15 rules applied. Total rules applied 54490 place count 6658 transition count 14747
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 53 with 4 rules applied. Total rules applied 54494 place count 6656 transition count 14765
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 53 with 3 rules applied. Total rules applied 54497 place count 6656 transition count 14762
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 54 with 15 rules applied. Total rules applied 54512 place count 6656 transition count 14747
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 54 with 4 rules applied. Total rules applied 54516 place count 6654 transition count 14765
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 54 with 3 rules applied. Total rules applied 54519 place count 6654 transition count 14762
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 55 with 15 rules applied. Total rules applied 54534 place count 6654 transition count 14747
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 55 with 4 rules applied. Total rules applied 54538 place count 6652 transition count 14765
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 55 with 3 rules applied. Total rules applied 54541 place count 6652 transition count 14762
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 56 with 15 rules applied. Total rules applied 54556 place count 6652 transition count 14747
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 56 with 4 rules applied. Total rules applied 54560 place count 6650 transition count 14765
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 56 with 3 rules applied. Total rules applied 54563 place count 6650 transition count 14762
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 57 with 15 rules applied. Total rules applied 54578 place count 6650 transition count 14747
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 57 with 4 rules applied. Total rules applied 54582 place count 6648 transition count 14765
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 57 with 3 rules applied. Total rules applied 54585 place count 6648 transition count 14762
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 58 with 15 rules applied. Total rules applied 54600 place count 6648 transition count 14747
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 58 with 4 rules applied. Total rules applied 54604 place count 6646 transition count 14765
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 58 with 3 rules applied. Total rules applied 54607 place count 6646 transition count 14762
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 59 with 15 rules applied. Total rules applied 54622 place count 6646 transition count 14747
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 59 with 4 rules applied. Total rules applied 54626 place count 6644 transition count 14765
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 59 with 3 rules applied. Total rules applied 54629 place count 6644 transition count 14762
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 60 with 15 rules applied. Total rules applied 54644 place count 6644 transition count 14747
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 60 with 4 rules applied. Total rules applied 54648 place count 6642 transition count 14765
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 60 with 3 rules applied. Total rules applied 54651 place count 6642 transition count 14762
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 61 with 15 rules applied. Total rules applied 54666 place count 6642 transition count 14747
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 61 with 4 rules applied. Total rules applied 54670 place count 6640 transition count 14765
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 61 with 3 rules applied. Total rules applied 54673 place count 6640 transition count 14762
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 62 with 15 rules applied. Total rules applied 54688 place count 6640 transition count 14747
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 62 with 4 rules applied. Total rules applied 54692 place count 6638 transition count 14765
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 62 with 3 rules applied. Total rules applied 54695 place count 6638 transition count 14762
Drop transitions removed 11 transitions
Redundant transition composition rules discarded 11 transitions
Iterating global reduction 63 with 11 rules applied. Total rules applied 54706 place count 6638 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 63 with 2 rules applied. Total rules applied 54708 place count 6637 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 63 with 2 rules applied. Total rules applied 54710 place count 6637 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 64 with 9 rules applied. Total rules applied 54719 place count 6637 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 64 with 2 rules applied. Total rules applied 54721 place count 6636 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 64 with 1 rules applied. Total rules applied 54722 place count 6636 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 65 with 10 rules applied. Total rules applied 54732 place count 6636 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 65 with 2 rules applied. Total rules applied 54734 place count 6635 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 65 with 2 rules applied. Total rules applied 54736 place count 6635 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 66 with 9 rules applied. Total rules applied 54745 place count 6635 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 66 with 2 rules applied. Total rules applied 54747 place count 6634 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 66 with 1 rules applied. Total rules applied 54748 place count 6634 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 67 with 10 rules applied. Total rules applied 54758 place count 6634 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 67 with 2 rules applied. Total rules applied 54760 place count 6633 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 67 with 2 rules applied. Total rules applied 54762 place count 6633 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 68 with 9 rules applied. Total rules applied 54771 place count 6633 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 68 with 2 rules applied. Total rules applied 54773 place count 6632 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 68 with 1 rules applied. Total rules applied 54774 place count 6632 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 69 with 10 rules applied. Total rules applied 54784 place count 6632 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 69 with 2 rules applied. Total rules applied 54786 place count 6631 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 69 with 2 rules applied. Total rules applied 54788 place count 6631 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 70 with 9 rules applied. Total rules applied 54797 place count 6631 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 70 with 2 rules applied. Total rules applied 54799 place count 6630 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 70 with 1 rules applied. Total rules applied 54800 place count 6630 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 71 with 10 rules applied. Total rules applied 54810 place count 6630 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 71 with 2 rules applied. Total rules applied 54812 place count 6629 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 71 with 2 rules applied. Total rules applied 54814 place count 6629 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 72 with 9 rules applied. Total rules applied 54823 place count 6629 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 72 with 2 rules applied. Total rules applied 54825 place count 6628 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 72 with 1 rules applied. Total rules applied 54826 place count 6628 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 73 with 10 rules applied. Total rules applied 54836 place count 6628 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 73 with 2 rules applied. Total rules applied 54838 place count 6627 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 73 with 2 rules applied. Total rules applied 54840 place count 6627 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 74 with 9 rules applied. Total rules applied 54849 place count 6627 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 74 with 2 rules applied. Total rules applied 54851 place count 6626 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 74 with 1 rules applied. Total rules applied 54852 place count 6626 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 75 with 10 rules applied. Total rules applied 54862 place count 6626 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 75 with 2 rules applied. Total rules applied 54864 place count 6625 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 75 with 2 rules applied. Total rules applied 54866 place count 6625 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 76 with 9 rules applied. Total rules applied 54875 place count 6625 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 76 with 2 rules applied. Total rules applied 54877 place count 6624 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 76 with 1 rules applied. Total rules applied 54878 place count 6624 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 77 with 10 rules applied. Total rules applied 54888 place count 6624 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 77 with 2 rules applied. Total rules applied 54890 place count 6623 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 77 with 2 rules applied. Total rules applied 54892 place count 6623 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 78 with 9 rules applied. Total rules applied 54901 place count 6623 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 78 with 2 rules applied. Total rules applied 54903 place count 6622 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 78 with 1 rules applied. Total rules applied 54904 place count 6622 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 79 with 10 rules applied. Total rules applied 54914 place count 6622 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 79 with 2 rules applied. Total rules applied 54916 place count 6621 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 79 with 2 rules applied. Total rules applied 54918 place count 6621 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 80 with 9 rules applied. Total rules applied 54927 place count 6621 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 80 with 2 rules applied. Total rules applied 54929 place count 6620 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 80 with 1 rules applied. Total rules applied 54930 place count 6620 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 81 with 10 rules applied. Total rules applied 54940 place count 6620 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 81 with 2 rules applied. Total rules applied 54942 place count 6619 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 81 with 2 rules applied. Total rules applied 54944 place count 6619 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 82 with 9 rules applied. Total rules applied 54953 place count 6619 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 82 with 2 rules applied. Total rules applied 54955 place count 6618 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 82 with 1 rules applied. Total rules applied 54956 place count 6618 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 83 with 10 rules applied. Total rules applied 54966 place count 6618 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 83 with 2 rules applied. Total rules applied 54968 place count 6617 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 83 with 2 rules applied. Total rules applied 54970 place count 6617 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 84 with 9 rules applied. Total rules applied 54979 place count 6617 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 84 with 2 rules applied. Total rules applied 54981 place count 6616 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 84 with 1 rules applied. Total rules applied 54982 place count 6616 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 85 with 10 rules applied. Total rules applied 54992 place count 6616 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 85 with 2 rules applied. Total rules applied 54994 place count 6615 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 85 with 2 rules applied. Total rules applied 54996 place count 6615 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 86 with 9 rules applied. Total rules applied 55005 place count 6615 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 86 with 2 rules applied. Total rules applied 55007 place count 6614 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 86 with 1 rules applied. Total rules applied 55008 place count 6614 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 87 with 10 rules applied. Total rules applied 55018 place count 6614 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 87 with 2 rules applied. Total rules applied 55020 place count 6613 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 87 with 2 rules applied. Total rules applied 55022 place count 6613 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 88 with 9 rules applied. Total rules applied 55031 place count 6613 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 88 with 2 rules applied. Total rules applied 55033 place count 6612 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 88 with 1 rules applied. Total rules applied 55034 place count 6612 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 89 with 10 rules applied. Total rules applied 55044 place count 6612 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 89 with 2 rules applied. Total rules applied 55046 place count 6611 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 89 with 2 rules applied. Total rules applied 55048 place count 6611 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 90 with 9 rules applied. Total rules applied 55057 place count 6611 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 90 with 2 rules applied. Total rules applied 55059 place count 6610 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 90 with 1 rules applied. Total rules applied 55060 place count 6610 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 91 with 10 rules applied. Total rules applied 55070 place count 6610 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 91 with 2 rules applied. Total rules applied 55072 place count 6609 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 91 with 2 rules applied. Total rules applied 55074 place count 6609 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 92 with 9 rules applied. Total rules applied 55083 place count 6609 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 92 with 2 rules applied. Total rules applied 55085 place count 6608 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 92 with 1 rules applied. Total rules applied 55086 place count 6608 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 93 with 10 rules applied. Total rules applied 55096 place count 6608 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 93 with 2 rules applied. Total rules applied 55098 place count 6607 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 93 with 2 rules applied. Total rules applied 55100 place count 6607 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 94 with 9 rules applied. Total rules applied 55109 place count 6607 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 94 with 2 rules applied. Total rules applied 55111 place count 6606 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 94 with 1 rules applied. Total rules applied 55112 place count 6606 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 95 with 10 rules applied. Total rules applied 55122 place count 6606 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 95 with 2 rules applied. Total rules applied 55124 place count 6605 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 95 with 2 rules applied. Total rules applied 55126 place count 6605 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 96 with 9 rules applied. Total rules applied 55135 place count 6605 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 96 with 2 rules applied. Total rules applied 55137 place count 6604 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 96 with 1 rules applied. Total rules applied 55138 place count 6604 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 97 with 10 rules applied. Total rules applied 55148 place count 6604 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 97 with 2 rules applied. Total rules applied 55150 place count 6603 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 97 with 2 rules applied. Total rules applied 55152 place count 6603 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 98 with 9 rules applied. Total rules applied 55161 place count 6603 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 98 with 2 rules applied. Total rules applied 55163 place count 6602 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 98 with 1 rules applied. Total rules applied 55164 place count 6602 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 99 with 10 rules applied. Total rules applied 55174 place count 6602 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 99 with 2 rules applied. Total rules applied 55176 place count 6601 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 99 with 2 rules applied. Total rules applied 55178 place count 6601 transition count 14760
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 100 with 9 rules applied. Total rules applied 55187 place count 6601 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 100 with 2 rules applied. Total rules applied 55189 place count 6600 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 100 with 1 rules applied. Total rules applied 55190 place count 6600 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 101 with 10 rules applied. Total rules applied 55200 place count 6600 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 101 with 2 rules applied. Total rules applied 55202 place count 6599 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 101 with 2 rules applied. Total rules applied 55204 place count 6599 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 102 with 9 rules applied. Total rules applied 55213 place count 6599 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 102 with 2 rules applied. Total rules applied 55215 place count 6598 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 102 with 1 rules applied. Total rules applied 55216 place count 6598 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 103 with 10 rules applied. Total rules applied 55226 place count 6598 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 103 with 2 rules applied. Total rules applied 55228 place count 6597 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 103 with 2 rules applied. Total rules applied 55230 place count 6597 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 104 with 9 rules applied. Total rules applied 55239 place count 6597 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 104 with 2 rules applied. Total rules applied 55241 place count 6596 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 104 with 1 rules applied. Total rules applied 55242 place count 6596 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 105 with 10 rules applied. Total rules applied 55252 place count 6596 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 105 with 2 rules applied. Total rules applied 55254 place count 6595 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 105 with 2 rules applied. Total rules applied 55256 place count 6595 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 106 with 9 rules applied. Total rules applied 55265 place count 6595 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 106 with 2 rules applied. Total rules applied 55267 place count 6594 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 106 with 1 rules applied. Total rules applied 55268 place count 6594 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 107 with 10 rules applied. Total rules applied 55278 place count 6594 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 107 with 2 rules applied. Total rules applied 55280 place count 6593 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 107 with 2 rules applied. Total rules applied 55282 place count 6593 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 108 with 9 rules applied. Total rules applied 55291 place count 6593 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 108 with 2 rules applied. Total rules applied 55293 place count 6592 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 108 with 1 rules applied. Total rules applied 55294 place count 6592 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 109 with 10 rules applied. Total rules applied 55304 place count 6592 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 109 with 2 rules applied. Total rules applied 55306 place count 6591 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 109 with 2 rules applied. Total rules applied 55308 place count 6591 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 110 with 9 rules applied. Total rules applied 55317 place count 6591 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 110 with 2 rules applied. Total rules applied 55319 place count 6590 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 110 with 1 rules applied. Total rules applied 55320 place count 6590 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 111 with 10 rules applied. Total rules applied 55330 place count 6590 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 111 with 2 rules applied. Total rules applied 55332 place count 6589 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 111 with 2 rules applied. Total rules applied 55334 place count 6589 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 112 with 9 rules applied. Total rules applied 55343 place count 6589 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 112 with 2 rules applied. Total rules applied 55345 place count 6588 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 112 with 1 rules applied. Total rules applied 55346 place count 6588 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 113 with 10 rules applied. Total rules applied 55356 place count 6588 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 113 with 2 rules applied. Total rules applied 55358 place count 6587 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 113 with 2 rules applied. Total rules applied 55360 place count 6587 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 114 with 9 rules applied. Total rules applied 55369 place count 6587 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 114 with 2 rules applied. Total rules applied 55371 place count 6586 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 114 with 1 rules applied. Total rules applied 55372 place count 6586 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 115 with 10 rules applied. Total rules applied 55382 place count 6586 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 115 with 2 rules applied. Total rules applied 55384 place count 6585 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 115 with 2 rules applied. Total rules applied 55386 place count 6585 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 116 with 9 rules applied. Total rules applied 55395 place count 6585 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 116 with 2 rules applied. Total rules applied 55397 place count 6584 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 116 with 1 rules applied. Total rules applied 55398 place count 6584 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 117 with 10 rules applied. Total rules applied 55408 place count 6584 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 117 with 2 rules applied. Total rules applied 55410 place count 6583 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 117 with 2 rules applied. Total rules applied 55412 place count 6583 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 118 with 9 rules applied. Total rules applied 55421 place count 6583 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 118 with 2 rules applied. Total rules applied 55423 place count 6582 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 118 with 1 rules applied. Total rules applied 55424 place count 6582 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 119 with 10 rules applied. Total rules applied 55434 place count 6582 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 119 with 2 rules applied. Total rules applied 55436 place count 6581 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 119 with 2 rules applied. Total rules applied 55438 place count 6581 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 120 with 9 rules applied. Total rules applied 55447 place count 6581 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 120 with 2 rules applied. Total rules applied 55449 place count 6580 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 120 with 1 rules applied. Total rules applied 55450 place count 6580 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 121 with 10 rules applied. Total rules applied 55460 place count 6580 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 121 with 2 rules applied. Total rules applied 55462 place count 6579 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 121 with 2 rules applied. Total rules applied 55464 place count 6579 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 122 with 9 rules applied. Total rules applied 55473 place count 6579 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 122 with 2 rules applied. Total rules applied 55475 place count 6578 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 122 with 1 rules applied. Total rules applied 55476 place count 6578 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 123 with 10 rules applied. Total rules applied 55486 place count 6578 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 123 with 2 rules applied. Total rules applied 55488 place count 6577 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 123 with 2 rules applied. Total rules applied 55490 place count 6577 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 124 with 9 rules applied. Total rules applied 55499 place count 6577 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 124 with 2 rules applied. Total rules applied 55501 place count 6576 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 124 with 1 rules applied. Total rules applied 55502 place count 6576 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 125 with 10 rules applied. Total rules applied 55512 place count 6576 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 125 with 2 rules applied. Total rules applied 55514 place count 6575 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 125 with 2 rules applied. Total rules applied 55516 place count 6575 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 126 with 9 rules applied. Total rules applied 55525 place count 6575 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 126 with 2 rules applied. Total rules applied 55527 place count 6574 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 126 with 1 rules applied. Total rules applied 55528 place count 6574 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 127 with 10 rules applied. Total rules applied 55538 place count 6574 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 127 with 2 rules applied. Total rules applied 55540 place count 6573 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 127 with 2 rules applied. Total rules applied 55542 place count 6573 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 128 with 9 rules applied. Total rules applied 55551 place count 6573 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 128 with 2 rules applied. Total rules applied 55553 place count 6572 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 128 with 1 rules applied. Total rules applied 55554 place count 6572 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 129 with 10 rules applied. Total rules applied 55564 place count 6572 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 129 with 2 rules applied. Total rules applied 55566 place count 6571 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 129 with 2 rules applied. Total rules applied 55568 place count 6571 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 130 with 9 rules applied. Total rules applied 55577 place count 6571 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 130 with 2 rules applied. Total rules applied 55579 place count 6570 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 130 with 1 rules applied. Total rules applied 55580 place count 6570 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 131 with 10 rules applied. Total rules applied 55590 place count 6570 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 131 with 2 rules applied. Total rules applied 55592 place count 6569 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 131 with 2 rules applied. Total rules applied 55594 place count 6569 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 132 with 9 rules applied. Total rules applied 55603 place count 6569 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 132 with 2 rules applied. Total rules applied 55605 place count 6568 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 132 with 1 rules applied. Total rules applied 55606 place count 6568 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 133 with 10 rules applied. Total rules applied 55616 place count 6568 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 133 with 2 rules applied. Total rules applied 55618 place count 6567 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 133 with 2 rules applied. Total rules applied 55620 place count 6567 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 134 with 9 rules applied. Total rules applied 55629 place count 6567 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 134 with 2 rules applied. Total rules applied 55631 place count 6566 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 134 with 1 rules applied. Total rules applied 55632 place count 6566 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 135 with 10 rules applied. Total rules applied 55642 place count 6566 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 135 with 2 rules applied. Total rules applied 55644 place count 6565 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 135 with 2 rules applied. Total rules applied 55646 place count 6565 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 136 with 9 rules applied. Total rules applied 55655 place count 6565 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 136 with 2 rules applied. Total rules applied 55657 place count 6564 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 136 with 1 rules applied. Total rules applied 55658 place count 6564 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 137 with 10 rules applied. Total rules applied 55668 place count 6564 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 137 with 2 rules applied. Total rules applied 55670 place count 6563 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 137 with 2 rules applied. Total rules applied 55672 place count 6563 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 138 with 9 rules applied. Total rules applied 55681 place count 6563 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 138 with 2 rules applied. Total rules applied 55683 place count 6562 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 138 with 1 rules applied. Total rules applied 55684 place count 6562 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 139 with 10 rules applied. Total rules applied 55694 place count 6562 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 139 with 2 rules applied. Total rules applied 55696 place count 6561 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 139 with 2 rules applied. Total rules applied 55698 place count 6561 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 140 with 9 rules applied. Total rules applied 55707 place count 6561 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 140 with 2 rules applied. Total rules applied 55709 place count 6560 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 140 with 1 rules applied. Total rules applied 55710 place count 6560 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 141 with 10 rules applied. Total rules applied 55720 place count 6560 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 141 with 2 rules applied. Total rules applied 55722 place count 6559 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 141 with 2 rules applied. Total rules applied 55724 place count 6559 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 142 with 9 rules applied. Total rules applied 55733 place count 6559 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 142 with 2 rules applied. Total rules applied 55735 place count 6558 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 142 with 1 rules applied. Total rules applied 55736 place count 6558 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 143 with 10 rules applied. Total rules applied 55746 place count 6558 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 143 with 2 rules applied. Total rules applied 55748 place count 6557 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 143 with 2 rules applied. Total rules applied 55750 place count 6557 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 144 with 9 rules applied. Total rules applied 55759 place count 6557 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 144 with 2 rules applied. Total rules applied 55761 place count 6556 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 144 with 1 rules applied. Total rules applied 55762 place count 6556 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 145 with 10 rules applied. Total rules applied 55772 place count 6556 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 145 with 2 rules applied. Total rules applied 55774 place count 6555 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 145 with 2 rules applied. Total rules applied 55776 place count 6555 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 146 with 9 rules applied. Total rules applied 55785 place count 6555 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 146 with 2 rules applied. Total rules applied 55787 place count 6554 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 146 with 1 rules applied. Total rules applied 55788 place count 6554 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 147 with 10 rules applied. Total rules applied 55798 place count 6554 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 147 with 2 rules applied. Total rules applied 55800 place count 6553 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 147 with 2 rules applied. Total rules applied 55802 place count 6553 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 148 with 9 rules applied. Total rules applied 55811 place count 6553 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 148 with 2 rules applied. Total rules applied 55813 place count 6552 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 148 with 1 rules applied. Total rules applied 55814 place count 6552 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 149 with 10 rules applied. Total rules applied 55824 place count 6552 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 149 with 2 rules applied. Total rules applied 55826 place count 6551 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 149 with 2 rules applied. Total rules applied 55828 place count 6551 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 150 with 9 rules applied. Total rules applied 55837 place count 6551 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 150 with 2 rules applied. Total rules applied 55839 place count 6550 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 150 with 1 rules applied. Total rules applied 55840 place count 6550 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 151 with 10 rules applied. Total rules applied 55850 place count 6550 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 151 with 2 rules applied. Total rules applied 55852 place count 6549 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 151 with 2 rules applied. Total rules applied 55854 place count 6549 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 152 with 9 rules applied. Total rules applied 55863 place count 6549 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 152 with 2 rules applied. Total rules applied 55865 place count 6548 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 152 with 1 rules applied. Total rules applied 55866 place count 6548 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 153 with 10 rules applied. Total rules applied 55876 place count 6548 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 153 with 2 rules applied. Total rules applied 55878 place count 6547 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 153 with 2 rules applied. Total rules applied 55880 place count 6547 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 154 with 9 rules applied. Total rules applied 55889 place count 6547 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 154 with 2 rules applied. Total rules applied 55891 place count 6546 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 154 with 1 rules applied. Total rules applied 55892 place count 6546 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 155 with 10 rules applied. Total rules applied 55902 place count 6546 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 155 with 2 rules applied. Total rules applied 55904 place count 6545 transition count 14762
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 155 with 2 rules applied. Total rules applied 55906 place count 6545 transition count 14760
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 156 with 9 rules applied. Total rules applied 55915 place count 6545 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 156 with 2 rules applied. Total rules applied 55917 place count 6544 transition count 14762
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 156 with 1 rules applied. Total rules applied 55918 place count 6544 transition count 14761
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 157 with 10 rules applied. Total rules applied 55928 place count 6544 transition count 14751
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 157 with 2 rules applied. Total rules applied 55930 place count 6543 transition count 14760
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 157 with 1 rules applied. Total rules applied 55931 place count 6543 transition count 14759
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 158 with 9 rules applied. Total rules applied 55940 place count 6543 transition count 14750
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 158 with 2 rules applied. Total rules applied 55942 place count 6542 transition count 14759
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 158 with 1 rules applied. Total rules applied 55943 place count 6542 transition count 14758
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 159 with 9 rules applied. Total rules applied 55952 place count 6542 transition count 14749
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 159 with 2 rules applied. Total rules applied 55954 place count 6541 transition count 14758
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 159 with 1 rules applied. Total rules applied 55955 place count 6541 transition count 14757
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 160 with 9 rules applied. Total rules applied 55964 place count 6541 transition count 14748
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 160 with 2 rules applied. Total rules applied 55966 place count 6540 transition count 14757
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 160 with 1 rules applied. Total rules applied 55967 place count 6540 transition count 14756
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 161 with 9 rules applied. Total rules applied 55976 place count 6540 transition count 14747
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 161 with 2 rules applied. Total rules applied 55978 place count 6539 transition count 14756
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 161 with 1 rules applied. Total rules applied 55979 place count 6539 transition count 14755
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 162 with 9 rules applied. Total rules applied 55988 place count 6539 transition count 14746
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 162 with 2 rules applied. Total rules applied 55990 place count 6538 transition count 14755
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 162 with 1 rules applied. Total rules applied 55991 place count 6538 transition count 14754
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 163 with 9 rules applied. Total rules applied 56000 place count 6538 transition count 14745
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 163 with 2 rules applied. Total rules applied 56002 place count 6537 transition count 14754
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 163 with 1 rules applied. Total rules applied 56003 place count 6537 transition count 14753
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 164 with 9 rules applied. Total rules applied 56012 place count 6537 transition count 14744
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 164 with 2 rules applied. Total rules applied 56014 place count 6536 transition count 14753
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 164 with 1 rules applied. Total rules applied 56015 place count 6536 transition count 14752
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 165 with 9 rules applied. Total rules applied 56024 place count 6536 transition count 14743
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 165 with 2 rules applied. Total rules applied 56026 place count 6535 transition count 14752
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 165 with 1 rules applied. Total rules applied 56027 place count 6535 transition count 14751
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 166 with 9 rules applied. Total rules applied 56036 place count 6535 transition count 14742
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 166 with 2 rules applied. Total rules applied 56038 place count 6534 transition count 14751
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 166 with 1 rules applied. Total rules applied 56039 place count 6534 transition count 14750
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 167 with 9 rules applied. Total rules applied 56048 place count 6534 transition count 14741
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 167 with 2 rules applied. Total rules applied 56050 place count 6533 transition count 14750
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 167 with 1 rules applied. Total rules applied 56051 place count 6533 transition count 14749
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 168 with 9 rules applied. Total rules applied 56060 place count 6533 transition count 14740
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 168 with 2 rules applied. Total rules applied 56062 place count 6532 transition count 14749
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 168 with 1 rules applied. Total rules applied 56063 place count 6532 transition count 14748
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 169 with 9 rules applied. Total rules applied 56072 place count 6532 transition count 14739
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 169 with 2 rules applied. Total rules applied 56074 place count 6531 transition count 14748
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 169 with 1 rules applied. Total rules applied 56075 place count 6531 transition count 14747
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 170 with 9 rules applied. Total rules applied 56084 place count 6531 transition count 14738
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 170 with 2 rules applied. Total rules applied 56086 place count 6530 transition count 14747
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 170 with 1 rules applied. Total rules applied 56087 place count 6530 transition count 14746
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 171 with 9 rules applied. Total rules applied 56096 place count 6530 transition count 14737
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 171 with 2 rules applied. Total rules applied 56098 place count 6529 transition count 14746
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 171 with 1 rules applied. Total rules applied 56099 place count 6529 transition count 14745
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 172 with 9 rules applied. Total rules applied 56108 place count 6529 transition count 14736
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 172 with 2 rules applied. Total rules applied 56110 place count 6528 transition count 14745
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 172 with 1 rules applied. Total rules applied 56111 place count 6528 transition count 14744
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 173 with 9 rules applied. Total rules applied 56120 place count 6528 transition count 14735
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 173 with 2 rules applied. Total rules applied 56122 place count 6527 transition count 14744
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 173 with 1 rules applied. Total rules applied 56123 place count 6527 transition count 14743
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 174 with 9 rules applied. Total rules applied 56132 place count 6527 transition count 14734
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 174 with 2 rules applied. Total rules applied 56134 place count 6526 transition count 14743
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 174 with 1 rules applied. Total rules applied 56135 place count 6526 transition count 14742
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 175 with 9 rules applied. Total rules applied 56144 place count 6526 transition count 14733
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 175 with 2 rules applied. Total rules applied 56146 place count 6525 transition count 14742
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 175 with 1 rules applied. Total rules applied 56147 place count 6525 transition count 14741
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 176 with 9 rules applied. Total rules applied 56156 place count 6525 transition count 14732
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 176 with 2 rules applied. Total rules applied 56158 place count 6524 transition count 14741
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 176 with 1 rules applied. Total rules applied 56159 place count 6524 transition count 14740
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 177 with 9 rules applied. Total rules applied 56168 place count 6524 transition count 14731
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 177 with 2 rules applied. Total rules applied 56170 place count 6523 transition count 14740
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 177 with 1 rules applied. Total rules applied 56171 place count 6523 transition count 14739
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 178 with 9 rules applied. Total rules applied 56180 place count 6523 transition count 14730
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 178 with 2 rules applied. Total rules applied 56182 place count 6522 transition count 14739
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 178 with 1 rules applied. Total rules applied 56183 place count 6522 transition count 14738
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 179 with 9 rules applied. Total rules applied 56192 place count 6522 transition count 14729
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 179 with 2 rules applied. Total rules applied 56194 place count 6521 transition count 14738
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 179 with 1 rules applied. Total rules applied 56195 place count 6521 transition count 14737
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 180 with 9 rules applied. Total rules applied 56204 place count 6521 transition count 14728
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 180 with 2 rules applied. Total rules applied 56206 place count 6520 transition count 14737
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 180 with 1 rules applied. Total rules applied 56207 place count 6520 transition count 14736
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 181 with 9 rules applied. Total rules applied 56216 place count 6520 transition count 14727
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 181 with 2 rules applied. Total rules applied 56218 place count 6519 transition count 14736
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 181 with 1 rules applied. Total rules applied 56219 place count 6519 transition count 14735
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 182 with 9 rules applied. Total rules applied 56228 place count 6519 transition count 14726
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 182 with 2 rules applied. Total rules applied 56230 place count 6518 transition count 14735
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 182 with 1 rules applied. Total rules applied 56231 place count 6518 transition count 14734
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 183 with 9 rules applied. Total rules applied 56240 place count 6518 transition count 14725
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 183 with 2 rules applied. Total rules applied 56242 place count 6517 transition count 14734
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 183 with 1 rules applied. Total rules applied 56243 place count 6517 transition count 14733
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 184 with 9 rules applied. Total rules applied 56252 place count 6517 transition count 14724
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 184 with 2 rules applied. Total rules applied 56254 place count 6516 transition count 14733
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 184 with 1 rules applied. Total rules applied 56255 place count 6516 transition count 14732
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 185 with 9 rules applied. Total rules applied 56264 place count 6516 transition count 14723
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 185 with 2 rules applied. Total rules applied 56266 place count 6515 transition count 14732
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 185 with 1 rules applied. Total rules applied 56267 place count 6515 transition count 14731
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 186 with 9 rules applied. Total rules applied 56276 place count 6515 transition count 14722
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 186 with 2 rules applied. Total rules applied 56278 place count 6514 transition count 14731
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 186 with 1 rules applied. Total rules applied 56279 place count 6514 transition count 14730
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 187 with 9 rules applied. Total rules applied 56288 place count 6514 transition count 14721
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 187 with 2 rules applied. Total rules applied 56290 place count 6513 transition count 14730
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 187 with 1 rules applied. Total rules applied 56291 place count 6513 transition count 14729
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 188 with 9 rules applied. Total rules applied 56300 place count 6513 transition count 14720
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 188 with 2 rules applied. Total rules applied 56302 place count 6512 transition count 14729
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 188 with 1 rules applied. Total rules applied 56303 place count 6512 transition count 14728
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 189 with 9 rules applied. Total rules applied 56312 place count 6512 transition count 14719
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 189 with 2 rules applied. Total rules applied 56314 place count 6511 transition count 14728
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 189 with 1 rules applied. Total rules applied 56315 place count 6511 transition count 14727
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 190 with 9 rules applied. Total rules applied 56324 place count 6511 transition count 14718
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 190 with 2 rules applied. Total rules applied 56326 place count 6510 transition count 14727
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 190 with 1 rules applied. Total rules applied 56327 place count 6510 transition count 14726
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 191 with 9 rules applied. Total rules applied 56336 place count 6510 transition count 14717
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 191 with 2 rules applied. Total rules applied 56338 place count 6509 transition count 14726
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 191 with 1 rules applied. Total rules applied 56339 place count 6509 transition count 14725
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 192 with 9 rules applied. Total rules applied 56348 place count 6509 transition count 14716
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 192 with 2 rules applied. Total rules applied 56350 place count 6508 transition count 14725
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 192 with 1 rules applied. Total rules applied 56351 place count 6508 transition count 14724
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 193 with 9 rules applied. Total rules applied 56360 place count 6508 transition count 14715
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 193 with 2 rules applied. Total rules applied 56362 place count 6507 transition count 14724
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 193 with 1 rules applied. Total rules applied 56363 place count 6507 transition count 14723
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 194 with 9 rules applied. Total rules applied 56372 place count 6507 transition count 14714
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 194 with 2 rules applied. Total rules applied 56374 place count 6506 transition count 14723
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 194 with 1 rules applied. Total rules applied 56375 place count 6506 transition count 14722
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 195 with 9 rules applied. Total rules applied 56384 place count 6506 transition count 14713
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 195 with 2 rules applied. Total rules applied 56386 place count 6505 transition count 14722
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 195 with 1 rules applied. Total rules applied 56387 place count 6505 transition count 14721
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 196 with 9 rules applied. Total rules applied 56396 place count 6505 transition count 14712
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 196 with 2 rules applied. Total rules applied 56398 place count 6504 transition count 14721
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 196 with 1 rules applied. Total rules applied 56399 place count 6504 transition count 14720
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 197 with 9 rules applied. Total rules applied 56408 place count 6504 transition count 14711
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 197 with 2 rules applied. Total rules applied 56410 place count 6503 transition count 14720
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 197 with 1 rules applied. Total rules applied 56411 place count 6503 transition count 14719
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 198 with 9 rules applied. Total rules applied 56420 place count 6503 transition count 14710
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 198 with 2 rules applied. Total rules applied 56422 place count 6502 transition count 14719
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 198 with 1 rules applied. Total rules applied 56423 place count 6502 transition count 14718
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 199 with 9 rules applied. Total rules applied 56432 place count 6502 transition count 14709
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 199 with 2 rules applied. Total rules applied 56434 place count 6501 transition count 14718
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 199 with 1 rules applied. Total rules applied 56435 place count 6501 transition count 14717
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 200 with 9 rules applied. Total rules applied 56444 place count 6501 transition count 14708
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 200 with 2 rules applied. Total rules applied 56446 place count 6500 transition count 14717
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 200 with 1 rules applied. Total rules applied 56447 place count 6500 transition count 14716
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 201 with 9 rules applied. Total rules applied 56456 place count 6500 transition count 14707
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 201 with 2 rules applied. Total rules applied 56458 place count 6499 transition count 14716
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 201 with 1 rules applied. Total rules applied 56459 place count 6499 transition count 14715
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 202 with 9 rules applied. Total rules applied 56468 place count 6499 transition count 14706
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 202 with 2 rules applied. Total rules applied 56470 place count 6498 transition count 14715
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 202 with 1 rules applied. Total rules applied 56471 place count 6498 transition count 14714
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 203 with 9 rules applied. Total rules applied 56480 place count 6498 transition count 14705
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 203 with 2 rules applied. Total rules applied 56482 place count 6497 transition count 14714
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 203 with 1 rules applied. Total rules applied 56483 place count 6497 transition count 14713
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 204 with 9 rules applied. Total rules applied 56492 place count 6497 transition count 14704
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 204 with 2 rules applied. Total rules applied 56494 place count 6496 transition count 14713
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 204 with 1 rules applied. Total rules applied 56495 place count 6496 transition count 14712
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 205 with 9 rules applied. Total rules applied 56504 place count 6496 transition count 14703
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 205 with 2 rules applied. Total rules applied 56506 place count 6495 transition count 14712
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 205 with 1 rules applied. Total rules applied 56507 place count 6495 transition count 14711
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 206 with 9 rules applied. Total rules applied 56516 place count 6495 transition count 14702
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 206 with 2 rules applied. Total rules applied 56518 place count 6494 transition count 14711
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 206 with 1 rules applied. Total rules applied 56519 place count 6494 transition count 14710
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 207 with 9 rules applied. Total rules applied 56528 place count 6494 transition count 14701
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 207 with 2 rules applied. Total rules applied 56530 place count 6493 transition count 14710
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 207 with 1 rules applied. Total rules applied 56531 place count 6493 transition count 14709
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 208 with 9 rules applied. Total rules applied 56540 place count 6493 transition count 14700
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 208 with 2 rules applied. Total rules applied 56542 place count 6492 transition count 14709
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 208 with 1 rules applied. Total rules applied 56543 place count 6492 transition count 14708
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 209 with 9 rules applied. Total rules applied 56552 place count 6492 transition count 14699
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 209 with 2 rules applied. Total rules applied 56554 place count 6491 transition count 14708
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 209 with 1 rules applied. Total rules applied 56555 place count 6491 transition count 14707
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 210 with 9 rules applied. Total rules applied 56564 place count 6491 transition count 14698
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 210 with 2 rules applied. Total rules applied 56566 place count 6490 transition count 14707
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 210 with 1 rules applied. Total rules applied 56567 place count 6490 transition count 14706
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 211 with 9 rules applied. Total rules applied 56576 place count 6490 transition count 14697
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 211 with 2 rules applied. Total rules applied 56578 place count 6489 transition count 14706
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 211 with 1 rules applied. Total rules applied 56579 place count 6489 transition count 14705
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 212 with 9 rules applied. Total rules applied 56588 place count 6489 transition count 14696
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 212 with 2 rules applied. Total rules applied 56590 place count 6488 transition count 14705
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 212 with 1 rules applied. Total rules applied 56591 place count 6488 transition count 14704
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 213 with 9 rules applied. Total rules applied 56600 place count 6488 transition count 14695
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 213 with 2 rules applied. Total rules applied 56602 place count 6487 transition count 14704
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 213 with 1 rules applied. Total rules applied 56603 place count 6487 transition count 14703
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 214 with 9 rules applied. Total rules applied 56612 place count 6487 transition count 14694
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 214 with 2 rules applied. Total rules applied 56614 place count 6486 transition count 14703
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 214 with 1 rules applied. Total rules applied 56615 place count 6486 transition count 14702
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 215 with 9 rules applied. Total rules applied 56624 place count 6486 transition count 14693
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 215 with 2 rules applied. Total rules applied 56626 place count 6485 transition count 14702
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 215 with 1 rules applied. Total rules applied 56627 place count 6485 transition count 14701
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 216 with 9 rules applied. Total rules applied 56636 place count 6485 transition count 14692
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 216 with 2 rules applied. Total rules applied 56638 place count 6484 transition count 14701
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 216 with 1 rules applied. Total rules applied 56639 place count 6484 transition count 14700
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 217 with 9 rules applied. Total rules applied 56648 place count 6484 transition count 14691
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 217 with 2 rules applied. Total rules applied 56650 place count 6483 transition count 14700
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 217 with 1 rules applied. Total rules applied 56651 place count 6483 transition count 14699
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 218 with 9 rules applied. Total rules applied 56660 place count 6483 transition count 14690
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 218 with 2 rules applied. Total rules applied 56662 place count 6482 transition count 14699
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 218 with 1 rules applied. Total rules applied 56663 place count 6482 transition count 14698
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 219 with 9 rules applied. Total rules applied 56672 place count 6482 transition count 14689
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 219 with 2 rules applied. Total rules applied 56674 place count 6481 transition count 14698
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 219 with 1 rules applied. Total rules applied 56675 place count 6481 transition count 14697
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 220 with 9 rules applied. Total rules applied 56684 place count 6481 transition count 14688
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 220 with 2 rules applied. Total rules applied 56686 place count 6480 transition count 14697
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 220 with 1 rules applied. Total rules applied 56687 place count 6480 transition count 14696
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 221 with 9 rules applied. Total rules applied 56696 place count 6480 transition count 14687
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 221 with 2 rules applied. Total rules applied 56698 place count 6479 transition count 14696
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 221 with 1 rules applied. Total rules applied 56699 place count 6479 transition count 14695
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 222 with 9 rules applied. Total rules applied 56708 place count 6479 transition count 14686
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 222 with 2 rules applied. Total rules applied 56710 place count 6478 transition count 14695
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 222 with 1 rules applied. Total rules applied 56711 place count 6478 transition count 14694
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 223 with 9 rules applied. Total rules applied 56720 place count 6478 transition count 14685
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 223 with 2 rules applied. Total rules applied 56722 place count 6477 transition count 14694
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 223 with 1 rules applied. Total rules applied 56723 place count 6477 transition count 14693
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 224 with 9 rules applied. Total rules applied 56732 place count 6477 transition count 14684
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 224 with 2 rules applied. Total rules applied 56734 place count 6476 transition count 14693
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 224 with 1 rules applied. Total rules applied 56735 place count 6476 transition count 14692
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 225 with 9 rules applied. Total rules applied 56744 place count 6476 transition count 14683
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 225 with 2 rules applied. Total rules applied 56746 place count 6475 transition count 14692
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 225 with 1 rules applied. Total rules applied 56747 place count 6475 transition count 14691
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 226 with 9 rules applied. Total rules applied 56756 place count 6475 transition count 14682
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 226 with 2 rules applied. Total rules applied 56758 place count 6474 transition count 14691
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 226 with 1 rules applied. Total rules applied 56759 place count 6474 transition count 14690
Drop transitions removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 227 with 9 rules applied. Total rules applied 56768 place count 6474 transition count 14681
Free-agglomeration rule applied 3821 times with reduction of 2603 identical transitions.
Iterating global reduction 227 with 3821 rules applied. Total rules applied 60589 place count 6474 transition count 8257
Reduce places removed 3821 places and 0 transitions.
Drop transitions removed 5063 transitions
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 5070 transitions.
Graph (complete) has 5907 edges and 2653 vertex of which 276 are kept as prefixes of interest. Removing 2377 places using SCC suffix rule.9 ms
Discarding 2377 places :
Also discarding 2386 output transitions
Drop transitions removed 2386 transitions
Iterating post reduction 227 with 8892 rules applied. Total rules applied 69481 place count 276 transition count 801
Drop transitions removed 347 transitions
Ensure Unique test removed 103 transitions
Reduce isomorphic transitions removed 450 transitions.
Iterating post reduction 228 with 450 rules applied. Total rules applied 69931 place count 276 transition count 351
Discarding 117 places :
Symmetric choice reduction at 229 with 117 rule applications. Total rules 70048 place count 159 transition count 214
Iterating global reduction 229 with 117 rules applied. Total rules applied 70165 place count 159 transition count 214
Drop transitions removed 12 transitions
Redundant transition composition rules discarded 12 transitions
Iterating global reduction 229 with 12 rules applied. Total rules applied 70177 place count 159 transition count 202
Applied a total of 70177 rules in 299108 ms. Remains 159 /35101 variables (removed 34942) and now considering 202/55507 (removed 55305) transitions.
Finished structural reductions, in 1 iterations. Remains : 159/35101 places, 202/55507 transitions.
[2021-05-08 18:48:25] [INFO ] Flatten gal took : 50 ms
[2021-05-08 18:48:25] [INFO ] Flatten gal took : 19 ms
[2021-05-08 18:48:25] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality5403575926223251160.gal : 10 ms
[2021-05-08 18:48:25] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7749265666319359594.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality5403575926223251160.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality7749265666319359594.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality5403575926223251160.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality7749265666319359594.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality7749265666319359594.prop.
SDD proceeding with computation,9 properties remain. new max is 4
SDD size :1 after 7
Reachability property DLCflexbar-PT-7b-ReachabilityCardinality-08 is true.
FORMULA DLCflexbar-PT-7b-ReachabilityCardinality-08 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING
SDD proceeding with computation,8 properties remain. new max is 4
SDD size :7 after 25
SDD proceeding with computation,8 properties remain. new max is 8
SDD size :25 after 49
SDD proceeding with computation,8 properties remain. new max is 16
SDD size :49 after 385
Invariant property DLCflexbar-PT-7b-ReachabilityCardinality-06 does not hold.
FORMULA DLCflexbar-PT-7b-ReachabilityCardinality-06 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING
Invariant property DLCflexbar-PT-7b-ReachabilityCardinality-00 does not hold.
FORMULA DLCflexbar-PT-7b-ReachabilityCardinality-00 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING
SDD proceeding with computation,6 properties remain. new max is 16
SDD size :385 after 7369
Invariant property DLCflexbar-PT-7b-ReachabilityCardinality-07 does not hold.
FORMULA DLCflexbar-PT-7b-ReachabilityCardinality-07 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING
SDD proceeding with computation,5 properties remain. new max is 16
SDD size :7369 after 7549
SDD proceeding with computation,5 properties remain. new max is 32
SDD size :7549 after 8629
SDD proceeding with computation,5 properties remain. new max is 64
SDD size :8629 after 25945
Invariant property DLCflexbar-PT-7b-ReachabilityCardinality-05 does not hold.
FORMULA DLCflexbar-PT-7b-ReachabilityCardinality-05 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING
SDD proceeding with computation,4 properties remain. new max is 64
SDD size :25945 after 47185
SDD proceeding with computation,4 properties remain. new max is 128
SDD size :47185 after 590794
SDD proceeding with computation,4 properties remain. new max is 256
SDD size :590794 after 1.3511e+06
Invariant property DLCflexbar-PT-7b-ReachabilityCardinality-14 does not hold.
FORMULA DLCflexbar-PT-7b-ReachabilityCardinality-14 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING
SDD proceeding with computation,3 properties remain. new max is 256
SDD size :1.3511e+06 after 8.34613e+07
SDD proceeding with computation,3 properties remain. new max is 512
SDD size :8.34613e+07 after 2.38415e+09
SDD proceeding with computation,3 properties remain. new max is 1024
SDD size :2.38415e+09 after 3.99139e+13
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
petri\_inst\_inst,1.88338e+20,1.76935,32300,2,9276,25,129831,9,0,824,110369,0
Total reachable state count : 188337608862235361280

Verifying 9 reachability properties.
Invariant property DLCflexbar-PT-7b-ReachabilityCardinality-00 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCflexbar-PT-7b-ReachabilityCardinality-00,12,1.77072,32300,2,175,25,129831,10,0,830,110369,0
Reachability property DLCflexbar-PT-7b-ReachabilityCardinality-01 is true.
FORMULA DLCflexbar-PT-7b-ReachabilityCardinality-01 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCflexbar-PT-7b-ReachabilityCardinality-01,4.41416e+18,1.77923,32300,2,5293,25,129831,10,0,833,110369,0
Invariant property DLCflexbar-PT-7b-ReachabilityCardinality-05 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCflexbar-PT-7b-ReachabilityCardinality-05,18,1.78003,32300,2,175,25,129831,11,0,838,110369,0
Invariant property DLCflexbar-PT-7b-ReachabilityCardinality-06 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCflexbar-PT-7b-ReachabilityCardinality-06,1,1.78048,32300,2,160,25,129831,12,0,840,110369,0
Invariant property DLCflexbar-PT-7b-ReachabilityCardinality-07 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCflexbar-PT-7b-ReachabilityCardinality-07,36,1.78102,32300,2,176,25,129831,13,0,845,110369,0
Reachability property DLCflexbar-PT-7b-ReachabilityCardinality-08 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCflexbar-PT-7b-ReachabilityCardinality-08,1,1.78183,32300,2,160,25,129831,14,0,858,110369,0
Invariant property DLCflexbar-PT-7b-ReachabilityCardinality-10 does not hold.
FORMULA DLCflexbar-PT-7b-ReachabilityCardinality-10 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCflexbar-PT-7b-ReachabilityCardinality-10,1.87862e+14,1.78684,32300,2,1186,25,129831,14,0,864,110369,0
Invariant property DLCflexbar-PT-7b-ReachabilityCardinality-11 does not hold.
FORMULA DLCflexbar-PT-7b-ReachabilityCardinality-11 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCflexbar-PT-7b-ReachabilityCardinality-11,1,1.78819,32300,2,160,25,129831,14,0,871,110369,0
Invariant property DLCflexbar-PT-7b-ReachabilityCardinality-14 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCflexbar-PT-7b-ReachabilityCardinality-14,1,1.78925,32300,2,160,25,129831,15,0,876,110369,0
All properties solved without resorting to model-checking.

BK_STOP 1620499708142

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

+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution ReachabilityCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination ReachabilityCardinality -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCflexbar-PT-7b"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="itstools"
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-4028"
echo " Executing tool itstools"
echo " Input is DLCflexbar-PT-7b, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r064-tall-162038396900254"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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