fond
Model Checking Contest 2022
12th edition, Bergen, Norway, June 21, 2022
Execution of r067-tall-165254777900037
Last Updated
Jun 22, 2022

About the Execution of ITS-Tools for DLCflexbar-PT-5b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
2758.035 129033.00 167470.00 429.70 T normal

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.7M
-rw-r--r-- 1 mcc users 7.4K Apr 29 19:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Apr 29 19:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Apr 29 19:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Apr 29 19:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:33 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K May 9 07:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 9 07:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 9 07:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 9 07:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 9 07:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 9 07:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 10 09:33 equiv_col
-rw-r--r-- 1 mcc users 3 May 10 09:33 instance
-rw-r--r-- 1 mcc users 6 May 10 09:33 iscolored
-rw-r--r-- 1 mcc users 6.5M May 10 09:33 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME QuasiLiveness

=== Now, execution of the tool begins

BK_START 1652565515840

Running Version 202205111006
[2022-05-14 21:58:36] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2022-05-14 21:58:36] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-14 21:58:37] [INFO ] Load time of PNML (sax parser for PT used): 584 ms
[2022-05-14 21:58:37] [INFO ] Transformed 17305 places.
[2022-05-14 21:58:37] [INFO ] Transformed 26483 transitions.
[2022-05-14 21:58:37] [INFO ] Found NUPN structural information;
[2022-05-14 21:58:38] [INFO ] Parsed PT model containing 17305 places and 26483 transitions in 1570 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 17305/17305 places, 26483/26483 transitions.
Graph (trivial) has 15845 edges and 17305 vertex of which 1384 / 17305 are part of one of the 90 SCC in 72 ms
Free SCC test removed 1294 places
Ensure Unique test removed 1370 transitions
Reduce isomorphic transitions removed 1370 transitions.
Drop transitions removed 7778 transitions
Trivial Post-agglo rules discarded 7778 transitions
Performed 7778 trivial Post agglomeration. Transition count delta: 7778
Iterating post reduction 0 with 7778 rules applied. Total rules applied 7779 place count 16011 transition count 17335
Reduce places removed 7778 places and 0 transitions.
Ensure Unique test removed 207 transitions
Reduce isomorphic transitions removed 207 transitions.
Drop transitions removed 200 transitions
Trivial Post-agglo rules discarded 200 transitions
Performed 200 trivial Post agglomeration. Transition count delta: 200
Iterating post reduction 1 with 8185 rules applied. Total rules applied 15964 place count 8233 transition count 16928
Reduce places removed 200 places and 0 transitions.
Ensure Unique test removed 62 transitions
Reduce isomorphic transitions removed 62 transitions.
Drop transitions removed 62 transitions
Trivial Post-agglo rules discarded 62 transitions
Performed 62 trivial Post agglomeration. Transition count delta: 62
Iterating post reduction 2 with 324 rules applied. Total rules applied 16288 place count 8033 transition count 16804
Reduce places removed 62 places and 0 transitions.
Iterating post reduction 3 with 62 rules applied. Total rules applied 16350 place count 7971 transition count 16804
Performed 62 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 62 Pre rules applied. Total rules applied 16350 place count 7971 transition count 16742
Deduced a syphon composed of 62 places in 591 ms
Reduce places removed 62 places and 0 transitions.
Iterating global reduction 4 with 124 rules applied. Total rules applied 16474 place count 7909 transition count 16742
Discarding 2262 places :
Symmetric choice reduction at 4 with 2262 rule applications. Total rules 18736 place count 5647 transition count 14480
Iterating global reduction 4 with 2262 rules applied. Total rules applied 20998 place count 5647 transition count 14480
Performed 910 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 910 Pre rules applied. Total rules applied 20998 place count 5647 transition count 13570
Deduced a syphon composed of 910 places in 358 ms
Reduce places removed 910 places and 0 transitions.
Iterating global reduction 4 with 1820 rules applied. Total rules applied 22818 place count 4737 transition count 13570
Discarding 173 places :
Symmetric choice reduction at 4 with 173 rule applications. Total rules 22991 place count 4564 transition count 9370
Iterating global reduction 4 with 173 rules applied. Total rules applied 23164 place count 4564 transition count 9370
Ensure Unique test removed 138 transitions
Reduce isomorphic transitions removed 138 transitions.
Iterating post reduction 4 with 138 rules applied. Total rules applied 23302 place count 4564 transition count 9232
Performed 1212 Post agglomeration using F-continuation condition with reduction of 7 identical transitions.
Deduced a syphon composed of 1212 places in 3 ms
Reduce places removed 1212 places and 0 transitions.
Iterating global reduction 5 with 2424 rules applied. Total rules applied 25726 place count 3352 transition count 8013
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 5 with 7 rules applied. Total rules applied 25733 place count 3352 transition count 8006
Renaming transitions due to excessive name length > 1024 char.
Performed 101 Post agglomeration using F-continuation condition with reduction of 231 identical transitions.
Deduced a syphon composed of 101 places in 3 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 6 with 202 rules applied. Total rules applied 25935 place count 3251 transition count 8744
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 25936 place count 3251 transition count 8743
Performed 89 Post agglomeration using F-continuation condition with reduction of 196 identical transitions.
Deduced a syphon composed of 89 places in 2 ms
Reduce places removed 89 places and 0 transitions.
Iterating global reduction 7 with 178 rules applied. Total rules applied 26114 place count 3162 transition count 9407
Applied a total of 26114 rules in 5692 ms. Remains 3162 /17305 variables (removed 14143) and now considering 9407/26483 (removed 17076) transitions.
[2022-05-14 21:58:44] [INFO ] Flow matrix only has 8872 transitions (discarded 535 similar events)
// Phase 1: matrix 8872 rows 3162 cols
[2022-05-14 21:58:44] [INFO ] Computed 979 place invariants in 67 ms
[2022-05-14 21:58:46] [INFO ] Implicit Places using invariants in 1764 ms returned []
[2022-05-14 21:58:46] [INFO ] Flow matrix only has 8872 transitions (discarded 535 similar events)
// Phase 1: matrix 8872 rows 3162 cols
[2022-05-14 21:58:46] [INFO ] Computed 979 place invariants in 37 ms
[2022-05-14 21:58:49] [INFO ] Implicit Places using invariants and state equation in 3861 ms returned []
Implicit Place search using SMT with State Equation took 5660 ms to find 0 implicit places.
[2022-05-14 21:58:49] [INFO ] Flow matrix only has 8872 transitions (discarded 535 similar events)
// Phase 1: matrix 8872 rows 3162 cols
[2022-05-14 21:58:50] [INFO ] Computed 979 place invariants in 38 ms
[2022-05-14 21:58:55] [INFO ] Dead Transitions using invariants and state equation in 5108 ms found 0 transitions.
Starting structural reductions in LIVENESS mode, iteration 1 : 3162/17305 places, 9407/26483 transitions.
Finished structural reductions, in 1 iterations. Remains : 3162/17305 places, 9407/26483 transitions.
Discarding 3019 transitions out of 9407. Remains 6388
Initial state reduction rules removed 1 formulas.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 4483 ms. (steps per millisecond=2 ) properties (out of 6387) seen :5392
Running SMT prover for 995 properties.
[2022-05-14 21:58:59] [INFO ] Flow matrix only has 8872 transitions (discarded 535 similar events)
// Phase 1: matrix 8872 rows 3162 cols
[2022-05-14 21:58:59] [INFO ] Computed 979 place invariants in 24 ms
[2022-05-14 21:59:27] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-14 21:59:27] [INFO ] After 25023ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 995 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 1010 out of 3162 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 3162/3162 places, 9407/9407 transitions.
Drop transitions removed 100 transitions
Reduce isomorphic transitions removed 100 transitions.
Iterating post reduction 0 with 100 rules applied. Total rules applied 100 place count 3162 transition count 9307
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 101 place count 3161 transition count 9293
Iterating global reduction 1 with 1 rules applied. Total rules applied 102 place count 3161 transition count 9293
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 1 with 7 rules applied. Total rules applied 109 place count 3161 transition count 9286
Drop transitions removed 41 transitions
Redundant transition composition rules discarded 41 transitions
Iterating global reduction 2 with 41 rules applied. Total rules applied 150 place count 3161 transition count 9245
Discarding 14 places :
Symmetric choice reduction at 2 with 14 rule applications. Total rules 164 place count 3147 transition count 9231
Iterating global reduction 2 with 14 rules applied. Total rules applied 178 place count 3147 transition count 9231
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 180 place count 3145 transition count 9095
Iterating global reduction 2 with 2 rules applied. Total rules applied 182 place count 3145 transition count 9095
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 184 place count 3145 transition count 9093
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 3 with 4 rules applied. Total rules applied 188 place count 3143 transition count 9091
Discarding 1 places :
Symmetric choice reduction at 3 with 1 rule applications. Total rules 189 place count 3142 transition count 9023
Iterating global reduction 3 with 1 rules applied. Total rules applied 190 place count 3142 transition count 9023
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 191 place count 3142 transition count 9022
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -41
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 4 with 8 rules applied. Total rules applied 199 place count 3138 transition count 9063
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 4 with 6 rules applied. Total rules applied 205 place count 3138 transition count 9057
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 5 with 22 rules applied. Total rules applied 227 place count 3138 transition count 9035
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -40
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 5 with 8 rules applied. Total rules applied 235 place count 3134 transition count 9075
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 5 with 6 rules applied. Total rules applied 241 place count 3134 transition count 9069
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 6 with 22 rules applied. Total rules applied 263 place count 3134 transition count 9047
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -41
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 6 with 8 rules applied. Total rules applied 271 place count 3130 transition count 9088
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 6 with 6 rules applied. Total rules applied 277 place count 3130 transition count 9082
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 7 with 22 rules applied. Total rules applied 299 place count 3130 transition count 9060
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -41
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 7 with 8 rules applied. Total rules applied 307 place count 3126 transition count 9101
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 7 with 6 rules applied. Total rules applied 313 place count 3126 transition count 9095
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 8 with 22 rules applied. Total rules applied 335 place count 3126 transition count 9073
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -41
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 8 with 8 rules applied. Total rules applied 343 place count 3122 transition count 9114
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 8 with 6 rules applied. Total rules applied 349 place count 3122 transition count 9108
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 9 with 22 rules applied. Total rules applied 371 place count 3122 transition count 9086
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -41
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 9 with 8 rules applied. Total rules applied 379 place count 3118 transition count 9127
Drop transitions removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 9 with 6 rules applied. Total rules applied 385 place count 3118 transition count 9121
Drop transitions removed 22 transitions
Redundant transition composition rules discarded 22 transitions
Iterating global reduction 10 with 22 rules applied. Total rules applied 407 place count 3118 transition count 9099
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -39
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 10 with 8 rules applied. Total rules applied 415 place count 3114 transition count 9138
Drop transitions removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 10 with 8 rules applied. Total rules applied 423 place count 3114 transition count 9130
Drop transitions removed 20 transitions
Redundant transition composition rules discarded 20 transitions
Iterating global reduction 11 with 20 rules applied. Total rules applied 443 place count 3114 transition count 9110
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 11 with 6 rules applied. Total rules applied 449 place count 3111 transition count 9143
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 11 with 5 rules applied. Total rules applied 454 place count 3111 transition count 9138
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 12 with 19 rules applied. Total rules applied 473 place count 3111 transition count 9119
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 12 with 6 rules applied. Total rules applied 479 place count 3108 transition count 9152
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 12 with 5 rules applied. Total rules applied 484 place count 3108 transition count 9147
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 13 with 19 rules applied. Total rules applied 503 place count 3108 transition count 9128
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 13 with 6 rules applied. Total rules applied 509 place count 3105 transition count 9161
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 13 with 5 rules applied. Total rules applied 514 place count 3105 transition count 9156
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 14 with 19 rules applied. Total rules applied 533 place count 3105 transition count 9137
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 14 with 6 rules applied. Total rules applied 539 place count 3102 transition count 9170
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 14 with 5 rules applied. Total rules applied 544 place count 3102 transition count 9165
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 15 with 19 rules applied. Total rules applied 563 place count 3102 transition count 9146
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 15 with 6 rules applied. Total rules applied 569 place count 3099 transition count 9177
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 15 with 4 rules applied. Total rules applied 573 place count 3099 transition count 9173
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 16 with 19 rules applied. Total rules applied 592 place count 3099 transition count 9154
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 16 with 6 rules applied. Total rules applied 598 place count 3096 transition count 9187
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 16 with 5 rules applied. Total rules applied 603 place count 3096 transition count 9182
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 17 with 19 rules applied. Total rules applied 622 place count 3096 transition count 9163
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 17 with 6 rules applied. Total rules applied 628 place count 3093 transition count 9196
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 17 with 5 rules applied. Total rules applied 633 place count 3093 transition count 9191
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 18 with 19 rules applied. Total rules applied 652 place count 3093 transition count 9172
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -32
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 18 with 6 rules applied. Total rules applied 658 place count 3090 transition count 9204
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 18 with 5 rules applied. Total rules applied 663 place count 3090 transition count 9199
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 19 with 19 rules applied. Total rules applied 682 place count 3090 transition count 9180
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 19 with 6 rules applied. Total rules applied 688 place count 3087 transition count 9213
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 19 with 5 rules applied. Total rules applied 693 place count 3087 transition count 9208
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 20 with 19 rules applied. Total rules applied 712 place count 3087 transition count 9189
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 20 with 6 rules applied. Total rules applied 718 place count 3084 transition count 9222
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 20 with 5 rules applied. Total rules applied 723 place count 3084 transition count 9217
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 21 with 19 rules applied. Total rules applied 742 place count 3084 transition count 9198
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 21 with 6 rules applied. Total rules applied 748 place count 3081 transition count 9231
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 21 with 5 rules applied. Total rules applied 753 place count 3081 transition count 9226
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 22 with 19 rules applied. Total rules applied 772 place count 3081 transition count 9207
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 22 with 6 rules applied. Total rules applied 778 place count 3078 transition count 9240
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 22 with 5 rules applied. Total rules applied 783 place count 3078 transition count 9235
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 23 with 19 rules applied. Total rules applied 802 place count 3078 transition count 9216
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
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 808 place count 3075 transition count 9249
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 23 with 5 rules applied. Total rules applied 813 place count 3075 transition count 9244
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 24 with 19 rules applied. Total rules applied 832 place count 3075 transition count 9225
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 24 with 6 rules applied. Total rules applied 838 place count 3072 transition count 9258
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 24 with 5 rules applied. Total rules applied 843 place count 3072 transition count 9253
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 25 with 19 rules applied. Total rules applied 862 place count 3072 transition count 9234
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 25 with 6 rules applied. Total rules applied 868 place count 3069 transition count 9267
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 25 with 5 rules applied. Total rules applied 873 place count 3069 transition count 9262
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 26 with 19 rules applied. Total rules applied 892 place count 3069 transition count 9243
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 26 with 6 rules applied. Total rules applied 898 place count 3066 transition count 9276
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 26 with 5 rules applied. Total rules applied 903 place count 3066 transition count 9271
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 27 with 19 rules applied. Total rules applied 922 place count 3066 transition count 9252
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 27 with 6 rules applied. Total rules applied 928 place count 3063 transition count 9285
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 27 with 5 rules applied. Total rules applied 933 place count 3063 transition count 9280
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 28 with 19 rules applied. Total rules applied 952 place count 3063 transition count 9261
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 28 with 6 rules applied. Total rules applied 958 place count 3060 transition count 9292
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 28 with 5 rules applied. Total rules applied 963 place count 3060 transition count 9287
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 29 with 19 rules applied. Total rules applied 982 place count 3060 transition count 9268
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 29 with 6 rules applied. Total rules applied 988 place count 3057 transition count 9299
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 29 with 5 rules applied. Total rules applied 993 place count 3057 transition count 9294
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 30 with 19 rules applied. Total rules applied 1012 place count 3057 transition count 9275
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 30 with 6 rules applied. Total rules applied 1018 place count 3054 transition count 9306
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 30 with 5 rules applied. Total rules applied 1023 place count 3054 transition count 9301
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 31 with 19 rules applied. Total rules applied 1042 place count 3054 transition count 9282
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 31 with 6 rules applied. Total rules applied 1048 place count 3051 transition count 9313
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 31 with 5 rules applied. Total rules applied 1053 place count 3051 transition count 9308
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 32 with 19 rules applied. Total rules applied 1072 place count 3051 transition count 9289
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 32 with 6 rules applied. Total rules applied 1078 place count 3048 transition count 9320
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 32 with 5 rules applied. Total rules applied 1083 place count 3048 transition count 9315
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 33 with 19 rules applied. Total rules applied 1102 place count 3048 transition count 9296
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 33 with 6 rules applied. Total rules applied 1108 place count 3045 transition count 9327
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 33 with 5 rules applied. Total rules applied 1113 place count 3045 transition count 9322
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 34 with 19 rules applied. Total rules applied 1132 place count 3045 transition count 9303
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 34 with 6 rules applied. Total rules applied 1138 place count 3042 transition count 9334
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 34 with 5 rules applied. Total rules applied 1143 place count 3042 transition count 9329
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 35 with 19 rules applied. Total rules applied 1162 place count 3042 transition count 9310
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 35 with 6 rules applied. Total rules applied 1168 place count 3039 transition count 9341
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 35 with 5 rules applied. Total rules applied 1173 place count 3039 transition count 9336
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 36 with 19 rules applied. Total rules applied 1192 place count 3039 transition count 9317
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 36 with 6 rules applied. Total rules applied 1198 place count 3036 transition count 9348
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 36 with 5 rules applied. Total rules applied 1203 place count 3036 transition count 9343
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 37 with 19 rules applied. Total rules applied 1222 place count 3036 transition count 9324
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 37 with 6 rules applied. Total rules applied 1228 place count 3033 transition count 9355
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 37 with 5 rules applied. Total rules applied 1233 place count 3033 transition count 9350
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 38 with 19 rules applied. Total rules applied 1252 place count 3033 transition count 9331
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 38 with 6 rules applied. Total rules applied 1258 place count 3030 transition count 9362
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 38 with 5 rules applied. Total rules applied 1263 place count 3030 transition count 9357
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 39 with 19 rules applied. Total rules applied 1282 place count 3030 transition count 9338
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 39 with 6 rules applied. Total rules applied 1288 place count 3027 transition count 9369
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 39 with 5 rules applied. Total rules applied 1293 place count 3027 transition count 9364
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 40 with 19 rules applied. Total rules applied 1312 place count 3027 transition count 9345
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 40 with 6 rules applied. Total rules applied 1318 place count 3024 transition count 9374
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 40 with 4 rules applied. Total rules applied 1322 place count 3024 transition count 9370
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 41 with 19 rules applied. Total rules applied 1341 place count 3024 transition count 9351
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 41 with 6 rules applied. Total rules applied 1347 place count 3021 transition count 9382
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 41 with 5 rules applied. Total rules applied 1352 place count 3021 transition count 9377
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 42 with 19 rules applied. Total rules applied 1371 place count 3021 transition count 9358
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 42 with 6 rules applied. Total rules applied 1377 place count 3018 transition count 9389
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 42 with 5 rules applied. Total rules applied 1382 place count 3018 transition count 9384
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 43 with 19 rules applied. Total rules applied 1401 place count 3018 transition count 9365
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 43 with 6 rules applied. Total rules applied 1407 place count 3015 transition count 9396
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 43 with 5 rules applied. Total rules applied 1412 place count 3015 transition count 9391
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 44 with 19 rules applied. Total rules applied 1431 place count 3015 transition count 9372
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 44 with 6 rules applied. Total rules applied 1437 place count 3012 transition count 9403
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 44 with 5 rules applied. Total rules applied 1442 place count 3012 transition count 9398
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 45 with 19 rules applied. Total rules applied 1461 place count 3012 transition count 9379
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 45 with 6 rules applied. Total rules applied 1467 place count 3009 transition count 9410
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 45 with 5 rules applied. Total rules applied 1472 place count 3009 transition count 9405
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 46 with 19 rules applied. Total rules applied 1491 place count 3009 transition count 9386
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 46 with 6 rules applied. Total rules applied 1497 place count 3006 transition count 9417
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 46 with 5 rules applied. Total rules applied 1502 place count 3006 transition count 9412
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 47 with 19 rules applied. Total rules applied 1521 place count 3006 transition count 9393
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 47 with 6 rules applied. Total rules applied 1527 place count 3003 transition count 9424
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 47 with 5 rules applied. Total rules applied 1532 place count 3003 transition count 9419
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 48 with 19 rules applied. Total rules applied 1551 place count 3003 transition count 9400
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 48 with 6 rules applied. Total rules applied 1557 place count 3000 transition count 9431
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 48 with 5 rules applied. Total rules applied 1562 place count 3000 transition count 9426
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 49 with 19 rules applied. Total rules applied 1581 place count 3000 transition count 9407
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 49 with 6 rules applied. Total rules applied 1587 place count 2997 transition count 9438
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 49 with 5 rules applied. Total rules applied 1592 place count 2997 transition count 9433
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 50 with 19 rules applied. Total rules applied 1611 place count 2997 transition count 9414
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 50 with 6 rules applied. Total rules applied 1617 place count 2994 transition count 9445
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 50 with 5 rules applied. Total rules applied 1622 place count 2994 transition count 9440
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 51 with 19 rules applied. Total rules applied 1641 place count 2994 transition count 9421
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 51 with 6 rules applied. Total rules applied 1647 place count 2991 transition count 9452
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 51 with 5 rules applied. Total rules applied 1652 place count 2991 transition count 9447
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 52 with 19 rules applied. Total rules applied 1671 place count 2991 transition count 9428
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 52 with 6 rules applied. Total rules applied 1677 place count 2988 transition count 9459
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 52 with 5 rules applied. Total rules applied 1682 place count 2988 transition count 9454
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 53 with 19 rules applied. Total rules applied 1701 place count 2988 transition count 9435
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 53 with 6 rules applied. Total rules applied 1707 place count 2985 transition count 9466
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 53 with 5 rules applied. Total rules applied 1712 place count 2985 transition count 9461
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 54 with 19 rules applied. Total rules applied 1731 place count 2985 transition count 9442
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 54 with 6 rules applied. Total rules applied 1737 place count 2982 transition count 9473
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 54 with 5 rules applied. Total rules applied 1742 place count 2982 transition count 9468
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 55 with 19 rules applied. Total rules applied 1761 place count 2982 transition count 9449
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 55 with 6 rules applied. Total rules applied 1767 place count 2979 transition count 9478
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 55 with 4 rules applied. Total rules applied 1771 place count 2979 transition count 9474
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 56 with 19 rules applied. Total rules applied 1790 place count 2979 transition count 9455
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 56 with 6 rules applied. Total rules applied 1796 place count 2976 transition count 9486
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 56 with 5 rules applied. Total rules applied 1801 place count 2976 transition count 9481
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 57 with 19 rules applied. Total rules applied 1820 place count 2976 transition count 9462
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 57 with 6 rules applied. Total rules applied 1826 place count 2973 transition count 9493
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 57 with 5 rules applied. Total rules applied 1831 place count 2973 transition count 9488
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 58 with 19 rules applied. Total rules applied 1850 place count 2973 transition count 9469
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -32
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 58 with 6 rules applied. Total rules applied 1856 place count 2970 transition count 9501
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 58 with 5 rules applied. Total rules applied 1861 place count 2970 transition count 9496
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 59 with 19 rules applied. Total rules applied 1880 place count 2970 transition count 9477
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 59 with 6 rules applied. Total rules applied 1886 place count 2967 transition count 9510
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 59 with 5 rules applied. Total rules applied 1891 place count 2967 transition count 9505
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 60 with 19 rules applied. Total rules applied 1910 place count 2967 transition count 9486
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 60 with 6 rules applied. Total rules applied 1916 place count 2964 transition count 9519
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 60 with 5 rules applied. Total rules applied 1921 place count 2964 transition count 9514
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 61 with 19 rules applied. Total rules applied 1940 place count 2964 transition count 9495
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -32
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 61 with 6 rules applied. Total rules applied 1946 place count 2961 transition count 9527
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 61 with 5 rules applied. Total rules applied 1951 place count 2961 transition count 9522
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 62 with 19 rules applied. Total rules applied 1970 place count 2961 transition count 9503
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 62 with 6 rules applied. Total rules applied 1976 place count 2958 transition count 9536
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 62 with 5 rules applied. Total rules applied 1981 place count 2958 transition count 9531
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 63 with 19 rules applied. Total rules applied 2000 place count 2958 transition count 9512
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 63 with 6 rules applied. Total rules applied 2006 place count 2955 transition count 9545
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 63 with 5 rules applied. Total rules applied 2011 place count 2955 transition count 9540
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 64 with 19 rules applied. Total rules applied 2030 place count 2955 transition count 9521
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 64 with 6 rules applied. Total rules applied 2036 place count 2952 transition count 9554
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 64 with 5 rules applied. Total rules applied 2041 place count 2952 transition count 9549
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 65 with 19 rules applied. Total rules applied 2060 place count 2952 transition count 9530
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 65 with 6 rules applied. Total rules applied 2066 place count 2949 transition count 9563
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 65 with 5 rules applied. Total rules applied 2071 place count 2949 transition count 9558
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 66 with 19 rules applied. Total rules applied 2090 place count 2949 transition count 9539
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 66 with 6 rules applied. Total rules applied 2096 place count 2946 transition count 9570
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 66 with 4 rules applied. Total rules applied 2100 place count 2946 transition count 9566
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 67 with 19 rules applied. Total rules applied 2119 place count 2946 transition count 9547
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 67 with 6 rules applied. Total rules applied 2125 place count 2943 transition count 9580
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 67 with 5 rules applied. Total rules applied 2130 place count 2943 transition count 9575
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 68 with 19 rules applied. Total rules applied 2149 place count 2943 transition count 9556
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 68 with 6 rules applied. Total rules applied 2155 place count 2940 transition count 9589
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 68 with 5 rules applied. Total rules applied 2160 place count 2940 transition count 9584
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 69 with 19 rules applied. Total rules applied 2179 place count 2940 transition count 9565
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 69 with 6 rules applied. Total rules applied 2185 place count 2937 transition count 9598
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 69 with 5 rules applied. Total rules applied 2190 place count 2937 transition count 9593
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 70 with 19 rules applied. Total rules applied 2209 place count 2937 transition count 9574
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 70 with 6 rules applied. Total rules applied 2215 place count 2934 transition count 9607
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 70 with 5 rules applied. Total rules applied 2220 place count 2934 transition count 9602
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 71 with 19 rules applied. Total rules applied 2239 place count 2934 transition count 9583
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 71 with 6 rules applied. Total rules applied 2245 place count 2931 transition count 9616
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 71 with 5 rules applied. Total rules applied 2250 place count 2931 transition count 9611
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 72 with 19 rules applied. Total rules applied 2269 place count 2931 transition count 9592
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 72 with 6 rules applied. Total rules applied 2275 place count 2928 transition count 9625
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 72 with 5 rules applied. Total rules applied 2280 place count 2928 transition count 9620
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 73 with 19 rules applied. Total rules applied 2299 place count 2928 transition count 9601
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 73 with 6 rules applied. Total rules applied 2305 place count 2925 transition count 9634
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 73 with 5 rules applied. Total rules applied 2310 place count 2925 transition count 9629
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 74 with 19 rules applied. Total rules applied 2329 place count 2925 transition count 9610
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 74 with 6 rules applied. Total rules applied 2335 place count 2922 transition count 9643
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 74 with 5 rules applied. Total rules applied 2340 place count 2922 transition count 9638
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 75 with 19 rules applied. Total rules applied 2359 place count 2922 transition count 9619
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 75 with 6 rules applied. Total rules applied 2365 place count 2919 transition count 9650
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 75 with 4 rules applied. Total rules applied 2369 place count 2919 transition count 9646
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 76 with 19 rules applied. Total rules applied 2388 place count 2919 transition count 9627
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 76 with 6 rules applied. Total rules applied 2394 place count 2916 transition count 9660
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 76 with 5 rules applied. Total rules applied 2399 place count 2916 transition count 9655
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 77 with 19 rules applied. Total rules applied 2418 place count 2916 transition count 9636
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 77 with 6 rules applied. Total rules applied 2424 place count 2913 transition count 9669
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 77 with 5 rules applied. Total rules applied 2429 place count 2913 transition count 9664
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 78 with 19 rules applied. Total rules applied 2448 place count 2913 transition count 9645
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 78 with 6 rules applied. Total rules applied 2454 place count 2910 transition count 9678
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 78 with 5 rules applied. Total rules applied 2459 place count 2910 transition count 9673
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 79 with 19 rules applied. Total rules applied 2478 place count 2910 transition count 9654
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 79 with 6 rules applied. Total rules applied 2484 place count 2907 transition count 9687
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 79 with 5 rules applied. Total rules applied 2489 place count 2907 transition count 9682
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 80 with 19 rules applied. Total rules applied 2508 place count 2907 transition count 9663
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 80 with 6 rules applied. Total rules applied 2514 place count 2904 transition count 9696
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 80 with 5 rules applied. Total rules applied 2519 place count 2904 transition count 9691
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 81 with 19 rules applied. Total rules applied 2538 place count 2904 transition count 9672
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 81 with 6 rules applied. Total rules applied 2544 place count 2901 transition count 9705
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 81 with 5 rules applied. Total rules applied 2549 place count 2901 transition count 9700
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 82 with 19 rules applied. Total rules applied 2568 place count 2901 transition count 9681
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -33
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 82 with 6 rules applied. Total rules applied 2574 place count 2898 transition count 9714
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 82 with 5 rules applied. Total rules applied 2579 place count 2898 transition count 9709
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 83 with 19 rules applied. Total rules applied 2598 place count 2898 transition count 9690
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -31
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 83 with 6 rules applied. Total rules applied 2604 place count 2895 transition count 9721
Drop transitions removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 83 with 5 rules applied. Total rules applied 2609 place count 2895 transition count 9716
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 84 with 19 rules applied. Total rules applied 2628 place count 2895 transition count 9697
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 84 with 6 rules applied. Total rules applied 2634 place count 2892 transition count 9727
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 84 with 3 rules applied. Total rules applied 2637 place count 2892 transition count 9724
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 85 with 19 rules applied. Total rules applied 2656 place count 2892 transition count 9705
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 85 with 6 rules applied. Total rules applied 2662 place count 2889 transition count 9735
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 85 with 3 rules applied. Total rules applied 2665 place count 2889 transition count 9732
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 86 with 19 rules applied. Total rules applied 2684 place count 2889 transition count 9713
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 86 with 6 rules applied. Total rules applied 2690 place count 2886 transition count 9743
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 86 with 3 rules applied. Total rules applied 2693 place count 2886 transition count 9740
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 87 with 19 rules applied. Total rules applied 2712 place count 2886 transition count 9721
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 87 with 6 rules applied. Total rules applied 2718 place count 2883 transition count 9750
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 87 with 3 rules applied. Total rules applied 2721 place count 2883 transition count 9747
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 88 with 19 rules applied. Total rules applied 2740 place count 2883 transition count 9728
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 88 with 6 rules applied. Total rules applied 2746 place count 2880 transition count 9757
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 88 with 3 rules applied. Total rules applied 2749 place count 2880 transition count 9754
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 89 with 19 rules applied. Total rules applied 2768 place count 2880 transition count 9735
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 89 with 6 rules applied. Total rules applied 2774 place count 2877 transition count 9764
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 89 with 3 rules applied. Total rules applied 2777 place count 2877 transition count 9761
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 90 with 19 rules applied. Total rules applied 2796 place count 2877 transition count 9742
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 90 with 6 rules applied. Total rules applied 2802 place count 2874 transition count 9771
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 90 with 3 rules applied. Total rules applied 2805 place count 2874 transition count 9768
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 91 with 19 rules applied. Total rules applied 2824 place count 2874 transition count 9749
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 91 with 6 rules applied. Total rules applied 2830 place count 2871 transition count 9778
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 91 with 3 rules applied. Total rules applied 2833 place count 2871 transition count 9775
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 92 with 19 rules applied. Total rules applied 2852 place count 2871 transition count 9756
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 92 with 6 rules applied. Total rules applied 2858 place count 2868 transition count 9785
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 92 with 3 rules applied. Total rules applied 2861 place count 2868 transition count 9782
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 93 with 19 rules applied. Total rules applied 2880 place count 2868 transition count 9763
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 93 with 6 rules applied. Total rules applied 2886 place count 2865 transition count 9792
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 93 with 3 rules applied. Total rules applied 2889 place count 2865 transition count 9789
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 94 with 19 rules applied. Total rules applied 2908 place count 2865 transition count 9770
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 94 with 6 rules applied. Total rules applied 2914 place count 2862 transition count 9800
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 94 with 3 rules applied. Total rules applied 2917 place count 2862 transition count 9797
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 95 with 19 rules applied. Total rules applied 2936 place count 2862 transition count 9778
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -30
Deduced a syphon composed of 3 places in 2 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 95 with 6 rules applied. Total rules applied 2942 place count 2859 transition count 9808
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 95 with 3 rules applied. Total rules applied 2945 place count 2859 transition count 9805
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 96 with 19 rules applied. Total rules applied 2964 place count 2859 transition count 9786
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -29
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 96 with 6 rules applied. Total rules applied 2970 place count 2856 transition count 9815
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 96 with 3 rules applied. Total rules applied 2973 place count 2856 transition count 9812
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 97 with 19 rules applied. Total rules applied 2992 place count 2856 transition count 9793
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 97 with 4 rules applied. Total rules applied 2996 place count 2854 transition count 9811
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 97 with 2 rules applied. Total rules applied 2998 place count 2854 transition count 9809
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 98 with 10 rules applied. Total rules applied 3008 place count 2854 transition count 9799
Free-agglomeration rule applied 575 times with reduction of 19 identical transitions.
Iterating global reduction 98 with 575 rules applied. Total rules applied 3583 place count 2854 transition count 9205
Reduce places removed 575 places and 0 transitions.
Drop transitions removed 600 transitions
Ensure Unique test removed 27 transitions
Reduce isomorphic transitions removed 627 transitions.
Iterating post reduction 98 with 1202 rules applied. Total rules applied 4785 place count 2279 transition count 8578
Drop transitions removed 199 transitions
Redundant transition composition rules discarded 199 transitions
Iterating global reduction 99 with 199 rules applied. Total rules applied 4984 place count 2279 transition count 8379
Applied a total of 4984 rules in 60926 ms. Remains 2279 /3162 variables (removed 883) and now considering 8379/9407 (removed 1028) transitions.
Finished structural reductions, in 1 iterations. Remains : 2279/3162 places, 8379/9407 transitions.
Finished random walk after 158670 steps, including 0 resets, run visited all 995 properties in 16681 ms. (steps per millisecond=9 )
Able to resolve query QuasiLiveness after proving 6388 properties.
FORMULA QuasiLiveness TRUE TECHNIQUES RANDOM_WALK TOPOLOGICAL INITIAL_STATE
Total runtime 127848 ms.

BK_STOP 1652565644873

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is DLCflexbar-PT-5b, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r067-tall-165254777900037"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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