Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 17M
-rw-r--r-- 1 mcc users 6.6K Feb 26 08:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 26 08:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 08:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 08:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 08:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 26 08:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 08:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 08:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 17M Mar 5 18:22 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME QuasiLiveness

=== Now, execution of the tool begins

BK_START 1678178682527

Running Version 202205111006
[2023-03-07 08:44:43] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -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, 1800]
[2023-03-07 08:44:43] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-07 08:44:45] [INFO ] Load time of PNML (sax parser for PT used): 1050 ms
[2023-03-07 08:44:45] [INFO ] Transformed 44243 places.
[2023-03-07 08:44:46] [INFO ] Transformed 66611 transitions.
[2023-03-07 08:44:46] [INFO ] Found NUPN structural information;
[2023-03-07 08:44:48] [INFO ] Parsed PT model containing 44243 places and 66611 transitions in 4555 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 44243/44243 places, 66611/66611 transitions.
Graph (trivial) has 40749 edges and 44243 vertex of which 3264 / 44243 are part of one of the 207 SCC in 107 ms
Free SCC test removed 3057 places
Ensure Unique test removed 3252 transitions
Reduce isomorphic transitions removed 3252 transitions.
Drop transitions removed 20631 transitions
Trivial Post-agglo rules discarded 20631 transitions
Performed 20631 trivial Post agglomeration. Transition count delta: 20631
Iterating post reduction 0 with 20631 rules applied. Total rules applied 20632 place count 41186 transition count 42728
Reduce places removed 20631 places and 0 transitions.
Ensure Unique test removed 567 transitions
Reduce isomorphic transitions removed 567 transitions.
Drop transitions removed 561 transitions
Trivial Post-agglo rules discarded 561 transitions
Performed 561 trivial Post agglomeration. Transition count delta: 561
Iterating post reduction 1 with 21759 rules applied. Total rules applied 42391 place count 20555 transition count 41600
Reduce places removed 561 places and 0 transitions.
Ensure Unique test removed 183 transitions
Reduce isomorphic transitions removed 183 transitions.
Drop transitions removed 183 transitions
Trivial Post-agglo rules discarded 183 transitions
Performed 183 trivial Post agglomeration. Transition count delta: 183
Iterating post reduction 2 with 927 rules applied. Total rules applied 43318 place count 19994 transition count 41234
Reduce places removed 183 places and 0 transitions.
Iterating post reduction 3 with 183 rules applied. Total rules applied 43501 place count 19811 transition count 41234
Performed 183 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 183 Pre rules applied. Total rules applied 43501 place count 19811 transition count 41051
Deduced a syphon composed of 183 places in 2953 ms
Reduce places removed 183 places and 0 transitions.
Iterating global reduction 4 with 366 rules applied. Total rules applied 43867 place count 19628 transition count 41051
Performed 10840 Post agglomeration using F-continuation condition.Transition count delta: 10840
Deduced a syphon composed of 10840 places in 41 ms
Reduce places removed 10840 places and 0 transitions.
Iterating global reduction 4 with 21680 rules applied. Total rules applied 65547 place count 8788 transition count 30211
Renaming transitions due to excessive name length > 1024 char.
Discarding 408 places :
Symmetric choice reduction at 4 with 408 rule applications. Total rules 65955 place count 8380 transition count 20119
Iterating global reduction 4 with 408 rules applied. Total rules applied 66363 place count 8380 transition count 20119
Ensure Unique test removed 390 transitions
Reduce isomorphic transitions removed 390 transitions.
Iterating post reduction 4 with 390 rules applied. Total rules applied 66753 place count 8380 transition count 19729
Performed 101 Post agglomeration using F-continuation condition with reduction of 198 identical transitions.
Deduced a syphon composed of 101 places in 9 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 5 with 202 rules applied. Total rules applied 66955 place count 8279 transition count 20333
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 66956 place count 8279 transition count 20332
Performed 101 Post agglomeration using F-continuation condition with reduction of 198 identical transitions.
Deduced a syphon composed of 101 places in 5 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 6 with 202 rules applied. Total rules applied 67158 place count 8178 transition count 20940
Performed 101 Post agglomeration using F-continuation condition with reduction of 204 identical transitions.
Deduced a syphon composed of 101 places in 4 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 6 with 202 rules applied. Total rules applied 67360 place count 8077 transition count 21547
Performed 101 Post agglomeration using F-continuation condition with reduction of 198 identical transitions.
Deduced a syphon composed of 101 places in 4 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 6 with 202 rules applied. Total rules applied 67562 place count 7976 transition count 22151
Applied a total of 67562 rules in 16660 ms. Remains 7976 /44243 variables (removed 36267) and now considering 22151/66611 (removed 44460) transitions.
[2023-03-07 08:45:05] [INFO ] Flow matrix only has 21134 transitions (discarded 1017 similar events)
// Phase 1: matrix 21134 rows 7976 cols
[2023-03-07 08:45:05] [INFO ] Computed 2415 place invariants in 90 ms
[2023-03-07 08:45:06] [INFO ] Implicit Places using invariants in 1000 ms returned []
Implicit Place search using SMT only with invariants took 1028 ms to find 0 implicit places.
[2023-03-07 08:45:06] [INFO ] Flow matrix only has 21134 transitions (discarded 1017 similar events)
// Phase 1: matrix 21134 rows 7976 cols
[2023-03-07 08:45:06] [INFO ] Computed 2415 place invariants in 58 ms
[2023-03-07 08:45:06] [INFO ] Dead Transitions using invariants and state equation in 769 ms found 0 transitions.
Starting structural reductions in LIVENESS mode, iteration 1 : 7976/44243 places, 22151/66611 transitions.
Finished structural reductions, in 1 iterations. Remains : 7976/44243 places, 22151/66611 transitions.
Discarding 6405 transitions out of 22151. Remains 15746
Initial state reduction rules removed 1 formulas.
Ensure Unique test removed 1 transitions
Reduce redundant transitions removed 1 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 3448 ms. (steps per millisecond=2 ) properties (out of 15745) seen :6549
Running SMT prover for 9196 properties.
[2023-03-07 08:45:11] [INFO ] Flow matrix only has 21134 transitions (discarded 1016 similar events)
// Phase 1: matrix 21134 rows 7976 cols
[2023-03-07 08:45:11] [INFO ] Computed 2415 place invariants in 41 ms
[2023-03-07 08:45:36] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-07 08:45:36] [INFO ] After 25051ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 9196 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 5243 out of 7976 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 7976/7976 places, 22150/22150 transitions.
Drop transitions removed 207 transitions
Reduce isomorphic transitions removed 207 transitions.
Iterating post reduction 0 with 207 rules applied. Total rules applied 207 place count 7976 transition count 21943
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -14
Deduced a syphon composed of 3 places in 4 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 1 with 6 rules applied. Total rules applied 213 place count 7973 transition count 21957
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 1 with 3 rules applied. Total rules applied 216 place count 7973 transition count 21954
Free-agglomeration rule applied 390 times with reduction of 16 identical transitions.
Iterating global reduction 2 with 390 rules applied. Total rules applied 606 place count 7973 transition count 21548
Reduce places removed 390 places and 0 transitions.
Drop transitions removed 394 transitions
Ensure Unique test removed 32 transitions
Reduce isomorphic transitions removed 426 transitions.
Iterating post reduction 2 with 816 rules applied. Total rules applied 1422 place count 7583 transition count 21122
Applied a total of 1422 rules in 2014 ms. Remains 7583 /7976 variables (removed 393) and now considering 21122/22150 (removed 1028) transitions.
Finished structural reductions, in 1 iterations. Remains : 7583/7976 places, 21122/22150 transitions.
Interrupted random walk after 90396 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=3 ) properties seen 8914
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 357 ms. (steps per millisecond=28 ) properties (out of 282) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 333 ms. (steps per millisecond=30 ) properties (out of 281) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=30 ) properties (out of 280) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 325 ms. (steps per millisecond=30 ) properties (out of 279) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=30 ) properties (out of 279) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=30 ) properties (out of 279) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 330 ms. (steps per millisecond=30 ) properties (out of 279) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 321 ms. (steps per millisecond=31 ) properties (out of 279) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 319 ms. (steps per millisecond=31 ) properties (out of 279) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=30 ) properties (out of 279) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 334 ms. (steps per millisecond=29 ) properties (out of 279) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 333 ms. (steps per millisecond=30 ) properties (out of 279) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 330 ms. (steps per millisecond=30 ) properties (out of 279) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 354 ms. (steps per millisecond=28 ) properties (out of 278) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=30 ) properties (out of 278) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 319 ms. (steps per millisecond=31 ) properties (out of 278) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 322 ms. (steps per millisecond=31 ) properties (out of 278) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 342 ms. (steps per millisecond=29 ) properties (out of 278) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=30 ) properties (out of 278) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=30 ) properties (out of 278) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 318 ms. (steps per millisecond=31 ) properties (out of 278) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=32 ) properties (out of 278) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=30 ) properties (out of 278) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=30 ) properties (out of 278) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=30 ) properties (out of 277) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 334 ms. (steps per millisecond=29 ) properties (out of 277) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 356 ms. (steps per millisecond=28 ) properties (out of 277) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 342 ms. (steps per millisecond=29 ) properties (out of 277) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 334 ms. (steps per millisecond=29 ) properties (out of 277) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=30 ) properties (out of 277) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 334 ms. (steps per millisecond=29 ) properties (out of 277) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 333 ms. (steps per millisecond=30 ) properties (out of 277) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 338 ms. (steps per millisecond=29 ) properties (out of 277) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 337 ms. (steps per millisecond=29 ) properties (out of 276) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 316 ms. (steps per millisecond=31 ) properties (out of 276) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=30 ) properties (out of 276) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 325 ms. (steps per millisecond=30 ) properties (out of 276) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=30 ) properties (out of 275) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=30 ) properties (out of 275) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 332 ms. (steps per millisecond=30 ) properties (out of 274) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 354 ms. (steps per millisecond=28 ) properties (out of 274) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=30 ) properties (out of 274) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=30 ) properties (out of 274) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=30 ) properties (out of 274) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=30 ) properties (out of 274) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=30 ) properties (out of 274) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=30 ) properties (out of 274) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 308 ms. (steps per millisecond=32 ) properties (out of 274) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=30 ) properties (out of 274) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=30 ) properties (out of 273) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=30 ) properties (out of 273) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 325 ms. (steps per millisecond=30 ) properties (out of 273) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=30 ) properties (out of 273) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 348 ms. (steps per millisecond=28 ) properties (out of 273) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 330 ms. (steps per millisecond=30 ) properties (out of 273) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=30 ) properties (out of 273) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=30 ) properties (out of 273) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=30 ) properties (out of 273) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=30 ) properties (out of 273) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 325 ms. (steps per millisecond=30 ) properties (out of 273) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 316 ms. (steps per millisecond=31 ) properties (out of 273) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 317 ms. (steps per millisecond=31 ) properties (out of 272) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=30 ) properties (out of 272) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 332 ms. (steps per millisecond=30 ) properties (out of 272) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=30 ) properties (out of 272) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=30 ) properties (out of 272) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 350 ms. (steps per millisecond=28 ) properties (out of 271) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 330 ms. (steps per millisecond=30 ) properties (out of 270) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=30 ) properties (out of 270) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=30 ) properties (out of 270) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 325 ms. (steps per millisecond=30 ) properties (out of 270) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=30 ) properties (out of 270) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 330 ms. (steps per millisecond=30 ) properties (out of 269) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=30 ) properties (out of 269) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 317 ms. (steps per millisecond=31 ) properties (out of 269) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=30 ) properties (out of 268) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 333 ms. (steps per millisecond=30 ) properties (out of 268) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=30 ) properties (out of 268) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=30 ) properties (out of 268) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 356 ms. (steps per millisecond=28 ) properties (out of 268) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 336 ms. (steps per millisecond=29 ) properties (out of 268) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=30 ) properties (out of 267) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 325 ms. (steps per millisecond=30 ) properties (out of 266) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=30 ) properties (out of 266) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=30 ) properties (out of 266) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=30 ) properties (out of 266) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=30 ) properties (out of 266) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 311 ms. (steps per millisecond=32 ) properties (out of 266) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=30 ) properties (out of 266) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 333 ms. (steps per millisecond=30 ) properties (out of 266) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 333 ms. (steps per millisecond=30 ) properties (out of 266) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=30 ) properties (out of 266) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=30 ) properties (out of 266) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 352 ms. (steps per millisecond=28 ) properties (out of 265) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=30 ) properties (out of 265) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 325 ms. (steps per millisecond=30 ) properties (out of 265) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 342 ms. (steps per millisecond=29 ) properties (out of 265) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 332 ms. (steps per millisecond=30 ) properties (out of 264) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 330 ms. (steps per millisecond=30 ) properties (out of 264) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=30 ) properties (out of 264) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=31 ) properties (out of 263) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 325 ms. (steps per millisecond=30 ) properties (out of 263) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 330 ms. (steps per millisecond=30 ) properties (out of 262) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 336 ms. (steps per millisecond=29 ) properties (out of 262) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=30 ) properties (out of 262) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=30 ) properties (out of 261) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 360 ms. (steps per millisecond=27 ) properties (out of 260) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 332 ms. (steps per millisecond=30 ) properties (out of 260) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=30 ) properties (out of 260) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=30 ) properties (out of 260) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=30 ) properties (out of 259) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=30 ) properties (out of 259) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=30 ) properties (out of 259) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 315 ms. (steps per millisecond=31 ) properties (out of 259) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 316 ms. (steps per millisecond=31 ) properties (out of 258) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=30 ) properties (out of 258) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 333 ms. (steps per millisecond=30 ) properties (out of 258) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=30 ) properties (out of 258) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=30 ) properties (out of 258) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 348 ms. (steps per millisecond=28 ) properties (out of 257) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 336 ms. (steps per millisecond=29 ) properties (out of 257) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=30 ) properties (out of 257) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=30 ) properties (out of 257) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 330 ms. (steps per millisecond=30 ) properties (out of 257) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=30 ) properties (out of 257) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=30 ) properties (out of 257) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 320 ms. (steps per millisecond=31 ) properties (out of 257) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=32 ) properties (out of 256) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=30 ) properties (out of 256) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 333 ms. (steps per millisecond=30 ) properties (out of 256) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=30 ) properties (out of 255) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=30 ) properties (out of 255) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 352 ms. (steps per millisecond=28 ) properties (out of 255) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 333 ms. (steps per millisecond=30 ) properties (out of 255) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=30 ) properties (out of 254) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=30 ) properties (out of 254) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=30 ) properties (out of 253) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=30 ) properties (out of 253) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=30 ) properties (out of 253) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=30 ) properties (out of 253) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=32 ) properties (out of 253) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=30 ) properties (out of 253) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 332 ms. (steps per millisecond=30 ) properties (out of 253) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 332 ms. (steps per millisecond=30 ) properties (out of 252) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=30 ) properties (out of 251) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=30 ) properties (out of 251) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 349 ms. (steps per millisecond=28 ) properties (out of 250) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=30 ) properties (out of 249) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=30 ) properties (out of 248) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=30 ) properties (out of 248) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=30 ) properties (out of 248) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=30 ) properties (out of 248) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=30 ) properties (out of 248) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=31 ) properties (out of 248) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=30 ) properties (out of 247) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=30 ) properties (out of 246) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 332 ms. (steps per millisecond=30 ) properties (out of 245) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=30 ) properties (out of 245) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 332 ms. (steps per millisecond=30 ) properties (out of 245) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 344 ms. (steps per millisecond=29 ) properties (out of 245) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 335 ms. (steps per millisecond=29 ) properties (out of 245) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=30 ) properties (out of 245) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=30 ) properties (out of 245) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=30 ) properties (out of 244) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=30 ) properties (out of 243) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=30 ) properties (out of 243) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 320 ms. (steps per millisecond=31 ) properties (out of 243) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 322 ms. (steps per millisecond=31 ) properties (out of 243) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 330 ms. (steps per millisecond=30 ) properties (out of 243) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 334 ms. (steps per millisecond=29 ) properties (out of 243) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 332 ms. (steps per millisecond=30 ) properties (out of 243) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=30 ) properties (out of 243) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 334 ms. (steps per millisecond=29 ) properties (out of 243) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=31 ) properties (out of 242) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=30 ) properties (out of 242) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=30 ) properties (out of 241) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=30 ) properties (out of 241) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=30 ) properties (out of 241) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=30 ) properties (out of 241) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 318 ms. (steps per millisecond=31 ) properties (out of 240) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 318 ms. (steps per millisecond=31 ) properties (out of 240) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=30 ) properties (out of 240) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 332 ms. (steps per millisecond=30 ) properties (out of 240) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=30 ) properties (out of 240) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=30 ) properties (out of 240) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 325 ms. (steps per millisecond=30 ) properties (out of 239) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 307 ms. (steps per millisecond=32 ) properties (out of 239) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=31 ) properties (out of 239) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=31 ) properties (out of 239) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 318 ms. (steps per millisecond=31 ) properties (out of 238) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=30 ) properties (out of 238) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=30 ) properties (out of 238) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=30 ) properties (out of 238) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 309 ms. (steps per millisecond=32 ) properties (out of 238) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=30 ) properties (out of 237) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 330 ms. (steps per millisecond=30 ) properties (out of 237) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 330 ms. (steps per millisecond=30 ) properties (out of 237) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=30 ) properties (out of 237) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 332 ms. (steps per millisecond=30 ) properties (out of 237) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 307 ms. (steps per millisecond=32 ) properties (out of 237) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 306 ms. (steps per millisecond=32 ) properties (out of 237) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 309 ms. (steps per millisecond=32 ) properties (out of 237) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 306 ms. (steps per millisecond=32 ) properties (out of 237) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 307 ms. (steps per millisecond=32 ) properties (out of 237) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 317 ms. (steps per millisecond=31 ) properties (out of 237) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=31 ) properties (out of 237) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 308 ms. (steps per millisecond=32 ) properties (out of 237) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 325 ms. (steps per millisecond=30 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=30 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 332 ms. (steps per millisecond=30 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=30 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 330 ms. (steps per millisecond=30 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 322 ms. (steps per millisecond=31 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 306 ms. (steps per millisecond=32 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 311 ms. (steps per millisecond=32 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 302 ms. (steps per millisecond=33 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 301 ms. (steps per millisecond=33 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 304 ms. (steps per millisecond=32 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 304 ms. (steps per millisecond=32 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 303 ms. (steps per millisecond=33 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 303 ms. (steps per millisecond=33 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 302 ms. (steps per millisecond=33 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 311 ms. (steps per millisecond=32 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 301 ms. (steps per millisecond=33 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 301 ms. (steps per millisecond=33 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 311 ms. (steps per millisecond=32 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 301 ms. (steps per millisecond=33 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 308 ms. (steps per millisecond=32 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 305 ms. (steps per millisecond=32 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 301 ms. (steps per millisecond=33 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 330 ms. (steps per millisecond=30 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 333 ms. (steps per millisecond=30 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 333 ms. (steps per millisecond=30 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 336 ms. (steps per millisecond=29 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 333 ms. (steps per millisecond=30 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=30 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 333 ms. (steps per millisecond=30 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 333 ms. (steps per millisecond=30 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 337 ms. (steps per millisecond=29 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 333 ms. (steps per millisecond=30 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 333 ms. (steps per millisecond=30 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=30 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 334 ms. (steps per millisecond=29 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 333 ms. (steps per millisecond=30 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 333 ms. (steps per millisecond=30 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 334 ms. (steps per millisecond=29 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 333 ms. (steps per millisecond=30 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 343 ms. (steps per millisecond=29 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 332 ms. (steps per millisecond=30 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=30 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 334 ms. (steps per millisecond=29 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 333 ms. (steps per millisecond=30 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 357 ms. (steps per millisecond=28 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 333 ms. (steps per millisecond=30 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=30 ) properties (out of 236) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 333 ms. (steps per millisecond=30 ) properties (out of 236) seen :0
Running SMT prover for 236 properties.
[2023-03-07 08:47:31] [INFO ] Flow matrix only has 19806 transitions (discarded 1316 similar events)
// Phase 1: matrix 19806 rows 7583 cols
[2023-03-07 08:47:32] [INFO ] Computed 2415 place invariants in 49 ms
[2023-03-07 08:47:56] [INFO ] [Real]Absence check using 2415 positive place invariants in 677 ms returned sat
[2023-03-07 08:50:24] [INFO ] After 122323ms SMT Verify possible using state equation in real domain returned unsat :0 sat :194 real:42
[2023-03-07 08:50:24] [INFO ] State equation strengthened by 3029 read => feed constraints.
[2023-03-07 08:51:17] [INFO ] After 53412ms SMT Verify possible using 3029 Read/Feed constraints in real domain returned unsat :0 sat :115 real:120
[2023-03-07 08:51:17] [INFO ] After 53415ms SMT Verify possible using trap constraints in real domain returned unsat :0 sat :115 real:120
Attempting to minimize the solution found.
Minimization took 11 ms.
[2023-03-07 08:51:17] [INFO ] After 225059ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :115 real:120
[2023-03-07 08:51:42] [INFO ] [Nat]Absence check using 2415 positive place invariants in 740 ms returned sat
[2023-03-07 08:54:08] [INFO ] After 121719ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :236
[2023-03-07 08:55:03] [INFO ] After 54165ms SMT Verify possible using 3029 Read/Feed constraints in natural domain returned unsat :0 sat :235
[2023-03-07 08:55:03] [INFO ] After 54166ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :235
Attempting to minimize the solution found.
Minimization took 6 ms.
[2023-03-07 08:55:03] [INFO ] After 225075ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :235
Fused 236 Parikh solutions to 93 different solutions.
Parikh walk visited 0 properties in 276 ms.
Support contains 356 out of 7583 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 7583/7583 places, 21122/21122 transitions.
Discarding 130 places :
Symmetric choice reduction at 0 with 130 rule applications. Total rules 130 place count 7453 transition count 19576
Iterating global reduction 0 with 130 rules applied. Total rules applied 260 place count 7453 transition count 19576
Ensure Unique test removed 775 transitions
Reduce isomorphic transitions removed 775 transitions.
Iterating post reduction 0 with 775 rules applied. Total rules applied 1035 place count 7453 transition count 18801
Performed 101 Post agglomeration using F-continuation condition with reduction of 180 identical transitions.
Deduced a syphon composed of 101 places in 3 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 1 with 202 rules applied. Total rules applied 1237 place count 7352 transition count 19416
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 1 with 6 rules applied. Total rules applied 1243 place count 7352 transition count 19410
Discarding 31 places :
Symmetric choice reduction at 2 with 31 rule applications. Total rules 1274 place count 7321 transition count 19038
Iterating global reduction 2 with 31 rules applied. Total rules applied 1305 place count 7321 transition count 19038
Ensure Unique test removed 186 transitions
Reduce isomorphic transitions removed 186 transitions.
Iterating post reduction 2 with 186 rules applied. Total rules applied 1491 place count 7321 transition count 18852
Performed 38 Post agglomeration using F-continuation condition with reduction of 66 identical transitions.
Deduced a syphon composed of 38 places in 4 ms
Reduce places removed 38 places and 0 transitions.
Iterating global reduction 3 with 76 rules applied. Total rules applied 1567 place count 7283 transition count 19095
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 3 with 5 rules applied. Total rules applied 1572 place count 7283 transition count 19090
Discarding 11 places :
Symmetric choice reduction at 4 with 11 rule applications. Total rules 1583 place count 7272 transition count 18958
Iterating global reduction 4 with 11 rules applied. Total rules applied 1594 place count 7272 transition count 18958
Ensure Unique test removed 66 transitions
Reduce isomorphic transitions removed 66 transitions.
Iterating post reduction 4 with 66 rules applied. Total rules applied 1660 place count 7272 transition count 18892
Drop transitions removed 68 transitions
Redundant transition composition rules discarded 68 transitions
Iterating global reduction 5 with 68 rules applied. Total rules applied 1728 place count 7272 transition count 18824
Discarding 12 places :
Symmetric choice reduction at 5 with 12 rule applications. Total rules 1740 place count 7260 transition count 18812
Iterating global reduction 5 with 12 rules applied. Total rules applied 1752 place count 7260 transition count 18812
Discarding 12 places :
Symmetric choice reduction at 5 with 12 rule applications. Total rules 1764 place count 7248 transition count 16554
Iterating global reduction 5 with 12 rules applied. Total rules applied 1776 place count 7248 transition count 16554
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 5 with 12 rules applied. Total rules applied 1788 place count 7248 transition count 16542
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Deduced a syphon composed of 6 places in 3 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 6 with 12 rules applied. Total rules applied 1800 place count 7242 transition count 16536
Discarding 6 places :
Symmetric choice reduction at 6 with 6 rule applications. Total rules 1806 place count 7236 transition count 15407
Iterating global reduction 6 with 6 rules applied. Total rules applied 1812 place count 7236 transition count 15407
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 6 with 6 rules applied. Total rules applied 1818 place count 7236 transition count 15401
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 7 with 8 rules applied. Total rules applied 1826 place count 7232 transition count 15428
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 7 with 5 rules applied. Total rules applied 1831 place count 7232 transition count 15423
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 8 with 22 rules applied. Total rules applied 1853 place count 7232 transition count 15401
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 8 with 8 rules applied. Total rules applied 1861 place count 7228 transition count 15428
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 8 with 5 rules applied. Total rules applied 1866 place count 7228 transition count 15423
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 9 with 22 rules applied. Total rules applied 1888 place count 7228 transition count 15401
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 9 with 8 rules applied. Total rules applied 1896 place count 7224 transition count 15428
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 9 with 6 rules applied. Total rules applied 1902 place count 7224 transition count 15422
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 10 with 21 rules applied. Total rules applied 1923 place count 7224 transition count 15401
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 10 with 8 rules applied. Total rules applied 1931 place count 7220 transition count 15428
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 10 with 5 rules applied. Total rules applied 1936 place count 7220 transition count 15423
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 11 with 22 rules applied. Total rules applied 1958 place count 7220 transition count 15401
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 11 with 8 rules applied. Total rules applied 1966 place count 7216 transition count 15428
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 11 with 7 rules applied. Total rules applied 1973 place count 7216 transition count 15421
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 12 with 20 rules applied. Total rules applied 1993 place count 7216 transition count 15401
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 12 with 8 rules applied. Total rules applied 2001 place count 7212 transition count 15428
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 12 with 6 rules applied. Total rules applied 2007 place count 7212 transition count 15422
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 13 with 21 rules applied. Total rules applied 2028 place count 7212 transition count 15401
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 13 with 8 rules applied. Total rules applied 2036 place count 7208 transition count 15428
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 13 with 6 rules applied. Total rules applied 2042 place count 7208 transition count 15422
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 14 with 21 rules applied. Total rules applied 2063 place count 7208 transition count 15401
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 14 with 8 rules applied. Total rules applied 2071 place count 7204 transition count 15428
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 14 with 6 rules applied. Total rules applied 2077 place count 7204 transition count 15422
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 15 with 21 rules applied. Total rules applied 2098 place count 7204 transition count 15401
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 15 with 8 rules applied. Total rules applied 2106 place count 7200 transition count 15428
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 15 with 6 rules applied. Total rules applied 2112 place count 7200 transition count 15422
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 16 with 21 rules applied. Total rules applied 2133 place count 7200 transition count 15401
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -26
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 16 with 8 rules applied. Total rules applied 2141 place count 7196 transition count 15427
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 16 with 5 rules applied. Total rules applied 2146 place count 7196 transition count 15422
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 17 with 21 rules applied. Total rules applied 2167 place count 7196 transition count 15401
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 17 with 8 rules applied. Total rules applied 2175 place count 7192 transition count 15428
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 17 with 5 rules applied. Total rules applied 2180 place count 7192 transition count 15423
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 18 with 21 rules applied. Total rules applied 2201 place count 7192 transition count 15402
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 4 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 18 with 8 rules applied. Total rules applied 2209 place count 7188 transition count 15429
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 18 with 6 rules applied. Total rules applied 2215 place count 7188 transition count 15423
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 19 with 21 rules applied. Total rules applied 2236 place count 7188 transition count 15402
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -26
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 19 with 8 rules applied. Total rules applied 2244 place count 7184 transition count 15428
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 19 with 6 rules applied. Total rules applied 2250 place count 7184 transition count 15422
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 20 with 20 rules applied. Total rules applied 2270 place count 7184 transition count 15402
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 20 with 8 rules applied. Total rules applied 2278 place count 7180 transition count 15429
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 20 with 6 rules applied. Total rules applied 2284 place count 7180 transition count 15423
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 21 with 21 rules applied. Total rules applied 2305 place count 7180 transition count 15402
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 21 with 8 rules applied. Total rules applied 2313 place count 7176 transition count 15429
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 21 with 5 rules applied. Total rules applied 2318 place count 7176 transition count 15424
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 22 with 22 rules applied. Total rules applied 2340 place count 7176 transition count 15402
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 22 with 8 rules applied. Total rules applied 2348 place count 7172 transition count 15429
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 22 with 5 rules applied. Total rules applied 2353 place count 7172 transition count 15424
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 23 with 22 rules applied. Total rules applied 2375 place count 7172 transition count 15402
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 4 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 23 with 8 rules applied. Total rules applied 2383 place count 7168 transition count 15432
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 23 with 6 rules applied. Total rules applied 2389 place count 7168 transition count 15426
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 24 with 22 rules applied. Total rules applied 2411 place count 7168 transition count 15404
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 24 with 8 rules applied. Total rules applied 2419 place count 7164 transition count 15431
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 24 with 5 rules applied. Total rules applied 2424 place count 7164 transition count 15426
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 25 with 22 rules applied. Total rules applied 2446 place count 7164 transition count 15404
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 25 with 8 rules applied. Total rules applied 2454 place count 7160 transition count 15431
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 25 with 6 rules applied. Total rules applied 2460 place count 7160 transition count 15425
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 26 with 21 rules applied. Total rules applied 2481 place count 7160 transition count 15404
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 26 with 8 rules applied. Total rules applied 2489 place count 7156 transition count 15431
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 26 with 6 rules applied. Total rules applied 2495 place count 7156 transition count 15425
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 27 with 21 rules applied. Total rules applied 2516 place count 7156 transition count 15404
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 27 with 8 rules applied. Total rules applied 2524 place count 7152 transition count 15431
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 27 with 6 rules applied. Total rules applied 2530 place count 7152 transition count 15425
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 28 with 21 rules applied. Total rules applied 2551 place count 7152 transition count 15404
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 28 with 8 rules applied. Total rules applied 2559 place count 7148 transition count 15431
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 28 with 5 rules applied. Total rules applied 2564 place count 7148 transition count 15426
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 29 with 21 rules applied. Total rules applied 2585 place count 7148 transition count 15405
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 29 with 8 rules applied. Total rules applied 2593 place count 7144 transition count 15432
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 29 with 5 rules applied. Total rules applied 2598 place count 7144 transition count 15427
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 30 with 22 rules applied. Total rules applied 2620 place count 7144 transition count 15405
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 30 with 8 rules applied. Total rules applied 2628 place count 7140 transition count 15432
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 30 with 5 rules applied. Total rules applied 2633 place count 7140 transition count 15427
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 31 with 22 rules applied. Total rules applied 2655 place count 7140 transition count 15405
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 4 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 31 with 8 rules applied. Total rules applied 2663 place count 7136 transition count 15432
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 31 with 6 rules applied. Total rules applied 2669 place count 7136 transition count 15426
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 32 with 21 rules applied. Total rules applied 2690 place count 7136 transition count 15405
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 4 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 32 with 8 rules applied. Total rules applied 2698 place count 7132 transition count 15432
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 32 with 6 rules applied. Total rules applied 2704 place count 7132 transition count 15426
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 33 with 21 rules applied. Total rules applied 2725 place count 7132 transition count 15405
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 33 with 8 rules applied. Total rules applied 2733 place count 7128 transition count 15432
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 33 with 5 rules applied. Total rules applied 2738 place count 7128 transition count 15427
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 34 with 22 rules applied. Total rules applied 2760 place count 7128 transition count 15405
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 34 with 8 rules applied. Total rules applied 2768 place count 7124 transition count 15432
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 34 with 7 rules applied. Total rules applied 2775 place count 7124 transition count 15425
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 35 with 20 rules applied. Total rules applied 2795 place count 7124 transition count 15405
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 35 with 8 rules applied. Total rules applied 2803 place count 7120 transition count 15432
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 35 with 6 rules applied. Total rules applied 2809 place count 7120 transition count 15426
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 36 with 21 rules applied. Total rules applied 2830 place count 7120 transition count 15405
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 36 with 8 rules applied. Total rules applied 2838 place count 7116 transition count 15432
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 36 with 5 rules applied. Total rules applied 2843 place count 7116 transition count 15427
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 37 with 22 rules applied. Total rules applied 2865 place count 7116 transition count 15405
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 37 with 8 rules applied. Total rules applied 2873 place count 7112 transition count 15432
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 37 with 6 rules applied. Total rules applied 2879 place count 7112 transition count 15426
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 38 with 21 rules applied. Total rules applied 2900 place count 7112 transition count 15405
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 38 with 8 rules applied. Total rules applied 2908 place count 7108 transition count 15432
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 38 with 6 rules applied. Total rules applied 2914 place count 7108 transition count 15426
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 39 with 21 rules applied. Total rules applied 2935 place count 7108 transition count 15405
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 39 with 8 rules applied. Total rules applied 2943 place count 7104 transition count 15432
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 39 with 5 rules applied. Total rules applied 2948 place count 7104 transition count 15427
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 40 with 22 rules applied. Total rules applied 2970 place count 7104 transition count 15405
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 40 with 8 rules applied. Total rules applied 2978 place count 7100 transition count 15433
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 40 with 5 rules applied. Total rules applied 2983 place count 7100 transition count 15428
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 41 with 22 rules applied. Total rules applied 3005 place count 7100 transition count 15406
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 41 with 8 rules applied. Total rules applied 3013 place count 7096 transition count 15433
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 41 with 5 rules applied. Total rules applied 3018 place count 7096 transition count 15428
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 42 with 22 rules applied. Total rules applied 3040 place count 7096 transition count 15406
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 4 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 42 with 8 rules applied. Total rules applied 3048 place count 7092 transition count 15433
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 42 with 6 rules applied. Total rules applied 3054 place count 7092 transition count 15427
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 43 with 21 rules applied. Total rules applied 3075 place count 7092 transition count 15406
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 43 with 8 rules applied. Total rules applied 3083 place count 7088 transition count 15433
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 43 with 7 rules applied. Total rules applied 3090 place count 7088 transition count 15426
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 44 with 20 rules applied. Total rules applied 3110 place count 7088 transition count 15406
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 4 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 44 with 8 rules applied. Total rules applied 3118 place count 7084 transition count 15433
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 44 with 5 rules applied. Total rules applied 3123 place count 7084 transition count 15428
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 45 with 22 rules applied. Total rules applied 3145 place count 7084 transition count 15406
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 45 with 8 rules applied. Total rules applied 3153 place count 7080 transition count 15433
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 45 with 6 rules applied. Total rules applied 3159 place count 7080 transition count 15427
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 46 with 21 rules applied. Total rules applied 3180 place count 7080 transition count 15406
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 46 with 8 rules applied. Total rules applied 3188 place count 7076 transition count 15433
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 46 with 6 rules applied. Total rules applied 3194 place count 7076 transition count 15427
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 47 with 21 rules applied. Total rules applied 3215 place count 7076 transition count 15406
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 47 with 8 rules applied. Total rules applied 3223 place count 7072 transition count 15433
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 47 with 6 rules applied. Total rules applied 3229 place count 7072 transition count 15427
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 48 with 21 rules applied. Total rules applied 3250 place count 7072 transition count 15406
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 48 with 8 rules applied. Total rules applied 3258 place count 7068 transition count 15433
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 48 with 5 rules applied. Total rules applied 3263 place count 7068 transition count 15428
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 49 with 21 rules applied. Total rules applied 3284 place count 7068 transition count 15407
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 49 with 8 rules applied. Total rules applied 3292 place count 7064 transition count 15434
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 49 with 5 rules applied. Total rules applied 3297 place count 7064 transition count 15429
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 50 with 21 rules applied. Total rules applied 3318 place count 7064 transition count 15408
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 50 with 8 rules applied. Total rules applied 3326 place count 7060 transition count 15435
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 50 with 5 rules applied. Total rules applied 3331 place count 7060 transition count 15430
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 51 with 22 rules applied. Total rules applied 3353 place count 7060 transition count 15408
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 51 with 8 rules applied. Total rules applied 3361 place count 7056 transition count 15435
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 51 with 5 rules applied. Total rules applied 3366 place count 7056 transition count 15430
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 52 with 22 rules applied. Total rules applied 3388 place count 7056 transition count 15408
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 52 with 8 rules applied. Total rules applied 3396 place count 7052 transition count 15435
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 52 with 6 rules applied. Total rules applied 3402 place count 7052 transition count 15429
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 53 with 21 rules applied. Total rules applied 3423 place count 7052 transition count 15408
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 53 with 8 rules applied. Total rules applied 3431 place count 7048 transition count 15435
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 53 with 7 rules applied. Total rules applied 3438 place count 7048 transition count 15428
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 54 with 20 rules applied. Total rules applied 3458 place count 7048 transition count 15408
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 54 with 8 rules applied. Total rules applied 3466 place count 7044 transition count 15435
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 54 with 6 rules applied. Total rules applied 3472 place count 7044 transition count 15429
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 55 with 21 rules applied. Total rules applied 3493 place count 7044 transition count 15408
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 55 with 8 rules applied. Total rules applied 3501 place count 7040 transition count 15435
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 55 with 5 rules applied. Total rules applied 3506 place count 7040 transition count 15430
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 56 with 22 rules applied. Total rules applied 3528 place count 7040 transition count 15408
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 56 with 8 rules applied. Total rules applied 3536 place count 7036 transition count 15435
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 56 with 6 rules applied. Total rules applied 3542 place count 7036 transition count 15429
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 57 with 20 rules applied. Total rules applied 3562 place count 7036 transition count 15409
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 4 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 57 with 8 rules applied. Total rules applied 3570 place count 7032 transition count 15436
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 57 with 5 rules applied. Total rules applied 3575 place count 7032 transition count 15431
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 58 with 21 rules applied. Total rules applied 3596 place count 7032 transition count 15410
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 58 with 8 rules applied. Total rules applied 3604 place count 7028 transition count 15437
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 58 with 5 rules applied. Total rules applied 3609 place count 7028 transition count 15432
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 59 with 22 rules applied. Total rules applied 3631 place count 7028 transition count 15410
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 59 with 8 rules applied. Total rules applied 3639 place count 7024 transition count 15437
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 59 with 6 rules applied. Total rules applied 3645 place count 7024 transition count 15431
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 60 with 20 rules applied. Total rules applied 3665 place count 7024 transition count 15411
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 60 with 8 rules applied. Total rules applied 3673 place count 7020 transition count 15438
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 60 with 7 rules applied. Total rules applied 3680 place count 7020 transition count 15431
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 61 with 22 rules applied. Total rules applied 3702 place count 7020 transition count 15409
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 61 with 8 rules applied. Total rules applied 3710 place count 7016 transition count 15436
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 61 with 7 rules applied. Total rules applied 3717 place count 7016 transition count 15429
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 62 with 20 rules applied. Total rules applied 3737 place count 7016 transition count 15409
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 12 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 62 with 8 rules applied. Total rules applied 3745 place count 7012 transition count 15436
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 62 with 5 rules applied. Total rules applied 3750 place count 7012 transition count 15431
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 63 with 21 rules applied. Total rules applied 3771 place count 7012 transition count 15410
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 63 with 8 rules applied. Total rules applied 3779 place count 7008 transition count 15437
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 63 with 6 rules applied. Total rules applied 3785 place count 7008 transition count 15431
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 64 with 21 rules applied. Total rules applied 3806 place count 7008 transition count 15410
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 64 with 8 rules applied. Total rules applied 3814 place count 7004 transition count 15437
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 64 with 7 rules applied. Total rules applied 3821 place count 7004 transition count 15430
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 65 with 20 rules applied. Total rules applied 3841 place count 7004 transition count 15410
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 65 with 8 rules applied. Total rules applied 3849 place count 7000 transition count 15437
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 65 with 6 rules applied. Total rules applied 3855 place count 7000 transition count 15431
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 66 with 21 rules applied. Total rules applied 3876 place count 7000 transition count 15410
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 66 with 8 rules applied. Total rules applied 3884 place count 6996 transition count 15437
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 66 with 7 rules applied. Total rules applied 3891 place count 6996 transition count 15430
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 67 with 20 rules applied. Total rules applied 3911 place count 6996 transition count 15410
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 67 with 8 rules applied. Total rules applied 3919 place count 6992 transition count 15437
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 67 with 5 rules applied. Total rules applied 3924 place count 6992 transition count 15432
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 68 with 22 rules applied. Total rules applied 3946 place count 6992 transition count 15410
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 68 with 8 rules applied. Total rules applied 3954 place count 6988 transition count 15437
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 68 with 6 rules applied. Total rules applied 3960 place count 6988 transition count 15431
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 69 with 21 rules applied. Total rules applied 3981 place count 6988 transition count 15410
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 69 with 8 rules applied. Total rules applied 3989 place count 6984 transition count 15437
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 69 with 7 rules applied. Total rules applied 3996 place count 6984 transition count 15430
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 70 with 20 rules applied. Total rules applied 4016 place count 6984 transition count 15410
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 70 with 8 rules applied. Total rules applied 4024 place count 6980 transition count 15437
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 70 with 6 rules applied. Total rules applied 4030 place count 6980 transition count 15431
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 71 with 21 rules applied. Total rules applied 4051 place count 6980 transition count 15410
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 71 with 8 rules applied. Total rules applied 4059 place count 6976 transition count 15437
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 71 with 7 rules applied. Total rules applied 4066 place count 6976 transition count 15430
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 72 with 20 rules applied. Total rules applied 4086 place count 6976 transition count 15410
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 72 with 8 rules applied. Total rules applied 4094 place count 6972 transition count 15437
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 72 with 6 rules applied. Total rules applied 4100 place count 6972 transition count 15431
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 73 with 21 rules applied. Total rules applied 4121 place count 6972 transition count 15410
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 73 with 8 rules applied. Total rules applied 4129 place count 6968 transition count 15437
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 73 with 6 rules applied. Total rules applied 4135 place count 6968 transition count 15431
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 74 with 21 rules applied. Total rules applied 4156 place count 6968 transition count 15410
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -26
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 74 with 8 rules applied. Total rules applied 4164 place count 6964 transition count 15436
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 74 with 6 rules applied. Total rules applied 4170 place count 6964 transition count 15430
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 75 with 20 rules applied. Total rules applied 4190 place count 6964 transition count 15410
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 75 with 8 rules applied. Total rules applied 4198 place count 6960 transition count 15438
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 75 with 6 rules applied. Total rules applied 4204 place count 6960 transition count 15432
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 76 with 21 rules applied. Total rules applied 4225 place count 6960 transition count 15411
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -26
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 76 with 8 rules applied. Total rules applied 4233 place count 6956 transition count 15437
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 76 with 6 rules applied. Total rules applied 4239 place count 6956 transition count 15431
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 77 with 20 rules applied. Total rules applied 4259 place count 6956 transition count 15411
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 77 with 8 rules applied. Total rules applied 4267 place count 6952 transition count 15438
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 77 with 6 rules applied. Total rules applied 4273 place count 6952 transition count 15432
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 78 with 21 rules applied. Total rules applied 4294 place count 6952 transition count 15411
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -26
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 78 with 8 rules applied. Total rules applied 4302 place count 6948 transition count 15437
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 78 with 7 rules applied. Total rules applied 4309 place count 6948 transition count 15430
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 79 with 19 rules applied. Total rules applied 4328 place count 6948 transition count 15411
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 79 with 8 rules applied. Total rules applied 4336 place count 6944 transition count 15438
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 79 with 6 rules applied. Total rules applied 4342 place count 6944 transition count 15432
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 80 with 21 rules applied. Total rules applied 4363 place count 6944 transition count 15411
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 80 with 8 rules applied. Total rules applied 4371 place count 6940 transition count 15438
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 80 with 6 rules applied. Total rules applied 4377 place count 6940 transition count 15432
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 81 with 21 rules applied. Total rules applied 4398 place count 6940 transition count 15411
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 81 with 8 rules applied. Total rules applied 4406 place count 6936 transition count 15438
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 81 with 6 rules applied. Total rules applied 4412 place count 6936 transition count 15432
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 82 with 21 rules applied. Total rules applied 4433 place count 6936 transition count 15411
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 82 with 8 rules applied. Total rules applied 4441 place count 6932 transition count 15440
Drop transitions removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 82 with 8 rules applied. Total rules applied 4449 place count 6932 transition count 15432
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 83 with 20 rules applied. Total rules applied 4469 place count 6932 transition count 15412
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 83 with 8 rules applied. Total rules applied 4477 place count 6928 transition count 15439
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 83 with 6 rules applied. Total rules applied 4483 place count 6928 transition count 15433
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 84 with 21 rules applied. Total rules applied 4504 place count 6928 transition count 15412
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 84 with 8 rules applied. Total rules applied 4512 place count 6924 transition count 15439
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 84 with 6 rules applied. Total rules applied 4518 place count 6924 transition count 15433
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 85 with 21 rules applied. Total rules applied 4539 place count 6924 transition count 15412
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 85 with 8 rules applied. Total rules applied 4547 place count 6920 transition count 15439
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 85 with 7 rules applied. Total rules applied 4554 place count 6920 transition count 15432
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 86 with 20 rules applied. Total rules applied 4574 place count 6920 transition count 15412
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 86 with 8 rules applied. Total rules applied 4582 place count 6916 transition count 15439
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 86 with 6 rules applied. Total rules applied 4588 place count 6916 transition count 15433
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 87 with 21 rules applied. Total rules applied 4609 place count 6916 transition count 15412
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 87 with 8 rules applied. Total rules applied 4617 place count 6912 transition count 15439
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 87 with 6 rules applied. Total rules applied 4623 place count 6912 transition count 15433
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 88 with 21 rules applied. Total rules applied 4644 place count 6912 transition count 15412
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 88 with 8 rules applied. Total rules applied 4652 place count 6908 transition count 15442
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 88 with 7 rules applied. Total rules applied 4659 place count 6908 transition count 15435
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 89 with 21 rules applied. Total rules applied 4680 place count 6908 transition count 15414
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -26
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 89 with 8 rules applied. Total rules applied 4688 place count 6904 transition count 15440
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 89 with 6 rules applied. Total rules applied 4694 place count 6904 transition count 15434
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 90 with 20 rules applied. Total rules applied 4714 place count 6904 transition count 15414
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 90 with 8 rules applied. Total rules applied 4722 place count 6900 transition count 15441
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 90 with 6 rules applied. Total rules applied 4728 place count 6900 transition count 15435
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 91 with 21 rules applied. Total rules applied 4749 place count 6900 transition count 15414
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 91 with 8 rules applied. Total rules applied 4757 place count 6896 transition count 15441
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 91 with 6 rules applied. Total rules applied 4763 place count 6896 transition count 15435
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 92 with 21 rules applied. Total rules applied 4784 place count 6896 transition count 15414
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 92 with 8 rules applied. Total rules applied 4792 place count 6892 transition count 15441
Drop transitions removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 92 with 8 rules applied. Total rules applied 4800 place count 6892 transition count 15433
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 93 with 19 rules applied. Total rules applied 4819 place count 6892 transition count 15414
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 93 with 8 rules applied. Total rules applied 4827 place count 6888 transition count 15441
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 93 with 6 rules applied. Total rules applied 4833 place count 6888 transition count 15435
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 94 with 21 rules applied. Total rules applied 4854 place count 6888 transition count 15414
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 94 with 8 rules applied. Total rules applied 4862 place count 6884 transition count 15441
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 94 with 7 rules applied. Total rules applied 4869 place count 6884 transition count 15434
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 95 with 20 rules applied. Total rules applied 4889 place count 6884 transition count 15414
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 95 with 8 rules applied. Total rules applied 4897 place count 6880 transition count 15441
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 95 with 6 rules applied. Total rules applied 4903 place count 6880 transition count 15435
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 96 with 21 rules applied. Total rules applied 4924 place count 6880 transition count 15414
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 96 with 8 rules applied. Total rules applied 4932 place count 6876 transition count 15441
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 96 with 6 rules applied. Total rules applied 4938 place count 6876 transition count 15435
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 97 with 21 rules applied. Total rules applied 4959 place count 6876 transition count 15414
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 97 with 8 rules applied. Total rules applied 4967 place count 6872 transition count 15441
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 97 with 7 rules applied. Total rules applied 4974 place count 6872 transition count 15434
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 98 with 20 rules applied. Total rules applied 4994 place count 6872 transition count 15414
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 98 with 8 rules applied. Total rules applied 5002 place count 6868 transition count 15441
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 98 with 6 rules applied. Total rules applied 5008 place count 6868 transition count 15435
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 99 with 21 rules applied. Total rules applied 5029 place count 6868 transition count 15414
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 99 with 8 rules applied. Total rules applied 5037 place count 6864 transition count 15441
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 99 with 7 rules applied. Total rules applied 5044 place count 6864 transition count 15434
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 100 with 20 rules applied. Total rules applied 5064 place count 6864 transition count 15414
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 100 with 8 rules applied. Total rules applied 5072 place count 6860 transition count 15441
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 100 with 6 rules applied. Total rules applied 5078 place count 6860 transition count 15435
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 101 with 21 rules applied. Total rules applied 5099 place count 6860 transition count 15414
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 101 with 8 rules applied. Total rules applied 5107 place count 6856 transition count 15441
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 101 with 6 rules applied. Total rules applied 5113 place count 6856 transition count 15435
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 102 with 21 rules applied. Total rules applied 5134 place count 6856 transition count 15414
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 102 with 8 rules applied. Total rules applied 5142 place count 6852 transition count 15441
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 102 with 7 rules applied. Total rules applied 5149 place count 6852 transition count 15434
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 103 with 20 rules applied. Total rules applied 5169 place count 6852 transition count 15414
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 103 with 8 rules applied. Total rules applied 5177 place count 6848 transition count 15441
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 103 with 6 rules applied. Total rules applied 5183 place count 6848 transition count 15435
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 104 with 21 rules applied. Total rules applied 5204 place count 6848 transition count 15414
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 104 with 8 rules applied. Total rules applied 5212 place count 6844 transition count 15443
Drop transitions removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 104 with 8 rules applied. Total rules applied 5220 place count 6844 transition count 15435
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 105 with 20 rules applied. Total rules applied 5240 place count 6844 transition count 15415
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 105 with 8 rules applied. Total rules applied 5248 place count 6840 transition count 15442
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 105 with 7 rules applied. Total rules applied 5255 place count 6840 transition count 15435
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 106 with 20 rules applied. Total rules applied 5275 place count 6840 transition count 15415
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 106 with 8 rules applied. Total rules applied 5283 place count 6836 transition count 15442
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 106 with 5 rules applied. Total rules applied 5288 place count 6836 transition count 15437
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 107 with 22 rules applied. Total rules applied 5310 place count 6836 transition count 15415
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 107 with 8 rules applied. Total rules applied 5318 place count 6832 transition count 15442
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 107 with 6 rules applied. Total rules applied 5324 place count 6832 transition count 15436
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 108 with 21 rules applied. Total rules applied 5345 place count 6832 transition count 15415
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 108 with 8 rules applied. Total rules applied 5353 place count 6828 transition count 15442
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 108 with 7 rules applied. Total rules applied 5360 place count 6828 transition count 15435
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 109 with 20 rules applied. Total rules applied 5380 place count 6828 transition count 15415
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 109 with 8 rules applied. Total rules applied 5388 place count 6824 transition count 15442
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 109 with 6 rules applied. Total rules applied 5394 place count 6824 transition count 15436
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 110 with 21 rules applied. Total rules applied 5415 place count 6824 transition count 15415
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -26
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 110 with 8 rules applied. Total rules applied 5423 place count 6820 transition count 15441
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 110 with 6 rules applied. Total rules applied 5429 place count 6820 transition count 15435
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 111 with 20 rules applied. Total rules applied 5449 place count 6820 transition count 15415
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 111 with 8 rules applied. Total rules applied 5457 place count 6816 transition count 15442
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 111 with 6 rules applied. Total rules applied 5463 place count 6816 transition count 15436
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 112 with 21 rules applied. Total rules applied 5484 place count 6816 transition count 15415
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 112 with 8 rules applied. Total rules applied 5492 place count 6812 transition count 15442
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 112 with 6 rules applied. Total rules applied 5498 place count 6812 transition count 15436
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 113 with 21 rules applied. Total rules applied 5519 place count 6812 transition count 15415
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 113 with 8 rules applied. Total rules applied 5527 place count 6808 transition count 15442
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 113 with 6 rules applied. Total rules applied 5533 place count 6808 transition count 15436
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 114 with 21 rules applied. Total rules applied 5554 place count 6808 transition count 15415
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 114 with 8 rules applied. Total rules applied 5562 place count 6804 transition count 15442
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 114 with 7 rules applied. Total rules applied 5569 place count 6804 transition count 15435
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 115 with 20 rules applied. Total rules applied 5589 place count 6804 transition count 15415
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 115 with 8 rules applied. Total rules applied 5597 place count 6800 transition count 15442
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 115 with 6 rules applied. Total rules applied 5603 place count 6800 transition count 15436
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 116 with 21 rules applied. Total rules applied 5624 place count 6800 transition count 15415
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -26
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 116 with 8 rules applied. Total rules applied 5632 place count 6796 transition count 15441
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 116 with 5 rules applied. Total rules applied 5637 place count 6796 transition count 15436
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 117 with 20 rules applied. Total rules applied 5657 place count 6796 transition count 15416
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -26
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 117 with 8 rules applied. Total rules applied 5665 place count 6792 transition count 15442
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 117 with 6 rules applied. Total rules applied 5671 place count 6792 transition count 15436
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 118 with 20 rules applied. Total rules applied 5691 place count 6792 transition count 15416
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 118 with 8 rules applied. Total rules applied 5699 place count 6788 transition count 15443
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 118 with 6 rules applied. Total rules applied 5705 place count 6788 transition count 15437
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 119 with 21 rules applied. Total rules applied 5726 place count 6788 transition count 15416
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 119 with 8 rules applied. Total rules applied 5734 place count 6784 transition count 15443
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 119 with 6 rules applied. Total rules applied 5740 place count 6784 transition count 15437
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 120 with 21 rules applied. Total rules applied 5761 place count 6784 transition count 15416
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 120 with 8 rules applied. Total rules applied 5769 place count 6780 transition count 15443
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 120 with 7 rules applied. Total rules applied 5776 place count 6780 transition count 15436
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 121 with 20 rules applied. Total rules applied 5796 place count 6780 transition count 15416
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 121 with 8 rules applied. Total rules applied 5804 place count 6776 transition count 15443
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 121 with 6 rules applied. Total rules applied 5810 place count 6776 transition count 15437
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 122 with 21 rules applied. Total rules applied 5831 place count 6776 transition count 15416
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 122 with 8 rules applied. Total rules applied 5839 place count 6772 transition count 15443
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 122 with 7 rules applied. Total rules applied 5846 place count 6772 transition count 15436
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 123 with 20 rules applied. Total rules applied 5866 place count 6772 transition count 15416
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 123 with 8 rules applied. Total rules applied 5874 place count 6768 transition count 15443
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 123 with 6 rules applied. Total rules applied 5880 place count 6768 transition count 15437
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 124 with 21 rules applied. Total rules applied 5901 place count 6768 transition count 15416
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 124 with 8 rules applied. Total rules applied 5909 place count 6764 transition count 15443
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 124 with 6 rules applied. Total rules applied 5915 place count 6764 transition count 15437
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 125 with 21 rules applied. Total rules applied 5936 place count 6764 transition count 15416
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 125 with 8 rules applied. Total rules applied 5944 place count 6760 transition count 15443
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 125 with 6 rules applied. Total rules applied 5950 place count 6760 transition count 15437
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 126 with 21 rules applied. Total rules applied 5971 place count 6760 transition count 15416
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 126 with 8 rules applied. Total rules applied 5979 place count 6756 transition count 15443
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 126 with 6 rules applied. Total rules applied 5985 place count 6756 transition count 15437
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 127 with 21 rules applied. Total rules applied 6006 place count 6756 transition count 15416
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 127 with 8 rules applied. Total rules applied 6014 place count 6752 transition count 15443
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 127 with 6 rules applied. Total rules applied 6020 place count 6752 transition count 15437
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 128 with 21 rules applied. Total rules applied 6041 place count 6752 transition count 15416
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 128 with 8 rules applied. Total rules applied 6049 place count 6748 transition count 15443
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 128 with 6 rules applied. Total rules applied 6055 place count 6748 transition count 15437
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 129 with 20 rules applied. Total rules applied 6075 place count 6748 transition count 15417
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 129 with 8 rules applied. Total rules applied 6083 place count 6744 transition count 15444
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 129 with 7 rules applied. Total rules applied 6090 place count 6744 transition count 15437
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 130 with 20 rules applied. Total rules applied 6110 place count 6744 transition count 15417
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 130 with 8 rules applied. Total rules applied 6118 place count 6740 transition count 15444
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 130 with 6 rules applied. Total rules applied 6124 place count 6740 transition count 15438
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 131 with 21 rules applied. Total rules applied 6145 place count 6740 transition count 15417
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 131 with 8 rules applied. Total rules applied 6153 place count 6736 transition count 15444
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 131 with 6 rules applied. Total rules applied 6159 place count 6736 transition count 15438
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 132 with 21 rules applied. Total rules applied 6180 place count 6736 transition count 15417
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 132 with 8 rules applied. Total rules applied 6188 place count 6732 transition count 15444
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 132 with 6 rules applied. Total rules applied 6194 place count 6732 transition count 15438
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 133 with 22 rules applied. Total rules applied 6216 place count 6732 transition count 15416
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 133 with 8 rules applied. Total rules applied 6224 place count 6728 transition count 15443
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 133 with 7 rules applied. Total rules applied 6231 place count 6728 transition count 15436
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 134 with 20 rules applied. Total rules applied 6251 place count 6728 transition count 15416
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 134 with 8 rules applied. Total rules applied 6259 place count 6724 transition count 15443
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 134 with 7 rules applied. Total rules applied 6266 place count 6724 transition count 15436
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 135 with 20 rules applied. Total rules applied 6286 place count 6724 transition count 15416
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 135 with 8 rules applied. Total rules applied 6294 place count 6720 transition count 15443
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 135 with 7 rules applied. Total rules applied 6301 place count 6720 transition count 15436
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 136 with 20 rules applied. Total rules applied 6321 place count 6720 transition count 15416
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 136 with 8 rules applied. Total rules applied 6329 place count 6716 transition count 15443
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 136 with 6 rules applied. Total rules applied 6335 place count 6716 transition count 15437
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 137 with 21 rules applied. Total rules applied 6356 place count 6716 transition count 15416
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 137 with 8 rules applied. Total rules applied 6364 place count 6712 transition count 15443
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 137 with 6 rules applied. Total rules applied 6370 place count 6712 transition count 15437
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 138 with 21 rules applied. Total rules applied 6391 place count 6712 transition count 15416
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 138 with 8 rules applied. Total rules applied 6399 place count 6708 transition count 15443
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 138 with 6 rules applied. Total rules applied 6405 place count 6708 transition count 15437
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 139 with 21 rules applied. Total rules applied 6426 place count 6708 transition count 15416
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 139 with 8 rules applied. Total rules applied 6434 place count 6704 transition count 15443
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 139 with 6 rules applied. Total rules applied 6440 place count 6704 transition count 15437
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 140 with 21 rules applied. Total rules applied 6461 place count 6704 transition count 15416
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 140 with 8 rules applied. Total rules applied 6469 place count 6700 transition count 15443
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 140 with 7 rules applied. Total rules applied 6476 place count 6700 transition count 15436
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 141 with 20 rules applied. Total rules applied 6496 place count 6700 transition count 15416
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -26
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 141 with 8 rules applied. Total rules applied 6504 place count 6696 transition count 15442
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 141 with 6 rules applied. Total rules applied 6510 place count 6696 transition count 15436
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 142 with 20 rules applied. Total rules applied 6530 place count 6696 transition count 15416
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 142 with 8 rules applied. Total rules applied 6538 place count 6692 transition count 15443
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 142 with 7 rules applied. Total rules applied 6545 place count 6692 transition count 15436
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 143 with 20 rules applied. Total rules applied 6565 place count 6692 transition count 15416
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 143 with 8 rules applied. Total rules applied 6573 place count 6688 transition count 15443
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 143 with 7 rules applied. Total rules applied 6580 place count 6688 transition count 15436
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 144 with 20 rules applied. Total rules applied 6600 place count 6688 transition count 15416
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 144 with 8 rules applied. Total rules applied 6608 place count 6684 transition count 15443
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 144 with 6 rules applied. Total rules applied 6614 place count 6684 transition count 15437
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 145 with 21 rules applied. Total rules applied 6635 place count 6684 transition count 15416
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 145 with 8 rules applied. Total rules applied 6643 place count 6680 transition count 15446
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 145 with 7 rules applied. Total rules applied 6650 place count 6680 transition count 15439
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 146 with 21 rules applied. Total rules applied 6671 place count 6680 transition count 15418
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -26
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 146 with 8 rules applied. Total rules applied 6679 place count 6676 transition count 15444
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 146 with 6 rules applied. Total rules applied 6685 place count 6676 transition count 15438
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 147 with 20 rules applied. Total rules applied 6705 place count 6676 transition count 15418
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 147 with 8 rules applied. Total rules applied 6713 place count 6672 transition count 15445
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 147 with 6 rules applied. Total rules applied 6719 place count 6672 transition count 15439
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 148 with 21 rules applied. Total rules applied 6740 place count 6672 transition count 15418
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -26
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 148 with 8 rules applied. Total rules applied 6748 place count 6668 transition count 15444
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 148 with 6 rules applied. Total rules applied 6754 place count 6668 transition count 15438
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 149 with 20 rules applied. Total rules applied 6774 place count 6668 transition count 15418
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 149 with 8 rules applied. Total rules applied 6782 place count 6664 transition count 15445
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 149 with 6 rules applied. Total rules applied 6788 place count 6664 transition count 15439
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 150 with 21 rules applied. Total rules applied 6809 place count 6664 transition count 15418
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 150 with 8 rules applied. Total rules applied 6817 place count 6660 transition count 15445
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 150 with 7 rules applied. Total rules applied 6824 place count 6660 transition count 15438
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 151 with 20 rules applied. Total rules applied 6844 place count 6660 transition count 15418
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 151 with 8 rules applied. Total rules applied 6852 place count 6656 transition count 15445
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 151 with 6 rules applied. Total rules applied 6858 place count 6656 transition count 15439
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 152 with 21 rules applied. Total rules applied 6879 place count 6656 transition count 15418
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 152 with 8 rules applied. Total rules applied 6887 place count 6652 transition count 15448
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 152 with 7 rules applied. Total rules applied 6894 place count 6652 transition count 15441
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 153 with 21 rules applied. Total rules applied 6915 place count 6652 transition count 15420
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 153 with 8 rules applied. Total rules applied 6923 place count 6648 transition count 15447
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 153 with 5 rules applied. Total rules applied 6928 place count 6648 transition count 15442
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 154 with 22 rules applied. Total rules applied 6950 place count 6648 transition count 15420
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 154 with 8 rules applied. Total rules applied 6958 place count 6644 transition count 15447
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 154 with 7 rules applied. Total rules applied 6965 place count 6644 transition count 15440
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 155 with 20 rules applied. Total rules applied 6985 place count 6644 transition count 15420
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 155 with 8 rules applied. Total rules applied 6993 place count 6640 transition count 15447
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 155 with 5 rules applied. Total rules applied 6998 place count 6640 transition count 15442
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 156 with 22 rules applied. Total rules applied 7020 place count 6640 transition count 15420
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 156 with 8 rules applied. Total rules applied 7028 place count 6636 transition count 15447
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 156 with 6 rules applied. Total rules applied 7034 place count 6636 transition count 15441
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 157 with 21 rules applied. Total rules applied 7055 place count 6636 transition count 15420
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 157 with 8 rules applied. Total rules applied 7063 place count 6632 transition count 15449
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 157 with 7 rules applied. Total rules applied 7070 place count 6632 transition count 15442
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 158 with 21 rules applied. Total rules applied 7091 place count 6632 transition count 15421
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 158 with 8 rules applied. Total rules applied 7099 place count 6628 transition count 15449
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 158 with 6 rules applied. Total rules applied 7105 place count 6628 transition count 15443
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 159 with 21 rules applied. Total rules applied 7126 place count 6628 transition count 15422
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -26
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 159 with 8 rules applied. Total rules applied 7134 place count 6624 transition count 15448
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 159 with 5 rules applied. Total rules applied 7139 place count 6624 transition count 15443
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 160 with 21 rules applied. Total rules applied 7160 place count 6624 transition count 15422
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 160 with 8 rules applied. Total rules applied 7168 place count 6620 transition count 15449
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 160 with 6 rules applied. Total rules applied 7174 place count 6620 transition count 15443
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 161 with 21 rules applied. Total rules applied 7195 place count 6620 transition count 15422
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 161 with 8 rules applied. Total rules applied 7203 place count 6616 transition count 15449
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 161 with 6 rules applied. Total rules applied 7209 place count 6616 transition count 15443
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 162 with 21 rules applied. Total rules applied 7230 place count 6616 transition count 15422
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 162 with 8 rules applied. Total rules applied 7238 place count 6612 transition count 15449
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 162 with 4 rules applied. Total rules applied 7242 place count 6612 transition count 15445
Drop transitions removed 23 transitions
Redundant transition composition rules discarded 23 transitions
Iterating global reduction 163 with 23 rules applied. Total rules applied 7265 place count 6612 transition count 15422
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 163 with 8 rules applied. Total rules applied 7273 place count 6608 transition count 15449
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 163 with 6 rules applied. Total rules applied 7279 place count 6608 transition count 15443
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 164 with 21 rules applied. Total rules applied 7300 place count 6608 transition count 15422
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 164 with 8 rules applied. Total rules applied 7308 place count 6604 transition count 15449
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 164 with 5 rules applied. Total rules applied 7313 place count 6604 transition count 15444
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 165 with 22 rules applied. Total rules applied 7335 place count 6604 transition count 15422
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 165 with 8 rules applied. Total rules applied 7343 place count 6600 transition count 15449
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 165 with 6 rules applied. Total rules applied 7349 place count 6600 transition count 15443
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 166 with 21 rules applied. Total rules applied 7370 place count 6600 transition count 15422
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 166 with 8 rules applied. Total rules applied 7378 place count 6596 transition count 15449
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 166 with 7 rules applied. Total rules applied 7385 place count 6596 transition count 15442
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 167 with 20 rules applied. Total rules applied 7405 place count 6596 transition count 15422
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 167 with 8 rules applied. Total rules applied 7413 place count 6592 transition count 15449
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 167 with 5 rules applied. Total rules applied 7418 place count 6592 transition count 15444
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 168 with 22 rules applied. Total rules applied 7440 place count 6592 transition count 15422
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 168 with 8 rules applied. Total rules applied 7448 place count 6588 transition count 15449
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 168 with 7 rules applied. Total rules applied 7455 place count 6588 transition count 15442
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 169 with 20 rules applied. Total rules applied 7475 place count 6588 transition count 15422
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 169 with 8 rules applied. Total rules applied 7483 place count 6584 transition count 15449
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 169 with 6 rules applied. Total rules applied 7489 place count 6584 transition count 15443
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 170 with 21 rules applied. Total rules applied 7510 place count 6584 transition count 15422
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 170 with 8 rules applied. Total rules applied 7518 place count 6580 transition count 15449
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 170 with 6 rules applied. Total rules applied 7524 place count 6580 transition count 15443
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 171 with 21 rules applied. Total rules applied 7545 place count 6580 transition count 15422
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 171 with 8 rules applied. Total rules applied 7553 place count 6576 transition count 15449
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 171 with 6 rules applied. Total rules applied 7559 place count 6576 transition count 15443
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 172 with 21 rules applied. Total rules applied 7580 place count 6576 transition count 15422
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 172 with 8 rules applied. Total rules applied 7588 place count 6572 transition count 15451
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 172 with 7 rules applied. Total rules applied 7595 place count 6572 transition count 15444
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 173 with 21 rules applied. Total rules applied 7616 place count 6572 transition count 15423
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 173 with 8 rules applied. Total rules applied 7624 place count 6568 transition count 15451
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 173 with 6 rules applied. Total rules applied 7630 place count 6568 transition count 15445
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 174 with 21 rules applied. Total rules applied 7651 place count 6568 transition count 15424
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 174 with 8 rules applied. Total rules applied 7659 place count 6564 transition count 15451
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 174 with 5 rules applied. Total rules applied 7664 place count 6564 transition count 15446
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 175 with 22 rules applied. Total rules applied 7686 place count 6564 transition count 15424
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 175 with 8 rules applied. Total rules applied 7694 place count 6560 transition count 15451
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 175 with 6 rules applied. Total rules applied 7700 place count 6560 transition count 15445
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 176 with 21 rules applied. Total rules applied 7721 place count 6560 transition count 15424
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 176 with 8 rules applied. Total rules applied 7729 place count 6556 transition count 15451
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 176 with 6 rules applied. Total rules applied 7735 place count 6556 transition count 15445
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 177 with 21 rules applied. Total rules applied 7756 place count 6556 transition count 15424
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 177 with 8 rules applied. Total rules applied 7764 place count 6552 transition count 15451
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 177 with 6 rules applied. Total rules applied 7770 place count 6552 transition count 15445
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 178 with 21 rules applied. Total rules applied 7791 place count 6552 transition count 15424
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -26
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 178 with 8 rules applied. Total rules applied 7799 place count 6548 transition count 15450
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 178 with 5 rules applied. Total rules applied 7804 place count 6548 transition count 15445
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 179 with 21 rules applied. Total rules applied 7825 place count 6548 transition count 15424
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 179 with 8 rules applied. Total rules applied 7833 place count 6544 transition count 15451
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 179 with 7 rules applied. Total rules applied 7840 place count 6544 transition count 15444
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 180 with 20 rules applied. Total rules applied 7860 place count 6544 transition count 15424
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 180 with 8 rules applied. Total rules applied 7868 place count 6540 transition count 15451
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 180 with 6 rules applied. Total rules applied 7874 place count 6540 transition count 15445
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 181 with 21 rules applied. Total rules applied 7895 place count 6540 transition count 15424
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 181 with 8 rules applied. Total rules applied 7903 place count 6536 transition count 15451
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 181 with 6 rules applied. Total rules applied 7909 place count 6536 transition count 15445
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 182 with 21 rules applied. Total rules applied 7930 place count 6536 transition count 15424
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 182 with 8 rules applied. Total rules applied 7938 place count 6532 transition count 15451
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 182 with 6 rules applied. Total rules applied 7944 place count 6532 transition count 15445
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 183 with 21 rules applied. Total rules applied 7965 place count 6532 transition count 15424
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 183 with 8 rules applied. Total rules applied 7973 place count 6528 transition count 15451
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 183 with 6 rules applied. Total rules applied 7979 place count 6528 transition count 15445
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 184 with 20 rules applied. Total rules applied 7999 place count 6528 transition count 15425
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -26
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 184 with 8 rules applied. Total rules applied 8007 place count 6524 transition count 15451
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 184 with 5 rules applied. Total rules applied 8012 place count 6524 transition count 15446
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 185 with 21 rules applied. Total rules applied 8033 place count 6524 transition count 15425
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 185 with 8 rules applied. Total rules applied 8041 place count 6520 transition count 15452
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 185 with 7 rules applied. Total rules applied 8048 place count 6520 transition count 15445
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 186 with 20 rules applied. Total rules applied 8068 place count 6520 transition count 15425
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 186 with 8 rules applied. Total rules applied 8076 place count 6516 transition count 15452
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 186 with 7 rules applied. Total rules applied 8083 place count 6516 transition count 15445
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 187 with 20 rules applied. Total rules applied 8103 place count 6516 transition count 15425
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 187 with 8 rules applied. Total rules applied 8111 place count 6512 transition count 15452
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 187 with 6 rules applied. Total rules applied 8117 place count 6512 transition count 15446
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 188 with 21 rules applied. Total rules applied 8138 place count 6512 transition count 15425
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 188 with 8 rules applied. Total rules applied 8146 place count 6508 transition count 15452
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 188 with 6 rules applied. Total rules applied 8152 place count 6508 transition count 15446
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 189 with 21 rules applied. Total rules applied 8173 place count 6508 transition count 15425
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 189 with 8 rules applied. Total rules applied 8181 place count 6504 transition count 15452
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 189 with 6 rules applied. Total rules applied 8187 place count 6504 transition count 15446
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 190 with 21 rules applied. Total rules applied 8208 place count 6504 transition count 15425
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 190 with 8 rules applied. Total rules applied 8216 place count 6500 transition count 15452
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 190 with 5 rules applied. Total rules applied 8221 place count 6500 transition count 15447
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 191 with 22 rules applied. Total rules applied 8243 place count 6500 transition count 15425
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 191 with 8 rules applied. Total rules applied 8251 place count 6496 transition count 15452
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 191 with 5 rules applied. Total rules applied 8256 place count 6496 transition count 15447
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 192 with 22 rules applied. Total rules applied 8278 place count 6496 transition count 15425
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 192 with 8 rules applied. Total rules applied 8286 place count 6492 transition count 15453
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 192 with 6 rules applied. Total rules applied 8292 place count 6492 transition count 15447
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 193 with 20 rules applied. Total rules applied 8312 place count 6492 transition count 15427
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 193 with 8 rules applied. Total rules applied 8320 place count 6488 transition count 15454
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 193 with 6 rules applied. Total rules applied 8326 place count 6488 transition count 15448
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 194 with 20 rules applied. Total rules applied 8346 place count 6488 transition count 15428
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 194 with 8 rules applied. Total rules applied 8354 place count 6484 transition count 15455
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 194 with 7 rules applied. Total rules applied 8361 place count 6484 transition count 15448
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 195 with 20 rules applied. Total rules applied 8381 place count 6484 transition count 15428
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 195 with 8 rules applied. Total rules applied 8389 place count 6480 transition count 15455
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 195 with 6 rules applied. Total rules applied 8395 place count 6480 transition count 15449
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 196 with 21 rules applied. Total rules applied 8416 place count 6480 transition count 15428
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 196 with 8 rules applied. Total rules applied 8424 place count 6476 transition count 15455
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 196 with 7 rules applied. Total rules applied 8431 place count 6476 transition count 15448
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 197 with 22 rules applied. Total rules applied 8453 place count 6476 transition count 15426
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 197 with 8 rules applied. Total rules applied 8461 place count 6472 transition count 15453
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 197 with 6 rules applied. Total rules applied 8467 place count 6472 transition count 15447
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 198 with 21 rules applied. Total rules applied 8488 place count 6472 transition count 15426
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 198 with 8 rules applied. Total rules applied 8496 place count 6468 transition count 15453
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 198 with 6 rules applied. Total rules applied 8502 place count 6468 transition count 15447
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 199 with 21 rules applied. Total rules applied 8523 place count 6468 transition count 15426
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 199 with 8 rules applied. Total rules applied 8531 place count 6464 transition count 15454
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 199 with 7 rules applied. Total rules applied 8538 place count 6464 transition count 15447
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 200 with 20 rules applied. Total rules applied 8558 place count 6464 transition count 15427
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 200 with 8 rules applied. Total rules applied 8566 place count 6460 transition count 15454
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 200 with 7 rules applied. Total rules applied 8573 place count 6460 transition count 15447
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 201 with 20 rules applied. Total rules applied 8593 place count 6460 transition count 15427
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 201 with 8 rules applied. Total rules applied 8601 place count 6456 transition count 15454
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 201 with 6 rules applied. Total rules applied 8607 place count 6456 transition count 15448
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 202 with 21 rules applied. Total rules applied 8628 place count 6456 transition count 15427
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 202 with 8 rules applied. Total rules applied 8636 place count 6452 transition count 15454
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 202 with 7 rules applied. Total rules applied 8643 place count 6452 transition count 15447
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 203 with 20 rules applied. Total rules applied 8663 place count 6452 transition count 15427
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 203 with 8 rules applied. Total rules applied 8671 place count 6448 transition count 15454
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 203 with 6 rules applied. Total rules applied 8677 place count 6448 transition count 15448
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 204 with 21 rules applied. Total rules applied 8698 place count 6448 transition count 15427
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 204 with 8 rules applied. Total rules applied 8706 place count 6444 transition count 15454
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 204 with 6 rules applied. Total rules applied 8712 place count 6444 transition count 15448
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 205 with 21 rules applied. Total rules applied 8733 place count 6444 transition count 15427
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 205 with 8 rules applied. Total rules applied 8741 place count 6440 transition count 15454
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 205 with 6 rules applied. Total rules applied 8747 place count 6440 transition count 15448
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 206 with 21 rules applied. Total rules applied 8768 place count 6440 transition count 15427
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 206 with 8 rules applied. Total rules applied 8776 place count 6436 transition count 15454
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 206 with 6 rules applied. Total rules applied 8782 place count 6436 transition count 15448
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 207 with 21 rules applied. Total rules applied 8803 place count 6436 transition count 15427
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 207 with 8 rules applied. Total rules applied 8811 place count 6432 transition count 15454
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 207 with 7 rules applied. Total rules applied 8818 place count 6432 transition count 15447
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 208 with 20 rules applied. Total rules applied 8838 place count 6432 transition count 15427
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 208 with 8 rules applied. Total rules applied 8846 place count 6428 transition count 15454
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 208 with 6 rules applied. Total rules applied 8852 place count 6428 transition count 15448
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 209 with 21 rules applied. Total rules applied 8873 place count 6428 transition count 15427
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 209 with 8 rules applied. Total rules applied 8881 place count 6424 transition count 15454
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 209 with 6 rules applied. Total rules applied 8887 place count 6424 transition count 15448
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 210 with 21 rules applied. Total rules applied 8908 place count 6424 transition count 15427
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 210 with 8 rules applied. Total rules applied 8916 place count 6420 transition count 15454
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 210 with 6 rules applied. Total rules applied 8922 place count 6420 transition count 15448
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 211 with 21 rules applied. Total rules applied 8943 place count 6420 transition count 15427
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 211 with 8 rules applied. Total rules applied 8951 place count 6416 transition count 15454
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 211 with 7 rules applied. Total rules applied 8958 place count 6416 transition count 15447
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 212 with 20 rules applied. Total rules applied 8978 place count 6416 transition count 15427
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 212 with 8 rules applied. Total rules applied 8986 place count 6412 transition count 15454
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 212 with 6 rules applied. Total rules applied 8992 place count 6412 transition count 15448
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 213 with 21 rules applied. Total rules applied 9013 place count 6412 transition count 15427
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -26
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 213 with 8 rules applied. Total rules applied 9021 place count 6408 transition count 15453
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 213 with 6 rules applied. Total rules applied 9027 place count 6408 transition count 15447
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 214 with 20 rules applied. Total rules applied 9047 place count 6408 transition count 15427
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 214 with 8 rules applied. Total rules applied 9055 place count 6404 transition count 15454
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 214 with 7 rules applied. Total rules applied 9062 place count 6404 transition count 15447
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 215 with 20 rules applied. Total rules applied 9082 place count 6404 transition count 15427
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 215 with 8 rules applied. Total rules applied 9090 place count 6400 transition count 15454
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 215 with 6 rules applied. Total rules applied 9096 place count 6400 transition count 15448
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 216 with 21 rules applied. Total rules applied 9117 place count 6400 transition count 15427
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -26
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 216 with 8 rules applied. Total rules applied 9125 place count 6396 transition count 15453
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 216 with 7 rules applied. Total rules applied 9132 place count 6396 transition count 15446
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 217 with 19 rules applied. Total rules applied 9151 place count 6396 transition count 15427
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 217 with 8 rules applied. Total rules applied 9159 place count 6392 transition count 15454
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 217 with 7 rules applied. Total rules applied 9166 place count 6392 transition count 15447
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 218 with 20 rules applied. Total rules applied 9186 place count 6392 transition count 15427
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 218 with 8 rules applied. Total rules applied 9194 place count 6388 transition count 15454
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 218 with 6 rules applied. Total rules applied 9200 place count 6388 transition count 15448
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 219 with 21 rules applied. Total rules applied 9221 place count 6388 transition count 15427
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 219 with 8 rules applied. Total rules applied 9229 place count 6384 transition count 15454
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 219 with 6 rules applied. Total rules applied 9235 place count 6384 transition count 15448
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 220 with 21 rules applied. Total rules applied 9256 place count 6384 transition count 15427
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 220 with 8 rules applied. Total rules applied 9264 place count 6380 transition count 15455
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 220 with 6 rules applied. Total rules applied 9270 place count 6380 transition count 15449
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 221 with 21 rules applied. Total rules applied 9291 place count 6380 transition count 15428
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 221 with 8 rules applied. Total rules applied 9299 place count 6376 transition count 15455
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 221 with 6 rules applied. Total rules applied 9305 place count 6376 transition count 15449
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 222 with 21 rules applied. Total rules applied 9326 place count 6376 transition count 15428
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 222 with 8 rules applied. Total rules applied 9334 place count 6372 transition count 15455
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 222 with 6 rules applied. Total rules applied 9340 place count 6372 transition count 15449
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 223 with 21 rules applied. Total rules applied 9361 place count 6372 transition count 15428
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 223 with 8 rules applied. Total rules applied 9369 place count 6368 transition count 15455
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 223 with 7 rules applied. Total rules applied 9376 place count 6368 transition count 15448
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 224 with 20 rules applied. Total rules applied 9396 place count 6368 transition count 15428
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 224 with 8 rules applied. Total rules applied 9404 place count 6364 transition count 15455
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 224 with 6 rules applied. Total rules applied 9410 place count 6364 transition count 15449
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 225 with 21 rules applied. Total rules applied 9431 place count 6364 transition count 15428
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 225 with 8 rules applied. Total rules applied 9439 place count 6360 transition count 15458
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 225 with 7 rules applied. Total rules applied 9446 place count 6360 transition count 15451
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 226 with 21 rules applied. Total rules applied 9467 place count 6360 transition count 15430
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 226 with 8 rules applied. Total rules applied 9475 place count 6356 transition count 15459
Drop transitions removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 226 with 8 rules applied. Total rules applied 9483 place count 6356 transition count 15451
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 227 with 20 rules applied. Total rules applied 9503 place count 6356 transition count 15431
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -26
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 227 with 8 rules applied. Total rules applied 9511 place count 6352 transition count 15457
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 227 with 7 rules applied. Total rules applied 9518 place count 6352 transition count 15450
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 228 with 19 rules applied. Total rules applied 9537 place count 6352 transition count 15431
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 228 with 8 rules applied. Total rules applied 9545 place count 6348 transition count 15458
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 228 with 6 rules applied. Total rules applied 9551 place count 6348 transition count 15452
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 229 with 21 rules applied. Total rules applied 9572 place count 6348 transition count 15431
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 229 with 8 rules applied. Total rules applied 9580 place count 6344 transition count 15458
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 229 with 6 rules applied. Total rules applied 9586 place count 6344 transition count 15452
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 230 with 21 rules applied. Total rules applied 9607 place count 6344 transition count 15431
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 230 with 8 rules applied. Total rules applied 9615 place count 6340 transition count 15458
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 230 with 6 rules applied. Total rules applied 9621 place count 6340 transition count 15452
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 231 with 21 rules applied. Total rules applied 9642 place count 6340 transition count 15431
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 231 with 8 rules applied. Total rules applied 9650 place count 6336 transition count 15458
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 231 with 6 rules applied. Total rules applied 9656 place count 6336 transition count 15452
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 232 with 21 rules applied. Total rules applied 9677 place count 6336 transition count 15431
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 232 with 8 rules applied. Total rules applied 9685 place count 6332 transition count 15458
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 232 with 6 rules applied. Total rules applied 9691 place count 6332 transition count 15452
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 233 with 21 rules applied. Total rules applied 9712 place count 6332 transition count 15431
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 233 with 8 rules applied. Total rules applied 9720 place count 6328 transition count 15458
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 233 with 6 rules applied. Total rules applied 9726 place count 6328 transition count 15452
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 234 with 21 rules applied. Total rules applied 9747 place count 6328 transition count 15431
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 234 with 8 rules applied. Total rules applied 9755 place count 6324 transition count 15458
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 234 with 6 rules applied. Total rules applied 9761 place count 6324 transition count 15452
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 235 with 21 rules applied. Total rules applied 9782 place count 6324 transition count 15431
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 235 with 8 rules applied. Total rules applied 9790 place count 6320 transition count 15458
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 235 with 6 rules applied. Total rules applied 9796 place count 6320 transition count 15452
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 236 with 21 rules applied. Total rules applied 9817 place count 6320 transition count 15431
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 236 with 8 rules applied. Total rules applied 9825 place count 6316 transition count 15458
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 236 with 7 rules applied. Total rules applied 9832 place count 6316 transition count 15451
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 237 with 20 rules applied. Total rules applied 9852 place count 6316 transition count 15431
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 237 with 8 rules applied. Total rules applied 9860 place count 6312 transition count 15458
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 237 with 6 rules applied. Total rules applied 9866 place count 6312 transition count 15452
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 238 with 21 rules applied. Total rules applied 9887 place count 6312 transition count 15431
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 238 with 8 rules applied. Total rules applied 9895 place count 6308 transition count 15458
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 238 with 7 rules applied. Total rules applied 9902 place count 6308 transition count 15451
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 239 with 20 rules applied. Total rules applied 9922 place count 6308 transition count 15431
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 239 with 8 rules applied. Total rules applied 9930 place count 6304 transition count 15458
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 239 with 6 rules applied. Total rules applied 9936 place count 6304 transition count 15452
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 240 with 21 rules applied. Total rules applied 9957 place count 6304 transition count 15431
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 240 with 8 rules applied. Total rules applied 9965 place count 6300 transition count 15458
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 240 with 6 rules applied. Total rules applied 9971 place count 6300 transition count 15452
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 241 with 21 rules applied. Total rules applied 9992 place count 6300 transition count 15431
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 241 with 8 rules applied. Total rules applied 10000 place count 6296 transition count 15458
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 241 with 7 rules applied. Total rules applied 10007 place count 6296 transition count 15451
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 242 with 20 rules applied. Total rules applied 10027 place count 6296 transition count 15431
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 242 with 8 rules applied. Total rules applied 10035 place count 6292 transition count 15460
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 242 with 7 rules applied. Total rules applied 10042 place count 6292 transition count 15453
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 243 with 21 rules applied. Total rules applied 10063 place count 6292 transition count 15432
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 243 with 8 rules applied. Total rules applied 10071 place count 6288 transition count 15460
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 243 with 6 rules applied. Total rules applied 10077 place count 6288 transition count 15454
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 244 with 21 rules applied. Total rules applied 10098 place count 6288 transition count 15433
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 244 with 8 rules applied. Total rules applied 10106 place count 6284 transition count 15460
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 244 with 6 rules applied. Total rules applied 10112 place count 6284 transition count 15454
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 245 with 21 rules applied. Total rules applied 10133 place count 6284 transition count 15433
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 245 with 8 rules applied. Total rules applied 10141 place count 6280 transition count 15460
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 245 with 6 rules applied. Total rules applied 10147 place count 6280 transition count 15454
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 246 with 21 rules applied. Total rules applied 10168 place count 6280 transition count 15433
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 246 with 8 rules applied. Total rules applied 10176 place count 6276 transition count 15460
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 246 with 7 rules applied. Total rules applied 10183 place count 6276 transition count 15453
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 247 with 20 rules applied. Total rules applied 10203 place count 6276 transition count 15433
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 247 with 8 rules applied. Total rules applied 10211 place count 6272 transition count 15460
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 247 with 6 rules applied. Total rules applied 10217 place count 6272 transition count 15454
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 248 with 21 rules applied. Total rules applied 10238 place count 6272 transition count 15433
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 248 with 8 rules applied. Total rules applied 10246 place count 6268 transition count 15460
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 248 with 7 rules applied. Total rules applied 10253 place count 6268 transition count 15453
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 249 with 20 rules applied. Total rules applied 10273 place count 6268 transition count 15433
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 249 with 8 rules applied. Total rules applied 10281 place count 6264 transition count 15460
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 249 with 5 rules applied. Total rules applied 10286 place count 6264 transition count 15455
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 250 with 22 rules applied. Total rules applied 10308 place count 6264 transition count 15433
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 250 with 8 rules applied. Total rules applied 10316 place count 6260 transition count 15460
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 250 with 6 rules applied. Total rules applied 10322 place count 6260 transition count 15454
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 251 with 21 rules applied. Total rules applied 10343 place count 6260 transition count 15433
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 251 with 8 rules applied. Total rules applied 10351 place count 6256 transition count 15460
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 251 with 6 rules applied. Total rules applied 10357 place count 6256 transition count 15454
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 252 with 21 rules applied. Total rules applied 10378 place count 6256 transition count 15433
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 252 with 8 rules applied. Total rules applied 10386 place count 6252 transition count 15460
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 252 with 7 rules applied. Total rules applied 10393 place count 6252 transition count 15453
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 253 with 20 rules applied. Total rules applied 10413 place count 6252 transition count 15433
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 253 with 8 rules applied. Total rules applied 10421 place count 6248 transition count 15460
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 253 with 6 rules applied. Total rules applied 10427 place count 6248 transition count 15454
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 254 with 20 rules applied. Total rules applied 10447 place count 6248 transition count 15434
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 254 with 8 rules applied. Total rules applied 10455 place count 6244 transition count 15461
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 254 with 6 rules applied. Total rules applied 10461 place count 6244 transition count 15455
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 255 with 21 rules applied. Total rules applied 10482 place count 6244 transition count 15434
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 255 with 8 rules applied. Total rules applied 10490 place count 6240 transition count 15461
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 255 with 6 rules applied. Total rules applied 10496 place count 6240 transition count 15455
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 256 with 21 rules applied. Total rules applied 10517 place count 6240 transition count 15434
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 256 with 8 rules applied. Total rules applied 10525 place count 6236 transition count 15461
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 256 with 6 rules applied. Total rules applied 10531 place count 6236 transition count 15455
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 257 with 21 rules applied. Total rules applied 10552 place count 6236 transition count 15434
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 257 with 8 rules applied. Total rules applied 10560 place count 6232 transition count 15461
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 257 with 6 rules applied. Total rules applied 10566 place count 6232 transition count 15455
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 258 with 21 rules applied. Total rules applied 10587 place count 6232 transition count 15434
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 258 with 8 rules applied. Total rules applied 10595 place count 6228 transition count 15461
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 258 with 6 rules applied. Total rules applied 10601 place count 6228 transition count 15455
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 259 with 21 rules applied. Total rules applied 10622 place count 6228 transition count 15434
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 259 with 8 rules applied. Total rules applied 10630 place count 6224 transition count 15461
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 259 with 6 rules applied. Total rules applied 10636 place count 6224 transition count 15455
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 260 with 21 rules applied. Total rules applied 10657 place count 6224 transition count 15434
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 260 with 8 rules applied. Total rules applied 10665 place count 6220 transition count 15461
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 260 with 6 rules applied. Total rules applied 10671 place count 6220 transition count 15455
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 261 with 21 rules applied. Total rules applied 10692 place count 6220 transition count 15434
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 261 with 8 rules applied. Total rules applied 10700 place count 6216 transition count 15461
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 261 with 6 rules applied. Total rules applied 10706 place count 6216 transition count 15455
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 262 with 21 rules applied. Total rules applied 10727 place count 6216 transition count 15434
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 262 with 8 rules applied. Total rules applied 10735 place count 6212 transition count 15461
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 262 with 6 rules applied. Total rules applied 10741 place count 6212 transition count 15455
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 263 with 21 rules applied. Total rules applied 10762 place count 6212 transition count 15434
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 263 with 8 rules applied. Total rules applied 10770 place count 6208 transition count 15461
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 263 with 6 rules applied. Total rules applied 10776 place count 6208 transition count 15455
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 264 with 21 rules applied. Total rules applied 10797 place count 6208 transition count 15434
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -28
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 264 with 8 rules applied. Total rules applied 10805 place count 6204 transition count 15462
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 264 with 6 rules applied. Total rules applied 10811 place count 6204 transition count 15456
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 265 with 19 rules applied. Total rules applied 10830 place count 6204 transition count 15437
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 265 with 8 rules applied. Total rules applied 10838 place count 6200 transition count 15464
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 265 with 6 rules applied. Total rules applied 10844 place count 6200 transition count 15458
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 266 with 21 rules applied. Total rules applied 10865 place count 6200 transition count 15437
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 266 with 8 rules applied. Total rules applied 10873 place count 6196 transition count 15464
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 266 with 6 rules applied. Total rules applied 10879 place count 6196 transition count 15458
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 267 with 21 rules applied. Total rules applied 10900 place count 6196 transition count 15437
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 267 with 8 rules applied. Total rules applied 10908 place count 6192 transition count 15464
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 267 with 5 rules applied. Total rules applied 10913 place count 6192 transition count 15459
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 268 with 22 rules applied. Total rules applied 10935 place count 6192 transition count 15437
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 268 with 8 rules applied. Total rules applied 10943 place count 6188 transition count 15464
Drop transitions removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 268 with 8 rules applied. Total rules applied 10951 place count 6188 transition count 15456
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 269 with 21 rules applied. Total rules applied 10972 place count 6188 transition count 15435
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 269 with 8 rules applied. Total rules applied 10980 place count 6184 transition count 15462
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 269 with 5 rules applied. Total rules applied 10985 place count 6184 transition count 15457
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 270 with 22 rules applied. Total rules applied 11007 place count 6184 transition count 15435
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 270 with 8 rules applied. Total rules applied 11015 place count 6180 transition count 15462
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 270 with 6 rules applied. Total rules applied 11021 place count 6180 transition count 15456
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 271 with 21 rules applied. Total rules applied 11042 place count 6180 transition count 15435
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 271 with 8 rules applied. Total rules applied 11050 place count 6176 transition count 15462
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 271 with 6 rules applied. Total rules applied 11056 place count 6176 transition count 15456
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 272 with 21 rules applied. Total rules applied 11077 place count 6176 transition count 15435
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 272 with 8 rules applied. Total rules applied 11085 place count 6172 transition count 15462
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 272 with 6 rules applied. Total rules applied 11091 place count 6172 transition count 15456
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 273 with 21 rules applied. Total rules applied 11112 place count 6172 transition count 15435
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 273 with 8 rules applied. Total rules applied 11120 place count 6168 transition count 15462
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 273 with 7 rules applied. Total rules applied 11127 place count 6168 transition count 15455
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 274 with 20 rules applied. Total rules applied 11147 place count 6168 transition count 15435
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 274 with 8 rules applied. Total rules applied 11155 place count 6164 transition count 15462
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 274 with 5 rules applied. Total rules applied 11160 place count 6164 transition count 15457
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 275 with 22 rules applied. Total rules applied 11182 place count 6164 transition count 15435
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 275 with 8 rules applied. Total rules applied 11190 place count 6160 transition count 15462
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 275 with 6 rules applied. Total rules applied 11196 place count 6160 transition count 15456
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 276 with 21 rules applied. Total rules applied 11217 place count 6160 transition count 15435
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 276 with 8 rules applied. Total rules applied 11225 place count 6156 transition count 15462
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 276 with 6 rules applied. Total rules applied 11231 place count 6156 transition count 15456
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 277 with 21 rules applied. Total rules applied 11252 place count 6156 transition count 15435
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -26
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 277 with 8 rules applied. Total rules applied 11260 place count 6152 transition count 15461
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 277 with 7 rules applied. Total rules applied 11267 place count 6152 transition count 15454
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 278 with 19 rules applied. Total rules applied 11286 place count 6152 transition count 15435
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 278 with 8 rules applied. Total rules applied 11294 place count 6148 transition count 15462
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 278 with 7 rules applied. Total rules applied 11301 place count 6148 transition count 15455
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 279 with 20 rules applied. Total rules applied 11321 place count 6148 transition count 15435
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 279 with 8 rules applied. Total rules applied 11329 place count 6144 transition count 15462
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 279 with 6 rules applied. Total rules applied 11335 place count 6144 transition count 15456
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 280 with 21 rules applied. Total rules applied 11356 place count 6144 transition count 15435
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 280 with 8 rules applied. Total rules applied 11364 place count 6140 transition count 15462
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 280 with 7 rules applied. Total rules applied 11371 place count 6140 transition count 15455
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 281 with 20 rules applied. Total rules applied 11391 place count 6140 transition count 15435
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 281 with 8 rules applied. Total rules applied 11399 place count 6136 transition count 15462
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 281 with 6 rules applied. Total rules applied 11405 place count 6136 transition count 15456
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 282 with 21 rules applied. Total rules applied 11426 place count 6136 transition count 15435
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -26
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 282 with 8 rules applied. Total rules applied 11434 place count 6132 transition count 15461
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 282 with 6 rules applied. Total rules applied 11440 place count 6132 transition count 15455
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 283 with 20 rules applied. Total rules applied 11460 place count 6132 transition count 15435
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -26
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 283 with 8 rules applied. Total rules applied 11468 place count 6128 transition count 15461
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 283 with 5 rules applied. Total rules applied 11473 place count 6128 transition count 15456
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 284 with 21 rules applied. Total rules applied 11494 place count 6128 transition count 15435
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 284 with 8 rules applied. Total rules applied 11502 place count 6124 transition count 15462
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 284 with 7 rules applied. Total rules applied 11509 place count 6124 transition count 15455
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 285 with 20 rules applied. Total rules applied 11529 place count 6124 transition count 15435
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 285 with 8 rules applied. Total rules applied 11537 place count 6120 transition count 15462
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 285 with 6 rules applied. Total rules applied 11543 place count 6120 transition count 15456
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 286 with 21 rules applied. Total rules applied 11564 place count 6120 transition count 15435
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 286 with 8 rules applied. Total rules applied 11572 place count 6116 transition count 15462
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 286 with 7 rules applied. Total rules applied 11579 place count 6116 transition count 15455
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 287 with 20 rules applied. Total rules applied 11599 place count 6116 transition count 15435
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 287 with 8 rules applied. Total rules applied 11607 place count 6112 transition count 15462
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 287 with 6 rules applied. Total rules applied 11613 place count 6112 transition count 15456
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 288 with 21 rules applied. Total rules applied 11634 place count 6112 transition count 15435
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 288 with 8 rules applied. Total rules applied 11642 place count 6108 transition count 15462
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 288 with 6 rules applied. Total rules applied 11648 place count 6108 transition count 15456
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 289 with 21 rules applied. Total rules applied 11669 place count 6108 transition count 15435
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 289 with 8 rules applied. Total rules applied 11677 place count 6104 transition count 15462
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 289 with 6 rules applied. Total rules applied 11683 place count 6104 transition count 15456
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 290 with 21 rules applied. Total rules applied 11704 place count 6104 transition count 15435
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 290 with 8 rules applied. Total rules applied 11712 place count 6100 transition count 15464
Drop transitions removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 290 with 8 rules applied. Total rules applied 11720 place count 6100 transition count 15456
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 291 with 20 rules applied. Total rules applied 11740 place count 6100 transition count 15436
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 291 with 8 rules applied. Total rules applied 11748 place count 6096 transition count 15463
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 291 with 6 rules applied. Total rules applied 11754 place count 6096 transition count 15457
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 292 with 21 rules applied. Total rules applied 11775 place count 6096 transition count 15436
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 292 with 8 rules applied. Total rules applied 11783 place count 6092 transition count 15463
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 292 with 6 rules applied. Total rules applied 11789 place count 6092 transition count 15457
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 293 with 21 rules applied. Total rules applied 11810 place count 6092 transition count 15436
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 293 with 8 rules applied. Total rules applied 11818 place count 6088 transition count 15463
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 293 with 6 rules applied. Total rules applied 11824 place count 6088 transition count 15457
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 294 with 21 rules applied. Total rules applied 11845 place count 6088 transition count 15436
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 294 with 8 rules applied. Total rules applied 11853 place count 6084 transition count 15463
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 294 with 6 rules applied. Total rules applied 11859 place count 6084 transition count 15457
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 295 with 21 rules applied. Total rules applied 11880 place count 6084 transition count 15436
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 295 with 8 rules applied. Total rules applied 11888 place count 6080 transition count 15463
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 295 with 6 rules applied. Total rules applied 11894 place count 6080 transition count 15457
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 296 with 21 rules applied. Total rules applied 11915 place count 6080 transition count 15436
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -32
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 296 with 8 rules applied. Total rules applied 11923 place count 6076 transition count 15468
Drop transitions removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 296 with 8 rules applied. Total rules applied 11931 place count 6076 transition count 15460
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 297 with 21 rules applied. Total rules applied 11952 place count 6076 transition count 15439
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -26
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 297 with 8 rules applied. Total rules applied 11960 place count 6072 transition count 15465
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 297 with 7 rules applied. Total rules applied 11967 place count 6072 transition count 15458
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 298 with 19 rules applied. Total rules applied 11986 place count 6072 transition count 15439
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 298 with 8 rules applied. Total rules applied 11994 place count 6068 transition count 15466
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 298 with 7 rules applied. Total rules applied 12001 place count 6068 transition count 15459
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 299 with 20 rules applied. Total rules applied 12021 place count 6068 transition count 15439
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 299 with 8 rules applied. Total rules applied 12029 place count 6064 transition count 15466
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 299 with 7 rules applied. Total rules applied 12036 place count 6064 transition count 15459
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 300 with 20 rules applied. Total rules applied 12056 place count 6064 transition count 15439
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 300 with 8 rules applied. Total rules applied 12064 place count 6060 transition count 15466
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 300 with 7 rules applied. Total rules applied 12071 place count 6060 transition count 15459
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 301 with 20 rules applied. Total rules applied 12091 place count 6060 transition count 15439
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 301 with 8 rules applied. Total rules applied 12099 place count 6056 transition count 15466
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 301 with 6 rules applied. Total rules applied 12105 place count 6056 transition count 15460
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 302 with 21 rules applied. Total rules applied 12126 place count 6056 transition count 15439
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 302 with 8 rules applied. Total rules applied 12134 place count 6052 transition count 15466
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 302 with 7 rules applied. Total rules applied 12141 place count 6052 transition count 15459
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 303 with 20 rules applied. Total rules applied 12161 place count 6052 transition count 15439
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 303 with 8 rules applied. Total rules applied 12169 place count 6048 transition count 15466
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 303 with 6 rules applied. Total rules applied 12175 place count 6048 transition count 15460
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 304 with 21 rules applied. Total rules applied 12196 place count 6048 transition count 15439
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 304 with 8 rules applied. Total rules applied 12204 place count 6044 transition count 15466
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 304 with 7 rules applied. Total rules applied 12211 place count 6044 transition count 15459
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 305 with 20 rules applied. Total rules applied 12231 place count 6044 transition count 15439
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 305 with 8 rules applied. Total rules applied 12239 place count 6040 transition count 15466
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 305 with 6 rules applied. Total rules applied 12245 place count 6040 transition count 15460
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 306 with 21 rules applied. Total rules applied 12266 place count 6040 transition count 15439
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 306 with 8 rules applied. Total rules applied 12274 place count 6036 transition count 15466
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 306 with 6 rules applied. Total rules applied 12280 place count 6036 transition count 15460
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 307 with 21 rules applied. Total rules applied 12301 place count 6036 transition count 15439
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 307 with 8 rules applied. Total rules applied 12309 place count 6032 transition count 15466
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 307 with 6 rules applied. Total rules applied 12315 place count 6032 transition count 15460
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 308 with 21 rules applied. Total rules applied 12336 place count 6032 transition count 15439
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 308 with 8 rules applied. Total rules applied 12344 place count 6028 transition count 15466
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 308 with 6 rules applied. Total rules applied 12350 place count 6028 transition count 15460
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 309 with 21 rules applied. Total rules applied 12371 place count 6028 transition count 15439
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 309 with 8 rules applied. Total rules applied 12379 place count 6024 transition count 15466
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 309 with 6 rules applied. Total rules applied 12385 place count 6024 transition count 15460
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 310 with 21 rules applied. Total rules applied 12406 place count 6024 transition count 15439
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 310 with 8 rules applied. Total rules applied 12414 place count 6020 transition count 15466
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 310 with 6 rules applied. Total rules applied 12420 place count 6020 transition count 15460
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 311 with 21 rules applied. Total rules applied 12441 place count 6020 transition count 15439
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 311 with 8 rules applied. Total rules applied 12449 place count 6016 transition count 15466
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 311 with 7 rules applied. Total rules applied 12456 place count 6016 transition count 15459
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 312 with 20 rules applied. Total rules applied 12476 place count 6016 transition count 15439
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 312 with 8 rules applied. Total rules applied 12484 place count 6012 transition count 15466
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 312 with 6 rules applied. Total rules applied 12490 place count 6012 transition count 15460
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 313 with 21 rules applied. Total rules applied 12511 place count 6012 transition count 15439
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 313 with 8 rules applied. Total rules applied 12519 place count 6008 transition count 15468
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 313 with 7 rules applied. Total rules applied 12526 place count 6008 transition count 15461
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 314 with 21 rules applied. Total rules applied 12547 place count 6008 transition count 15440
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 314 with 8 rules applied. Total rules applied 12555 place count 6004 transition count 15467
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 314 with 6 rules applied. Total rules applied 12561 place count 6004 transition count 15461
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 315 with 21 rules applied. Total rules applied 12582 place count 6004 transition count 15440
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 315 with 8 rules applied. Total rules applied 12590 place count 6000 transition count 15467
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 315 with 6 rules applied. Total rules applied 12596 place count 6000 transition count 15461
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 316 with 21 rules applied. Total rules applied 12617 place count 6000 transition count 15440
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 316 with 8 rules applied. Total rules applied 12625 place count 5996 transition count 15467
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 316 with 6 rules applied. Total rules applied 12631 place count 5996 transition count 15461
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 317 with 21 rules applied. Total rules applied 12652 place count 5996 transition count 15440
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 317 with 8 rules applied. Total rules applied 12660 place count 5992 transition count 15467
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 317 with 6 rules applied. Total rules applied 12666 place count 5992 transition count 15461
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 318 with 21 rules applied. Total rules applied 12687 place count 5992 transition count 15440
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 318 with 8 rules applied. Total rules applied 12695 place count 5988 transition count 15467
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 318 with 6 rules applied. Total rules applied 12701 place count 5988 transition count 15461
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 319 with 21 rules applied. Total rules applied 12722 place count 5988 transition count 15440
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 319 with 8 rules applied. Total rules applied 12730 place count 5984 transition count 15467
Drop transitions removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 319 with 7 rules applied. Total rules applied 12737 place count 5984 transition count 15460
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 320 with 20 rules applied. Total rules applied 12757 place count 5984 transition count 15440
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 320 with 8 rules applied. Total rules applied 12765 place count 5980 transition count 15467
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 320 with 6 rules applied. Total rules applied 12771 place count 5980 transition count 15461
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 321 with 21 rules applied. Total rules applied 12792 place count 5980 transition count 15440
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 321 with 8 rules applied. Total rules applied 12800 place count 5976 transition count 15467
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 321 with 6 rules applied. Total rules applied 12806 place count 5976 transition count 15461
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 322 with 21 rules applied. Total rules applied 12827 place count 5976 transition count 15440
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 322 with 8 rules applied. Total rules applied 12835 place count 5972 transition count 15467
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 322 with 6 rules applied. Total rules applied 12841 place count 5972 transition count 15461
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 323 with 21 rules applied. Total rules applied 12862 place count 5972 transition count 15440
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 323 with 8 rules applied. Total rules applied 12870 place count 5968 transition count 15467
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 323 with 6 rules applied. Total rules applied 12876 place count 5968 transition count 15461
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 324 with 21 rules applied. Total rules applied 12897 place count 5968 transition count 15440
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 324 with 8 rules applied. Total rules applied 12905 place count 5964 transition count 15467
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 324 with 6 rules applied. Total rules applied 12911 place count 5964 transition count 15461
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 325 with 21 rules applied. Total rules applied 12932 place count 5964 transition count 15440
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -26
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 325 with 8 rules applied. Total rules applied 12940 place count 5960 transition count 15466
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 325 with 6 rules applied. Total rules applied 12946 place count 5960 transition count 15460
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 326 with 20 rules applied. Total rules applied 12966 place count 5960 transition count 15440
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 326 with 8 rules applied. Total rules applied 12974 place count 5956 transition count 15467
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 326 with 6 rules applied. Total rules applied 12980 place count 5956 transition count 15461
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 327 with 21 rules applied. Total rules applied 13001 place count 5956 transition count 15440
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 327 with 8 rules applied. Total rules applied 13009 place count 5952 transition count 15467
Drop transitions removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 327 with 8 rules applied. Total rules applied 13017 place count 5952 transition count 15459
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 328 with 19 rules applied. Total rules applied 13036 place count 5952 transition count 15440
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 328 with 8 rules applied. Total rules applied 13044 place count 5948 transition count 15467
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 328 with 6 rules applied. Total rules applied 13050 place count 5948 transition count 15461
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 329 with 21 rules applied. Total rules applied 13071 place count 5948 transition count 15440
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 329 with 8 rules applied. Total rules applied 13079 place count 5944 transition count 15467
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 329 with 6 rules applied. Total rules applied 13085 place count 5944 transition count 15461
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 330 with 21 rules applied. Total rules applied 13106 place count 5944 transition count 15440
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 3 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 330 with 8 rules applied. Total rules applied 13114 place count 5940 transition count 15467
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 330 with 6 rules applied. Total rules applied 13120 place count 5940 transition count 15461
Drop transitions removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 331 with 21 rules applied. Total rules applied 13141 place count 5940 transition count 15440
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 331 with 8 rules applied. Total rules applied 13149 place count 5936 transition count 15467
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 331 with 5 rules applied. Total rules applied 13154 place count 5936 transition count 15462

BK_TIME_CONFINEMENT_REACHED

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

+ export LANG=C
+ LANG=C
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ QuasiLiveness = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ export PYTHONPATH=/usr/lib/python3.9/site-packages/
+ PYTHONPATH=/usr/lib/python3.9/site-packages/
+ export LD_LIBRARY_PATH=/usr/local/lib:
+ LD_LIBRARY_PATH=/usr/local/lib:
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202205111006.jar
+ VERSION=202205111006
+ echo 'Running Version 202205111006'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data @none -pnfolder /home/mcc/execution -examination QuasiLiveness -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 1800 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=@none -Xss128m -Xms40m -Xmx8192m

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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