Execution Chart

Sorry, for this execution, no execution chart could be reported.

Trace from the execution

Formatting '/data/fkordon/mcc2025-input.r072-tall-174860067300361.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2025-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5832
Executing tool itstools
Input is DLCshifumi-PT-6b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r072-tall-174860067300361
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 17M
-rw-r--r-- 1 mcc users 6.1K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 60K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 32K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 29 14:32 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K May 29 14:32 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.8K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.8K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 96K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.1K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 75K May 29 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 29 14:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 29 14:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 29 14:32 equiv_col
-rw-r--r-- 1 mcc users 3 May 29 14:32 instance
-rw-r--r-- 1 mcc users 6 May 29 14:32 iscolored
-rw-r--r-- 1 mcc users 17M May 29 14:32 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

echo here is the order used to build the result vector(from xml file)
FORMULA_NAME DLCshifumi-PT-6b-CTLCardinality-2023-12
FORMULA_NAME DLCshifumi-PT-6b-CTLCardinality-2023-13
FORMULA_NAME DLCshifumi-PT-6b-CTLCardinality-2023-14
FORMULA_NAME DLCshifumi-PT-6b-CTLCardinality-2023-15
FORMULA_NAME DLCshifumi-PT-6b-CTLCardinality-2025-00
FORMULA_NAME DLCshifumi-PT-6b-CTLCardinality-2025-01
FORMULA_NAME DLCshifumi-PT-6b-CTLCardinality-2025-02
FORMULA_NAME DLCshifumi-PT-6b-CTLCardinality-2025-03
FORMULA_NAME DLCshifumi-PT-6b-CTLCardinality-2025-04
FORMULA_NAME DLCshifumi-PT-6b-CTLCardinality-2025-05
FORMULA_NAME DLCshifumi-PT-6b-CTLCardinality-2025-06
FORMULA_NAME DLCshifumi-PT-6b-CTLCardinality-2025-07
FORMULA_NAME DLCshifumi-PT-6b-CTLCardinality-2025-08
FORMULA_NAME DLCshifumi-PT-6b-CTLCardinality-2025-09
FORMULA_NAME DLCshifumi-PT-6b-CTLCardinality-2025-10
FORMULA_NAME DLCshifumi-PT-6b-CTLCardinality-2025-11

=== Now, execution of the tool begins

BK_START 1748702425216

Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCshifumi-PT-6b
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
CTLCardinality PT
Running Version 202505121319
[2025-05-31 14:40:26] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2025-05-31 14:40:26] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-05-31 14:40:27] [INFO ] Load time of PNML (sax parser for PT used): 1015 ms
[2025-05-31 14:40:28] [INFO ] Transformed 44243 places.
[2025-05-31 14:40:28] [INFO ] Transformed 66611 transitions.
[2025-05-31 14:40:28] [INFO ] Found NUPN structural information;
[2025-05-31 14:40:30] [INFO ] Parsed PT model containing 44243 places and 66611 transitions and 182532 arcs in 3911 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 19 ms.
Support contains 94 out of 44243 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 44243/44243 places, 66611/66611 transitions.
Applied a total of 0 rules in 5490 ms. Remains 44243 /44243 variables (removed 0) and now considering 66611/66611 (removed 0) transitions.
// Phase 1: matrix 66611 rows 44243 cols
[2025-05-31 14:40:44] [INFO ] Computed 2415 invariants in 526 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 14:41:53] [INFO ] Performed 13531/44243 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 14:42:23] [INFO ] Performed 22549/44243 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 14:42:52] [INFO ] Implicit Places using invariants in 129010 ms returned []
Implicit Place search using SMT only with invariants took 129057 ms to find 0 implicit places.
Running 66610 sub problems to find dead transitions.
[2025-05-31 14:42:53] [INFO ] Invariant cache hit.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
SMT process timed out in 492300ms, After SMT, problems are : Problem set: 0 solved, 66610 unsolved
Search for dead transitions found 0 dead transitions in 492570ms
Finished structural reductions in LTL mode , in 1 iterations and 627357 ms. Remains : 44243/44243 places, 66611/66611 transitions.
Support contains 94 out of 44243 places after structural reductions.
[2025-05-31 14:51:12] [INFO ] Flatten gal took : 1724 ms
[2025-05-31 14:51:12] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
FORMULA DLCshifumi-PT-6b-CTLCardinality-2023-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-6b-CTLCardinality-2025-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2025-05-31 14:51:13] [INFO ] Flatten gal took : 1393 ms
[2025-05-31 14:51:15] [INFO ] Input system was already deterministic with 66611 transitions.
Support contains 57 out of 44243 places (down from 94) after GAL structural reductions.
FORMULA DLCshifumi-PT-6b-CTLCardinality-2023-14 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
RANDOM walk for 40000 steps (8 resets) in 2641 ms. (15 steps per ms) remains 25/32 properties
BEST_FIRST walk for 4004 steps (8 resets) in 56 ms. (70 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4003 steps (8 resets) in 52 ms. (75 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4003 steps (8 resets) in 41 ms. (95 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4003 steps (8 resets) in 59 ms. (66 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4004 steps (8 resets) in 59 ms. (66 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4004 steps (8 resets) in 40 ms. (97 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4004 steps (8 resets) in 38 ms. (102 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4003 steps (8 resets) in 48 ms. (81 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4004 steps (8 resets) in 35 ms. (111 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4004 steps (8 resets) in 39 ms. (100 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4003 steps (8 resets) in 34 ms. (114 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4003 steps (8 resets) in 36 ms. (108 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4004 steps (8 resets) in 108 ms. (36 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4004 steps (8 resets) in 43 ms. (91 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4004 steps (8 resets) in 26 ms. (148 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4004 steps (8 resets) in 28 ms. (138 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4003 steps (8 resets) in 33 ms. (117 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4003 steps (8 resets) in 31 ms. (125 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4004 steps (8 resets) in 30 ms. (129 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4004 steps (8 resets) in 28 ms. (138 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4004 steps (8 resets) in 28 ms. (138 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4004 steps (8 resets) in 34 ms. (114 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4004 steps (8 resets) in 32 ms. (121 steps per ms) remains 25/25 properties
BEST_FIRST walk for 4003 steps (8 resets) in 25 ms. (153 steps per ms) remains 25/25 properties
[2025-05-31 14:51:25] [INFO ] Invariant cache hit.
Starting Z3 with timeout 5.0 s and query timeout 500.0 ms
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/40 variables, 40/40 constraints. Problems are: Problem set: 0 solved, 25 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/40 variables, 0/40 constraints. Problems are: Problem set: 0 solved, 25 unsolved
SMT process timed out in 5954ms, After SMT, problems are : Problem set: 0 solved, 25 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 40 out of 44243 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 44243/44243 places, 66611/66611 transitions.
Graph (trivial) has 40678 edges and 44243 vertex of which 3248 / 44243 are part of one of the 206 SCC in 126 ms
Free SCC test removed 3042 places
Drop transitions (Empty/Sink Transition effects.) removed 3442 transitions
Reduce isomorphic transitions removed 3442 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 20585 transitions
Trivial Post-agglo rules discarded 20585 transitions
Performed 20585 trivial Post agglomeration. Transition count delta: 20585
Iterating post reduction 0 with 20585 rules applied. Total rules applied 20586 place count 41201 transition count 42584
Reduce places removed 20585 places and 0 transitions.
Ensure Unique test removed 563 transitions
Reduce isomorphic transitions removed 563 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 557 transitions
Trivial Post-agglo rules discarded 557 transitions
Performed 557 trivial Post agglomeration. Transition count delta: 557
Iterating post reduction 1 with 21705 rules applied. Total rules applied 42291 place count 20616 transition count 41464
Reduce places removed 557 places and 0 transitions.
Ensure Unique test removed 181 transitions
Reduce isomorphic transitions removed 181 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 179 transitions
Trivial Post-agglo rules discarded 179 transitions
Performed 179 trivial Post agglomeration. Transition count delta: 179
Iterating post reduction 2 with 917 rules applied. Total rules applied 43208 place count 20059 transition count 41104
Reduce places removed 179 places and 0 transitions.
Performed 24 Post agglomeration using F-continuation condition.Transition count delta: 24
Iterating post reduction 3 with 203 rules applied. Total rules applied 43411 place count 19880 transition count 41080
Reduce places removed 24 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 4 with 27 rules applied. Total rules applied 43438 place count 19856 transition count 41077
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 43439 place count 19855 transition count 41077
Performed 199 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 199 Pre rules applied. Total rules applied 43439 place count 19855 transition count 40878
Deduced a syphon composed of 199 places in 2601 ms
Reduce places removed 199 places and 0 transitions.
Iterating global reduction 6 with 398 rules applied. Total rules applied 43837 place count 19656 transition count 40878
Performed 10796 Post agglomeration using F-continuation condition.Transition count delta: 10796
Deduced a syphon composed of 10796 places in 17 ms
Reduce places removed 10796 places and 0 transitions.
Iterating global reduction 6 with 21592 rules applied. Total rules applied 65429 place count 8860 transition count 30082
Renaming transitions due to excessive name length > 1024 char.
Discarding 412 places :
Symmetric choice reduction at 6 with 412 rule applications. Total rules 65841 place count 8448 transition count 20001
Iterating global reduction 6 with 412 rules applied. Total rules applied 66253 place count 8448 transition count 20001
Ensure Unique test removed 387 transitions
Reduce isomorphic transitions removed 387 transitions.
Iterating post reduction 6 with 387 rules applied. Total rules applied 66640 place count 8448 transition count 19614
Performed 101 Post agglomeration using F-continuation condition with reduction of 198 identical transitions.
Deduced a syphon composed of 101 places in 11 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 7 with 202 rules applied. Total rules applied 66842 place count 8347 transition count 20218
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 66843 place count 8347 transition count 20217
Discarding 34 places :
Symmetric choice reduction at 8 with 34 rule applications. Total rules 66877 place count 8313 transition count 19809
Iterating global reduction 8 with 34 rules applied. Total rules applied 66911 place count 8313 transition count 19809
Ensure Unique test removed 199 transitions
Reduce isomorphic transitions removed 199 transitions.
Iterating post reduction 8 with 199 rules applied. Total rules applied 67110 place count 8313 transition count 19610
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 9 with 202 rules applied. Total rules applied 67312 place count 8212 transition count 20213
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 9 with 1 rules applied. Total rules applied 67313 place count 8212 transition count 20212
Discarding 34 places :
Symmetric choice reduction at 10 with 34 rule applications. Total rules 67347 place count 8178 transition count 19804
Iterating global reduction 10 with 34 rules applied. Total rules applied 67381 place count 8178 transition count 19804
Ensure Unique test removed 198 transitions
Reduce isomorphic transitions removed 198 transitions.
Iterating post reduction 10 with 198 rules applied. Total rules applied 67579 place count 8178 transition count 19606
Performed 101 Post agglomeration using F-continuation condition with reduction of 198 identical transitions.
Deduced a syphon composed of 101 places in 3 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 11 with 202 rules applied. Total rules applied 67781 place count 8077 transition count 20209
Discarding 33 places :
Symmetric choice reduction at 11 with 33 rule applications. Total rules 67814 place count 8044 transition count 19813
Iterating global reduction 11 with 33 rules applied. Total rules applied 67847 place count 8044 transition count 19813
Ensure Unique test removed 198 transitions
Reduce isomorphic transitions removed 198 transitions.
Iterating post reduction 11 with 198 rules applied. Total rules applied 68045 place count 8044 transition count 19615
Performed 101 Post agglomeration using F-continuation condition with reduction of 204 identical transitions.
Deduced a syphon composed of 101 places in 3 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 12 with 202 rules applied. Total rules applied 68247 place count 7943 transition count 20222
Discarding 34 places :
Symmetric choice reduction at 12 with 34 rule applications. Total rules 68281 place count 7909 transition count 19814
Iterating global reduction 12 with 34 rules applied. Total rules applied 68315 place count 7909 transition count 19814
Ensure Unique test removed 204 transitions
Reduce isomorphic transitions removed 204 transitions.
Iterating post reduction 12 with 204 rules applied. Total rules applied 68519 place count 7909 transition count 19610
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 13 with 202 rules applied. Total rules applied 68721 place count 7808 transition count 20213
Discarding 33 places :
Symmetric choice reduction at 13 with 33 rule applications. Total rules 68754 place count 7775 transition count 19817
Iterating global reduction 13 with 33 rules applied. Total rules applied 68787 place count 7775 transition count 19817
Ensure Unique test removed 198 transitions
Reduce isomorphic transitions removed 198 transitions.
Iterating post reduction 13 with 198 rules applied. Total rules applied 68985 place count 7775 transition count 19619
Performed 92 Post agglomeration using F-continuation condition with reduction of 90 identical transitions.
Deduced a syphon composed of 92 places in 4 ms
Reduce places removed 92 places and 0 transitions.
Iterating global reduction 14 with 184 rules applied. Total rules applied 69169 place count 7683 transition count 20235
Drop transitions (Empty/Sink Transition effects.) removed 76 transitions
Reduce isomorphic transitions removed 76 transitions.
Iterating post reduction 14 with 76 rules applied. Total rules applied 69245 place count 7683 transition count 20159
Discarding 15 places :
Symmetric choice reduction at 15 with 15 rule applications. Total rules 69260 place count 7668 transition count 19976
Iterating global reduction 15 with 15 rules applied. Total rules applied 69275 place count 7668 transition count 19976
Ensure Unique test removed 92 transitions
Reduce isomorphic transitions removed 92 transitions.
Iterating post reduction 15 with 92 rules applied. Total rules applied 69367 place count 7668 transition count 19884
Drop transitions (Redundant composition of simpler transitions.) removed 103 transitions
Redundant transition composition rules discarded 103 transitions
Iterating global reduction 16 with 103 rules applied. Total rules applied 69470 place count 7668 transition count 19781
Discarding 12 places :
Symmetric choice reduction at 16 with 12 rule applications. Total rules 69482 place count 7656 transition count 19769
Iterating global reduction 16 with 12 rules applied. Total rules applied 69494 place count 7656 transition count 19769
Discarding 12 places :
Symmetric choice reduction at 16 with 12 rule applications. Total rules 69506 place count 7644 transition count 17479
Iterating global reduction 16 with 12 rules applied. Total rules applied 69518 place count 7644 transition count 17479
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 12 transitions.
Iterating post reduction 16 with 12 rules applied. Total rules applied 69530 place count 7644 transition count 17467
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 17 with 12 rules applied. Total rules applied 69542 place count 7638 transition count 17461
Discarding 6 places :
Symmetric choice reduction at 17 with 6 rule applications. Total rules 69548 place count 7632 transition count 16316
Iterating global reduction 17 with 6 rules applied. Total rules applied 69554 place count 7632 transition count 16316
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 17 with 6 rules applied. Total rules applied 69560 place count 7632 transition count 16310
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 18 with 8 rules applied. Total rules applied 69568 place count 7628 transition count 16337
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 18 with 5 rules applied. Total rules applied 69573 place count 7628 transition count 16332
Drop transitions (Redundant composition of simpler transitions.) removed 21 transitions
Redundant transition composition rules discarded 21 transitions
Iterating global reduction 19 with 21 rules applied. Total rules applied 69594 place count 7628 transition count 16311
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 3 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 19 with 6 rules applied. Total rules applied 69600 place count 7625 transition count 16334
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 19 with 5 rules applied. Total rules applied 69605 place count 7625 transition count 16329
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 20 with 18 rules applied. Total rules applied 69623 place count 7625 transition count 16311
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 3 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 20 with 6 rules applied. Total rules applied 69629 place count 7622 transition count 16334
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 20 with 4 rules applied. Total rules applied 69633 place count 7622 transition count 16330
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 21 with 19 rules applied. Total rules applied 69652 place count 7622 transition count 16311
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 3 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 21 with 6 rules applied. Total rules applied 69658 place count 7619 transition count 16334
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 21 with 5 rules applied. Total rules applied 69663 place count 7619 transition count 16329
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 22 with 18 rules applied. Total rules applied 69681 place count 7619 transition count 16311
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 3 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 22 with 6 rules applied. Total rules applied 69687 place count 7616 transition count 16334
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 22 with 4 rules applied. Total rules applied 69691 place count 7616 transition count 16330
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 23 with 19 rules applied. Total rules applied 69710 place count 7616 transition count 16311
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 23 with 6 rules applied. Total rules applied 69716 place count 7613 transition count 16334
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 23 with 5 rules applied. Total rules applied 69721 place count 7613 transition count 16329
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 24 with 18 rules applied. Total rules applied 69739 place count 7613 transition count 16311
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 24 with 6 rules applied. Total rules applied 69745 place count 7610 transition count 16334
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 24 with 4 rules applied. Total rules applied 69749 place count 7610 transition count 16330
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 25 with 19 rules applied. Total rules applied 69768 place count 7610 transition count 16311
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 3 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 25 with 6 rules applied. Total rules applied 69774 place count 7607 transition count 16334
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 25 with 5 rules applied. Total rules applied 69779 place count 7607 transition count 16329
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 26 with 18 rules applied. Total rules applied 69797 place count 7607 transition count 16311
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 3 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 26 with 6 rules applied. Total rules applied 69803 place count 7604 transition count 16334
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 26 with 4 rules applied. Total rules applied 69807 place count 7604 transition count 16330
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 27 with 19 rules applied. Total rules applied 69826 place count 7604 transition count 16311
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 3 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 27 with 6 rules applied. Total rules applied 69832 place count 7601 transition count 16334
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 27 with 5 rules applied. Total rules applied 69837 place count 7601 transition count 16329
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 28 with 18 rules applied. Total rules applied 69855 place count 7601 transition count 16311
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 3 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 28 with 6 rules applied. Total rules applied 69861 place count 7598 transition count 16334
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 28 with 4 rules applied. Total rules applied 69865 place count 7598 transition count 16330
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 29 with 19 rules applied. Total rules applied 69884 place count 7598 transition count 16311
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 3 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 29 with 6 rules applied. Total rules applied 69890 place count 7595 transition count 16334
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 29 with 5 rules applied. Total rules applied 69895 place count 7595 transition count 16329
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 30 with 18 rules applied. Total rules applied 69913 place count 7595 transition count 16311
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 3 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 30 with 6 rules applied. Total rules applied 69919 place count 7592 transition count 16334
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 30 with 4 rules applied. Total rules applied 69923 place count 7592 transition count 16330
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 31 with 19 rules applied. Total rules applied 69942 place count 7592 transition count 16311
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 3 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 31 with 6 rules applied. Total rules applied 69948 place count 7589 transition count 16334
Drop transitions (Empty/Sink Transition effects.) removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 31 with 5 rules applied. Total rules applied 69953 place count 7589 transition count 16329
Drop transitions (Redundant composition of simpler transitions.) removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 32 with 18 rules applied. Total rules applied 69971 place count 7589 transition count 16311
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 3 places in 3 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 32 with 6 rules applied. Total rules applied 69977 place count 7586 transition count 16334
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 32 with 4 rules applied. Total rules applied 69981 place count 7586 transition count 16330
Drop transitions (Redundant composition of simpler transitions.) removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 33 with 19 rules applied. Total rules applied 70000 place count 7586 transition count 16311
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 3 places in 3 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 33 with 6 rules applied. Total rules applied 70006 place count 7583 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 33 with 4 rules applied. Total rules applied 70010 place count 7583 transition count 16331
Drop transitions (Redundant composition of simpler transitions.) removed 14 transitions
Redundant transition composition rules discarded 14 transitions
Iterating global reduction 34 with 14 rules applied. Total rules applied 70024 place count 7583 transition count 16317
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 34 with 4 rules applied. Total rules applied 70028 place count 7581 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 34 with 3 rules applied. Total rules applied 70031 place count 7581 transition count 16332
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 35 with 15 rules applied. Total rules applied 70046 place count 7581 transition count 16317
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 35 with 4 rules applied. Total rules applied 70050 place count 7579 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 35 with 3 rules applied. Total rules applied 70053 place count 7579 transition count 16332
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 36 with 15 rules applied. Total rules applied 70068 place count 7579 transition count 16317
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 36 with 4 rules applied. Total rules applied 70072 place count 7577 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 36 with 3 rules applied. Total rules applied 70075 place count 7577 transition count 16332
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 37 with 15 rules applied. Total rules applied 70090 place count 7577 transition count 16317
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 37 with 4 rules applied. Total rules applied 70094 place count 7575 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 37 with 3 rules applied. Total rules applied 70097 place count 7575 transition count 16332
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 38 with 15 rules applied. Total rules applied 70112 place count 7575 transition count 16317
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 38 with 4 rules applied. Total rules applied 70116 place count 7573 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 38 with 3 rules applied. Total rules applied 70119 place count 7573 transition count 16332
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 39 with 15 rules applied. Total rules applied 70134 place count 7573 transition count 16317
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 39 with 4 rules applied. Total rules applied 70138 place count 7571 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 39 with 3 rules applied. Total rules applied 70141 place count 7571 transition count 16332
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 40 with 15 rules applied. Total rules applied 70156 place count 7571 transition count 16317
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 40 with 4 rules applied. Total rules applied 70160 place count 7569 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 40 with 3 rules applied. Total rules applied 70163 place count 7569 transition count 16332
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 41 with 15 rules applied. Total rules applied 70178 place count 7569 transition count 16317
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 41 with 4 rules applied. Total rules applied 70182 place count 7567 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 41 with 3 rules applied. Total rules applied 70185 place count 7567 transition count 16332
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 42 with 15 rules applied. Total rules applied 70200 place count 7567 transition count 16317
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 42 with 4 rules applied. Total rules applied 70204 place count 7565 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 42 with 3 rules applied. Total rules applied 70207 place count 7565 transition count 16332
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 43 with 15 rules applied. Total rules applied 70222 place count 7565 transition count 16317
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 43 with 4 rules applied. Total rules applied 70226 place count 7563 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 43 with 3 rules applied. Total rules applied 70229 place count 7563 transition count 16332
Drop transitions (Redundant composition of simpler transitions.) removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 44 with 15 rules applied. Total rules applied 70244 place count 7563 transition count 16317
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -15
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 44 with 4 rules applied. Total rules applied 70248 place count 7561 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 44 with 2 rules applied. Total rules applied 70250 place count 7561 transition count 16330
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 45 with 9 rules applied. Total rules applied 70259 place count 7561 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 45 with 2 rules applied. Total rules applied 70261 place count 7560 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 45 with 1 rules applied. Total rules applied 70262 place count 7560 transition count 16331
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 46 with 10 rules applied. Total rules applied 70272 place count 7560 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 46 with 2 rules applied. Total rules applied 70274 place count 7559 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 46 with 2 rules applied. Total rules applied 70276 place count 7559 transition count 16330
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 47 with 9 rules applied. Total rules applied 70285 place count 7559 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 47 with 2 rules applied. Total rules applied 70287 place count 7558 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 47 with 1 rules applied. Total rules applied 70288 place count 7558 transition count 16331
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 48 with 10 rules applied. Total rules applied 70298 place count 7558 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 48 with 2 rules applied. Total rules applied 70300 place count 7557 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 48 with 2 rules applied. Total rules applied 70302 place count 7557 transition count 16330
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 49 with 9 rules applied. Total rules applied 70311 place count 7557 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 49 with 2 rules applied. Total rules applied 70313 place count 7556 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 49 with 1 rules applied. Total rules applied 70314 place count 7556 transition count 16331
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 50 with 10 rules applied. Total rules applied 70324 place count 7556 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 50 with 2 rules applied. Total rules applied 70326 place count 7555 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 50 with 2 rules applied. Total rules applied 70328 place count 7555 transition count 16330
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 51 with 9 rules applied. Total rules applied 70337 place count 7555 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 51 with 2 rules applied. Total rules applied 70339 place count 7554 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 51 with 1 rules applied. Total rules applied 70340 place count 7554 transition count 16331
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 52 with 10 rules applied. Total rules applied 70350 place count 7554 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 52 with 2 rules applied. Total rules applied 70352 place count 7553 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 52 with 2 rules applied. Total rules applied 70354 place count 7553 transition count 16330
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 53 with 9 rules applied. Total rules applied 70363 place count 7553 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 53 with 2 rules applied. Total rules applied 70365 place count 7552 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 53 with 1 rules applied. Total rules applied 70366 place count 7552 transition count 16331
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 54 with 10 rules applied. Total rules applied 70376 place count 7552 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 54 with 2 rules applied. Total rules applied 70378 place count 7551 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 54 with 2 rules applied. Total rules applied 70380 place count 7551 transition count 16330
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 55 with 9 rules applied. Total rules applied 70389 place count 7551 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 55 with 2 rules applied. Total rules applied 70391 place count 7550 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 55 with 1 rules applied. Total rules applied 70392 place count 7550 transition count 16331
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 56 with 10 rules applied. Total rules applied 70402 place count 7550 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 56 with 2 rules applied. Total rules applied 70404 place count 7549 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 56 with 2 rules applied. Total rules applied 70406 place count 7549 transition count 16330
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 57 with 9 rules applied. Total rules applied 70415 place count 7549 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 57 with 2 rules applied. Total rules applied 70417 place count 7548 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 57 with 1 rules applied. Total rules applied 70418 place count 7548 transition count 16331
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 58 with 10 rules applied. Total rules applied 70428 place count 7548 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 58 with 2 rules applied. Total rules applied 70430 place count 7547 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 58 with 2 rules applied. Total rules applied 70432 place count 7547 transition count 16330
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 59 with 9 rules applied. Total rules applied 70441 place count 7547 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 59 with 2 rules applied. Total rules applied 70443 place count 7546 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 59 with 1 rules applied. Total rules applied 70444 place count 7546 transition count 16331
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 60 with 10 rules applied. Total rules applied 70454 place count 7546 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 60 with 2 rules applied. Total rules applied 70456 place count 7545 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 60 with 2 rules applied. Total rules applied 70458 place count 7545 transition count 16330
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 61 with 9 rules applied. Total rules applied 70467 place count 7545 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 61 with 2 rules applied. Total rules applied 70469 place count 7544 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 61 with 1 rules applied. Total rules applied 70470 place count 7544 transition count 16331
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 62 with 10 rules applied. Total rules applied 70480 place count 7544 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 62 with 2 rules applied. Total rules applied 70482 place count 7543 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 62 with 2 rules applied. Total rules applied 70484 place count 7543 transition count 16330
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 63 with 9 rules applied. Total rules applied 70493 place count 7543 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 63 with 2 rules applied. Total rules applied 70495 place count 7542 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 63 with 1 rules applied. Total rules applied 70496 place count 7542 transition count 16331
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 64 with 10 rules applied. Total rules applied 70506 place count 7542 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 64 with 2 rules applied. Total rules applied 70508 place count 7541 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 64 with 2 rules applied. Total rules applied 70510 place count 7541 transition count 16330
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 65 with 9 rules applied. Total rules applied 70519 place count 7541 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 65 with 2 rules applied. Total rules applied 70521 place count 7540 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 65 with 1 rules applied. Total rules applied 70522 place count 7540 transition count 16331
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 66 with 10 rules applied. Total rules applied 70532 place count 7540 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 66 with 2 rules applied. Total rules applied 70534 place count 7539 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 66 with 2 rules applied. Total rules applied 70536 place count 7539 transition count 16330
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 67 with 9 rules applied. Total rules applied 70545 place count 7539 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 67 with 2 rules applied. Total rules applied 70547 place count 7538 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 67 with 1 rules applied. Total rules applied 70548 place count 7538 transition count 16331
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 68 with 10 rules applied. Total rules applied 70558 place count 7538 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 68 with 2 rules applied. Total rules applied 70560 place count 7537 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 68 with 2 rules applied. Total rules applied 70562 place count 7537 transition count 16330
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 69 with 9 rules applied. Total rules applied 70571 place count 7537 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 69 with 2 rules applied. Total rules applied 70573 place count 7536 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 69 with 1 rules applied. Total rules applied 70574 place count 7536 transition count 16331
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 70 with 10 rules applied. Total rules applied 70584 place count 7536 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 70 with 2 rules applied. Total rules applied 70586 place count 7535 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 70 with 2 rules applied. Total rules applied 70588 place count 7535 transition count 16330
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 71 with 9 rules applied. Total rules applied 70597 place count 7535 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 71 with 2 rules applied. Total rules applied 70599 place count 7534 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 71 with 1 rules applied. Total rules applied 70600 place count 7534 transition count 16331
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 72 with 10 rules applied. Total rules applied 70610 place count 7534 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 72 with 2 rules applied. Total rules applied 70612 place count 7533 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 72 with 2 rules applied. Total rules applied 70614 place count 7533 transition count 16330
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 73 with 9 rules applied. Total rules applied 70623 place count 7533 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 73 with 2 rules applied. Total rules applied 70625 place count 7532 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 73 with 1 rules applied. Total rules applied 70626 place count 7532 transition count 16331
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 74 with 10 rules applied. Total rules applied 70636 place count 7532 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 74 with 2 rules applied. Total rules applied 70638 place count 7531 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 74 with 2 rules applied. Total rules applied 70640 place count 7531 transition count 16330
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 75 with 9 rules applied. Total rules applied 70649 place count 7531 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 75 with 2 rules applied. Total rules applied 70651 place count 7530 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 75 with 1 rules applied. Total rules applied 70652 place count 7530 transition count 16331
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 76 with 10 rules applied. Total rules applied 70662 place count 7530 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 76 with 2 rules applied. Total rules applied 70664 place count 7529 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 76 with 2 rules applied. Total rules applied 70666 place count 7529 transition count 16330
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 77 with 9 rules applied. Total rules applied 70675 place count 7529 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 77 with 2 rules applied. Total rules applied 70677 place count 7528 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 77 with 1 rules applied. Total rules applied 70678 place count 7528 transition count 16331
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 78 with 10 rules applied. Total rules applied 70688 place count 7528 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 78 with 2 rules applied. Total rules applied 70690 place count 7527 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 78 with 2 rules applied. Total rules applied 70692 place count 7527 transition count 16330
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 79 with 9 rules applied. Total rules applied 70701 place count 7527 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 79 with 2 rules applied. Total rules applied 70703 place count 7526 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 79 with 1 rules applied. Total rules applied 70704 place count 7526 transition count 16331
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 80 with 10 rules applied. Total rules applied 70714 place count 7526 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 80 with 2 rules applied. Total rules applied 70716 place count 7525 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 80 with 2 rules applied. Total rules applied 70718 place count 7525 transition count 16330
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 81 with 9 rules applied. Total rules applied 70727 place count 7525 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 81 with 2 rules applied. Total rules applied 70729 place count 7524 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 81 with 1 rules applied. Total rules applied 70730 place count 7524 transition count 16331
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 82 with 10 rules applied. Total rules applied 70740 place count 7524 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 82 with 2 rules applied. Total rules applied 70742 place count 7523 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 82 with 2 rules applied. Total rules applied 70744 place count 7523 transition count 16330
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 83 with 9 rules applied. Total rules applied 70753 place count 7523 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 83 with 2 rules applied. Total rules applied 70755 place count 7522 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 83 with 1 rules applied. Total rules applied 70756 place count 7522 transition count 16331
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 84 with 10 rules applied. Total rules applied 70766 place count 7522 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 84 with 2 rules applied. Total rules applied 70768 place count 7521 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 84 with 2 rules applied. Total rules applied 70770 place count 7521 transition count 16330
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 85 with 9 rules applied. Total rules applied 70779 place count 7521 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 85 with 2 rules applied. Total rules applied 70781 place count 7520 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 85 with 1 rules applied. Total rules applied 70782 place count 7520 transition count 16331
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 86 with 10 rules applied. Total rules applied 70792 place count 7520 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 86 with 2 rules applied. Total rules applied 70794 place count 7519 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 86 with 2 rules applied. Total rules applied 70796 place count 7519 transition count 16330
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 87 with 9 rules applied. Total rules applied 70805 place count 7519 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 87 with 2 rules applied. Total rules applied 70807 place count 7518 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 87 with 1 rules applied. Total rules applied 70808 place count 7518 transition count 16331
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 88 with 10 rules applied. Total rules applied 70818 place count 7518 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 88 with 2 rules applied. Total rules applied 70820 place count 7517 transition count 16334
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 88 with 3 rules applied. Total rules applied 70823 place count 7517 transition count 16331
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 89 with 9 rules applied. Total rules applied 70832 place count 7517 transition count 16322
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -13
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 89 with 2 rules applied. Total rules applied 70834 place count 7516 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 89 with 1 rules applied. Total rules applied 70835 place count 7516 transition count 16334
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 90 with 10 rules applied. Total rules applied 70845 place count 7516 transition count 16324
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 90 with 2 rules applied. Total rules applied 70847 place count 7515 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 90 with 2 rules applied. Total rules applied 70849 place count 7515 transition count 16333
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 91 with 9 rules applied. Total rules applied 70858 place count 7515 transition count 16324
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 91 with 2 rules applied. Total rules applied 70860 place count 7514 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 91 with 1 rules applied. Total rules applied 70861 place count 7514 transition count 16334
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 92 with 10 rules applied. Total rules applied 70871 place count 7514 transition count 16324
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 92 with 2 rules applied. Total rules applied 70873 place count 7513 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 92 with 2 rules applied. Total rules applied 70875 place count 7513 transition count 16333
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 93 with 9 rules applied. Total rules applied 70884 place count 7513 transition count 16324
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 93 with 2 rules applied. Total rules applied 70886 place count 7512 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 93 with 1 rules applied. Total rules applied 70887 place count 7512 transition count 16334
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 94 with 10 rules applied. Total rules applied 70897 place count 7512 transition count 16324
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 94 with 2 rules applied. Total rules applied 70899 place count 7511 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 94 with 2 rules applied. Total rules applied 70901 place count 7511 transition count 16333
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 95 with 9 rules applied. Total rules applied 70910 place count 7511 transition count 16324
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 95 with 2 rules applied. Total rules applied 70912 place count 7510 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 95 with 1 rules applied. Total rules applied 70913 place count 7510 transition count 16334
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 96 with 10 rules applied. Total rules applied 70923 place count 7510 transition count 16324
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 96 with 2 rules applied. Total rules applied 70925 place count 7509 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 96 with 2 rules applied. Total rules applied 70927 place count 7509 transition count 16333
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 97 with 9 rules applied. Total rules applied 70936 place count 7509 transition count 16324
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 97 with 2 rules applied. Total rules applied 70938 place count 7508 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 97 with 1 rules applied. Total rules applied 70939 place count 7508 transition count 16334
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 98 with 10 rules applied. Total rules applied 70949 place count 7508 transition count 16324
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 98 with 2 rules applied. Total rules applied 70951 place count 7507 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 98 with 2 rules applied. Total rules applied 70953 place count 7507 transition count 16333
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 99 with 9 rules applied. Total rules applied 70962 place count 7507 transition count 16324
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 99 with 2 rules applied. Total rules applied 70964 place count 7506 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 99 with 1 rules applied. Total rules applied 70965 place count 7506 transition count 16334
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 100 with 10 rules applied. Total rules applied 70975 place count 7506 transition count 16324
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 100 with 2 rules applied. Total rules applied 70977 place count 7505 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 100 with 2 rules applied. Total rules applied 70979 place count 7505 transition count 16333
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 101 with 9 rules applied. Total rules applied 70988 place count 7505 transition count 16324
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 101 with 2 rules applied. Total rules applied 70990 place count 7504 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 101 with 1 rules applied. Total rules applied 70991 place count 7504 transition count 16334
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 102 with 10 rules applied. Total rules applied 71001 place count 7504 transition count 16324
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 102 with 2 rules applied. Total rules applied 71003 place count 7503 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 102 with 2 rules applied. Total rules applied 71005 place count 7503 transition count 16333
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 103 with 9 rules applied. Total rules applied 71014 place count 7503 transition count 16324
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 103 with 2 rules applied. Total rules applied 71016 place count 7502 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 103 with 1 rules applied. Total rules applied 71017 place count 7502 transition count 16334
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 104 with 10 rules applied. Total rules applied 71027 place count 7502 transition count 16324
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 104 with 2 rules applied. Total rules applied 71029 place count 7501 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 104 with 2 rules applied. Total rules applied 71031 place count 7501 transition count 16333
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 105 with 9 rules applied. Total rules applied 71040 place count 7501 transition count 16324
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 105 with 2 rules applied. Total rules applied 71042 place count 7500 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 105 with 1 rules applied. Total rules applied 71043 place count 7500 transition count 16334
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 106 with 10 rules applied. Total rules applied 71053 place count 7500 transition count 16324
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 106 with 2 rules applied. Total rules applied 71055 place count 7499 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 106 with 2 rules applied. Total rules applied 71057 place count 7499 transition count 16333
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 107 with 9 rules applied. Total rules applied 71066 place count 7499 transition count 16324
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 107 with 2 rules applied. Total rules applied 71068 place count 7498 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 107 with 1 rules applied. Total rules applied 71069 place count 7498 transition count 16334
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 108 with 10 rules applied. Total rules applied 71079 place count 7498 transition count 16324
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 108 with 2 rules applied. Total rules applied 71081 place count 7497 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 108 with 2 rules applied. Total rules applied 71083 place count 7497 transition count 16333
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 109 with 9 rules applied. Total rules applied 71092 place count 7497 transition count 16324
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 109 with 2 rules applied. Total rules applied 71094 place count 7496 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 109 with 1 rules applied. Total rules applied 71095 place count 7496 transition count 16334
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 110 with 10 rules applied. Total rules applied 71105 place count 7496 transition count 16324
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 110 with 2 rules applied. Total rules applied 71107 place count 7495 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 110 with 2 rules applied. Total rules applied 71109 place count 7495 transition count 16333
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 111 with 9 rules applied. Total rules applied 71118 place count 7495 transition count 16324
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 111 with 2 rules applied. Total rules applied 71120 place count 7494 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 111 with 1 rules applied. Total rules applied 71121 place count 7494 transition count 16334
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 112 with 10 rules applied. Total rules applied 71131 place count 7494 transition count 16324
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 112 with 2 rules applied. Total rules applied 71133 place count 7493 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 112 with 2 rules applied. Total rules applied 71135 place count 7493 transition count 16333
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 113 with 9 rules applied. Total rules applied 71144 place count 7493 transition count 16324
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 113 with 2 rules applied. Total rules applied 71146 place count 7492 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 113 with 1 rules applied. Total rules applied 71147 place count 7492 transition count 16334
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 114 with 10 rules applied. Total rules applied 71157 place count 7492 transition count 16324
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 114 with 2 rules applied. Total rules applied 71159 place count 7491 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 114 with 2 rules applied. Total rules applied 71161 place count 7491 transition count 16333
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 115 with 9 rules applied. Total rules applied 71170 place count 7491 transition count 16324
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 115 with 2 rules applied. Total rules applied 71172 place count 7490 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 115 with 1 rules applied. Total rules applied 71173 place count 7490 transition count 16334
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 116 with 10 rules applied. Total rules applied 71183 place count 7490 transition count 16324
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 116 with 2 rules applied. Total rules applied 71185 place count 7489 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 116 with 2 rules applied. Total rules applied 71187 place count 7489 transition count 16333
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 117 with 9 rules applied. Total rules applied 71196 place count 7489 transition count 16324
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 117 with 2 rules applied. Total rules applied 71198 place count 7488 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 117 with 1 rules applied. Total rules applied 71199 place count 7488 transition count 16334
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 118 with 10 rules applied. Total rules applied 71209 place count 7488 transition count 16324
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 118 with 2 rules applied. Total rules applied 71211 place count 7487 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 118 with 2 rules applied. Total rules applied 71213 place count 7487 transition count 16333
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 119 with 9 rules applied. Total rules applied 71222 place count 7487 transition count 16324
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 119 with 2 rules applied. Total rules applied 71224 place count 7486 transition count 16335
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 119 with 1 rules applied. Total rules applied 71225 place count 7486 transition count 16334
Drop transitions (Redundant composition of simpler transitions.) removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 120 with 10 rules applied. Total rules applied 71235 place count 7486 transition count 16324
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 120 with 2 rules applied. Total rules applied 71237 place count 7485 transition count 16333
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 120 with 1 rules applied. Total rules applied 71238 place count 7485 transition count 16332
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 121 with 9 rules applied. Total rules applied 71247 place count 7485 transition count 16323
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 121 with 2 rules applied. Total rules applied 71249 place count 7484 transition count 16332
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 121 with 1 rules applied. Total rules applied 71250 place count 7484 transition count 16331
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 122 with 9 rules applied. Total rules applied 71259 place count 7484 transition count 16322
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 122 with 2 rules applied. Total rules applied 71261 place count 7483 transition count 16331
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 122 with 1 rules applied. Total rules applied 71262 place count 7483 transition count 16330
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 123 with 9 rules applied. Total rules applied 71271 place count 7483 transition count 16321
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 123 with 2 rules applied. Total rules applied 71273 place count 7482 transition count 16330
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 123 with 1 rules applied. Total rules applied 71274 place count 7482 transition count 16329
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 124 with 9 rules applied. Total rules applied 71283 place count 7482 transition count 16320
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 124 with 2 rules applied. Total rules applied 71285 place count 7481 transition count 16329
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 124 with 1 rules applied. Total rules applied 71286 place count 7481 transition count 16328
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 125 with 9 rules applied. Total rules applied 71295 place count 7481 transition count 16319
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 125 with 2 rules applied. Total rules applied 71297 place count 7480 transition count 16328
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 125 with 1 rules applied. Total rules applied 71298 place count 7480 transition count 16327
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 126 with 9 rules applied. Total rules applied 71307 place count 7480 transition count 16318
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 126 with 2 rules applied. Total rules applied 71309 place count 7479 transition count 16327
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 126 with 1 rules applied. Total rules applied 71310 place count 7479 transition count 16326
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 127 with 9 rules applied. Total rules applied 71319 place count 7479 transition count 16317
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 127 with 2 rules applied. Total rules applied 71321 place count 7478 transition count 16326
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 127 with 1 rules applied. Total rules applied 71322 place count 7478 transition count 16325
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 128 with 9 rules applied. Total rules applied 71331 place count 7478 transition count 16316
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 128 with 2 rules applied. Total rules applied 71333 place count 7477 transition count 16325
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 128 with 1 rules applied. Total rules applied 71334 place count 7477 transition count 16324
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 129 with 9 rules applied. Total rules applied 71343 place count 7477 transition count 16315
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 129 with 2 rules applied. Total rules applied 71345 place count 7476 transition count 16324
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 129 with 1 rules applied. Total rules applied 71346 place count 7476 transition count 16323
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 130 with 9 rules applied. Total rules applied 71355 place count 7476 transition count 16314
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 130 with 2 rules applied. Total rules applied 71357 place count 7475 transition count 16323
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 130 with 1 rules applied. Total rules applied 71358 place count 7475 transition count 16322
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 131 with 9 rules applied. Total rules applied 71367 place count 7475 transition count 16313
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 131 with 2 rules applied. Total rules applied 71369 place count 7474 transition count 16322
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 131 with 1 rules applied. Total rules applied 71370 place count 7474 transition count 16321
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 132 with 9 rules applied. Total rules applied 71379 place count 7474 transition count 16312
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 132 with 2 rules applied. Total rules applied 71381 place count 7473 transition count 16321
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 132 with 1 rules applied. Total rules applied 71382 place count 7473 transition count 16320
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 133 with 9 rules applied. Total rules applied 71391 place count 7473 transition count 16311
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 133 with 2 rules applied. Total rules applied 71393 place count 7472 transition count 16320
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 133 with 1 rules applied. Total rules applied 71394 place count 7472 transition count 16319
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 134 with 9 rules applied. Total rules applied 71403 place count 7472 transition count 16310
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 134 with 2 rules applied. Total rules applied 71405 place count 7471 transition count 16319
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 134 with 1 rules applied. Total rules applied 71406 place count 7471 transition count 16318
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 135 with 9 rules applied. Total rules applied 71415 place count 7471 transition count 16309
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 135 with 2 rules applied. Total rules applied 71417 place count 7470 transition count 16318
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 135 with 1 rules applied. Total rules applied 71418 place count 7470 transition count 16317
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 136 with 9 rules applied. Total rules applied 71427 place count 7470 transition count 16308
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 136 with 2 rules applied. Total rules applied 71429 place count 7469 transition count 16317
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 136 with 1 rules applied. Total rules applied 71430 place count 7469 transition count 16316
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 137 with 9 rules applied. Total rules applied 71439 place count 7469 transition count 16307
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 137 with 2 rules applied. Total rules applied 71441 place count 7468 transition count 16316
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 137 with 1 rules applied. Total rules applied 71442 place count 7468 transition count 16315
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 138 with 9 rules applied. Total rules applied 71451 place count 7468 transition count 16306
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 138 with 2 rules applied. Total rules applied 71453 place count 7467 transition count 16315
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 138 with 1 rules applied. Total rules applied 71454 place count 7467 transition count 16314
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 139 with 9 rules applied. Total rules applied 71463 place count 7467 transition count 16305
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 139 with 2 rules applied. Total rules applied 71465 place count 7466 transition count 16314
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 139 with 1 rules applied. Total rules applied 71466 place count 7466 transition count 16313
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 140 with 9 rules applied. Total rules applied 71475 place count 7466 transition count 16304
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 140 with 2 rules applied. Total rules applied 71477 place count 7465 transition count 16313
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 140 with 1 rules applied. Total rules applied 71478 place count 7465 transition count 16312
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 141 with 9 rules applied. Total rules applied 71487 place count 7465 transition count 16303
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 141 with 2 rules applied. Total rules applied 71489 place count 7464 transition count 16312
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 141 with 1 rules applied. Total rules applied 71490 place count 7464 transition count 16311
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 142 with 9 rules applied. Total rules applied 71499 place count 7464 transition count 16302
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 142 with 2 rules applied. Total rules applied 71501 place count 7463 transition count 16311
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 142 with 1 rules applied. Total rules applied 71502 place count 7463 transition count 16310
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 143 with 9 rules applied. Total rules applied 71511 place count 7463 transition count 16301
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 143 with 2 rules applied. Total rules applied 71513 place count 7462 transition count 16310
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 143 with 1 rules applied. Total rules applied 71514 place count 7462 transition count 16309
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 144 with 9 rules applied. Total rules applied 71523 place count 7462 transition count 16300
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 144 with 2 rules applied. Total rules applied 71525 place count 7461 transition count 16309
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 144 with 1 rules applied. Total rules applied 71526 place count 7461 transition count 16308
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 145 with 9 rules applied. Total rules applied 71535 place count 7461 transition count 16299
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 145 with 2 rules applied. Total rules applied 71537 place count 7460 transition count 16308
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 145 with 1 rules applied. Total rules applied 71538 place count 7460 transition count 16307
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 146 with 9 rules applied. Total rules applied 71547 place count 7460 transition count 16298
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 146 with 2 rules applied. Total rules applied 71549 place count 7459 transition count 16307
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 146 with 1 rules applied. Total rules applied 71550 place count 7459 transition count 16306
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 147 with 9 rules applied. Total rules applied 71559 place count 7459 transition count 16297
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 147 with 2 rules applied. Total rules applied 71561 place count 7458 transition count 16306
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 147 with 1 rules applied. Total rules applied 71562 place count 7458 transition count 16305
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 148 with 9 rules applied. Total rules applied 71571 place count 7458 transition count 16296
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 148 with 2 rules applied. Total rules applied 71573 place count 7457 transition count 16305
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 148 with 1 rules applied. Total rules applied 71574 place count 7457 transition count 16304
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 149 with 9 rules applied. Total rules applied 71583 place count 7457 transition count 16295
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 149 with 2 rules applied. Total rules applied 71585 place count 7456 transition count 16304
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 149 with 1 rules applied. Total rules applied 71586 place count 7456 transition count 16303
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 150 with 9 rules applied. Total rules applied 71595 place count 7456 transition count 16294
Free-agglomeration rule applied 4563 times with reduction of 2980 identical transitions.
Iterating global reduction 150 with 4563 rules applied. Total rules applied 76158 place count 7456 transition count 8751
Reduce places removed 4563 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 5517 transitions
Ensure Unique test removed 12 transitions
Reduce isomorphic transitions removed 5529 transitions.
Graph (complete) has 6186 edges and 2893 vertex of which 343 are kept as prefixes of interest. Removing 2550 places using SCC suffix rule.5 ms
Discarding 2550 places :
Also discarding 2461 output transitions
Drop transitions (Output transitions of discarded places.) removed 2461 transitions
Iterating post reduction 150 with 10093 rules applied. Total rules applied 86251 place count 343 transition count 761
Drop transitions (Empty/Sink Transition effects.) removed 220 transitions
Ensure Unique test removed 118 transitions
Reduce isomorphic transitions removed 338 transitions.
Iterating post reduction 151 with 338 rules applied. Total rules applied 86589 place count 343 transition count 423
Discarding 161 places :
Symmetric choice reduction at 152 with 161 rule applications. Total rules 86750 place count 182 transition count 213
Iterating global reduction 152 with 161 rules applied. Total rules applied 86911 place count 182 transition count 213
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 152 with 1 rules applied. Total rules applied 86912 place count 182 transition count 212
Drop transitions (Redundant composition of simpler transitions.) removed 9 transitions
Redundant transition composition rules discarded 9 transitions
Iterating global reduction 153 with 9 rules applied. Total rules applied 86921 place count 182 transition count 203
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 153 with 1 rules applied. Total rules applied 86922 place count 181 transition count 203
Applied a total of 86922 rules in 334196 ms. Remains 181 /44243 variables (removed 44062) and now considering 203/66611 (removed 66408) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 334197 ms. Remains : 181/44243 places, 203/66611 transitions.
[2025-05-31 14:57:06] [INFO ] Flatten gal took : 1068 ms
[2025-05-31 14:57:07] [INFO ] Flatten gal took : 1117 ms
[2025-05-31 14:57:09] [INFO ] Input system was already deterministic with 66611 transitions.
Computed a total of 10946 stabilizing places and 10946 stable transitions
Starting structural reductions in LTL mode, iteration 0 : 44243/44243 places, 66611/66611 transitions.
Applied a total of 0 rules in 6043 ms. Remains 44243 /44243 variables (removed 0) and now considering 66611/66611 (removed 0) transitions.
[2025-05-31 14:57:27] [INFO ] Invariant cache hit.
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 14:58:37] [INFO ] Performed 10528/44243 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 14:59:07] [INFO ] Performed 31666/44243 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 14:59:27] [INFO ] Implicit Places using invariants in 119449 ms returned []
Implicit Place search using SMT only with invariants took 119454 ms to find 0 implicit places.
Running 66610 sub problems to find dead transitions.
[2025-05-31 14:59:27] [INFO ] Invariant cache hit.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
SMT process timed out in 471076ms, After SMT, problems are : Problem set: 0 solved, 66610 unsolved
Search for dead transitions found 0 dead transitions in 471245ms
Finished structural reductions in LTL mode , in 1 iterations and 596901 ms. Remains : 44243/44243 places, 66611/66611 transitions.
[2025-05-31 15:07:20] [INFO ] Flatten gal took : 1214 ms
[2025-05-31 15:07:21] [INFO ] Flatten gal took : 1355 ms
[2025-05-31 15:07:24] [INFO ] Input system was already deterministic with 66611 transitions.
[2025-05-31 15:07:26] [INFO ] Flatten gal took : 1279 ms
[2025-05-31 15:07:27] [INFO ] Flatten gal took : 1349 ms
[2025-05-31 15:07:27] [INFO ] Time to serialize gal into /tmp/CTLCardinality2114188610945602440.gal : 303 ms
[2025-05-31 15:07:27] [INFO ] Time to serialize properties into /tmp/CTLCardinality9280583906470020306.ctl : 4 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality2114188610945602440.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality9280583906470020306.ctl' '--gen-order' 'FOLLOW'

its-ctl command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...283
Detected timeout of ITS tools.
[2025-05-31 15:07:59] [INFO ] Flatten gal took : 1220 ms
[2025-05-31 15:07:59] [INFO ] Applying decomposition
[2025-05-31 15:08:00] [INFO ] Flatten gal took : 1324 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph4979427494890127922.txt' '-o' '/tmp/graph4979427494890127922.bin' '-w' '/tmp/graph4979427494890127922.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph4979427494890127922.bin' '-l' '-1' '-v' '-w' '/tmp/graph4979427494890127922.weights' '-q' '0' '-e' '0.001'
[2025-05-31 15:08:05] [INFO ] Decomposing Gal with order
[2025-05-31 15:08:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 15:26:49] [INFO ] Removed a total of 48225 redundant transitions.
[2025-05-31 15:26:50] [INFO ] Flatten gal took : 2344 ms
[2025-05-31 15:26:52] [INFO ] Fuse similar labels procedure discarded/fused a total of 1308 labels/synchronizations in 842 ms.
[2025-05-31 15:26:52] [INFO ] Time to serialize gal into /tmp/CTLCardinality13953176017380126887.gal : 383 ms
[2025-05-31 15:26:52] [INFO ] Time to serialize properties into /tmp/CTLCardinality8584170863126224694.ctl : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality13953176017380126887.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality8584170863126224694.ctl'

its-ctl command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Starting structural reductions in SI_CTL mode, iteration 0 : 44243/44243 places, 66611/66611 transitions.
Graph (trivial) has 40747 edges and 44243 vertex of which 3264 / 44243 are part of one of the 207 SCC in 15 ms
Free SCC test removed 3057 places
Ensure Unique test removed 3252 transitions
Reduce isomorphic transitions removed 3252 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 20629 transitions
Trivial Post-agglo rules discarded 20629 transitions
Performed 20629 trivial Post agglomeration. Transition count delta: 20629
Iterating post reduction 0 with 20629 rules applied. Total rules applied 20630 place count 41185 transition count 42729
Reduce places removed 20629 places and 0 transitions.
Ensure Unique test removed 567 transitions
Reduce isomorphic transitions removed 567 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 561 transitions
Trivial Post-agglo rules discarded 561 transitions
Performed 561 trivial Post agglomeration. Transition count delta: 561
Iterating post reduction 1 with 21757 rules applied. Total rules applied 42387 place count 20556 transition count 41601
Reduce places removed 561 places and 0 transitions.
Ensure Unique test removed 183 transitions
Reduce isomorphic transitions removed 183 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) 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 43314 place count 19995 transition count 41235
Reduce places removed 183 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 3 with 184 rules applied. Total rules applied 43498 place count 19812 transition count 41234
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 43499 place count 19811 transition count 41234
Performed 183 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 183 Pre rules applied. Total rules applied 43499 place count 19811 transition count 41051
Deduced a syphon composed of 183 places in 2588 ms
Reduce places removed 183 places and 0 transitions.
Iterating global reduction 5 with 366 rules applied. Total rules applied 43865 place count 19628 transition count 41051
Performed 10819 Post agglomeration using F-continuation condition.Transition count delta: 10819
Deduced a syphon composed of 10819 places in 10 ms
Reduce places removed 10819 places and 0 transitions.
Iterating global reduction 5 with 21638 rules applied. Total rules applied 65503 place count 8809 transition count 30232
Renaming transitions due to excessive name length > 1024 char.
Discarding 408 places :
Symmetric choice reduction at 5 with 408 rule applications. Total rules 65911 place count 8401 transition count 20140
Iterating global reduction 5 with 408 rules applied. Total rules applied 66319 place count 8401 transition count 20140
Ensure Unique test removed 378 transitions
Reduce isomorphic transitions removed 378 transitions.
Iterating post reduction 5 with 378 rules applied. Total rules applied 66697 place count 8401 transition count 19762
Drop transitions (Redundant composition of simpler transitions.) removed 12 transitions
Redundant transition composition rules discarded 12 transitions
Iterating global reduction 6 with 12 rules applied. Total rules applied 66709 place count 8401 transition count 19750
Drop transitions (Trivial Post-Agglo cleanup.) removed 6 transitions
Trivial Post-agglo rules discarded 6 transitions
Performed 6 trivial Post agglomeration. Transition count delta: 6
Iterating post reduction 6 with 6 rules applied. Total rules applied 66715 place count 8401 transition count 19744
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 7 with 6 rules applied. Total rules applied 66721 place count 8395 transition count 19744
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 8 with 2 rules applied. Total rules applied 66723 place count 8393 transition count 19742
Applied a total of 66723 rules in 19653 ms. Remains 8393 /44243 variables (removed 35850) and now considering 19742/66611 (removed 46869) transitions.
[2025-05-31 15:27:42] [INFO ] Flow matrix only has 19536 transitions (discarded 206 similar events)
// Phase 1: matrix 19536 rows 8393 cols
[2025-05-31 15:27:42] [INFO ] Computed 2415 invariants in 130 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 15:27:48] [INFO ] Implicit Places using invariants in 6088 ms returned []
Implicit Place search using SMT only with invariants took 6090 ms to find 0 implicit places.
Running 14529 sub problems to find dead transitions.
[2025-05-31 15:27:48] [INFO ] Flow matrix only has 19536 transitions (discarded 206 similar events)
[2025-05-31 15:27:48] [INFO ] Invariant cache hit.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
Error getting values : (error "ParserException while parsing response: (timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/6167 variables, 189/189 constraints. Problems are: Problem set: 0 solved, 14529 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 6167/27929 variables, and 189 constraints, problems are : Problem set: 0 solved, 14529 unsolved in 30164 ms.
Refiners :[Positive P Invariants (semi-flows): 189/2415 constraints, State Equation: 0/8393 constraints, PredecessorRefiner: 14529/14529 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 14529 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/6167 variables, 189/189 constraints. Problems are: Problem set: 0 solved, 14529 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 6167/27929 variables, and 189 constraints, problems are : Problem set: 0 solved, 14529 unsolved in 30158 ms.
Refiners :[Positive P Invariants (semi-flows): 189/2415 constraints, State Equation: 0/8393 constraints, PredecessorRefiner: 0/14529 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 99806ms problems are : Problem set: 0 solved, 14529 unsolved
Search for dead transitions found 0 dead transitions in 99831ms
Starting structural reductions in SI_CTL mode, iteration 1 : 8393/44243 places, 19742/66611 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 125599 ms. Remains : 8393/44243 places, 19742/66611 transitions.
[2025-05-31 15:29:28] [INFO ] Flatten gal took : 324 ms
[2025-05-31 15:29:29] [INFO ] Flatten gal took : 370 ms
[2025-05-31 15:29:29] [INFO ] Input system was already deterministic with 19742 transitions.
[2025-05-31 15:29:30] [INFO ] Flatten gal took : 434 ms
[2025-05-31 15:29:31] [INFO ] Flatten gal took : 352 ms
[2025-05-31 15:29:31] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4398896309786360709.gal : 72 ms
[2025-05-31 15:29:31] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality4295388592967512195.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality4398896309786360709.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality4295388592967512195.prop' '--nowitness' '--gen-order' 'FOLLOW'

its-reach command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...328
RANDOM walk for 7867 steps (0 resets) in 4438 ms. (1 steps per ms) remains 0/1 properties
FORMULA DLCshifumi-PT-6b-CTLCardinality-2025-01 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
Starting structural reductions in SI_CTL mode, iteration 0 : 44243/44243 places, 66611/66611 transitions.
Graph (trivial) has 40740 edges and 44243 vertex of which 3264 / 44243 are part of one of the 207 SCC in 16 ms
Free SCC test removed 3057 places
Ensure Unique test removed 3252 transitions
Reduce isomorphic transitions removed 3252 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 20625 transitions
Trivial Post-agglo rules discarded 20625 transitions
Performed 20625 trivial Post agglomeration. Transition count delta: 20625
Iterating post reduction 0 with 20625 rules applied. Total rules applied 20626 place count 41185 transition count 42733
Reduce places removed 20625 places and 0 transitions.
Ensure Unique test removed 566 transitions
Reduce isomorphic transitions removed 566 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 560 transitions
Trivial Post-agglo rules discarded 560 transitions
Performed 560 trivial Post agglomeration. Transition count delta: 560
Iterating post reduction 1 with 21751 rules applied. Total rules applied 42377 place count 20560 transition count 41607
Reduce places removed 560 places and 0 transitions.
Ensure Unique test removed 182 transitions
Reduce isomorphic transitions removed 182 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 182 transitions
Trivial Post-agglo rules discarded 182 transitions
Performed 182 trivial Post agglomeration. Transition count delta: 182
Iterating post reduction 2 with 924 rules applied. Total rules applied 43301 place count 20000 transition count 41243
Reduce places removed 182 places and 0 transitions.
Iterating post reduction 3 with 182 rules applied. Total rules applied 43483 place count 19818 transition count 41243
Performed 188 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 188 Pre rules applied. Total rules applied 43483 place count 19818 transition count 41055
Deduced a syphon composed of 188 places in 2384 ms
Reduce places removed 188 places and 0 transitions.
Iterating global reduction 4 with 376 rules applied. Total rules applied 43859 place count 19630 transition count 41055
Performed 10815 Post agglomeration using F-continuation condition.Transition count delta: 10815
Deduced a syphon composed of 10815 places in 14 ms
Reduce places removed 10815 places and 0 transitions.
Iterating global reduction 4 with 21630 rules applied. Total rules applied 65489 place count 8815 transition count 30240
Renaming transitions due to excessive name length > 1024 char.
Discarding 410 places :
Symmetric choice reduction at 4 with 410 rule applications. Total rules 65899 place count 8405 transition count 20146
Iterating global reduction 4 with 410 rules applied. Total rules applied 66309 place count 8405 transition count 20146
Ensure Unique test removed 378 transitions
Reduce isomorphic transitions removed 378 transitions.
Iterating post reduction 4 with 378 rules applied. Total rules applied 66687 place count 8405 transition count 19768
Drop transitions (Redundant composition of simpler transitions.) removed 13 transitions
Redundant transition composition rules discarded 13 transitions
Iterating global reduction 5 with 13 rules applied. Total rules applied 66700 place count 8405 transition count 19755
Drop transitions (Trivial Post-Agglo cleanup.) removed 6 transitions
Trivial Post-agglo rules discarded 6 transitions
Performed 6 trivial Post agglomeration. Transition count delta: 6
Iterating post reduction 5 with 6 rules applied. Total rules applied 66706 place count 8405 transition count 19749
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 6 with 6 rules applied. Total rules applied 66712 place count 8399 transition count 19749
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 1 Pre rules applied. Total rules applied 66712 place count 8399 transition count 19748
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 7 with 2 rules applied. Total rules applied 66714 place count 8398 transition count 19748
Reduce places removed 2 places and 2 transitions.
Iterating global reduction 7 with 2 rules applied. Total rules applied 66716 place count 8396 transition count 19746
Applied a total of 66716 rules in 18627 ms. Remains 8396 /44243 variables (removed 35847) and now considering 19746/66611 (removed 46865) transitions.
[2025-05-31 15:29:50] [INFO ] Flow matrix only has 19540 transitions (discarded 206 similar events)
// Phase 1: matrix 19540 rows 8396 cols
[2025-05-31 15:29:50] [INFO ] Computed 2415 invariants in 42 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 15:29:56] [INFO ] Implicit Places using invariants in 5994 ms returned []
Implicit Place search using SMT only with invariants took 5995 ms to find 0 implicit places.
Running 14536 sub problems to find dead transitions.
[2025-05-31 15:29:56] [INFO ] Flow matrix only has 19540 transitions (discarded 206 similar events)
[2025-05-31 15:29:56] [INFO ] Invariant cache hit.
[2025-05-31 15:29:56] [INFO ] State equation strengthened by 6 read => feed constraints.
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
Error getting values : (error "ParserException while parsing response: ((s0 0.0)
(s1 0.0)
(s2 0.0)
(s3 0.0)
(s4 0.0)
(s5 0.0)
(s6 0.0)
(s7 0.0)
(s8 1.0)
(s9 0.0)
(s10 0.0)
(s11 0.0)
(s12 0.0)
(s13 0.0)
(s14 0.0)
(s15 0.0)
(s16 0.0)
(s17 1.0)
(s18 0.0)
(s19 0.0)
(s20 0.0)
(s21 0.0)
(s22 0.0)
(s23 0.0)
(s24 0.0)
(s25 0.0)
(s26 1.0)
(s27 0.0)
(s28 0.0)
(s29 0.0)
(s30 0.0)
(s31 0.0)
(s32 0.0)
(s33 0.0)
(s34 0.0)
(s35 1.0)
(s36 0.0)
(s37 0.0)
(s38 0.0)
(s39 0.0)
(s40 0.0)
(s41 0.0)
(s42 0.0)
(s43 0.0)
(s44 1.0)
(s45 0.0)
(s46 0.0)
(s47 0.0)
(s48 0.0)
(s49 0.0)
(s50 0.0)
(s51 0.0)
(s52 0.0)
(s53 1.0)
(s54 0.0)
(s55 0.0)
(s56 0.0)
(s57 0.0)
(s58 0.0)
(s59 0.0)
(s60 0.0)
(s61 0.0)
(s62 1.0)
(s63 0.0)
(s64 0.0)
(s65 0.0)
(s66 0.0)
(s67 0.0)
(s68 0.0)
(s69 0.0)
(s70 0.0)
(s71 1.0)
(s72 0.0)
(s73 0.0)
(s74 0.0)
(s75 0.0)
(s76 0.0)
(s77 0.0)
(s78 0.0)
(s79 0.0)
(s80 1.0)
(s81 0.0)
(s82 0.0)
(s83 0.0)
(s84 0.0)
(s85 0.0)
(s86 0.0)
(s87 0.0)
(s88 0.0)
(s89 1.0)
(s90 0.0)
(s91 0.0)
(s92 0.0)
(s93 0.0)
(s94 0.0)
(s95 0.0)
(s96 0.0)
(s97 0.0)
(s98 1.0)
(s99 0.0)
(s100 0.0)
(s101 0.0)
(s102 0.0)
(s103 0.0)
(s104 0.0)
(s105 0.0)
(s106 0.0)
(s107 1.0)
(s108 0.0)
(s109 0.0)
(s110 0.0)
(s111 0.0)
(s112 0.0)
(s113 0.0)
(s114 0.0)
(s115 0.0)
(s116 1.0)
(s117 0.0)
(s118 0.0)
(s119 0.0)
(s120 0.0)
(s121 0.0)
(s122 0.0)
(s123 0.0)
(s124 0.0)
(s125 1.0)
(s126 0.0)
(s127 0.0)
(s128 0.0)
(s129 0.0)
(s130 0.0)
(s131 0.0)
(s132 0.0)
(s133 0.0)
(s134 1.0)
(s135 0.0)
(s136 0.0)
(s137 0.0)
(s138 0.0)
(s139 0.0)
(s140 0.0)
(s141 0.0)
(s142 0.0)
(s143 1.0)
(s144 0.0)
(s145 0.0)
(s146 0.0)
(s147 0.0)
(s148 0.0)
(s149 0.0)
(s150 0.0)
(s151 0.0)
(s152 1.0)
(s153 0.0)
(s154 0.0)
(s155 0.0)
(s156 0.0)
(s157 0.0)
(s158 0.0)
(s159 0.0)
(s160 0.0)
(s161 1.0)
(s162 0.0)
(s163 0.0)
(s164 0.0)
(s165 0.0)
(s166 0.0)
(s167 0.0)
(s168 0.0)
(s169 0.0)
(s170 1.0)
(s171 0.0)
(s172 0.0)
(s173 0.0)
(s174 0.0)
(s175 0.0)
(s176 0.0)
(s177 0.0)
(s178 0.0)
(s179 1.0)
(s180 0.0)
(s181 0.0)
(s182 0.0)
(s183 0.0)
(s184 0.0)
(s185 0.0)
(s186 0.0)
(s187 0.0)
(s188 1.0)
(s189 0.0)
(s190 0.0)
(s191 0.0)
(s192 0.0)
(s193 0.0)
(s194 0.0)
(s195 0.0)
(s196 0.0)
(s197 1.0)
(s198 0.0)
(s199 0.0)
(s200 0.0)
(s201 0.0)
(s202 0.0)
(s203 0.0)
(s204 0.0)
(s205 0.0)
(s206 1.0)
(s207 0.0)
(s208 0.0)
(s209 0.0)
(s210 0.0)
(s211 0.0)
(s212 0.0)
(s213 0.0)
(s214 0.0)
(s215 1.0)
(s216 0.0)
(s217 0.0)
(s218 0.0)
(s219 0.0)
(s220 0.0)
(s221 0.0)
(s222 0.0)
(s223 0.0)
(s224 1.0)
(s225 0.0)
(s226 0.0)
(s227 0.0)
(s228 0.0)
(s229 0.0)
(s230 0.0)
(s231 0.0)
(s232 0.0)
(s233 1.0)
(s234 0.0)
(s235 0.0)
(s236 0.0)
(s237 0.0)
(s238 0.0)
(s239 0.0)
(s240 0.0)
(s241 0.0)
(s242 1.0)
(s243 0.0)
(s244 0.0)
(s245 0.0)
(s246 0.0)
(s247 0.0)
(s248 0.0)
(s249 0.0)
(s250 0.0)
(s251 1.0)
(s252 0.0)
(s253 0.0)
(s254 0.0)
(s255 0.0)
(s256 0.0)
(s257 0.0)
(s258 0.0)
(s259 0.0)
(s260 1.0)
(s261 0.0)
(s262 0.0)
(s263 0.0)
(s264 0.0)
(s265 0.0)
(s266 0.0)
(s267 0.0)
(s268 0.0)
(s269 1.0)
(s270 0.0)
(s271 0.0)
(s272 0.0)
(s273 0.0)
(s274 0.0)
(s275 0.0)
(s276 0.0)
(s277 0.0)
(s278 1.0)
(s279 0.0)
(s280 0.0)
(s281 0.0)
(s282 0.0)
(s283 0.0)
(s284 0.0)
(s285 0.0)
(s286 0.0)
(s287 1.0)
(s288 0.0)
(s289 0.0)
(s290 0.0)
(s291 0.0)
(s292 0.0)
(s293 0.0)
(s294 0.0)
(s295 0.0)
(s296 1.0)
(s297 0.0)
(s298 0.0)
(s299 0.0)
(s300 0.0)
(s301 0.0)
(s302 0.0)
(s303 0.0)
(s304 0.0)
(s305 1.0)
(s306 0.0)
(s307 0.0)
(s308 0.0)
(s309 0.0)
(s310 0.0)
(s311 0.0)
(s312 0.0)
(s313 0.0)
(s314 1.0)
(s315 0.0)
(s316 0.0)
(s317 0.0)
(s318 0.0)
(s319 0.0)
(s320 0.0)
(s321 0.0)
(s322 0.0)
(s323 1.0)
(s324 0.0)
(s325 0.0)
(s326 0.0)
(s327 0.0)
(s328 0.0)
(s329 0.0)
(s330 0.0)
(s331 0.0)
(s332 1.0)
(s333 0.0)
(s334 0.0)
(s335 0.0)
(s336 0.0)
(s337 0.0)
(s338 0.0)
(s339 0.0)
(s340 0.0)
(s341 1.0)
(s342 0.0)
(s343 0.0)
(s344 0.0)
(s345 0.0)
(s346 0.0)
(s347 0.0)
(s348 0.0)
(s349 0.0)
(s350 1.0)
(s351 0.0)
(s352 0.0)
(s353 0.0)
(s354 0.0)
(s355 0.0)
(s356 0.0)
(s357 0.0)
(s358 0.0)
(s359 1.0)
(s360 0.0)
(s361 0.0)
(s362 0.0)
(s363 0.0)
(s364 0.0)
(s365 0.0)
(s366 0.0)
(s367 0.0)
(s368 1.0)
(s369 0.0)
(s370 0.0)
(s371 0.0)
(s372 0.0)
(s373 0.0)
(s374 0.0)
(s375 0.0)
(s376 0.0)
(s377 1.0)
(s378 0.0)
(s379 0.0)
(s380 0.0)
(s381 0.0)
(s382 0.0)
(s383 0.0)
(s384 0.0)
(s385 0.0)
(s386 1.0)
(s387 0.0)
(s388 0.0)
(s389 0.0)
(s390 0.0)
(s391 0.0)
(s392 0.0)
(s393 0.0)
(s394 0.0)
(s395 1.0)
(s396 0.0)
(s397 0.0)
(s398 0.0)
(s399 0.0)
(s400 0.0)
(s401 0.0)
(s402 0.0)
(s403 0.0)
(s404 1.0)
(s405 0.0)
(s406 0.0)
(s407 0.0)
(s408 0.0)
(s409 0.0)
(s410 0.0)
(s411 0.0)
(s412 0.0)
(s413 1.0)
(s414 0.0)
(s415 0.0)
(s416 0.0)
(s417 0.0)
(s418 0.0)
(s419 0.0)
(s420 0.0)
(s421 0.0)
(s422 1.0)
(s423 0.0)
(s424 0.0)
(s425 0.0)
(s426 0.0)
(s427 0.0)
(s428 0.0)
(s429 0.0)
(s430 0.0)
(s431 1.0)
(s432 0.0)
(s433 0.0)
(s434 0.0)
(s435 0.0)
(s436 0.0)
(s437 0.0)
(s438 0.0)
(s439 0.0)
(s440 1.0)
(s441 0.0)
(s442 0.0)
(s443 0.0)
(s444 0.0)
(s445 0.0)
(s446 0.0)
(s447 0.0)
(s448 0.0)
(s449 1.0)
(s450 0.0)
(s451 0.0)
(s452 0.0)
(s453 0.0)
(s454 0.0)
(s455 0.0)
(s456 0.0)
(s457 0.0)
(s458 1.0)
(s459 0.0)
(s460 0.0)
(s461 0.0)
(s462 0.0)
(s463 0.0)
(s464 0.0)
(s465 0.0)
(s466 0.0)
(s467 1.0)
(s468 0.0)
(s469 0.0)
(s470 0.0)
(s471 0.0)
(s472 0.0)
(s473 0.0)
(s474 0.0)
(s475 0.0)
(s476 1.0)
(s477 0.0)
(s478 0.0)
(s479 0.0)
(s480 0.0)
(s481 0.0)
(s482 0.0)
(s483 0.0)
(s484 0.0)
(s485 1.0)
(s486 0.0)
(s487 0.0)
(s488 0.0)
(s489 0.0)
(s490 0.0)
(s491 0.0)
(s492 0.0)
(s493 0.0)
(s494 1.0)
(s495 0.0)
(s496 0.0)
(s497 0.0)
(s498 0.0)
(s499 0.0)
(s500 0.0)
(s501 0.0)
(s502 0.0)
(s503 1.0)
(s504 0.0)
(s505 0.0)
(s506 0.0)
(s507 0.0)
(s508 0.0)
(s509 0.0)
(s510 0.0)
(s511 0.0)
(s512 1.0)
(s513 0.0)
(s514 0.0)
(s515 0.0)
(s516 0.0)
(s517 0.0)
(s518 0.0)
(s519 0.0)
(s520 0.0)
(s521 1.0)
(s522 0.0)
(s523 0.0)
(s524 0.0)
(s525 0.0)
(s526 0.0)
(s527 0.0)
(s528 0.0)
(s529 0.0)
(s530 1.0)
(s531 0.0)
(s532 0.0)
(s533 0.0)
(s534 0.0)
(s535 0.0)
(s536 0.0)
(s537 0.0)
(s538 0.0)
(s539 1.0)
(s540 0.0)
(s541 0.0)
(s542 0.0)
(s543 0.0)
(s544 0.0)
(s545 0.0)
(s546 0.0)
(s547 0.0)
(s548 1.0)
(s549 0.0)
(s550 0.0)
(s551 0.0)
(s552 0.0)
(s553 0.0)
(s554 0.0)
(s555 0.0)
(s556 0.0)
(s557 1.0)
(s558 0.0)
(s559 0.0)
(s560 0.0)
(s561 0.0)
(s562 0.0)
(s563 0.0)
(s564 0.0)
(s565 0.0)
(s566 1.0)
(s567 0.0)
(s568 0.0)
(s569 0.0)
(s570 0.0)
(s571 0.0)
(s572 0.0)
(s573 0.0)
(s574 0.0)
(s575 1.0)
(s576 0.0)
(s577 0.0)
(s578 0.0)
(s579 0.0)
(s580 0.0)
(s581 0.0)
(s582 0.0)
(s583 0.0)
(s584 1.0)
(s585 0.0)
(s586 0.0)
(s587 0.0)
(s588 0.0)
(s589 0.0)
(s590 0.0)
(s591 0.0)
(s592 0.0)
(s593 1.0)
(s594 0.0)
(s595 0.0)
(s596 0.0)
(s597 0.0)
(s598 0.0)
(s599 0.0)
(s600 0.0)
(s601 0.0)
(s602 1.0)
(s603 0.0)
(s604 0.0)
(s605 0.0)
(s606 0.0)
(s607 0.0)
(s608 0.0)
(s609 0.0)
(s610 0.0)
(s611 1.0)
(s612 0.0)
(s613 0.0)
(s614 0.0)
(s615 0.0)
(s616 0.0)
(s617 0.0)
(s618 0.0)
(s619 0.0)
(s620 1.0)
(s621 0.0)
(s622 0.0)
(s623 0.0)
(s624 0.0)
(s625 0.0)
(s626 0.0)
(s627 0.0)
(s628 0.0)
(s629 1.0)
(s630 0.0)
(s631 0.0)
(s632 0.0)
(s633 0.0)
(s634 0.0)
(s635 0.0)
(s636 0.0)
(s637 0.0)
(s638 1.0)
(s639 0.0)
(s640 0.0)
(s641 0.0)
(s642 0.0)
(s643 0.0)
(s644 0.0)
(s645 0.0)
(s646 0.0)
(s647 1.0)
(s648 0.0)
(s649 0.0)
(s650 0.0)
(s651 0.0)
(s652 0.0)
(s653 0.0)
(s654 0.0)
(s655 0.0)
(s656 1.0)
(s657 0.0)
(s658 0.0)
(s659 0.0)
(s660 0.0)
(s661 0.0)
(s662 0.0)
(s663 0.0)
(s664 0.0)
(s665 1.0)
(s666 0.0)
(s667 0.0)
(s668 0.0)
(s669 0.0)
(s670 0.0)
(s671 0.0)
(s672 0.0)
(s673 0.0)
(s674 1.0)
(s675 0.0)
(s676 0.0)
(s677 0.0)
(s678 0.0)
(s679 0.0)
(s680 0.0)
(s681 0.0)
(s682 0.0)
(s683 1.0)
(s684 0.0)
(s685 0.0)
(s686 0.0)
(s687 0.0)
(s688 0.0)
(s689 0.0)
(s690 0.0)
(s691 0.0)
(s692 1.0)
(s693 0.0)
(s694 0.0)
(s695 0.0)
(s696 0.0)
(s697 0.0)
(s698 0.0)
(s699 0.0)
(s700 0.0)
(s701 1.0)
(s702 0.0)
(s703 0.0)
(s704 0.0)
(s705 0.0)
(s706 0.0)
(s707 0.0)
(s708 0.0)
(s709 0.0)
(s710 1.0)
(s711 0.0)
(s712 0.0)
(s713 0.0)
(s714 0.0)
(s715 0.0)
(s716 0.0)
(s717 0.0)
(s718 0.0)
(s719 1.0)
(s720 0.0)
(s721 0.0)
(s722 0.0)
(s723 0.0)
(s724 0.0)
(s725 0.0)
(s726 0.0)
(s727 0.0)
(s728 1.0)
(s729 0.0)
(s730 0.0)
(s731 0.0)
(s732 0.0)
(s733 0.0)
(s734 0.0)
(s735 0.0)
(s736 0.0)
(s737 1.0)
(s738 0.0)
(s739 0.0)
(s740 0.0)
(s741 0.0)
(s742 0.0)
(s743 0.0)
(s744 0.0)
(s745 0.0)
(s746 1.0)
(s747 0.0)
(s748 0.0)
(s749 0.0)
(s750 0.0)
(s751 0.0)
(s752 0.0)
(s753 0.0)
(s754 0.0)
(s755 1.0)
(s756 0.0)
(s757 0.0)
(s758 0.0)
(s759 0.0)
(s760 0.0)
(s761 0.0)
(s762 0.0)
(s763 0.0)
(s764 1.0)
(s765 0.0)
(s766 0.0)
(s767 0.0)
(s768 0.0)
(s769 0.0)
(s770 0.0)
(s771 0.0)
(s772 0.0)
(s773 1.0)
(s774 0.0)
(s775 0.0)
(s776 0.0)
(s777 0.0)
(s778 0.0)
(s779 0.0)
(s780 0.0)
(s781 0.0)
(s782 1.0)
(s783 0.0)
(s784 0.0)
(s785 0.0)
(s786 0.0)
(s787 0.0)
(s788 0.0)
(s789 0.0)
(s790 0.0)
(s791 1.0)
(s792 0.0)
(s793 0.0)
(s794 0.0)
(s795 0.0)
(s796 0.0)
(s797 0.0)
(s798 0.0)
(s799 0.0)
(s800 1.0)
(s801 0.0)
(s802 0.0)
(s803 0.0)
(s804 0.0)
(s805 0.0)
(s806 0.0)
(s807 0.0)
(s808 0.0)
(s809 1.0)
(s810 0.0)
(s811 0.0)
(s812 0.0)
(s813 0.0)
(s814 0.0)
(s815 0.0)
(s816 0.0)
(s817 0.0)
(s818 1.0)
(s819 0.0)
(s820 0.0)
(s821 0.0)
(s822 0.0)
(s823 0.0)
(s824 0.0)
(s825 0.0)
(s826 0.0)
(s827 1.0)
(s828 0.0)
(s829 0.0)
(s830 0.0)
(s831 0.0)
(s832 0.0)
(s833 0.0)
(s834 0.0)
(s835 0.0)
(s836 1.0)
(s837 0.0)
(s838 0.0)
(s839 0.0)
(s840 0.0)
(s841 0.0)
(s842 0.0)
(s843 0.0)
(s844 0.0)
(s845 1.0)
(s846 0.0)
(s847 0.0)
(s848 0.0)
(s849 0.0)
(s850 0.0)
(s851 0.0)
(s852 0.0)
(s853 0.0)
(s854 1.0)
(s855 0.0)
(s856 0.0)
(s857 0.0)
(s858 0.0)
(s859 0.0)
(s860 0.0)
(s861 0.0)
(s862 0.0)
(s863 1.0)
(s864 0.0)
(s865 0.0)
(s866 0.0)
(s867 0.0)
(s868 0.0)
(s869 0.0)
(s870 0.0)
(s871 0.0)
(s872 1.0)
(s874 1.0)
(s875 1.0)
(s876 1.0)
(s877 1.0)
(s878 1.0)
(s879 1.0)
(s880 1.0)
(s881 1.0)
(s882 1.0)
(s883 1.0)
(s884 0.0)
(s885 0.0)
(s886 0.0)
(s887 0.0)
(s888 0.0)
(s889 0.0)
(s890 0.0)
(s891 0.0)
(s892 1.0)
(s893 0.0)
(s894 0.0)
(s895 0.0)
(s896 0.0)
(s897 0.0)
(s898 0.0)
(s899 0.0)
(s900 0.0)
(s901 1.0)
(s902 0.0)
(s903 0.0)
(s904 0.0)
(s905 0.0)
(s906 0.0)
(s907 0.0)
(s908 0.0)
(s909 1.0)
(s910 0.0)
(s911 0.0)
(s912 0.0)
(s913 0.0)
(s914 0.0)
(s915 0.0)
(s916 0.0)
(s917 0.0)
(s918 0.0)
(s919 1.0)
(s920 0.0)
(s921 0.0)
(s922 0.0)
(s923 0.0)
(s924 0.0)
(s925 0.0)
(s926 0.0)
(s927 0.0)
(s928 1.0)
(s929 0.0)
(s930 0.0)
(s931 0.0)
(s932 0.0)
(s933 0.0)
(s934 0.0)
(s935 0.0)
(s936 0.0)
(s937 1.0)
(s938 0.0)
(s939 0.0)
(s940 0.0)
(s941 0.0)
(s942 0.0)
(s943 0.0)
(s944 0.0)
(s945 0.0)
(s946 1.0)
(s947 0.0)
(s948 0.0)
(s949 0.0)
(s950 0.0)
(s951 0.0)
(s952 0.0)
(s953 0.0)
(s954 0.0)
(s955 1.0)
(s956 0.0)
(s957 0.0)
(s958 0.0)
(s959 0.0)
(s960 0.0)
(s961 0.0)
(s962 0.0)
(s963 0.0)
(s964 1.0)
(s965 0.0)
(s966 0.0)
(s967 0.0)
(s968 0.0)
(s969 0.0)
(s970 0.0)
(s971 0.0)
(s972 0.0)
(s973 1.0)
(s974 0.0)
(s975 0.0)
(s976 0.0)
(s977 0.0)
(s978 0.0)
(s979 0.0)
(s980 0.0)
(s981 0.0)
(s982 1.0)
(s983 0.0)
(s984 0.0)
(s985 0.0)
(s986 0.0)
(s987 0.0)
(s988 0.0)
(s989 0.0)
(s990 0.0)
(s991 1.0)
(s992 0.0)
(s993 0.0)
(s994 0.0)
(s995 0.0)
(s996 0.0)
(s997 0.0)
(s998 0.0)
(s999 0.0)
(s1000 1.0)
(s1001 0.0)
(s1002 0.0)
(s1003 0.0)
(s1004 0.0)
(s1005 0.0)
(s1006 0.0)
(s1007 0.0)
(s1008 0.0)
(s1009 1.0)
(s1010 0.0)
(s1011 1.0)
(s1012 0.0)
(s1013 0.0)
(s1014 0.0)
(s1015 0.0)
(s1016 0.0)
(s1017 0.0)
(s1018 0.0)
(s1019 0.0)
(s1020 1.0)
(s1021 0.0)
(s1022 0.0)
(s1023 0.0)
(s1024 0.0)
(s1025 0.0)
(s1026 0.0)
(s1027 0.0)
(s1028 0.0)
(s1029 1.0)
(s1030 0.0)
(s1031 0.0)
(s1032 0.0)
(s1033 0.0)
(s1034 0.0)
(s1035 0.0)
(s1036 0.0)
(s1037 0.0)
(s1038 1.0)
(s1039 0.0)
(s1040 0.0)
(s1041 0.0)
(s1042 0.0)
(s1043 0.0)
(s1044 0.0)
(s1045 0.0)
(s1046 0.0)
(s1047 1.0)
(s1048 0.0)
(s1049 0.0)
(s1050 0.0)
(s1051 0.0)
(s1052 0.0)
(s1053 0.0)
(s1054 0.0)
(s1055 0.0)
(s1056 1.0)
(s1057 0.0)
(s1058 0.0)
(s1059 0.0)
(s1060 0.0)
(s1061 0.0)
(s1062 0.0)
(s1063 0.0)
(s1064 0.0)
(s1065 1.0)
(s1066 0.0)
(s1067 0.0)
(s1068 0.0)
(s1069 0.0)
(s1070 0.0)
(s1071 0.0)
(s1072 0.0)
(s1073 0.0)
(s1074 1.0)
(s1075 0.0)
(s1076 0.0)
(s1077 0.0)
(s1078 0.0)
(s1079 0.0)
(s1080 0.0)
(s1081 0.0)
(s1082 0.0)
(s1083 1.0)
(s1084 0.0)
(s1085 0.0)
(s1086 0.0)
(s1087 0.0)
(s1088 0.0)
(s1089 0.0)
(s1090 0.0)
(s1091 0.0)
(s1092 1.0)
(s1093 0.0)
(s1094 0.0)
(s1095 0.0)
(s1096 0.0)
(s1097 0.0)
(s1098 0.0)
(s1099 0.0)
(s1100 0.0)
(s1101 1.0)
(s1102 0.0)
(s1103 0.0)
(s1104 0.0)
(s1105 0.0)
(s1106 0.0)
(s1107 0.0)
(s1108 0.0)
(s1109 0.0)
(s1110 1.0)
(s1111 0.0)
(s1112 0.0)
(s1113 0.0)
(s1114 0.0)
(s1115 0.0)
(s1116 0.0)
(s1117 0.0)
(s1118 0.0)
(s1119 1.0)
(s1120 0.0)
(s1121 0.0)
(s1122 0.0)
(s1123 0.0)
(s1124 0.0)
(s1125 0.0)
(s1126 0.0)
(s1127 0.0)
(s1128 1.0)
(s1129 0.0)
(s1130 0.0)
(s1131 0.0)
(s1132 0.0)
(s1133 0.0)
(s1134 0.0)
(s1135 0.0)
(s1136 0.0)
(s1137 1.0)
(s1138 0.0)
(s1139 0.0)
(s1140 0.0)
(s1141 0.0)
(s1142 0.0)
(s1143 0.0)
(s1144 0.0)
(s1145 0.0)
(s1146 1.0)
(s1147 0.0)
(s1148 0.0)
(s1149 0.0)
(s1150 0.0)
(s1151 0.0)
(s1152 0.0)
(s1153 0.0)
(s1154 0.0)
(s1155 1.0)
(s1156 0.0)
(s1157 0.0)
(s1158 0.0)
(s1159 0.0)
(s1160 0.0)
(s1161 0.0)
(s1162 0.0)
(s1163 0.0)
(s1164 1.0)
(s1165 0.0)
(s1166 0.0)
(s1167 0.0)
(s1168 0.0)
(s1169 0.0)
(s1170 0.0)
(s1171 0.0)
(s1172 0.0)
(s1173 1.0)
(s1174 0.0)
(s1175 0.0)
(s1176 0.0)
(s1177 0.0)
(s1178 0.0)
(s1179 0.0)
(s1180 0.0)
(s1181 0.0)
(s1182 1.0)
(s1183 0.0)
(s1184 0.0)
(s1185 0.0)
(s1186 0.0)
(s1187 0.0)
(s1188 0.0)
(s1189 0.0)
(s1190 0.0)
(s1191 1.0)
(s1192 0.0)
(s1193 0.0)
(s1194 0.0)
(s1195 0.0)
(s1196 0.0)
(s1197 0.0)
(s1198 0.0)
(s1199 0.0)
(s1200 1.0)
(s1201 0.0)
(s1202 0.0)
(s1203 0.0)
(s1204 0.0)
(s1205 0.0)
(s1206 0.0)
(s1207 0.0)
(s1208 0.0)
(s1209 0.0)
(s1210 0.0)
(s1211 1.0)
(s1212 0.0)
(s1213 0.0)
(s1214 0.0)
(s1215 0.0)
(s1216 0.0)
(s1217 0.0)
(s1218 0.0)
(s1219 0.0)
(s1220 1.0)
(s1221 0.0)
(s1222 0.0)
(s1223 0.0)
(s1224 0.0)
(s1225 0.0)
(s1226 0.0)
(s1227 0.0)
(s1228 0.0)
(s1229 1.0)
(s1230 0.0)
(s1231 0.0)
(s1232 0.0)
(s1233 0.0)
(s1234 0.0)
(s1235 0.0)
(s1236 0.0)
(s1237 0.0)
(s1238 1.0)
(s1239 0.0)
(s1240 0.0)
(s1241 0.0)
(s1242 0.0)
(s1243 0.0)
(s1244 0.0)
(s1245 0.0)
(s1246 0.0)
(s1247 1.0)
(s1248 0.0)
(s1249 0.0)
(s1250 0.0)
(s1251 0.0)
(s1252 0.0)
(s1253 0.0)
(s1254 0.0)
(s1255 0.0)
(s1256 1.0)
(s1257 0.0)
(s1258 0.0)
(s1259 0.0)
(s1260 0.0)
(s1261 0.0)
(s1262 0.0)
(s1263 0.0)
(s1264 0.0)
(s1265 1.0)
(s1266 0.0)
(s1267 0.0)
(s1268 0.0)
(s1269 0.0)
(s1270 0.0)
(s1271 0.0)
(s1272 0.0)
(s1273 0.0)
(s1274 1.0)
(s1275 0.0)
(s1276 0.0)
(s1277 0.0)
(s1278 0.0)
(s1279 0.0)
(s1280 0.0)
(s1281 0.0)
(s1282 0.0)
(s1283 1.0)
(s1284 0.0)
(s1285 0.0)
(s1286 0.0)
(s1287 0.0)
(s1288 0.0)
(s1289 0.0)
(s1290 0.0)
(s1291 0.0)
(s1292 1.0)
(s1293 0.0)
(s1294 0.0)
(s1295 0.0)
(s1296 0.0)
(s1297 0.0)
(s1298 0.0)
(s1299 0.0)
(s1300 0.0)
(s1301 1.0)
(s1302 0.0)
(s1303 0.0)
(s1304 0.0)
(s1305 0.0)
(s1306 0.0)
(s1307 0.0)
(s1308 0.0)
(s1309 0.0)
(s1310 1.0)
(s1311 0.0)
(s1312 0.0)
(s1313 0.0)
(s1314 0.0)
(s1315 0.0)
(s1316 0.0)
(s1317 0.0)
(s1318 0.0)
(s1319 1.0)
(s1320 0.0)
(s1321 0.0)
(s1322 0.0)
(s1323 0.0)
(s1324 0.0)
(s1325 0.0)
(s1326 0.0)
(s1327 0.0)
(s1328 1.0)
(s1329 0.0)
(s1330 0.0)
(s1331 0.0)
(s1332 0.0)
(s1333 0.0)
(s1334 0.0)
(s1335 0.0)
(s1336 0.0)
(s1337 1.0)
(s1338 0.0)
(s1339 0.0)
(s1340 0.0)
(s1341 0.0)
(s1342 0.0)
(s1343 0.0)
(s1344 0.0)
(s1345 0.0)
(s1346 1.0)
(s1347 0.0)
(s1348 0.0)
(s1349 0.0)
(s1350 0.0)
(s1351 0.0)
(s1352 0.0)
(s1353 0.0)
(s1354 0.0)
(s1355 1.0)
(s1356 0.0)
(s1357 0.0)
(s1358 0.0)
(s1359 0.0)
(s1360 0.0)
(s1361 0.0)
(s1362 0.0)
(s1363 0.0)
(s1364 1.0)
(s1365 0.0)
(s1366 0.0)
(s1367 0.0)
(s1368 0.0)
(s1369 0.0)
(s1370 0.0)
(s1371 0.0)
(s1372 0.0)
(s1373 1.0)
(s1374 0.0)
(s1375 0.0)
(s1376 0.0)
(s1377 0.0)
(s1378 0.0)
(s1379 0.0)
(s1380 0.0)
(s1381 0.0)
(s1382 1.0)
(s1383 0.0)
(s1384 0.0)
(s1385 0.0)
(s1386 0.0)
(s1387 0.0)
(s1388 0.0)
(s1389 0.0)
(s1390 0.0)
(s1391 1.0)
(s1392 0.0)
(s1393 0.0)
(s1394 0.0)
(s1395 0.0)
(s1396 0.0)
(s1397 0.0)
(s1398 0.0)
(s1399 0.0)
(s1400 1.0)
(s1401 0.0)
(s1402 0.0)
(s1403 0.0)
(s1404 0.0)
(s1405 0.0)
(s1406 0.0)
(s1407 0.0)
(s1408 0.0)
(s1409 1.0)
(s1410 0.0)
(s1411 0.0)
(s1412 0.0)
(s1413 0.0)
(s1414 0.0)
(s1415 0.0)
(s1416 0.0)
(s1417 0.0)
(s1418 1.0)
(s1419 0.0)
(s1420 0.0)
(s1421 0.0)
(s1422 0.0)
(s1423 0.0)
(s1424 0.0)
(s1425 0.0)
(s1426 0.0)
(s1427 1.0)
(s1428 0.0)
(s1429 0.0)
(s1430 0.0)
(s1431 0.0)
(s1432 0.0)
(s1433 0.0)
(s1434 0.0)
(s1435 0.0)
(s1436 1.0)
(s1437 0.0)
(s1438 0.0)
(s1439 0.0)
(s1440 0.0)
(s1441 0.0)
(s1442 0.0)
(s1443 0.0)
(s1444 0.0)
(s1445 1.0)
(s1446 0.0)
(s1447 0.0)
(s1448 0.0)
(s1449 0.0)
(s1450 0.0)
(s1451 0.0)
(s1452 0.0)
(s1453 0.0)
(s1454 1.0)
(s1455 0.0)
(s1456 0.0)
(s1457 0.0)
(s1458 0.0)
(s1459 0.0)
(s1460 0.0)
(s1461 0.0)
(s1462 0.0)
(s1463 1.0)
(s1464 0.0)
(s1465 0.0)
(s1466 0.0)
(s1467 0.0)
(s1468 0.0)
(s1469 0.0)
(s1470 0.0)
(s1471 0.0)
(s1472 1.0)
(s1473 0.0)
(s1474 0.0)
(s1475 0.0)
(s1476 0.0)
(s1477 0.0)
(s1478 0.0)
(s1479 0.0)
(s1480 0.0)
(s1481 1.0)
(s1482 0.0)
(s1483 0.0)
(s1484 0.0)
(s1485 0.0)
(s1486 0.0)
(s1487 0.0)
(s1488 0.0)
(s1489 0.0)
(s1490 1.0)
(s1491 0.0)
(s1492 0.0)
(s1493 0.0)
(s1494 0.0)
(s1495 0.0)
(s1496 0.0)
(s1497 0.0)
(s1498 0.0)
(s1499 1.0)
(s1500 0.0)
(s1501 0.0)
(s1502 0.0)
(s1503 0.0)
(s1504 0.0)
(s1505 0.0)
(s1506 0.0)
(s1507 0.0)
(s1508 1.0)
(s1509 0.0)
(s1510 0.0)
(s1511 0.0)
(s1512 0.0)
(s1513 0.0)
(s1514 0.0)
(s1515 0.0)
(s1516 0.0)
(s1517 1.0)
(s1518 0.0)
(s1519 0.0)
(s1520 0.0)
(s1521 0.0)
(s1522 0.0)
(s1523 0.0)
(s1524 0.0)
(s1525 0.0)
(s1526 1.0)
(s1527 0.0)
(s1528 0.0)
(s1529 0.0)
(s1530 0.0)
(s1531 0.0)
(s1532 0.0)
(s1533 0.0)
(s1534 0.0)
(s1535 1.0)
(s1536 0.0)
(s1537 0.0)
(s1538 0.0)
(s1539 0.0)
(s1540 0.0)
(s1541 0.0)
(s1542 0.0)
(s1543 0.0)
(s1544 1.0)
(s1545 0.0)
(s1546 0.0)
(s1547 0.0)
(s1548 0.0)
(s1549 0.0)
(s1550 0.0)
(s1551 0.0)
(s1552 0.0)
(s1553 1.0)
(s1554 0.0)
(s1555 0.0)
(s1556 0.0)
(s1557 0.0)
(s1558 0.0)
(s1559 0.0)
(s1560 0.0)
(s1561 0.0)
(s1562 1.0)
(s1563 0.0)
(s1564 0.0)
(s1565 0.0)
(s1566 0.0)
(s1567 0.0)
(s1568 0.0)
(s1569 0.0)
(s1570 0.0)
(s1571 1.0)
(s1572 0.0)
(s1573 0.0)
(s1574 0.0)
(s1575 0.0)
(s1576 0.0)
(s1577 0.0)
(s1578 0.0)
(s1579 0.0)
(s1580 1.0)
(s1581 0.0)
(s1582 0.0)
(s1583 0.0)
(s1584 0.0)
(s1585 0.0)
(s1586 0.0)
(s1587 0.0)
(s1588 0.0)
(s1589 1.0)
(s1590 0.0)
(s1591 0.0)
(s1592 0.0)
(s1593 0.0)
(s1594 0.0)
(s1595 0.0)
(s1596 0.0)
(s1597 0.0)
(s1598 1.0)
(s1599 0.0)
(s1600 0.0)
(s1601 0.0)
(s1602 0.0)
(s1603 0.0)
(s1604 0.0)
(s1605 0.0)
(s1606 0.0)
(s1607 1.0)
(s1608 0.0)
(s1609 0.0)
(s1610 0.0)
(s1611 0.0)
(s1612 0.0)
(s1613 0.0)
(s1614 0.0)
(s1615 0.0)
(s1616 1.0)
(s1617 0.0)
(s1618 0.0)
(s1619 0.0)
(s1620 0.0)
(s1621 0.0)
(s1622 0.0)
(s1623 0.0)
(s1624 0.0)
(s1625 1.0)
(s1626 0.0)
(s1627 0.0)
(s1628 0.0)
(s1629 0.0)
(s1630 0.0)
(s1631 0.0)
(s1632 0.0)
(s1633 0.0)
(s1634 1.0)
(s1635 0.0)
(s1636 0.0)
(s1637 0.0)
(s1638 0.0)
(s1639 0.0)
(s1640 0.0)
(s1641 0.0)
(s1642 0.0)
(s1643 1.0)
(s1644 0.0)
(s1645 0.0)
(s1646 0.0)
(s1647 0.0)
(s1648 0.0)
(s1649 0.0)
(s1650 0.0)
(s1651 0.0)
(s1652 0.0)
(s1653 0.0)
(s1654 1.0)
(s1655 0.0)
(s1656 0.0)
(s1657 0.0)
(s1658 0.0)
(s1659 0.0)
(s1660 0.0)
(s1661 0.0)
(s1662 0.0)
(s1663 0.0)
(s1664 0.0)
(s1665 1.0)
(s1666 0.0)
(s1667 0.0)
(s1668 0.0)
(s1669 0.0)
(s1670 0.0)
(s1671 0.0)
(s1672 0.0)
(s1673 0.0)
(s1674 0.0)
(s1675 0.0)
(s1676 1.0)
(s1677 0.0)
(s1678 0.0)
(s1679 0.0)
(s1680 0.0)
(s1681 0.0)
(s1682 0.0)
(s1683 0.0)
(s1684 0.0)
(s1685 0.0)
(s1686 0.0)
(s1687 1.0)
(s1688 0.0)
(s1689 0.0)
(s1690 0.0)
(s1691 0.0)
(s1692 0.0)
(s1693 0.0)
(s1694 0.0)
(s1695 0.0)
(s1696 0.0)
(s1697 0.0)
(s1698 1.0)
(s1699 0.0)
(s1700 0.0)
(s1701 0.0)
(s1702 0.0)
(s1703 0.0)
(s1704 0.0)
(s1705 0.0)
(s1706 0.0)
(s1707 0.0)
(s1708 0.0)
(s1709 1.0)
(s1710 0.0)
(s1711 0.0)
(s1712 0.0)
(s1713 0.0)
(s1714 0.0)
(s1715 0.0)
(s1716 0.0)
(s1717 1.0)
(s1718 1.0)
(s1720 1.0)
(s1721 1.0)
(s1723 1.0)
(s1724 1.0)
(s1726 1.0)
(s1727 1.0)
(s1729 1.0)
(s1730 1.0)
(s1732 1.0)
(s1733 1.0)
(s1735 1.0)
(s1736 1.0)
(s1738 1.0)
(s1739 1.0)
(s1741 1.0)
(s1742 1.0)
(s1744 1.0)
(s1745 1.0)
(s1747 1.0)
(s1748 1.0)
(s1750 1.0)
(s1751 1.0)
(s1753 1.0)
(s1754 1.0)
(s1756 1.0)
(s1757 1.0)
(s1759 1.0)
(s1760 1.0)
(s1762 1.0)
(s1763 1.0)
(s1765 1.0)
(s1766 1.0)
(s1768 1.0)
(s1769 1.0)
(s1771 1.0)
(s1772 1.0)
(s1774 1.0)
(s1775 1.0)
(s1777 1.0)
(s1778 1.0)
(s1780 1.0)
(s1781 1.0)
(s1783 1.0)
(s1784 1.0)
(s1786 1.0)
(s1787 1.0)
(s1789 1.0)
(s1790 1.0)
(s1792 1.0)
(s1793 1.0)
(s1795 1.0)
(s1796 1.0)
(s1798 1.0)
(s1799 1.0)
(s1801 1.0)
(s1802 1.0)
(s1804 1.0)
(s1805 1.0)
(s1807 1.0)
(s1808 1.0)
(s1810 1.0)
(s1811 1.0)
(s1813 1.0)
(s1814 1.0)
(s1816 1.0)
(s1817 1.0)
(s1819 1.0)
(s1820 1.0)
(s1822 1.0)
(s1823 1.0)
(s1825 1.0)
(s1826 1.0)
(s1828 1.0)
(s1829 1.0)
(s1831 1.0)
(s1832 1.0)
(s1834 1.0)
(s1835 1.0)
(s1837 1.0)
(s1838 1.0)
(s1840 1.0)
(s1841 1.0)
(s1843 1.0)
(s1844 1.0)
(s1846 1.0)
(s1847 1.0)
(s1849 1.0)
(s1850 1.0)
(s1852 1.0)
(s1853 1.0)
(s1855 1.0)
(s1856 1.0)
(s1858 1.0)
(s1859 1.0)
(s1861 1.0)
(s1862 1.0)
(s1864 1.0)
(s1865 1.0)
(s1867 1.0)
(s1868 1.0)
(s1870 1.0)
(s1871 1.0)
(s1873 1.0)
(s1874 1.0)
(s1876 1.0)
(s1877 1.0)
(s1879 1.0)
(s1880 1.0)
(s1882 1.0)
(s1883 1.0)
(s1885 1.0)
(s1886 1.0)
(s1888 1.0)
(s1889 1.0)
(s1891 1.0)
(s1892 1.0)
(s1894 1.0)
(s1895 1.0)
(s1897 1.0)
(s1898 1.0)
(s1900 1.0)
(s1901 1.0)
(s1903 1.0)
(s1904 1.0)
(s1906 1.0)
(s1907 1.0)
(s1909 1.0)
(s1910 1.0)
(s1912 1.0)
(s1913 1.0)
(s1915 1.0)
(s1916 1.0)
(s1918 1.0)
(s1919 1.0)
(s1921 1.0)
(s1922 1.0)
(s1924 1.0)
(s1925 1.0)
(s1927 1.0)
(s1928 1.0)
(s1930 1.0)
(s1931 1.0)
(s1933 1.0)
(s1934 1.0)
(s1936 1.0)
(s1937 1.0)
(s1939 1.0)
(s1940 1.0)
(s1942 1.0)
(s1943 1.0)
(s1945 1.0)
(s1946 1.0)
(s1948 1.0)
(s1949 1.0)
(s1951 1.0)
(s1952 1.0)
(s1954 1.0)
(s1955 1.0)
(s1957 1.0)
(s1958 1.0)
(s1960 1.0)
(s1961 1.0)
(s1963 1.0)
(s1964 1.0)
(s1966 1.0)
(s1967 1.0)
(s1969 1.0)
(s1970 1.0)
(s1972 1.0)
(s1973 1.0)
(s1975 1.0)
(s1976 1.0)
(s1978 1.0)
(s1979 1.0)
(s1981 1.0)
(s1982 1.0)
(s1984 1.0)
(s1985 1.0)
(s1987 1.0)
(s1988 1.0)
(s1990 1.0)
(s1991 1.0)
(s1993 1.0)
(s1994 1.0)
(s1996 1.0)
(s1997 1.0)
(s1999 1.0)
(s2000 1.0)
(s2002 1.0)
(s2003 1.0)
(s2005 1.0)
(s2006 1.0)
(s2008 1.0)
(s2009 1.0)
(s2011 1.0)
(s2012 1.0)
(s2014 1.0)
(s2015 1.0)
(s2017 1.0)
(s2018 1.0)
(s2020 1.0)
(s2021 1.0)
(s2023 1.0)
(s2024 1.0)
(s2026 1.0)
(s2027 1.0)
(s2029 1.0)
(s2030 1.0)
(s2032 1.0)
(s2033 1.0)
(s2035 1.0)
(s2036 1.0)
(s2038 1.0)
(s2039 1.0)
(s2041 1.0)
(s2042 1.0)
(s2044 1.0)
(s2045 1.0)
(s2047 1.0)
(s2048 1.0)
(s2050 1.0)
(s2051 1.0)
(s2053 1.0)
(s2054 1.0)
(s2056 1.0)
(s2057 1.0)
(s2059 1.0)
(s2060 1.0)
(s2062 1.0)
(s2063 1.0)
(s2065 1.0)
(s2066 1.0)
(s2068 1.0)
(s2069 1.0)
(s2071 1.0)
(s2072 1.0)
(s2074 1.0)
(s2075 1.0)
(s2077 1.0)
(s2078 1.0)
(s2080 1.0)
(s2081 1.0)
(s2083 1.0)
(s2084 1.0)
(s2086 1.0)
(s2087 1.0)
(s2089 1.0)
(s2090 1.0)
(s2092 1.0)
(s2093 1.0)
(s2095 1.0)
(s2096 1.0)
(s2098 1.0)
(s2099 1.0)
(s2101 1.0)
(s2102 1.0)
(s2104 1.0)
(s2105 1.0)
(s2107 1.0)
(s2108 1.0)
(s2110 1.0)
(s2111 1.0)
(s2113 1.0)
(s2114 1.0)
(s2116 1.0)
(s2117 1.0)
(s2119 1.0)
(s2120 1.0)
(s2122 1.0)
(s2123 1.0)
(s2125 1.0)
(s2126 1.0)
(s2128 1.0)
(s2129 1.0)
(s2131 1.0)
(s2132 1.0)
(s2134 1.0)
(s2135 1.0)
(s2137 1.0)
(s2138 1.0)
(s2140 1.0)
(s2141 1.0)
(s2143 1.0)
(s2144 1.0)
(s2146 1.0)
(s2147 1.0)
(s2149 1.0)
(s2150 1.0)
(s2152 1.0)
(s2153 1.0)
(s2155 1.0)
(s2156 1.0)
(s2158 1.0)
(s2159 1.0)
(s2161 1.0)
(s2162 1.0)
(s2164 1.0)
(s2165 1.0)
(s2167 1.0)
(s2168 1.0)
(s2170 1.0)
(s2171 1.0)
(s2173 1.0)
(s2174 1.0)
(s2176 1.0)
(s2177 1.0)
(s2179 1.0)
(s2180 1.0)
(s2182 1.0)
(s2183 1.0)
(s2185 1.0)
(s2186 1.0)
(s2188 1.0)
(s2189 1.0)
(s2191 1.0)
(s2192 1.0)
(s2194 1.0)
(s2195 1.0)
(s2197 1.0)
(s2198 1.0)
(s2200 1.0)
(s2201 1.0)
(s2203 1.0)
(s2204 1.0)
(s2206 1.0)
(s2207 1.0)
(s2209 1.0)
(s2210 1.0)
(s2212 1.0)
(s2213 1.0)
(s2215 1.0)
(s2216 1.0)
(s2218 1.0)
(s2219 1.0)
(s2221 1.0)
(s2222 1.0)
(s2224 1.0)
(s2225 1.0)
(s2227 1.0)
(s2228 1.0)
(s2230 1.0)
(s2231 1.0)
(s2233 1.0)
(s2234 1.0)
(s2236 1.0)
(s2237 1.0)
(s2239 1.0)
(s2240 1.0)
(s2242 1.0)
(s2243 1.0)
(s2245 1.0)
(s2246 1.0)
(s2248 1.0)
(s2249 1.0)
(s2251 1.0)
(s2252 1.0)
(s2254 1.0)
(s2255 1.0)
(s2257 1.0)
(s2258 1.0)
(s2260 1.0)
(s2261 1.0)
(s2263 1.0)
(s2264 1.0)
(s2266 1.0)
(s2267 1.0)
(s2269 1.0)
(s2270 1.0)
(s2272 1.0)
(s2273 1.0)
(s2275 1.0)
(s2276 1.0)
(s2278 1.0)
(s2279 1.0)
(s2281 1.0)
(s2282 1.0)
(s2284 1.0)
(s2285 1.0)
(s2287 1.0)
(s2288 1.0)
(s2290 1.0)
(s2291 1.0)
(s2293 1.0)
(s2294 1.0)
(s2296 1.0)
(s2297 1.0)
(s2299 1.0)
(s2300 1.0)
(s2302 1.0)
(s2303 1.0)
(s2305 1.0)
(s2306 1.0)
(s2308 1.0)
(s2309 1.0)
(s2311 1.0)
(s2312 1.0)
(s2314 1.0)
(s2315 1.0)
(s2317 1.0)
(s2318 1.0)
(s2320 1.0)
(s2321 1.0)
(s2323 1.0)
(s2324 1.0)
(s2326 1.0)
(s2327 1.0)
(s2329 1.0)
(s2330 1.0)
(s2332 1.0)
(s2333 1.0)
(s2335 1.0)
(s2336 1.0)
(s2338 1.0)
(s2339 1.0)
(s2341 1.0)
(s2342 1.0)
(s2344 1.0)
(s2345 1.0)
(s2347 1.0)
(s2348 1.0)
(s2350 1.0)
(s2351 1.0)
(s2353 1.0)
(s2354 1.0)
(s2356 1.0)
(s2357 1.0)
(s2359 1.0)
(s2360 1.0)
(s2362 1.0)
(s2363 1.0)
(s2365 1.0)
(s2366 1.0)
(s2368 1.0)
(s2369 1.0)
(s2371 1.0)
(s2372 1.0)
(s2374 1.0)
(s2375 1.0)
(s2377 1.0)
(s2378 1.0)
(s2380 1.0)
(s2381 1.0)
(s2383 1.0)
(s2384 1.0)
(s2386 1.0)
(s2387 1.0)
(s2389 1.0)
(s2390 1.0)
(s2392 1.0)
(s2393 1.0)
(s2395 1.0)
(s2396 1.0)
(s2398 1.0)
(s2399 1.0)
(s2401 1.0)
(s2402 1.0)
(s2404 1.0)
(s2405 1.0)
(s2407 1.0)
(s2408 1.0)
(s2410 1.0)
(s2411 1.0)
(s2413 1.0)
(s2414 1.0)
(s2416 1.0)
(s2417 1.0)
(s2419 1.0)
(s2420 1.0)
(s2422 1.0)
(s2423 1.0)
(s2425 1.0)
(s2426 1.0)
(s2428 1.0)
(s2429 1.0)
(s2431 1.0)
(s2432 1.0)
(s2434 1.0)
(s2435 1.0)
(s2437 1.0)
(s2438 1.0)
(s2440 1.0)
(s2441 1.0)
(s2443 1.0)
(s2444 1.0)
(s2446 1.0)
(s2447 1.0)
(s2449 1.0)
(s2450 1.0)
(s2452 1.0)
(s2453 1.0)
(s2455 1.0)
(s2456 1.0)
(s2458 1.0)
(s2459 1.0)
(s2461 1.0)
(s2462 1.0)
(s2464 1.0)
(s2465 1.0)
(s2467 1.0)
(s2468 1.0)
(s2470 1.0)
(s2471 1.0)
(s2473 1.0)
(s2474 1.0)
(s2476 1.0)
(s2477 1.0)
(s2479 1.0)
(s2480 1.0)
(s2482 1.0)
(s2483 1.0)
(s2485 1.0)
(s2486 1.0)
(s2488 1.0)
(s2489 1.0)
(s2491 1.0)
(s2492 1.0)
(s2494 1.0)
(s2495 1.0)
(s2497 1.0)
(s2498 1.0)
(s2500 1.0)
(s2501 1.0)
(s2503 1.0)
(s2504 1.0)
(s2506 1.0)
(s2507 1.0)
(s2509 1.0)
(s2510 1.0)
(s2512 1.0)
(s2513 1.0)
(s2515 1.0)
(s2516 1.0)
(s2518 1.0)
(s2519 1.0)
(s2521 1.0)
(s2522 1.0)
(s2524 1.0)
(s2525 1.0)
(s2527 1.0)
(s2528 1.0)
(s2530 1.0)
(s2531 1.0)
(s2533 1.0)
(s2534 1.0)
(s2536 1.0)
(s2537 1.0)
(s2539 1.0)
(s2540 1.0)
(s2542 1.0)
(s2543 1.0)
(s2545 1.0)
(s2546 1.0)
(s2548 1.0)
(s2549 1.0)
(s2551 1.0)
(s2552 1.0)
(s2554 1.0)
(s2555 1.0)
(s2557 1.0)
(s2558 1.0)
(s2560 1.0)
(s2561 1.0)
(s2563 1.0)
(s2564 1.0)
(s2566 1.0)
(s2567 1.0)
(s2569 1.0)
(s2570 1.0)
(s2572 1.0)
(s2573 1.0)
(s2575 1.0)
(s2576 1.0)
(s2578 1.0)
(s2579 1.0)
(s2581 1.0)
(s2582 1.0)
(s2584 1.0)
(s2585 1.0)
(s2587 1.0)
(s2588 1.0)
(s2590 1.0)
(s2591 1.0)
(s2593 1.0)
(s2594 1.0)
(s2596 1.0)
(s2597 1.0)
(s2599 1.0)
(s2600 1.0)
(s2602 1.0)
(s2603 1.0)
(s2605 1.0)
(s2606 1.0)
(s2608 1.0)
(s2609 1.0)
(s2611 1.0)
(s2612 1.0)
(s2614 1.0)
(s2615 1.0)
(s2617 1.0)
(s2618 1.0)
(s2620 1.0)
(s2621 1.0)
(s2623 1.0)
(s2624 1.0)
(s2626 1.0)
(s2627 1.0)
(s2629 1.0)
(s2630 1.0)
(s2632 1.0)
(s2633 1.0)
(s2635 1.0)
(s2636 1.0)
(s2638 1.0)
(s2639 1.0)
(s2641 1.0)
(s2642 1.0)
(s2644 1.0)
(s2645 1.0)
(s2647 1.0)
(s2648 1.0)
(s2650 1.0)
(s2651 1.0)
(s2653 1.0)
(s2654 1.0)
(s2656 1.0)
(s2657 1.0)
(s2659 1.0)
(s2660 1.0)
(s2662 1.0)
(s2663 1.0)
(s2665 1.0)
(s2666 1.0)
(s2668 1.0)
(s2669 1.0)
(s2671 1.0)
(s2672 1.0)
(s2674 1.0)
(s2675 1.0)
(s2677 1.0)
(s2678 1.0)
(s2680 1.0)
(s2681 1.0)
(s2683 1.0)
(s2684 1.0)
(s2686 1.0)
(s2687 1.0)
(s2689 1.0)
(s2690 1.0)
(s2692 1.0)
(s2693 1.0)
(s2695 1.0)
(s2696 1.0)
(s2698 1.0)
(s2699 1.0)
(s2701 1.0)
(s2702 1.0)
(s2704 1.0)
(s2705 1.0)
(s2707 1.0)
(s2708 1.0)
(s2710 1.0)
(s2711 1.0)
(s2713 1.0)
(s2714 1.0)
(s2716 1.0)
(s2717 1.0)
(s2719 1.0)
(s2720 1.0)
(s2722 1.0)
(s2723 1.0)
(s2725 1.0)
(s2726 1.0)
(s2728 1.0)
(s2729 1.0)
(s2731 1.0)
(s2732 1.0)
(s2734 1.0)
(s2735 1.0)
(s2737 1.0)
(s2738 1.0)
(s2740 1.0)
(s2741 1.0)
(s2743 1.0)
(s2744 1.0)
(s2746 1.0)
(s2747 1.0)
(s2749 1.0)
(s2750 1.0)
(s2752 1.0)
(s2753 1.0)
(s2755 1.0)
(s2756 1.0)
(s2758 1.0)
(s2759 1.0)
(s2761 1.0)
(s2762 1.0)
(s2764 1.0)
(s2765 1.0)
(s2767 1.0)
(s2768 1.0)
(s2770 1.0)
(s2771 1.0)
(s2773 1.0)
(s2774 1.0)
(s2776 1.0)
(s2777 1.0)
(s2779 1.0)
(s2780 1.0)
(s2782 1.0)
(s2783 1.0)
(s2785 1.0)
(s2786 1.0)
(s2788 1.0)
(s2789 1.0)
(s2791 1.0)
(s2792 1.0)
(s2794 1.0)
(s2795 1.0)
(s2797 1.0)
(s2798 1.0)
(s2800 1.0)
(s2801 1.0)
(s2803 1.0)
(s2804 1.0)
(s2806 1.0)
(s2807 1.0)
(s2809 1.0)
(s2810 1.0)
(s2812 1.0)
(s2813 1.0)
(s2815 1.0)
(s2816 1.0)
(s2818 1.0)
(s2819 1.0)
(s2821 1.0)
(s2822 1.0)
(s2824 1.0)
(s2825 1.0)
(s2827 1.0)
(s2828 1.0)
(s2830 1.0)
(s2831 1.0)
(s2833 1.0)
(s2834 1.0)
(s2836 1.0)
(s2837 1.0)
(s2839 1.0)
(s2840 1.0)
(s2842 1.0)
(s2843 1.0)
(s2845 1.0)
(s2846 1.0)
(s2848 1.0)
(s2849 1.0)
(s2851 1.0)
(s2852 1.0)
(s2854 1.0)
(s2855 1.0)
(s2857 1.0)
(s2858 1.0)
(s2860 1.0)
(s2861 1.0)
(s2863 1.0)
(s2864 1.0)
(s2866 1.0)
(s2867 1.0)
(s2869 1.0)
(s2870 1.0)
(s2872 1.0)
(s2873 1.0)
(s2875 1.0)
(s2876 1.0)
(s2878 1.0)
(s2879 1.0)
(s2881 1.0)
(s2882 1.0)
(s2884 1.0)
(s2885 1.0)
(s2887 1.0)
(s2888 1.0)
(s2890 1.0)
(s2891 1.0)
(s2893 1.0)
(s2894 1.0)
(s2896 1.0)
(s2897 1.0)
(s2899 1.0)
(s2900 1.0)
(s2902 1.0)
(s2903 1.0)
(s2905 1.0)
(s2906 1.0)
(s2908 1.0)
(s2909 1.0)
(s2911 1.0)
(s2912 1.0)
(s2914 1.0)
(s2915 1.0)
(s2917 1.0)
(s2918 1.0)
(s2920 1.0)
(s2921 1.0)
(s2923 1.0)
(s2924 1.0)
(s2926 1.0)
(s2927 1.0)
(s2929 1.0)
(s2930 1.0)
(s2932 1.0)
(s2933 1.0)
(s2935 1.0)
(s2936 1.0)
(s2938 1.0)
(s2939 1.0)
(s2941 1.0)
(s2942 1.0)
(s2944 1.0)
(s2945 1.0)
(s2947 1.0)
(s2948 1.0)
(s2950 1.0)
(s2951 1.0)
(s2953 1.0)
(s2954 1.0)
(s2956 1.0)
(s2957 1.0)
(s2959 1.0)
(s2960 1.0)
(s2962 1.0)
(s2963 1.0)
(s2965 1.0)
(s2966 1.0)
(s2968 1.0)
(s2969 1.0)
(s2971 1.0)
(s2972 1.0)
(s2974 1.0)
(s2975 1.0)
(s2977 1.0)
(s2978 1.0)
(s2980 1.0)
(s2981 1.0)
(s2983 1.0)
(s2984 1.0)
(s2986 1.0)
(s2987 1.0)
(s2989 1.0)
(s2990 1.0)
(s2992 1.0)
(s2993 1.0)
(s2995 1.0)
(s2996 1.0)
(s2998 1.0)
(s2999 1.0)
(s3001 1.0)
(s3002 1.0)
(s3004 1.0)
(s3005 1.0)
(s3007 1.0)
(s3008 1.0)
(s3010 1.0)
(s3011 1.0)
(s3013 1.0)
(s3014 1.0)
(s3016 1.0)
(s3017 1.0)
(s3019 1.0)
(s3020 1.0)
(s3022 1.0)
(s3023 1.0)
(s3025 1.0)
(s3026 1.0)
(s3028 1.0)
(s3029 1.0)
(s3031 1.0)
(s3032 1.0)
(s3034 1.0)
(s3035 1.0)
(s3037 1.0)
(s3038 1.0)
(s3040 1.0)
(s3041 1.0)
(s3043 1.0)
(s3044 1.0)
(s3046 1.0)
(s3047 1.0)
(s3049 1.0)
(s3050 1.0)
(s3052 1.0)
(s3053 1.0)
(s3055 1.0)
(s3056 1.0)
(s3058 1.0)
(s3059 1.0)
(s3061 1.0)
(s3062 1.0)
(s3064 1.0)
(s3065 1.0)
(s3067 1.0)
(s3068 1.0)
(s3070 1.0)
(s3071 1.0)
(s3073 1.0)
(s3074 1.0)
(s3076 1.0)
(s3077 1.0)
(s3079 1.0)
(s3080 1.0)
(s3082 1.0)
(s3083 1.0)
(s3085 1.0)
(s3086 1.0)
(s3088 1.0)
(s3089 1.0)
(s3091 1.0)
(s3092 1.0)
(s3094 1.0)
(s3095 1.0)
(s3097 1.0)
(s3098 1.0)
(s3100 1.0)
(s3101 1.0)
(s3103 1.0)
(s3104 1.0)
(s3106 1.0)
(s3107 1.0)
(s3109 1.0)
(s3110 1.0)
(s3112 1.0)
(s3113 1.0)
(s3115 1.0)
(s3116 1.0)
(s3118 1.0)
(s3119 1.0)
(s3121 1.0)
(s3122 1.0)
(s3124 1.0)
(s3125 1.0)
(s3127 1.0)
(s3128 1.0)
(s3130 1.0)
(s3131 1.0)
(s3133 1.0)
(s3134 1.0)
(s3136 1.0)
(s3137 1.0)
(s3139 1.0)
(s3140 1.0)
(s3142 1.0)
(s3143 1.0)
(s3145 1.0)
(s3146 1.0)
(s3148 1.0)
(s3149 1.0)
(s3151 1.0)
(s3152 1.0)
(s3154 1.0)
(s3155 1.0)
(s3157 1.0)
(s3158 1.0)
(s3160 1.0)
(s3161 1.0)
(s3163 1.0)
(s3164 1.0)
(s3166 1.0)
(s3167 1.0)
(s3169 1.0)
(s3170 1.0)
(s3172 1.0)
(s3173 1.0)
(s3175 1.0)
(s3176 1.0)
(s3178 1.0)
(s3179 1.0)
(s3181 1.0)
(s3182 1.0)
(s3184 1.0)
(s3185 1.0)
(s3187 1.0)
(s3188 1.0)
(s3190 1.0)
(s3191 1.0)
(s3193 1.0)
(s3194 1.0)
(s3196 1.0)
(s3197 1.0)
(s3199 1.0)
(s3200 1.0)
(s3202 1.0)
(s3203 1.0)
(s3205 1.0)
(s3206 1.0)
(s3208 1.0)
(s3209 1.0)
(s3211 1.0)
(s3212 1.0)
(s3214 1.0)
(s3215 1.0)
(s3217 1.0)
(s3218 1.0)
(s3220 1.0)
(s3221 1.0)
(s3223 1.0)
(s3224 1.0)
(s3226 1.0)
(s3227 1.0)
(s3229 1.0)
(s3230 1.0)
(s3232 1.0)
(s3233 1.0)
(s3235 1.0)
(s3236 1.0)
(s3238 1.0)
(s3239 1.0)
(s3241 1.0)
(s3242 1.0)
(s3244 1.0)
(s3245 1.0)
(s3247 1.0)
(s3248 1.0)
(s3250 1.0)
(s3251 1.0)
(s3253 1.0)
(s3254 1.0)
(s3256 1.0)
(s3257 1.0)
(s3259 1.0)
(s3260 1.0)
(s3262 1.0)
(s3263 1.0)
(s3265 1.0)
(s3266 1.0)
(s3268 1.0)
(s3269 1.0)
(s3271 1.0)
(s3272 1.0)
(s3274 1.0)
(s3275 1.0)
(s3277 1.0)
(s3278 1.0)
(s3280 1.0)
(s3281 1.0)
(s3283 1.0)
(s3284 1.0)
(s3286 1.0)
(s3287 1.0)
(s3289 1.0)
(s3290 1.0)
(s3292 1.0)
(s3293 1.0)
(s3295 1.0)
(s3296 1.0)
(s3298 1.0)
(s3299 1.0)
(s3301 1.0)
(s3302 1.0)
(s3304 1.0)
(s3305 1.0)
(s3307 1.0)
(s3308 1.0)
(s3310 1.0)
(s3311 1.0)
(s3313 1.0)
(s3314 1.0)
(s3316 1.0)
(s3317 1.0)
(s3319 1.0)
(s3320 1.0)
(s3322 1.0)
(s3323 1.0)
(s3325 1.0)
(s3326 1.0)
(s3328 1.0)
(s3329 1.0)
(s3331 1.0)
(s3332 1.0)
(s3334 1.0)
(s3335 1.0)
(s3337 1.0)
(s3338 1.0)
(s3340 1.0)
(s3341 1.0)
(s3343 1.0)
(s3344 1.0)
(s3346 1.0)
(s3347 1.0)
(s3349 1.0)
(s3350 1.0)
(s3352 1.0)
(s3353 1.0)
(s3355 1.0)
(s3356 1.0)
(s3358 1.0)
(s3359 1.0)
(s3361 1.0)
(s3362 1.0)
(s3364 1.0)
(s3365 1.0)
(s3367 1.0)
(s3368 1.0)
(s3370 1.0)
(s3371 1.0)
(s3373 1.0)
(s3374 1.0)
(s3376 1.0)
(s3377 1.0)
(s3379 1.0)
(s3380 1.0)
(s3382 1.0)
(s3383 1.0)
(s3385 1.0)
(s3386 1.0)
(s3388 1.0)
(s3389 1.0)
(s3391 1.0)
(s3392 1.0)
(s3394 1.0)
(s3395 1.0)
(s3397 1.0)
(s3398 1.0)
(s3400 1.0)
(s3401 1.0)
(s3403 1.0)
(s3404 1.0)
(s3406 1.0)
(s3407 1.0)
(s3409 1.0)
(s3410 1.0)
(s3412 1.0)
(s3413 1.0)
(s3415 1.0)
(s3416 1.0)
(s3418 1.0)
(s3419 1.0)
(s3421 1.0)
(s3422 1.0)
(s3424 1.0)
(s3425 1.0)
(s3427 1.0)
(s3428 1.0)
(s3430 1.0)
(s3431 1.0)
(s3433 1.0)
(s3434 1.0)
(s3436 1.0)
(s3437 1.0)
(s3439 1.0)
(s3440 1.0)
(s3442 1.0)
(s3443 1.0)
(s3445 1.0)
(s3446 1.0)
(s3448 1.0)
(s3449 1.0)
(s3451 1.0)
(s3452 1.0)
(s3454 1.0)
(s3455 1.0)
(s3457 1.0)
(s3458 1.0)
(s3460 1.0)
(s3461 1.0)
(s3463 1.0)
(s3464 1.0)
(s3466 1.0)
(s3467 1.0)
(s3469 1.0)
(s3470 1.0)
(s3472 1.0)
(s3473 1.0)
(s3475 1.0)
(s3476 1.0)
(s3478 1.0)
(s3479 1.0)
(s3481 1.0)
(s3482 1.0)
(s3484 1.0)
(s3485 1.0)
(s3487 1.0)
(s3488 1.0)
(s3490 1.0)
(s3491 1.0)
(s3493 1.0)
(s3494 1.0)
(s3496 1.0)
(s3497 1.0)
(s3499 1.0)
(s3500 1.0)
(s3502 1.0)
(s3503 1.0)
(s3505 1.0)
(s3506 1.0)
(s3508 1.0)
(s3509 1.0)
(s3511 1.0)
(s3512 1.0)
(s3514 1.0)
(s3515 1.0)
(s3517 1.0)
(s3518 1.0)
(s3520 1.0)
(s3521 1.0)
(s3523 1.0)
(s3524 1.0)
(s3526 1.0)
(s3527 1.0)
(s3529 1.0)
(s3530 1.0)
(s3532 1.0)
(s3533 1.0)
(s3535 1.0)
(s3536 1.0)
(s3538 1.0)
(s3539 1.0)
(s3541 1.0)
(s3542 1.0)
(s3544 1.0)
(s3545 1.0)
(s3547 1.0)
(s3548 1.0)
(s3550 1.0)
(s3551 1.0)
(s3553 1.0)
(s3554 1.0)
(s3556 1.0)
(s3557 1.0)
(s3559 1.0)
(s3560 1.0)
(s3562 1.0)
(s3563 1.0)
(s3565 1.0)
(s3566 1.0)
(s3568 1.0)
(s3569 1.0)
(s3571 1.0)
(s3572 1.0)
(s3574 1.0)
(s3575 1.0)
(s3577 1.0)
(s3578 1.0)
(s3580 1.0)
(s3581 1.0)
(s3583 1.0)
(s3584 1.0)
(s3586 1.0)
(s3587 1.0)
(s3589 1.0)
(s3590 1.0)
(s3592 1.0)
(s3593 1.0)
(s3595 1.0)
(s3596 1.0)
(s3598 1.0)
(s3599 1.0)
(s3601 1.0)
(s3602 1.0)
(s3604 1.0)
(s3605 1.0)
(s3607 1.0)
(s3608 1.0)
(s3610 1.0)
(s3611 1.0)
(s3613 1.0)
(s3614 1.0)
(s3616 1.0)
(s3617 1.0)
(s3619 1.0)
(s3620 1.0)
(s3622 1.0)
(s3623 1.0)
(s3625 1.0)
(s3626 1.0)
(s3628 1.0)
(s3629 1.0)
(s3631 1.0)
(s3632 1.0)
(s3634 1.0)
(s3635 1.0)
(s3637 1.0)
(s3638 1.0)
(s3640 1.0)
(s3641 1.0)
(s3643 1.0)
(s3644 1.0)
(s3646 1.0)
(s3647 1.0)
(s3649 1.0)
(s3650 1.0)
(s3652 1.0)
(s3653 1.0)
(s3655 1.0)
(s3656 1.0)
(s3658 1.0)
(s3659 1.0)
(s3661 1.0)
(s3662 1.0)
(s3664 1.0)
(s3665 1.0)
(s3667 1.0)
(s3668 1.0)
(s3670 1.0)
(s3671 1.0)
(s3673 1.0)
(s3674 1.0)
(s3676 1.0)
(s3677 1.0)
(s3679 1.0)
(s3680 1.0)
(s3682 1.0)
(s3683 1.0)
(s3685 1.0)
(s3686 1.0)
(s3688 1.0)
(s3689 1.0)
(s3691 1.0)
(s3692 1.0)
(s3694 1.0)
(s3695 1.0)
(s3697 1.0)
(s3698 1.0)
(s3700 1.0)
(s3701 1.0)
(s3703 1.0)
(s3704 1.0)
(s3706 1.0)
(s3707 1.0)
(s3709 1.0)
(s3710 1.0)
(s3712 1.0)
(s3713 1.0)
(s3715 1.0)
(s3716 1.0)
(s3718 1.0)
(s3719 1.0)
(s3721 1.0)
(s3722 1.0)
(s3724 1.0)
(s3725 1.0)
(s3727 1.0)
(s3728 1.0)
(s3730 1.0)
(s3731 1.0)
(s3733 1.0)
(s3734 1.0)
(s3736 1.0)
(s3737 1.0)
(s3739 1.0)
(s3740 1.0)
(s3742 1.0)
(s3743 1.0)
(s3745 1.0)
(s3746 1.0)
(s3748 1.0)
(s3749 1.0)
(s3751 1.0)
(s3752 1.0)
(s3754 1.0)
(s3755 1.0)
(s3757 1.0)
(s3758 1.0)
(s3760 1.0)
(s3761 1.0)
(s3763 1.0)
(s3764 1.0)
(s3766 1.0)
(s3767 1.0)
(s3769 1.0)
(s3770 1.0)
(s3772 1.0)
(s3773 1.0)
(s3775 1.0)
(s3776 1.0)
(s3778 1.0)
(s3779 1.0)
(s3781 1.0)
(s3782 1.0)
(s3784 1.0)
(s3785 1.0)
(s3787 1.0)
(s3788 1.0)
(s3790 1.0)
(s3791 1.0)
(s3793 1.0)
(s3794 1.0)
(s3796 1.0)
(s3797 1.0)
(s3799 1.0)
(s3800 1.0)
(s3802 1.0)
(s3803 1.0)
(s3805 1.0)
(s3806 1.0)
(s3808 1.0)
(s3809 1.0)
(s3811 1.0)
(s3812 1.0)
(s3814 1.0)
(s3815 1.0)
(s3817 1.0)
(s3818 1.0)
(s3820 1.0)
(s3821 1.0)
(s3823 1.0)
(s3824 1.0)
(s3826 1.0)
(s3827 1.0)
(s3829 1.0)
(s3830 1.0)
(s3832 1.0)
(s3833 1.0)
(s3835 1.0)
(s3836 1.0)
(s3838 1.0)
(s3839 1.0)
(s3841 1.0)
(s3842 1.0)
(s3844 1.0)
(s3845 1.0)
(s3847 1.0)
(s3848 1.0)
(s3850 1.0)
(s3851 1.0)
(s3853 1.0)
(s3854 1.0)
(s3856 1.0)
(s3857 1.0)
(s3859 1.0)
(s3860 1.0)
(s3862 1.0)
(s3863 1.0)
(s3865 1.0)
(s3866 1.0)
(s3868 1.0)
(s3869 1.0)
(s3871 1.0)
(s3872 1.0)
(s3874 1.0)
(s3875 1.0)
(s3877 1.0)
(s3878 1.0)
(s3880 1.0)
(s3881 1.0)
(s3883 1.0)
(s3884 1.0)
(s3886 1.0)
(s3887 1.0)
(s3889 1.0)
(s3890 1.0)
(s3892 1.0)
(s3893 1.0)
(s3895 1.0)
(s3896 1.0)
(s3898 1.0)
(s3899 1.0)
(s3901 1.0)
(s3902 1.0)
(s3904 1.0)
(s3905 1.0)
(s3907 1.0)
(s3908 1.0)
(s3910 1.0)
(s3911 1.0)
(s3913 1.0)
(s3914 1.0)
(s3916 1.0)
(s3917 1.0)
(s3919 1.0)
(s3920 1.0)
(s3922 1.0)
(s3923 1.0)
(s3925 1.0)
(s3926 1.0)
(s3928 1.0)
(s3929 1.0)
(s3931 1.0)
(s3932 1.0)
(s3934 1.0)
(s3935 1.0)
(s3937 1.0)
(s3938 1.0)
(s3940 1.0)
(s3941 1.0)
(s3943 1.0)
(s3944 1.0)
(s3946 1.0)
(s3947 1.0)
(s3949 1.0)
(s3950 1.0)
(s3952 1.0)
(s3953 1.0)
(s3955 1.0)
(s3956 1.0)
(s3958 1.0)
(s3959 1.0)
(s3961 1.0)
(s3962 1.0)
(s3964 1.0)
(s3965 1.0)
(s3967 1.0)
(s3968 1.0)
(s3970 1.0)
(s3971 1.0)
(s3973 1.0)
(s3974 1.0)
(s3976 1.0)
(s3977 1.0)
(s3979 1.0)
(s3980 1.0)
(s3982 1.0)
(s3983 1.0)
(s3985 1.0)
(s3986 1.0)
(s3988 1.0)
(s3989 1.0)
(s3991 1.0)
(s3992 1.0)
(s3994 1.0)
(s3995 1.0)
(s3997 1.0)
(s3998 1.0)
(s4000 1.0)
(s4001 1.0)
(s4003 1.0)
(s4004 1.0)
(s4006 1.0)
(s4007 1.0)
(s4009 1.0)
(s4010 1.0)
(s4012 1.0)
(s4013 1.0)
(s4015 1.0)
(s4016 1.0)
(s4018 1.0)
(s4019 1.0)
(s4021 1.0)
(s4022 1.0)
(s4024 1.0)
(s4025 1.0)
(s4027 1.0)
(s4028 1.0)
(s4030 1.0)
(s4031 1.0)
(s4033 1.0)
(s4034 1.0)
(s4036 1.0)
(s4037 1.0)
(s4039 1.0)
(s4040 1.0)
(s4042 1.0)
(s4043 1.0)
(s4045 1.0)
(s4046 1.0)
(s4048 1.0)
(s4049 1.0)
(s4051 1.0)
(s4052 1.0)
(s4054 1.0)
(s4055 1.0)
(s4057 1.0)
(s4058 1.0)
(s4060 1.0)
(s4061 1.0)
(s4063 1.0)
(s4064 1.0)
(s4066 1.0)
(s4067 1.0)
(s4069 1.0)
(s4070 1.0)
(s4072 1.0)
(s4073 1.0)
(s4075 1.0)
(s4076 1.0)
(s4078 1.0)
(s4079 1.0)
(s4081 1.0)
(s4082 1.0)
(s4084 1.0)
(s4085 1.0)
(s4087 1.0)
(s4088 1.0)
(s4090 1.0)
(s4091 1.0)
(s4093 1.0)
(s4094 1.0)
(s4096 1.0)
(s4097 1.0)
(s4099 1.0)
(s4100 1.0)
(s4102 1.0)
(s4103 1.0)
(s4105 1.0)
(s4106 1.0)
(s4108 1.0)
(s4109 1.0)
(s4111 1.0)
(s4112 1.0)
(s4114 1.0)
(s4115 1.0)
(s4117 1.0)
(s4118 1.0)
(s4120 1.0)
(s4121 1.0)
(s4123 1.0)
(s4124 1.0)
(s4126 1.0)
(s4127 1.0)
(s4129 1.0)
(s4130 1.0)
(s4132 1.0)
(s4133 1.0)
(s4135 1.0)
(s4136 1.0)
(s4138 1.0)
(s4139 1.0)
(s4141 1.0)
(s4142 1.0)
(s4144 1.0)
(s4145 1.0)
(s4147 1.0)
(s4148 1.0)
(s4150 1.0)
(s4151 1.0)
(s4153 1.0)
(s4154 1.0)
(s4156 1.0)
(s4157 1.0)
(s4159 1.0)
(s4160 1.0)
(s4162 1.0)
(s4163 1.0)
(s4165 1.0)
(s4166 1.0)
(s4168 1.0)
(s4169 1.0)
(s4171 1.0)
(s4172 1.0)
(s4174 1.0)
(s4175 1.0)
(s4177 1.0)
(s4178 1.0)
(s4180 1.0)
(s4181 1.0)
(s4183 1.0)
(s4184 1.0)
(s4186 1.0)
(s4187 1.0)
(s4189 1.0)
(s4190 1.0)
(s4192 1.0)
(s4193 1.0)
(s4195 1.0)
(s4196 1.0)
(s4198 1.0)
(s4199 1.0)
(s4201 1.0)
(s4202 1.0)
(s4204 1.0)
(s4205 1.0)
(s4207 1.0)
(s4208 1.0)
(s4210 1.0)
(s4211 1.0)
(s4213 1.0)
(s4214 1.0)
(s4216 1.0)
(s4217 1.0)
(s4219 1.0)
(s4220 1.0)
(s4222 1.0)
(s4223 1.0)
(s4225 1.0)
(s4226 1.0)
(s4228 1.0)
(s4229 1.0)
(s4231 1.0)
(s4232 1.0)
(s4234 1.0)
(s4235 1.0)
(s4237 1.0)
(s4238 1.0)
(s4240 1.0)
(s4241 1.0)
(s4243 1.0)
(s4244 1.0)
(s4246 1.0)
(s4247 1.0)
(s4249 1.0)
(s4250 1.0)
(s4252 1.0)
(s4253 1.0)
(s4255 1.0)
(s4256 1.0)
(s4258 1.0)
(s4259 1.0)
(s4261 1.0)
(s4262 1.0)
(s4264 1.0)
(s4265 1.0)
(s4267 1.0)
(s4268 1.0)
(s4270 1.0)
(s4271 1.0)
(s4273 1.0)
(s4274 1.0)
(s4276 1.0)
(s4277 1.0)
(s4279 1.0)
(s4280 1.0)
(s4282 1.0)
(s4283 1.0)
(s4285 1.0)
(s4286 1.0)
(s4288 1.0)
(s4289 1.0)
(s4291 1.0)
(s4292 1.0)
(s4294 1.0)
(s4295 1.0)
(s4297 1.0)
(s4298 1.0)
(s4300 1.0)
(s4301 1.0)
(s4303 1.0)
(s4304 1.0)
(s4306 1.0)
(s4307 1.0)
(s4309 1.0)
(s4310 1.0)
(s4312 1.0)
(s4313 1.0)
(s4315 1.0)
(s4316 1.0)
(s4318 1.0)
(s4319 1.0)
(s4321 1.0)
(s4322 1.0)
(s4324 1.0)
(s4325 1.0)
(s4327 1.0)
(s4328 1.0)
(s4330 1.0)
(s4331 1.0)
(s4333 1.0)
(s4334 1.0)
(s4336 1.0)
(s4337 1.0)
(s4339 1.0)
(s4340 1.0)
(s4342 1.0)
(s4343 1.0)
(s4345 1.0)
(s4346 1.0)
(s4348 1.0)
(s4349 1.0)
(s4351 1.0)
(s4352 1.0)
(s4354 1.0)
(s4355 1.0)
(s4357 1.0)
(s4358 1.0)
(s4360 1.0)
(s4361 1.0)
(s4363 1.0)
(s4364 1.0)
(s4366 1.0)
(s4367 1.0)
(s4369 1.0)
(s4370 1.0)
(s4372 1.0)
(s4373 1.0)
(s4375 1.0)
(s4376 1.0)
(s4378 1.0)
(s4379 1.0)
(s4381 1.0)
(s4382 1.0)
(s4384 1.0)
(s4385 1.0)
(s4387 1.0)
(s4388 1.0)
(s4390 1.0)
(s4391 1.0)
(s4393 1.0)
(s4394 1.0)
(s4396 1.0)
(s4397 1.0)
(s4399 1.0)
(s4400 1.0)
(s4402 1.0)
(s4403 1.0)
(s4405 1.0)
(s4406 1.0)
(s4408 1.0)
(s4409 1.0)
(s4411 1.0)
(s4412 1.0)
(s4414 1.0)
(s4415 1.0)
(s4417 1.0)
(s4418 1.0)
(s4420 1.0)
(s4421 1.0)
(s4423 1.0)
(s4424 1.0)
(s4426 1.0)
(s4427 1.0)
(s4429 1.0)
(s4430 1.0)
(s4432 1.0)
(s4433 1.0)
(s4435 1.0)
(s4436 1.0)
(s4438 1.0)
(s4439 1.0)
(s4441 1.0)
(s4442 1.0)
(s4444 1.0)
(s4445 1.0)
(s4447 1.0)
(s4448 1.0)
(s4450 1.0)
(s4451 1.0)
(s4453 1.0)
(s4454 1.0)
(s4456 1.0)
(s4457 1.0)
(s4459 1.0)
(s4460 1.0)
(s4462 1.0)
(s4463 1.0)
(s4465 1.0)
(s4466 1.0)
(s4468 1.0)
(s4469 1.0)
(s4471 1.0)
(s4472 1.0)
(s4474 1.0)
(s4475 1.0)
(s4477 1.0)
(s4478 1.0)
(s4480 1.0)
(s4481 1.0)
(s4483 1.0)
(s4484 1.0)
(s4486 1.0)
(s4487 1.0)
(s4489 1.0)
(s4490 1.0)
(s4492 1.0)
(s4493 1.0)
(s4495 1.0)
(s4496 1.0)
(s4498 1.0)
(s4499 1.0)
(s4501 1.0)
(s4502 1.0)
(s4504 1.0)
(s4505 1.0)
(s4507 1.0)
(s4508 1.0)
(s4510 1.0)
(s4511 1.0)
(s4513 1.0)
(s4514 1.0)
(s4516 1.0)
(s4517 1.0)
(s4519 1.0)
(s4520 1.0)
(s4522 1.0)
(s4523 1.0)
(s4525 1.0)
(s4526 1.0)
(s4528 1.0)
(s4529 1.0)
(s4531 1.0)
(s4532 1.0)
(s4534 1.0)
(s4535 1.0)
(s4537 1.0)
(s4538 1.0)
(s4540 1.0)
(s4541 1.0)
(s4543 1.0)
(s4544 1.0)
(s4546 1.0)
(s4547 1.0)
(s4549 1.0)
(s4550 1.0)
(s4552 1.0)
(s4553 1.0)
(s4555 1.0)
(s4556 1.0)
(s4558 1.0)
(s4559 1.0)
(s4561 1.0)
(s4562 1.0)
(s4564 1.0)
(s4565 1.0)
(s4567 1.0)
(s4568 1.0)
(s4570 1.0)
(s4571 1.0)
(s4573 1.0)
(s4574 1.0)
(s4576 1.0)
(s4577 1.0)
(s4579 1.0)
(s4580 1.0)
(s4582 1.0)
(s4583 1.0)
(s4585 1.0)
(s4586 1.0)
(s4588 1.0)
(s4589 1.0)
(s4591 1.0)
(s4592 1.0)
(s4594 1.0)
(s4595 1.0)
(s4597 1.0)
(s4598 1.0)
(s4600 1.0)
(s4601 1.0)
(s4603 1.0)
(s4604 1.0)
(s4606 1.0)
(s4607 1.0)
(s4609 1.0)
(s4610 1.0)
(s4612 1.0)
(s4613 1.0)
(s4615 1.0)
(s4616 1.0)
(s4618 1.0)
(s4619 1.0)
(s4621 1.0)
(s4622 1.0)
(s4624 1.0)
(s4625 1.0)
(s4627 1.0)
(s4628 1.0)
(s4630 1.0)
(s4631 1.0)
(s4633 1.0)
(s4634 1.0)
(s4636 1.0)
(s4637 1.0)
(s4639 1.0)
(s4640 1.0)
(s4642 1.0)
(s4643 1.0)
(s4645 1.0)
(s4646 1.0)
(s4648 1.0)
(s4649 1.0)
(s4651 1.0)
(s4652 1.0)
(s4654 1.0)
(s4655 1.0)
(s4657 1.0)
(s4658 1.0)
(s4660 1.0)
(s4661 1.0)
(s4663 1.0)
(s4664 1.0)
(s4666 1.0)
(s4667 1.0)
(s4669 1.0)
(s4670 1.0)
(s4672 1.0)
(s4673 1.0)
(s4675 1.0)
(s4676 1.0)
(s4678 1.0)
(s4679 1.0)
(s4681 1.0)
(s4682 1.0)
(s4684 1.0)
(s4685 1.0)
(s4687 1.0)
(s4688 1.0)
(s4690 1.0)
(s4691 1.0)
(s4693 1.0)
(s4694 1.0)
(s4696 1.0)
(s4697 1.0)
(s4699 1.0)
(s4700 1.0)
(s4702 1.0)
(s4703 1.0)
(s4705 1.0)
(s4706 1.0)
(s4708 1.0)
(s4709 1.0)
(s4711 1.0)
(s4712 1.0)
(s4714 1.0)
(s4715 1.0)
(s4717 1.0)
(s4718 1.0)
(s4720 1.0)
(s4721 1.0)
(s4723 1.0)
(s4724 1.0)
(s4726 1.0)
(s4727 1.0)
(s4729 1.0)
(s4730 1.0)
(s4732 1.0)
(s4733 1.0)
(s4735 1.0)
(s4736 1.0)
(s4738 1.0)
(s4739 1.0)
(s4741 1.0)
(s4742 1.0)
(s4744 1.0)
(s4745 1.0)
(s4747 1.0)
(s4748 1.0)
(s4750 1.0)
(s4751 1.0)
(s4753 1.0)
(s4754 1.0)
(s4756 1.0)
(s4757 1.0)
(s4759 1.0)
(s4760 1.0)
(s4762 1.0)
(s4763 1.0)
(s4765 1.0)
(s4766 1.0)
(s4768 1.0)
(s4769 1.0)
(s4771 1.0)
(s4772 1.0)
(s4774 1.0)
(s4775 1.0)
(s4777 1.0)
(s4778 1.0)
(s4780 1.0)
(s4781 1.0)
(s4783 1.0)
(s4784 1.0)
(s4786 1.0)
(s4787 1.0)
(s4789 1.0)
(s4790 1.0)
(s4792 1.0)
(s4793 1.0)
(s4795 1.0)
(s4796 1.0)
(s4798 1.0)
(s4799 1.0)
(s4801 1.0)
(s4802 1.0)
(s4804 1.0)
(s4805 1.0)
(s4807 1.0)
(s4808 1.0)
(s4810 1.0)
(s4811 1.0)
(s4813 1.0)
(s4814 1.0)
(s4816 1.0)
(s4817 1.0)
(s4819 1.0)
(s4820 1.0)
(s4822 1.0)
(s4823 1.0)
(s4825 1.0)
(s4826 1.0)
(s4828 1.0)
(s4829 1.0)
(s4831 1.0)
(s4832 1.0)
(s4834 1.0)
(s4835 1.0)
(s4837 1.0)
(s4838 1.0)
(s4840 1.0)
(s4841 1.0)
(s4843 1.0)
(s4844 1.0)
(s4846 1.0)
(s4847 1.0)
(s4849 1.0)
(s4850 1.0)
(s4852 1.0)
(s4853 1.0)
(s4855 1.0)
(s4856 1.0)
(s4858 1.0)
(s4859 1.0)
(s4861 1.0)
(s4862 1.0)
(s4864 1.0)
(s4865 1.0)
(s4867 1.0)
(s4868 1.0)
(s4870 1.0)
(s4871 1.0)
(s4873 1.0)
(s4874 1.0)
(s4876 1.0)
(s4877 1.0)
(s4879 1.0)
(s4880 1.0)
(s4882 1.0)
(s4883 1.0)
(s4885 1.0)
(s4886 1.0)
(s4888 1.0)
(s4889 1.0)
(s4891 1.0)
(s4892 1.0)
(s4894 1.0)
(s4895 1.0)
(s4897 1.0)
(s4898 1.0)
(s4900 1.0)
(s4901 1.0)
(s4903 1.0)
(s4904 1.0)
(s4906 1.0)
(s4907 1.0)
(s4909 1.0)
(s4910 1.0)
(s4912 1.0)
(s4913 1.0)
(s4915 1.0)
(s4916 1.0)
(s4918 1.0)
(s4919 1.0)
(s4921 1.0)
(s4922 1.0)
(s4924 1.0)
(s4925 1.0)
(s4927 1.0)
(s4928 1.0)
(s4930 1.0)
(s4931 1.0)
(s4933 1.0)
(s4934 1.0)
(s4936 1.0)
(s4937 1.0)
(s4939 1.0)
(s4940 1.0)
(s4942 1.0)
(s4943 1.0)
(s4945 1.0)
(s4946 1.0)
(s4948 1.0)
(s4949 1.0)
(s4951 1.0)
(s4952 1.0)
(s4954 1.0)
(s4955 1.0)
(s4957 1.0)
(s4958 1.0)
(s4960 1.0)
(s4961 1.0)
(s4963 1.0)
(s4964 1.0)
(s4966 1.0)
(s4967 1.0)
(s4969 1.0)
(s4970 1.0)
(s4972 1.0)
(s4973 1.0)
(s4975 1.0)
(s4976 1.0)
(s4978 1.0)
(s4979 1.0)
(s4981 1.0)
(s4982 1.0)
(s4984 1.0)
(s4985 1.0)
(s4987 1.0)
(s4988 1.0)
(s4990 1.0)
(s4991 1.0)
(s4993 1.0)
(s4994 1.0)
(s4996 1.0)
(s4997 1.0)
(s4999 1.0)
(s5000 1.0)
(s5002 1.0)
(s5003 1.0)
(s5005 1.0)
(s5006 1.0)
(s5008 1.0)
(s5009 1.0)
(s5011 1.0)
(s5012 1.0)
(s5014 1.0)
(s5015 1.0)
(s5017 1.0)
(s5018 1.0)
(s5020 1.0)
(s5021 1.0)
(s5023 1.0)
(s5024 1.0)
(s5026 1.0)
(s5027 1.0)
(s5029 1.0)
(s5030 1.0)
(s5032 1.0)
(s5033 timeout
1.0)
(s5035 org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/6169 variables, 188/188 constraints. Problems are: Problem set: 0 solved, 14536 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 6169/27936 variables, and 188 constraints, problems are : Problem set: 0 solved, 14536 unsolved in 30178 ms.
Refiners :[Positive P Invariants (semi-flows): 188/2415 constraints, State Equation: 0/8396 constraints, ReadFeed: 0/6 constraints, PredecessorRefiner: 14536/14536 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 14536 unsolved
Starting Z3 with timeout 30.0 s and query timeout 3000.0 ms
At refinement iteration 0 (INCLUDED_ONLY) 0/6169 variables, 188/188 constraints. Problems are: Problem set: 0 solved, 14536 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 6169/27936 variables, and 188 constraints, problems are : Problem set: 0 solved, 14536 unsolved in 30167 ms.
Refiners :[Positive P Invariants (semi-flows): 188/2415 constraints, State Equation: 0/8396 constraints, ReadFeed: 0/6 constraints, PredecessorRefiner: 0/14536 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 95774ms problems are : Problem set: 0 solved, 14536 unsolved
Search for dead transitions found 0 dead transitions in 95800ms
Starting structural reductions in SI_CTL mode, iteration 1 : 8396/44243 places, 19746/66611 transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 120447 ms. Remains : 8396/44243 places, 19746/66611 transitions.
[2025-05-31 15:31:32] [INFO ] Flatten gal took : 306 ms
[2025-05-31 15:31:32] [INFO ] Flatten gal took : 358 ms
[2025-05-31 15:31:33] [INFO ] Input system was already deterministic with 19746 transitions.
[2025-05-31 15:31:34] [INFO ] Flatten gal took : 350 ms
[2025-05-31 15:31:34] [INFO ] Flatten gal took : 366 ms
[2025-05-31 15:31:34] [INFO ] Time to serialize gal into /tmp/CTLCardinality3894235290570083571.gal : 72 ms
[2025-05-31 15:31:34] [INFO ] Time to serialize properties into /tmp/CTLCardinality17779755134117365951.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality3894235290570083571.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality17779755134117365951.ctl' '--gen-order' 'FOLLOW'

its-ctl command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...284
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2025-05-31 15:32:04] [INFO ] Flatten gal took : 357 ms
[2025-05-31 15:32:04] [INFO ] Applying decomposition
[2025-05-31 15:32:05] [INFO ] Flatten gal took : 486 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/convert-linux64' '-i' '/tmp/graph1483561018783450030.txt' '-o' '/tmp/graph1483561018783450030.bin' '-w' '/tmp/graph1483561018783450030.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202505121319/bin/louvain-linux64' '/tmp/graph1483561018783450030.bin' '-l' '-1' '-v' '-w' '/tmp/graph1483561018783450030.weights' '-q' '0' '-e' '0.001'
[2025-05-31 15:32:06] [INFO ] Decomposing Gal with order
[2025-05-31 15:32:07] [INFO ] Rewriting arrays to variables to allow decomposition.
[2025-05-31 15:32:15] [INFO ] Removed a total of 21517 redundant transitions.
[2025-05-31 15:32:15] [INFO ] Flatten gal took : 733 ms
[2025-05-31 15:32:15] [INFO ] Fuse similar labels procedure discarded/fused a total of 735 labels/synchronizations in 399 ms.
[2025-05-31 15:32:16] [INFO ] Time to serialize gal into /tmp/CTLCardinality11205549285791826384.gal : 176 ms
[2025-05-31 15:32:16] [INFO ] Time to serialize properties into /tmp/CTLCardinality2281040580733641696.ctl : 0 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/CTLCardinality11205549285791826384.gal' '-t' 'CGAL' '-ctl' '/tmp/CTLCardinality2281040580733641696.ctl'

its-ctl command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202505121319/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -...263
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,1.76152e+1243,15.1034,120628,6274,11,208149,4583,9005,166582,49,4494,0


Converting to forward existential form...Done !
original formula: EG((EF(AG(((i97.u392.p10274==0)&&(i100.u2794.p42300==1)))) + (i133.u536.p13970==0)))
=> equivalent forward existential formula: [FwdG(Init,(E(TRUE U !(E(TRUE U !(((i97.u392.p10274==0)&&(i100.u2794.p42300==1)))))) + (i133.u536.p13970==0)))] ...163
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Fast SCC detection found an SCC at level 1
Fast SCC detection found an SCC at level 2
Fast SCC detection found an SCC at level 3
Fast SCC detection found an SCC at level 4
Fast SCC detection found an SCC at level 5
Fast SCC detection found an SCC at level 6
Fast SCC detection found an SCC at level 7
Fast SCC detection found an SCC at level 8
Fast SCC detection found an SCC at level 9
Fast SCC detection found an SCC at level 10
Fast SCC detection found an SCC at level 11
Fast SCC detection found an SCC at level 12
Fast SCC detection found an SCC at level 13
Fast SCC detection found an SCC at level 14
Fast SCC detection found an SCC at level 15
Fast SCC detection found an SCC at level 16
Fast SCC detection found an SCC at level 17
Fast SCC detection found an SCC at level 18
Fast SCC detection found an SCC at level 19
Fast SCC detection found an SCC at level 20
Fast SCC detection found an SCC at level 21
Fast SCC detection found an SCC at level 22
Fast SCC detection found an SCC at level 23
Fast SCC detection found an SCC at level 24
Fast SCC detection found an SCC at level 25
Fast SCC detection found an SCC at level 26
Fast SCC detection found an SCC at level 27
Fast SCC detection found an SCC at level 28
Fast SCC detection found an SCC at level 29
Fast SCC detection found an SCC at level 30
Fast SCC detection found an SCC at level 31
Fast SCC detection found an SCC at level 32
Fast SCC detection found an SCC at level 33
Fast SCC detection found an SCC at level 34
Fast SCC detection found an SCC at level 35
Fast SCC detection found an SCC at level 36
Fast SCC detection found an SCC at level 37
Fast SCC detection found an SCC at level 38
Fast SCC detection found an SCC at level 39
Fast SCC detection found an SCC at level 40
Fast SCC detection found an SCC at level 41
Fast SCC detection found an SCC at level 42
Fast SCC detection found an SCC at level 43
Fast SCC detection found an SCC at level 44
Fast SCC detection found an SCC at level 45
Fast SCC detection found an SCC at level 46
Fast SCC detection found an SCC at level 47
Fast SCC detection found an SCC at level 48
Fast SCC detection found an SCC at level 49
Fast SCC detection found an SCC at level 50
Fast SCC detection found an SCC at level 51
Fast SCC detection found an SCC at level 52
Fast SCC detection found an SCC at level 53
Fast SCC detection found an SCC at level 54
Fast SCC detection found an SCC at level 55
Fast SCC detection found an SCC at level 56
Fast SCC detection found an SCC at level 57
Fast SCC detection found an SCC at level 58
Fast SCC detection found an SCC at level 59
Fast SCC detection found an SCC at level 60
Fast SCC detection found an SCC at level 61
Fast SCC detection found an SCC at level 62
Fast SCC detection found an SCC at level 63
Fast SCC detection found an SCC at level 64
Fast SCC detection found an SCC at level 65
Fast SCC detection found an SCC at level 66
Fast SCC detection found an SCC at level 67
Fast SCC detection found an SCC at level 68
Fast SCC detection found an SCC at level 69
Fast SCC detection found an SCC at level 70
Fast SCC detection found an SCC at level 71
Fast SCC detection found an SCC at level 72
Fast SCC detection found an SCC at level 73
Fast SCC detection found an SCC at level 74
Fast SCC detection found an SCC at level 75
Fast SCC detection found an SCC at level 76
Fast SCC detection found an SCC at level 77
Fast SCC detection found an SCC at level 78
Fast SCC detection found an SCC at level 79
Fast SCC detection found an SCC at level 80
Fast SCC detection found an SCC at level 81
Fast SCC detection found an SCC at level 82
Fast SCC detection found an SCC at level 83
Fast SCC detection found an SCC at level 84
Fast SCC detection found an SCC at level 85
Fast SCC detection found an SCC at level 86
Fast SCC detection found an SCC at level 87
Fast SCC detection found an SCC at level 88
Fast SCC detection found an SCC at level 89
Fast SCC detection found an SCC at level 90
Fast SCC detection found an SCC at level 91
Fast SCC detection found an SCC at level 92
Fast SCC detection found an SCC at level 93
Fast SCC detection found an SCC at level 94
Fast SCC detection found an SCC at level 95
Fast SCC detection found an SCC at level 96
Fast SCC detection found an SCC at level 97
Fast SCC detection found an SCC at level 98
Fast SCC detection found an SCC at level 99
Fast SCC detection found an SCC at level 100
Fast SCC detection found an SCC at level 101
Fast SCC detection found an SCC at level 102
Fast SCC detection found an SCC at level 103
Fast SCC detection found an SCC at level 104
Fast SCC detection found an SCC at level 105
Fast SCC detection found an SCC at level 106
Fast SCC detection found an SCC at level 107
Fast SCC detection found an SCC at level 108
Fast SCC detection found an SCC at level 109
Fast SCC detection found an SCC at level 110
Fast SCC detection found an SCC at level 111
Fast SCC detection found an SCC at level 112
Fast SCC detection found an SCC at level 113
Fast SCC detection found an SCC at level 114
Fast SCC detection found an SCC at level 115
Fast SCC detection found an SCC at level 116
Fast SCC detection found an SCC at level 117
Fast SCC detection found an SCC at level 118
Fast SCC detection found an SCC at level 119
Fast SCC detection found an SCC at level 120
Fast SCC detection found an SCC at level 121
Fast SCC detection found an SCC at level 122
Fast SCC detection found an SCC at level 123
Fast SCC detection found an SCC at level 124
Fast SCC detection found an SCC at level 125
Fast SCC detection found an SCC at level 126
Fast SCC detection found an SCC at level 127
Fast SCC detection found an SCC at level 128
Fast SCC detection found an SCC at level 129
Fast SCC detection found an SCC at level 130
Fast SCC detection found an SCC at level 131
Fast SCC detection found an SCC at level 132
Fast SCC detection found an SCC at level 133
Fast SCC detection found an SCC at level 134
Fast SCC detection found an SCC at level 135
Fast SCC detection found an SCC at level 136
Fast SCC detection found an SCC at level 137
Fast SCC detection found an SCC at level 138
Fast SCC detection found an SCC at level 139
Fast SCC detection found an SCC at level 140
Fast SCC detection found an SCC at level 141
Fast SCC detection found an SCC at level 142
Fast SCC detection found an SCC at level 143
Fast SCC detection found an SCC at level 144
Fast SCC detection found an SCC at level 145
Fast SCC detection found an SCC at level 146
Fast SCC detection found an SCC at level 147
Fast SCC detection found an SCC at level 148
Fast SCC detection found an SCC at level 149
Fast SCC detection found an SCC at level 150
Fast SCC detection found an SCC at level 151
Fast SCC detection found an SCC at level 152
Fast SCC detection found an SCC at level 153
Fast SCC detection found an SCC at level 154
Fast SCC detection found an SCC at level 155
Fast SCC detection found an SCC at level 156
Fast SCC detection found an SCC at level 157
Fast SCC detection found an SCC at level 158
Fast SCC detection found an SCC at level 159
Fast SCC detection found an SCC at level 160
Fast SCC detection found an SCC at level 161
Fast SCC detection found an SCC at level 162
Fast SCC detection found an SCC at level 163
Fast SCC detection found an SCC at level 164
Fast SCC detection found an SCC at level 165
Fast SCC detection found an SCC at level 166
Fast SCC detection found an SCC at level 167
Fast SCC detection found an SCC at level 168
Fast SCC detection found an SCC at level 169
Fast SCC detection found an SCC at level 170
Fast SCC detection found an SCC at level 171
Fast SCC detection found an SCC at level 172
Fast SCC detection found an SCC at level 173
Fast SCC detection found an SCC at level 174
Fast SCC detection found an SCC at level 175
Fast SCC detection found an SCC at level 176
Fast SCC detection found an SCC at level 177
Fast SCC detection found an SCC at level 178
Fast SCC detection found an SCC at level 179
Fast SCC detection found an SCC at level 180
Fast SCC detection found an SCC at level 181
Fast SCC detection found an SCC at level 182
Fast SCC detection found an SCC at level 183
Fast SCC detection found an SCC at level 184
Fast SCC detection found an SCC at level 185
Fast SCC detection found an SCC at level 186
Fast SCC detection found an SCC at level 187
Fast SCC detection found an SCC at level 188
Detected timeout of ITS tools.
Starting structural reductions in LTL mode, iteration 0 : 44243/44243 places, 66611/66611 transitions.
Applied a total of 0 rules in 6403 ms. Remains 44243 /44243 variables (removed 0) and now considering 66611/66611 (removed 0) transitions.
// Phase 1: matrix 66611 rows 44243 cols
[2025-05-31 15:32:53] [INFO ] Computed 2415 invariants in 443 ms
Starting Z3 with timeout 160.0 s and query timeout 16000.0 ms
[2025-05-31 15:34:01] [INFO ] Performed 13706/44243 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-05-31 15:34:31] [INFO ] Performed 29896/44243 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2025-05-31 15:34:50] [INFO ] Implicit Places using invariants in 117970 ms returned []
Implicit Place search using SMT only with invariants took 117976 ms to find 0 implicit places.
Running 66610 sub problems to find dead transitions.
[2025-05-31 15:34:50] [INFO ] Invariant cache hit.

BK_TIME_CONFINEMENT_REACHED

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

+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202505121319.jar
+ VERSION=202505121319
+ echo 'Running Version 202505121319'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600

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="CTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5832"
echo " Executing tool itstools"
echo " Input is DLCshifumi-PT-6b, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r072-tall-174860067300361"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;