Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.8M
-rw-r--r-- 1 mcc users 16K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 135K May 5 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.2K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 75K May 5 16:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Mar 28 15:57 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 28 15:57 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 15:57 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 15:57 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 23 03:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 23 03:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 22 13:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 22 13:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 09:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 09:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 3 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 6.5M May 5 16:51 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME QuasiLiveness

=== Now, execution of the tool begins

BK_START 1620478164116

Running Version 0
[2021-05-08 12:49:25] [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]
[2021-05-08 12:49:25] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-08 12:49:26] [INFO ] Load time of PNML (sax parser for PT used): 510 ms
[2021-05-08 12:49:26] [INFO ] Transformed 17305 places.
[2021-05-08 12:49:26] [INFO ] Transformed 26483 transitions.
[2021-05-08 12:49:26] [INFO ] Found NUPN structural information;
[2021-05-08 12:49:26] [INFO ] Parsed PT model containing 17305 places and 26483 transitions in 1320 ms.
Starting structural reductions, 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 54 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 519 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 377 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 2 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 2 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 4908 ms. Remains 3162 /17305 variables (removed 14143) and now considering 9407/26483 (removed 17076) transitions.
[2021-05-08 12:49:31] [INFO ] Flow matrix only has 8872 transitions (discarded 535 similar events)
// Phase 1: matrix 8872 rows 3162 cols
[2021-05-08 12:49:32] [INFO ] Computed 979 place invariants in 64 ms
[2021-05-08 12:49:33] [INFO ] Implicit Places using invariants in 1942 ms returned []
[2021-05-08 12:49:33] [INFO ] Flow matrix only has 8872 transitions (discarded 535 similar events)
// Phase 1: matrix 8872 rows 3162 cols
[2021-05-08 12:49:33] [INFO ] Computed 979 place invariants in 29 ms
[2021-05-08 12:49:37] [INFO ] Implicit Places using invariants and state equation in 3694 ms returned []
Implicit Place search using SMT with State Equation took 5662 ms to find 0 implicit places.
[2021-05-08 12:49:37] [INFO ] Flow matrix only has 8872 transitions (discarded 535 similar events)
// Phase 1: matrix 8872 rows 3162 cols
[2021-05-08 12:49:37] [INFO ] Computed 979 place invariants in 29 ms
[2021-05-08 12:49:42] [INFO ] Dead Transitions using invariants and state equation in 4788 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3162/17305 places, 9407/26483 transitions.
Discarding 3019 transitions out of 9407. Remains 6388
[2021-05-08 12:49:42] [INFO ] Initial state test concluded for 1 properties.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 3991 ms. (steps per millisecond=2 ) properties (out of 6387) seen :5381
Running SMT prover for 1006 properties.
[2021-05-08 12:49:46] [INFO ] Flow matrix only has 8872 transitions (discarded 535 similar events)
// Phase 1: matrix 8872 rows 3162 cols
[2021-05-08 12:49:46] [INFO ] Computed 979 place invariants in 25 ms
[2021-05-08 12:50:11] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 1006 Parikh solutions to 1 different solutions.
Support contains 1031 out of 3162 places. Attempting structural reductions.
Starting structural reductions, 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 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 179 place count 3146 transition count 9163
Iterating global reduction 2 with 1 rules applied. Total rules applied 180 place count 3146 transition count 9163
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 181 place count 3146 transition count 9162
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 183 place count 3145 transition count 9161
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -37
Deduced a syphon composed of 4 places in 2 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 3 with 8 rules applied. Total rules applied 191 place count 3141 transition count 9198
Drop transitions removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 3 with 10 rules applied. Total rules applied 201 place count 3141 transition count 9188
Drop transitions removed 17 transitions
Redundant transition composition rules discarded 17 transitions
Iterating global reduction 4 with 17 rules applied. Total rules applied 218 place count 3141 transition count 9171
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -22
Deduced a syphon composed of 2 places in 31 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 4 with 4 rules applied. Total rules applied 222 place count 3139 transition count 9193
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 4 with 3 rules applied. Total rules applied 225 place count 3139 transition count 9190
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 5 with 15 rules applied. Total rules applied 240 place count 3139 transition count 9175
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 5 with 4 rules applied. Total rules applied 244 place count 3137 transition count 9199
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 5 with 4 rules applied. Total rules applied 248 place count 3137 transition count 9195
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 6 with 15 rules applied. Total rules applied 263 place count 3137 transition count 9180
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 6 with 4 rules applied. Total rules applied 267 place count 3135 transition count 9204
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 6 with 4 rules applied. Total rules applied 271 place count 3135 transition count 9200
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 7 with 15 rules applied. Total rules applied 286 place count 3135 transition count 9185
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 7 with 4 rules applied. Total rules applied 290 place count 3133 transition count 9209
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 7 with 4 rules applied. Total rules applied 294 place count 3133 transition count 9205
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 8 with 15 rules applied. Total rules applied 309 place count 3133 transition count 9190
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 8 with 4 rules applied. Total rules applied 313 place count 3131 transition count 9214
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 8 with 4 rules applied. Total rules applied 317 place count 3131 transition count 9210
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 9 with 15 rules applied. Total rules applied 332 place count 3131 transition count 9195
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 9 with 4 rules applied. Total rules applied 336 place count 3129 transition count 9219
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 9 with 4 rules applied. Total rules applied 340 place count 3129 transition count 9215
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 10 with 15 rules applied. Total rules applied 355 place count 3129 transition count 9200
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 10 with 4 rules applied. Total rules applied 359 place count 3127 transition count 9224
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 10 with 4 rules applied. Total rules applied 363 place count 3127 transition count 9220
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 11 with 15 rules applied. Total rules applied 378 place count 3127 transition count 9205
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 11 with 4 rules applied. Total rules applied 382 place count 3125 transition count 9229
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 11 with 4 rules applied. Total rules applied 386 place count 3125 transition count 9225
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 12 with 15 rules applied. Total rules applied 401 place count 3125 transition count 9210
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 12 with 4 rules applied. Total rules applied 405 place count 3123 transition count 9234
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 12 with 4 rules applied. Total rules applied 409 place count 3123 transition count 9230
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 13 with 15 rules applied. Total rules applied 424 place count 3123 transition count 9215
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 13 with 4 rules applied. Total rules applied 428 place count 3121 transition count 9239
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 13 with 4 rules applied. Total rules applied 432 place count 3121 transition count 9235
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 14 with 15 rules applied. Total rules applied 447 place count 3121 transition count 9220
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 14 with 4 rules applied. Total rules applied 451 place count 3119 transition count 9244
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 14 with 4 rules applied. Total rules applied 455 place count 3119 transition count 9240
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 15 with 15 rules applied. Total rules applied 470 place count 3119 transition count 9225
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 15 with 4 rules applied. Total rules applied 474 place count 3117 transition count 9249
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 15 with 4 rules applied. Total rules applied 478 place count 3117 transition count 9245
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 16 with 15 rules applied. Total rules applied 493 place count 3117 transition count 9230
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 16 with 4 rules applied. Total rules applied 497 place count 3115 transition count 9254
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 16 with 4 rules applied. Total rules applied 501 place count 3115 transition count 9250
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 17 with 15 rules applied. Total rules applied 516 place count 3115 transition count 9235
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -22
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 17 with 4 rules applied. Total rules applied 520 place count 3113 transition count 9257
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 17 with 3 rules applied. Total rules applied 523 place count 3113 transition count 9254
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 18 with 15 rules applied. Total rules applied 538 place count 3113 transition count 9239
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 18 with 4 rules applied. Total rules applied 542 place count 3111 transition count 9263
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 18 with 4 rules applied. Total rules applied 546 place count 3111 transition count 9259
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 19 with 15 rules applied. Total rules applied 561 place count 3111 transition count 9244
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 19 with 4 rules applied. Total rules applied 565 place count 3109 transition count 9268
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 19 with 4 rules applied. Total rules applied 569 place count 3109 transition count 9264
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 20 with 15 rules applied. Total rules applied 584 place count 3109 transition count 9249
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 20 with 4 rules applied. Total rules applied 588 place count 3107 transition count 9273
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 20 with 4 rules applied. Total rules applied 592 place count 3107 transition count 9269
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 21 with 15 rules applied. Total rules applied 607 place count 3107 transition count 9254
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 21 with 4 rules applied. Total rules applied 611 place count 3105 transition count 9278
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 21 with 4 rules applied. Total rules applied 615 place count 3105 transition count 9274
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 22 with 15 rules applied. Total rules applied 630 place count 3105 transition count 9259
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 22 with 4 rules applied. Total rules applied 634 place count 3103 transition count 9283
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 22 with 4 rules applied. Total rules applied 638 place count 3103 transition count 9279
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 23 with 15 rules applied. Total rules applied 653 place count 3103 transition count 9264
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 23 with 4 rules applied. Total rules applied 657 place count 3101 transition count 9288
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 23 with 4 rules applied. Total rules applied 661 place count 3101 transition count 9284
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 24 with 15 rules applied. Total rules applied 676 place count 3101 transition count 9269
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 24 with 4 rules applied. Total rules applied 680 place count 3099 transition count 9293
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 24 with 4 rules applied. Total rules applied 684 place count 3099 transition count 9289
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 25 with 15 rules applied. Total rules applied 699 place count 3099 transition count 9274
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 25 with 4 rules applied. Total rules applied 703 place count 3097 transition count 9298
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 25 with 4 rules applied. Total rules applied 707 place count 3097 transition count 9294
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 26 with 15 rules applied. Total rules applied 722 place count 3097 transition count 9279
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 26 with 4 rules applied. Total rules applied 726 place count 3095 transition count 9303
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 26 with 4 rules applied. Total rules applied 730 place count 3095 transition count 9299
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 27 with 15 rules applied. Total rules applied 745 place count 3095 transition count 9284
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 27 with 4 rules applied. Total rules applied 749 place count 3093 transition count 9308
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 27 with 4 rules applied. Total rules applied 753 place count 3093 transition count 9304
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 28 with 15 rules applied. Total rules applied 768 place count 3093 transition count 9289
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 28 with 4 rules applied. Total rules applied 772 place count 3091 transition count 9313
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 28 with 4 rules applied. Total rules applied 776 place count 3091 transition count 9309
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 29 with 15 rules applied. Total rules applied 791 place count 3091 transition count 9294
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 29 with 4 rules applied. Total rules applied 795 place count 3089 transition count 9318
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 29 with 4 rules applied. Total rules applied 799 place count 3089 transition count 9314
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 30 with 15 rules applied. Total rules applied 814 place count 3089 transition count 9299
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 30 with 4 rules applied. Total rules applied 818 place count 3087 transition count 9323
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 30 with 4 rules applied. Total rules applied 822 place count 3087 transition count 9319
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 31 with 15 rules applied. Total rules applied 837 place count 3087 transition count 9304
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 31 with 4 rules applied. Total rules applied 841 place count 3085 transition count 9328
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 31 with 4 rules applied. Total rules applied 845 place count 3085 transition count 9324
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 32 with 15 rules applied. Total rules applied 860 place count 3085 transition count 9309
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 32 with 4 rules applied. Total rules applied 864 place count 3083 transition count 9333
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 32 with 4 rules applied. Total rules applied 868 place count 3083 transition count 9329
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 33 with 15 rules applied. Total rules applied 883 place count 3083 transition count 9314
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 33 with 4 rules applied. Total rules applied 887 place count 3081 transition count 9338
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 33 with 4 rules applied. Total rules applied 891 place count 3081 transition count 9334
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 34 with 15 rules applied. Total rules applied 906 place count 3081 transition count 9319
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 34 with 4 rules applied. Total rules applied 910 place count 3079 transition count 9343
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 34 with 4 rules applied. Total rules applied 914 place count 3079 transition count 9339
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 35 with 15 rules applied. Total rules applied 929 place count 3079 transition count 9324
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -22
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 933 place count 3077 transition count 9346
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 35 with 3 rules applied. Total rules applied 936 place count 3077 transition count 9343
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 36 with 15 rules applied. Total rules applied 951 place count 3077 transition count 9328
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
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 955 place count 3075 transition count 9352
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 36 with 4 rules applied. Total rules applied 959 place count 3075 transition count 9348
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 37 with 15 rules applied. Total rules applied 974 place count 3075 transition count 9333
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 37 with 4 rules applied. Total rules applied 978 place count 3073 transition count 9357
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 37 with 4 rules applied. Total rules applied 982 place count 3073 transition count 9353
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 38 with 15 rules applied. Total rules applied 997 place count 3073 transition count 9338
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 38 with 4 rules applied. Total rules applied 1001 place count 3071 transition count 9362
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 38 with 4 rules applied. Total rules applied 1005 place count 3071 transition count 9358
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 39 with 15 rules applied. Total rules applied 1020 place count 3071 transition count 9343
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 39 with 4 rules applied. Total rules applied 1024 place count 3069 transition count 9367
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 39 with 4 rules applied. Total rules applied 1028 place count 3069 transition count 9363
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 40 with 15 rules applied. Total rules applied 1043 place count 3069 transition count 9348
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 40 with 4 rules applied. Total rules applied 1047 place count 3067 transition count 9372
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 40 with 4 rules applied. Total rules applied 1051 place count 3067 transition count 9368
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 41 with 15 rules applied. Total rules applied 1066 place count 3067 transition count 9353
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 41 with 4 rules applied. Total rules applied 1070 place count 3065 transition count 9377
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 41 with 4 rules applied. Total rules applied 1074 place count 3065 transition count 9373
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 42 with 15 rules applied. Total rules applied 1089 place count 3065 transition count 9358
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 42 with 4 rules applied. Total rules applied 1093 place count 3063 transition count 9382
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 42 with 4 rules applied. Total rules applied 1097 place count 3063 transition count 9378
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 43 with 15 rules applied. Total rules applied 1112 place count 3063 transition count 9363
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 43 with 4 rules applied. Total rules applied 1116 place count 3061 transition count 9387
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 43 with 4 rules applied. Total rules applied 1120 place count 3061 transition count 9383
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 44 with 15 rules applied. Total rules applied 1135 place count 3061 transition count 9368
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 44 with 4 rules applied. Total rules applied 1139 place count 3059 transition count 9392
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 44 with 4 rules applied. Total rules applied 1143 place count 3059 transition count 9388
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 45 with 15 rules applied. Total rules applied 1158 place count 3059 transition count 9373
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 45 with 4 rules applied. Total rules applied 1162 place count 3057 transition count 9397
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 45 with 4 rules applied. Total rules applied 1166 place count 3057 transition count 9393
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 46 with 15 rules applied. Total rules applied 1181 place count 3057 transition count 9378
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 46 with 4 rules applied. Total rules applied 1185 place count 3055 transition count 9402
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 46 with 4 rules applied. Total rules applied 1189 place count 3055 transition count 9398
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 47 with 15 rules applied. Total rules applied 1204 place count 3055 transition count 9383
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 47 with 4 rules applied. Total rules applied 1208 place count 3053 transition count 9407
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 47 with 4 rules applied. Total rules applied 1212 place count 3053 transition count 9403
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 48 with 15 rules applied. Total rules applied 1227 place count 3053 transition count 9388
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 48 with 4 rules applied. Total rules applied 1231 place count 3051 transition count 9412
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 48 with 4 rules applied. Total rules applied 1235 place count 3051 transition count 9408
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 49 with 15 rules applied. Total rules applied 1250 place count 3051 transition count 9393
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -22
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 49 with 4 rules applied. Total rules applied 1254 place count 3049 transition count 9415
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 49 with 3 rules applied. Total rules applied 1257 place count 3049 transition count 9412
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 50 with 15 rules applied. Total rules applied 1272 place count 3049 transition count 9397
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 50 with 4 rules applied. Total rules applied 1276 place count 3047 transition count 9421
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 50 with 4 rules applied. Total rules applied 1280 place count 3047 transition count 9417
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 51 with 15 rules applied. Total rules applied 1295 place count 3047 transition count 9402
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 51 with 4 rules applied. Total rules applied 1299 place count 3045 transition count 9426
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 51 with 4 rules applied. Total rules applied 1303 place count 3045 transition count 9422
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 52 with 15 rules applied. Total rules applied 1318 place count 3045 transition count 9407
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 52 with 4 rules applied. Total rules applied 1322 place count 3043 transition count 9431
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 52 with 4 rules applied. Total rules applied 1326 place count 3043 transition count 9427
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 53 with 15 rules applied. Total rules applied 1341 place count 3043 transition count 9412
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 53 with 4 rules applied. Total rules applied 1345 place count 3041 transition count 9436
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 53 with 4 rules applied. Total rules applied 1349 place count 3041 transition count 9432
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 54 with 15 rules applied. Total rules applied 1364 place count 3041 transition count 9417
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 54 with 4 rules applied. Total rules applied 1368 place count 3039 transition count 9441
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 54 with 4 rules applied. Total rules applied 1372 place count 3039 transition count 9437
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 55 with 15 rules applied. Total rules applied 1387 place count 3039 transition count 9422
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 55 with 4 rules applied. Total rules applied 1391 place count 3037 transition count 9446
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 55 with 4 rules applied. Total rules applied 1395 place count 3037 transition count 9442
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 56 with 15 rules applied. Total rules applied 1410 place count 3037 transition count 9427
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 56 with 4 rules applied. Total rules applied 1414 place count 3035 transition count 9451
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 56 with 4 rules applied. Total rules applied 1418 place count 3035 transition count 9447
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 57 with 15 rules applied. Total rules applied 1433 place count 3035 transition count 9432
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 57 with 4 rules applied. Total rules applied 1437 place count 3033 transition count 9456
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 57 with 4 rules applied. Total rules applied 1441 place count 3033 transition count 9452
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 58 with 15 rules applied. Total rules applied 1456 place count 3033 transition count 9437
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 58 with 4 rules applied. Total rules applied 1460 place count 3031 transition count 9461
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 58 with 4 rules applied. Total rules applied 1464 place count 3031 transition count 9457
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 59 with 15 rules applied. Total rules applied 1479 place count 3031 transition count 9442
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 59 with 4 rules applied. Total rules applied 1483 place count 3029 transition count 9466
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 59 with 4 rules applied. Total rules applied 1487 place count 3029 transition count 9462
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 60 with 15 rules applied. Total rules applied 1502 place count 3029 transition count 9447
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 60 with 4 rules applied. Total rules applied 1506 place count 3027 transition count 9471
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 60 with 4 rules applied. Total rules applied 1510 place count 3027 transition count 9467
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 61 with 15 rules applied. Total rules applied 1525 place count 3027 transition count 9452
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 61 with 4 rules applied. Total rules applied 1529 place count 3025 transition count 9476
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 61 with 4 rules applied. Total rules applied 1533 place count 3025 transition count 9472
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 62 with 15 rules applied. Total rules applied 1548 place count 3025 transition count 9457
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -22
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 62 with 4 rules applied. Total rules applied 1552 place count 3023 transition count 9479
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 62 with 3 rules applied. Total rules applied 1555 place count 3023 transition count 9476
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 63 with 15 rules applied. Total rules applied 1570 place count 3023 transition count 9461
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 63 with 4 rules applied. Total rules applied 1574 place count 3021 transition count 9485
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 63 with 4 rules applied. Total rules applied 1578 place count 3021 transition count 9481
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 64 with 15 rules applied. Total rules applied 1593 place count 3021 transition count 9466
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 64 with 4 rules applied. Total rules applied 1597 place count 3019 transition count 9490
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 64 with 4 rules applied. Total rules applied 1601 place count 3019 transition count 9486
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 65 with 15 rules applied. Total rules applied 1616 place count 3019 transition count 9471
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 65 with 4 rules applied. Total rules applied 1620 place count 3017 transition count 9495
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 65 with 4 rules applied. Total rules applied 1624 place count 3017 transition count 9491
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 66 with 15 rules applied. Total rules applied 1639 place count 3017 transition count 9476
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 66 with 4 rules applied. Total rules applied 1643 place count 3015 transition count 9500
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 66 with 4 rules applied. Total rules applied 1647 place count 3015 transition count 9496
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 67 with 15 rules applied. Total rules applied 1662 place count 3015 transition count 9481
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 67 with 4 rules applied. Total rules applied 1666 place count 3013 transition count 9505
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 67 with 4 rules applied. Total rules applied 1670 place count 3013 transition count 9501
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 68 with 15 rules applied. Total rules applied 1685 place count 3013 transition count 9486
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 68 with 4 rules applied. Total rules applied 1689 place count 3011 transition count 9510
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 68 with 4 rules applied. Total rules applied 1693 place count 3011 transition count 9506
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 69 with 15 rules applied. Total rules applied 1708 place count 3011 transition count 9491
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 69 with 4 rules applied. Total rules applied 1712 place count 3009 transition count 9515
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 69 with 4 rules applied. Total rules applied 1716 place count 3009 transition count 9511
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 70 with 15 rules applied. Total rules applied 1731 place count 3009 transition count 9496
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 70 with 4 rules applied. Total rules applied 1735 place count 3007 transition count 9520
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 70 with 4 rules applied. Total rules applied 1739 place count 3007 transition count 9516
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 71 with 15 rules applied. Total rules applied 1754 place count 3007 transition count 9501
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 71 with 4 rules applied. Total rules applied 1758 place count 3005 transition count 9525
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 71 with 4 rules applied. Total rules applied 1762 place count 3005 transition count 9521
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 72 with 15 rules applied. Total rules applied 1777 place count 3005 transition count 9506
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 72 with 4 rules applied. Total rules applied 1781 place count 3003 transition count 9530
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 72 with 4 rules applied. Total rules applied 1785 place count 3003 transition count 9526
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 73 with 15 rules applied. Total rules applied 1800 place count 3003 transition count 9511
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 73 with 4 rules applied. Total rules applied 1804 place count 3001 transition count 9535
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 73 with 4 rules applied. Total rules applied 1808 place count 3001 transition count 9531
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 74 with 15 rules applied. Total rules applied 1823 place count 3001 transition count 9516
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 74 with 4 rules applied. Total rules applied 1827 place count 2999 transition count 9540
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 74 with 4 rules applied. Total rules applied 1831 place count 2999 transition count 9536
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 75 with 15 rules applied. Total rules applied 1846 place count 2999 transition count 9521
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -22
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 75 with 4 rules applied. Total rules applied 1850 place count 2997 transition count 9543
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 75 with 3 rules applied. Total rules applied 1853 place count 2997 transition count 9540
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 76 with 15 rules applied. Total rules applied 1868 place count 2997 transition count 9525
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 76 with 4 rules applied. Total rules applied 1872 place count 2995 transition count 9549
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 76 with 4 rules applied. Total rules applied 1876 place count 2995 transition count 9545
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 77 with 15 rules applied. Total rules applied 1891 place count 2995 transition count 9530
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 77 with 4 rules applied. Total rules applied 1895 place count 2993 transition count 9554
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 77 with 4 rules applied. Total rules applied 1899 place count 2993 transition count 9550
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 78 with 15 rules applied. Total rules applied 1914 place count 2993 transition count 9535
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 78 with 4 rules applied. Total rules applied 1918 place count 2991 transition count 9559
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 78 with 4 rules applied. Total rules applied 1922 place count 2991 transition count 9555
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 79 with 15 rules applied. Total rules applied 1937 place count 2991 transition count 9540
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 79 with 4 rules applied. Total rules applied 1941 place count 2989 transition count 9564
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 79 with 4 rules applied. Total rules applied 1945 place count 2989 transition count 9560
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 80 with 15 rules applied. Total rules applied 1960 place count 2989 transition count 9545
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 80 with 4 rules applied. Total rules applied 1964 place count 2987 transition count 9569
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 80 with 4 rules applied. Total rules applied 1968 place count 2987 transition count 9565
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 81 with 15 rules applied. Total rules applied 1983 place count 2987 transition count 9550
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 81 with 4 rules applied. Total rules applied 1987 place count 2985 transition count 9574
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 81 with 4 rules applied. Total rules applied 1991 place count 2985 transition count 9570
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 82 with 15 rules applied. Total rules applied 2006 place count 2985 transition count 9555
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 82 with 4 rules applied. Total rules applied 2010 place count 2983 transition count 9579
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 82 with 4 rules applied. Total rules applied 2014 place count 2983 transition count 9575
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 83 with 15 rules applied. Total rules applied 2029 place count 2983 transition count 9560
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 83 with 4 rules applied. Total rules applied 2033 place count 2981 transition count 9584
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 83 with 4 rules applied. Total rules applied 2037 place count 2981 transition count 9580
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 84 with 15 rules applied. Total rules applied 2052 place count 2981 transition count 9565
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 84 with 4 rules applied. Total rules applied 2056 place count 2979 transition count 9589
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 84 with 4 rules applied. Total rules applied 2060 place count 2979 transition count 9585
Renaming transitions due to excessive name length > 1024 char.
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 85 with 15 rules applied. Total rules applied 2075 place count 2979 transition count 9570
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -24
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 85 with 4 rules applied. Total rules applied 2079 place count 2977 transition count 9594
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 85 with 4 rules applied. Total rules applied 2083 place count 2977 transition count 9590
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 86 with 15 rules applied. Total rules applied 2098 place count 2977 transition count 9575
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 86 with 4 rules applied. Total rules applied 2102 place count 2975 transition count 9598
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 86 with 4 rules applied. Total rules applied 2106 place count 2975 transition count 9594
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 87 with 15 rules applied. Total rules applied 2121 place count 2975 transition count 9579
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 87 with 4 rules applied. Total rules applied 2125 place count 2973 transition count 9602
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 87 with 4 rules applied. Total rules applied 2129 place count 2973 transition count 9598
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 88 with 15 rules applied. Total rules applied 2144 place count 2973 transition count 9583
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 88 with 4 rules applied. Total rules applied 2148 place count 2971 transition count 9606
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 88 with 4 rules applied. Total rules applied 2152 place count 2971 transition count 9602
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 89 with 15 rules applied. Total rules applied 2167 place count 2971 transition count 9587
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 89 with 4 rules applied. Total rules applied 2171 place count 2969 transition count 9610
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 89 with 4 rules applied. Total rules applied 2175 place count 2969 transition count 9606
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 90 with 15 rules applied. Total rules applied 2190 place count 2969 transition count 9591
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 90 with 4 rules applied. Total rules applied 2194 place count 2967 transition count 9614
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 90 with 4 rules applied. Total rules applied 2198 place count 2967 transition count 9610
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 91 with 15 rules applied. Total rules applied 2213 place count 2967 transition count 9595
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 91 with 4 rules applied. Total rules applied 2217 place count 2965 transition count 9618
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 91 with 4 rules applied. Total rules applied 2221 place count 2965 transition count 9614
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 92 with 15 rules applied. Total rules applied 2236 place count 2965 transition count 9599
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 92 with 4 rules applied. Total rules applied 2240 place count 2963 transition count 9622
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 92 with 4 rules applied. Total rules applied 2244 place count 2963 transition count 9618
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 93 with 15 rules applied. Total rules applied 2259 place count 2963 transition count 9603
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 93 with 4 rules applied. Total rules applied 2263 place count 2961 transition count 9626
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 93 with 4 rules applied. Total rules applied 2267 place count 2961 transition count 9622
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 94 with 15 rules applied. Total rules applied 2282 place count 2961 transition count 9607
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 94 with 4 rules applied. Total rules applied 2286 place count 2959 transition count 9630
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 94 with 4 rules applied. Total rules applied 2290 place count 2959 transition count 9626
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 95 with 15 rules applied. Total rules applied 2305 place count 2959 transition count 9611
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -21
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 95 with 4 rules applied. Total rules applied 2309 place count 2957 transition count 9632
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 95 with 3 rules applied. Total rules applied 2312 place count 2957 transition count 9629
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 96 with 15 rules applied. Total rules applied 2327 place count 2957 transition count 9614
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 96 with 4 rules applied. Total rules applied 2331 place count 2955 transition count 9637
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 96 with 4 rules applied. Total rules applied 2335 place count 2955 transition count 9633
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 97 with 15 rules applied. Total rules applied 2350 place count 2955 transition count 9618
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 97 with 4 rules applied. Total rules applied 2354 place count 2953 transition count 9641
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 97 with 4 rules applied. Total rules applied 2358 place count 2953 transition count 9637
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 98 with 15 rules applied. Total rules applied 2373 place count 2953 transition count 9622
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 98 with 4 rules applied. Total rules applied 2377 place count 2951 transition count 9645
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 98 with 4 rules applied. Total rules applied 2381 place count 2951 transition count 9641
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 99 with 15 rules applied. Total rules applied 2396 place count 2951 transition count 9626
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 99 with 4 rules applied. Total rules applied 2400 place count 2949 transition count 9649
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 99 with 4 rules applied. Total rules applied 2404 place count 2949 transition count 9645
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 100 with 15 rules applied. Total rules applied 2419 place count 2949 transition count 9630
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 100 with 4 rules applied. Total rules applied 2423 place count 2947 transition count 9653
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 100 with 4 rules applied. Total rules applied 2427 place count 2947 transition count 9649
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 101 with 15 rules applied. Total rules applied 2442 place count 2947 transition count 9634
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 101 with 4 rules applied. Total rules applied 2446 place count 2945 transition count 9657
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 101 with 4 rules applied. Total rules applied 2450 place count 2945 transition count 9653
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 102 with 15 rules applied. Total rules applied 2465 place count 2945 transition count 9638
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 102 with 4 rules applied. Total rules applied 2469 place count 2943 transition count 9661
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 102 with 4 rules applied. Total rules applied 2473 place count 2943 transition count 9657
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 103 with 15 rules applied. Total rules applied 2488 place count 2943 transition count 9642
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 103 with 4 rules applied. Total rules applied 2492 place count 2941 transition count 9665
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 103 with 4 rules applied. Total rules applied 2496 place count 2941 transition count 9661
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 104 with 15 rules applied. Total rules applied 2511 place count 2941 transition count 9646
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 104 with 4 rules applied. Total rules applied 2515 place count 2939 transition count 9669
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 104 with 4 rules applied. Total rules applied 2519 place count 2939 transition count 9665
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 105 with 15 rules applied. Total rules applied 2534 place count 2939 transition count 9650
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 105 with 4 rules applied. Total rules applied 2538 place count 2937 transition count 9673
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 105 with 4 rules applied. Total rules applied 2542 place count 2937 transition count 9669
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 106 with 15 rules applied. Total rules applied 2557 place count 2937 transition count 9654
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 106 with 4 rules applied. Total rules applied 2561 place count 2935 transition count 9677
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 106 with 4 rules applied. Total rules applied 2565 place count 2935 transition count 9673
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 107 with 15 rules applied. Total rules applied 2580 place count 2935 transition count 9658
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 107 with 4 rules applied. Total rules applied 2584 place count 2933 transition count 9681
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 107 with 4 rules applied. Total rules applied 2588 place count 2933 transition count 9677
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 108 with 15 rules applied. Total rules applied 2603 place count 2933 transition count 9662
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -22
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 108 with 4 rules applied. Total rules applied 2607 place count 2931 transition count 9684
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 108 with 2 rules applied. Total rules applied 2609 place count 2931 transition count 9682
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 109 with 15 rules applied. Total rules applied 2624 place count 2931 transition count 9667
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -22
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 109 with 4 rules applied. Total rules applied 2628 place count 2929 transition count 9689
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 109 with 2 rules applied. Total rules applied 2630 place count 2929 transition count 9687
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 110 with 15 rules applied. Total rules applied 2645 place count 2929 transition count 9672
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -22
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 110 with 4 rules applied. Total rules applied 2649 place count 2927 transition count 9694
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 110 with 2 rules applied. Total rules applied 2651 place count 2927 transition count 9692
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 111 with 15 rules applied. Total rules applied 2666 place count 2927 transition count 9677
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -22
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 111 with 4 rules applied. Total rules applied 2670 place count 2925 transition count 9699
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 111 with 2 rules applied. Total rules applied 2672 place count 2925 transition count 9697
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 112 with 15 rules applied. Total rules applied 2687 place count 2925 transition count 9682
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -22
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 112 with 4 rules applied. Total rules applied 2691 place count 2923 transition count 9704
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 112 with 2 rules applied. Total rules applied 2693 place count 2923 transition count 9702
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 113 with 15 rules applied. Total rules applied 2708 place count 2923 transition count 9687
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -22
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 113 with 4 rules applied. Total rules applied 2712 place count 2921 transition count 9709
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 113 with 2 rules applied. Total rules applied 2714 place count 2921 transition count 9707
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 114 with 15 rules applied. Total rules applied 2729 place count 2921 transition count 9692
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -22
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 114 with 4 rules applied. Total rules applied 2733 place count 2919 transition count 9714
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 114 with 2 rules applied. Total rules applied 2735 place count 2919 transition count 9712
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 115 with 15 rules applied. Total rules applied 2750 place count 2919 transition count 9697
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -22
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 115 with 4 rules applied. Total rules applied 2754 place count 2917 transition count 9719
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 115 with 2 rules applied. Total rules applied 2756 place count 2917 transition count 9717
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 116 with 15 rules applied. Total rules applied 2771 place count 2917 transition count 9702
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 116 with 4 rules applied. Total rules applied 2775 place count 2915 transition count 9725
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 116 with 2 rules applied. Total rules applied 2777 place count 2915 transition count 9723
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 117 with 15 rules applied. Total rules applied 2792 place count 2915 transition count 9708
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 117 with 4 rules applied. Total rules applied 2796 place count 2913 transition count 9731
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 117 with 2 rules applied. Total rules applied 2798 place count 2913 transition count 9729
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 118 with 15 rules applied. Total rules applied 2813 place count 2913 transition count 9714
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -22
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 118 with 4 rules applied. Total rules applied 2817 place count 2911 transition count 9736
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 118 with 2 rules applied. Total rules applied 2819 place count 2911 transition count 9734
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 119 with 15 rules applied. Total rules applied 2834 place count 2911 transition count 9719
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -22
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 119 with 4 rules applied. Total rules applied 2838 place count 2909 transition count 9741
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 119 with 2 rules applied. Total rules applied 2840 place count 2909 transition count 9739
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 120 with 15 rules applied. Total rules applied 2855 place count 2909 transition count 9724
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -22
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 120 with 4 rules applied. Total rules applied 2859 place count 2907 transition count 9746
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 120 with 2 rules applied. Total rules applied 2861 place count 2907 transition count 9744
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 121 with 15 rules applied. Total rules applied 2876 place count 2907 transition count 9729
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -22
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 121 with 4 rules applied. Total rules applied 2880 place count 2905 transition count 9751
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 121 with 2 rules applied. Total rules applied 2882 place count 2905 transition count 9749
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 122 with 15 rules applied. Total rules applied 2897 place count 2905 transition count 9734
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -22
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 122 with 4 rules applied. Total rules applied 2901 place count 2903 transition count 9756
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 122 with 2 rules applied. Total rules applied 2903 place count 2903 transition count 9754
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 123 with 15 rules applied. Total rules applied 2918 place count 2903 transition count 9739
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -22
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 123 with 4 rules applied. Total rules applied 2922 place count 2901 transition count 9761
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 123 with 2 rules applied. Total rules applied 2924 place count 2901 transition count 9759
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 124 with 15 rules applied. Total rules applied 2939 place count 2901 transition count 9744
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 124 with 4 rules applied. Total rules applied 2943 place count 2899 transition count 9767
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 124 with 2 rules applied. Total rules applied 2945 place count 2899 transition count 9765
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 125 with 15 rules applied. Total rules applied 2960 place count 2899 transition count 9750
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 125 with 4 rules applied. Total rules applied 2964 place count 2897 transition count 9773
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 125 with 2 rules applied. Total rules applied 2966 place count 2897 transition count 9771
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 126 with 15 rules applied. Total rules applied 2981 place count 2897 transition count 9756
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 126 with 4 rules applied. Total rules applied 2985 place count 2895 transition count 9779
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 126 with 2 rules applied. Total rules applied 2987 place count 2895 transition count 9777
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 127 with 15 rules applied. Total rules applied 3002 place count 2895 transition count 9762
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -23
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 127 with 4 rules applied. Total rules applied 3006 place count 2893 transition count 9785
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 127 with 2 rules applied. Total rules applied 3008 place count 2893 transition count 9783
Drop transitions removed 15 transitions
Redundant transition composition rules discarded 15 transitions
Iterating global reduction 128 with 15 rules applied. Total rules applied 3023 place count 2893 transition count 9768
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 128 with 2 rules applied. Total rules applied 3025 place count 2892 transition count 9779
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 128 with 1 rules applied. Total rules applied 3026 place count 2892 transition count 9778
Drop transitions removed 6 transitions
Redundant transition composition rules discarded 6 transitions
Iterating global reduction 129 with 6 rules applied. Total rules applied 3032 place count 2892 transition count 9772
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 129 with 2 rules applied. Total rules applied 3034 place count 2891 transition count 9783
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 129 with 1 rules applied. Total rules applied 3035 place count 2891 transition count 9782
Drop transitions removed 6 transitions
Redundant transition composition rules discarded 6 transitions
Iterating global reduction 130 with 6 rules applied. Total rules applied 3041 place count 2891 transition count 9776
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 130 with 2 rules applied. Total rules applied 3043 place count 2890 transition count 9787
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 130 with 1 rules applied. Total rules applied 3044 place count 2890 transition count 9786
Drop transitions removed 6 transitions
Redundant transition composition rules discarded 6 transitions
Iterating global reduction 131 with 6 rules applied. Total rules applied 3050 place count 2890 transition count 9780
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 131 with 2 rules applied. Total rules applied 3052 place count 2889 transition count 9791
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 131 with 1 rules applied. Total rules applied 3053 place count 2889 transition count 9790
Drop transitions removed 6 transitions
Redundant transition composition rules discarded 6 transitions
Iterating global reduction 132 with 6 rules applied. Total rules applied 3059 place count 2889 transition count 9784
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 132 with 2 rules applied. Total rules applied 3061 place count 2888 transition count 9795
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 132 with 1 rules applied. Total rules applied 3062 place count 2888 transition count 9794
Drop transitions removed 6 transitions
Redundant transition composition rules discarded 6 transitions
Iterating global reduction 133 with 6 rules applied. Total rules applied 3068 place count 2888 transition count 9788
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 133 with 2 rules applied. Total rules applied 3070 place count 2887 transition count 9799
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 133 with 1 rules applied. Total rules applied 3071 place count 2887 transition count 9798
Drop transitions removed 6 transitions
Redundant transition composition rules discarded 6 transitions
Iterating global reduction 134 with 6 rules applied. Total rules applied 3077 place count 2887 transition count 9792
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 134 with 2 rules applied. Total rules applied 3079 place count 2886 transition count 9803
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 134 with 1 rules applied. Total rules applied 3080 place count 2886 transition count 9802
Drop transitions removed 6 transitions
Redundant transition composition rules discarded 6 transitions
Iterating global reduction 135 with 6 rules applied. Total rules applied 3086 place count 2886 transition count 9796
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 135 with 2 rules applied. Total rules applied 3088 place count 2885 transition count 9807
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 135 with 1 rules applied. Total rules applied 3089 place count 2885 transition count 9806
Drop transitions removed 6 transitions
Redundant transition composition rules discarded 6 transitions
Iterating global reduction 136 with 6 rules applied. Total rules applied 3095 place count 2885 transition count 9800
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 136 with 2 rules applied. Total rules applied 3097 place count 2884 transition count 9811
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 136 with 1 rules applied. Total rules applied 3098 place count 2884 transition count 9810
Drop transitions removed 6 transitions
Redundant transition composition rules discarded 6 transitions
Iterating global reduction 137 with 6 rules applied. Total rules applied 3104 place count 2884 transition count 9804
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 137 with 2 rules applied. Total rules applied 3106 place count 2883 transition count 9815
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 137 with 1 rules applied. Total rules applied 3107 place count 2883 transition count 9814
Drop transitions removed 6 transitions
Redundant transition composition rules discarded 6 transitions
Iterating global reduction 138 with 6 rules applied. Total rules applied 3113 place count 2883 transition count 9808
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 138 with 2 rules applied. Total rules applied 3115 place count 2882 transition count 9819
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 138 with 1 rules applied. Total rules applied 3116 place count 2882 transition count 9818
Drop transitions removed 6 transitions
Redundant transition composition rules discarded 6 transitions
Iterating global reduction 139 with 6 rules applied. Total rules applied 3122 place count 2882 transition count 9812
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 139 with 2 rules applied. Total rules applied 3124 place count 2881 transition count 9823
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 139 with 1 rules applied. Total rules applied 3125 place count 2881 transition count 9822
Drop transitions removed 6 transitions
Redundant transition composition rules discarded 6 transitions
Iterating global reduction 140 with 6 rules applied. Total rules applied 3131 place count 2881 transition count 9816
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 140 with 2 rules applied. Total rules applied 3133 place count 2880 transition count 9827
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 140 with 1 rules applied. Total rules applied 3134 place count 2880 transition count 9826
Drop transitions removed 6 transitions
Redundant transition composition rules discarded 6 transitions
Iterating global reduction 141 with 6 rules applied. Total rules applied 3140 place count 2880 transition count 9820
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 141 with 2 rules applied. Total rules applied 3142 place count 2879 transition count 9831
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 141 with 1 rules applied. Total rules applied 3143 place count 2879 transition count 9830
Drop transitions removed 6 transitions
Redundant transition composition rules discarded 6 transitions
Iterating global reduction 142 with 6 rules applied. Total rules applied 3149 place count 2879 transition count 9824
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 142 with 2 rules applied. Total rules applied 3151 place count 2878 transition count 9835
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 142 with 1 rules applied. Total rules applied 3152 place count 2878 transition count 9834
Drop transitions removed 6 transitions
Redundant transition composition rules discarded 6 transitions
Iterating global reduction 143 with 6 rules applied. Total rules applied 3158 place count 2878 transition count 9828
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -11
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 143 with 2 rules applied. Total rules applied 3160 place count 2877 transition count 9839
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 143 with 1 rules applied. Total rules applied 3161 place count 2877 transition count 9838
Drop transitions removed 6 transitions
Redundant transition composition rules discarded 6 transitions
Iterating global reduction 144 with 6 rules applied. Total rules applied 3167 place count 2877 transition count 9832
Free-agglomeration rule applied 596 times with reduction of 17 identical transitions.
Iterating global reduction 144 with 596 rules applied. Total rules applied 3763 place count 2877 transition count 9219
Reduce places removed 596 places and 0 transitions.
Drop transitions removed 480 transitions
Ensure Unique test removed 18 transitions
Reduce isomorphic transitions removed 498 transitions.
Iterating post reduction 144 with 1094 rules applied. Total rules applied 4857 place count 2281 transition count 8721
Drop transitions removed 60 transitions
Redundant transition composition rules discarded 60 transitions
Iterating global reduction 145 with 60 rules applied. Total rules applied 4917 place count 2281 transition count 8661
Applied a total of 4917 rules in 100134 ms. Remains 2281 /3162 variables (removed 881) and now considering 8661/9407 (removed 746) transitions.
Finished structural reductions, in 1 iterations. Remains : 2281/3162 places, 8661/9407 transitions.
[2021-05-08 12:51:53] [INFO ] Flatten gal took : 1017 ms
[2021-05-08 12:51:53] [INFO ] Flatten gal took : 640 ms
[2021-05-08 12:51:53] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality12383181523115938187.gal : 89 ms
[2021-05-08 12:51:54] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality13317846179631593920.prop : 6 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality12383181523115938187.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality13317846179631593920.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality12383181523115938187.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality13317846179631593920.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality13317846179631593920.prop.
Detected timeout of ITS tools.
[2021-05-08 12:52:09] [INFO ] Flatten gal took : 634 ms
[2021-05-08 12:52:09] [INFO ] Applying decomposition
[2021-05-08 12:52:10] [INFO ] Flatten gal took : 651 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph17024951914791810851.txt, -o, /tmp/graph17024951914791810851.bin, -w, /tmp/graph17024951914791810851.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph17024951914791810851.bin, -l, -1, -v, -w, /tmp/graph17024951914791810851.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-08 12:52:11] [INFO ] Decomposing Gal with order
[2021-05-08 12:52:11] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-08 12:52:12] [INFO ] Removed a total of 12987 redundant transitions.
[2021-05-08 12:52:12] [INFO ] Flatten gal took : 789 ms
[2021-05-08 12:52:24] [INFO ] Fuse similar labels procedure discarded/fused a total of 1122 labels/synchronizations in 11580 ms.
[2021-05-08 12:52:24] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality771606082389685366.gal : 59 ms
[2021-05-08 12:52:24] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16565661670301920245.prop : 4 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality771606082389685366.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality16565661670301920245.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality771606082389685366.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality16565661670301920245.prop --nowitness
Loading property file /tmp/ReachabilityCardinality16565661670301920245.prop.
Reachability property qltransition_8005 is true.
SDD proceeding with computation,1005 properties remain. new max is 2
SDD size :1 after 193
Reachability property qltransition_6310 is true.
SDD proceeding with computation,1004 properties remain. new max is 2
SDD size :193 after 497
Reachability property qltransition_6392 is true.
Reachability property qltransition_6338 is true.
Reachability property qltransition_6314 is true.
Reachability property qltransition_2175 is true.
Reachability property qltransition_2174 is true.
Reachability property qltransition_2148 is true.
SDD proceeding with computation,998 properties remain. new max is 2
SDD size :497 after 25777
SDD proceeding with computation,998 properties remain. new max is 4
SDD size :25777 after 56497
SDD proceeding with computation,998 properties remain. new max is 8
SDD size :56497 after 61617
Reachability property qltransition_6437 is true.
Reachability property qltransition_6383 is true.
Reachability property qltransition_6372 is true.
Reachability property qltransition_6370 is true.
Reachability property qltransition_6368 is true.
Reachability property qltransition_6366 is true.
Reachability property qltransition_6364 is true.
Reachability property qltransition_6362 is true.
Reachability property qltransition_6356 is true.
Reachability property qltransition_6354 is true.
Reachability property qltransition_4324 is true.
Reachability property qltransition_2178 is true.
Reachability property qltransition_2164 is true.
SDD proceeding with computation,985 properties remain. new max is 8
SDD size :61617 after 3.77488e+08
Reachability property qltransition_6395 is true.
SDD proceeding with computation,984 properties remain. new max is 8
SDD size :3.77488e+08 after 1.13246e+09
Reachability property qltransition_7044 is true.
Reachability property qltransition_7042 is true.
Reachability property qltransition_7030 is true.
Reachability property qltransition_7028 is true.
Reachability property qltransition_6927 is true.
Reachability property qltransition_6915 is true.
Reachability property qltransition_6909 is true.
Reachability property qltransition_6907 is true.
Reachability property qltransition_6905 is true.
Reachability property qltransition_6903 is true.
Reachability property qltransition_6901 is true.
Reachability property qltransition_6899 is true.
Reachability property qltransition_6897 is true.
Reachability property qltransition_6895 is true.
Reachability property qltransition_6893 is true.
Reachability property qltransition_6891 is true.
Reachability property qltransition_6889 is true.
Reachability property qltransition_6887 is true.
Reachability property qltransition_6885 is true.
Reachability property qltransition_6883 is true.
Reachability property qltransition_6881 is true.
Reachability property qltransition_6878 is true.
Reachability property qltransition_6872 is true.
Reachability property qltransition_6869 is true.
Reachability property qltransition_6863 is true.
Reachability property qltransition_6856 is true.
Reachability property qltransition_6854 is true.
Reachability property qltransition_6850 is true.
Reachability property qltransition_6840 is true.
Reachability property qltransition_6836 is true.
Reachability property qltransition_6829 is true.
Reachability property qltransition_6814 is true.
Reachability property qltransition_6803 is true.
Reachability property qltransition_6797 is true.
Reachability property qltransition_6793 is true.
Reachability property qltransition_6789 is true.
Reachability property qltransition_6780 is true.
Reachability property qltransition_6774 is true.
Reachability property qltransition_6771 is true.
Reachability property qltransition_6765 is true.
Reachability property qltransition_6762 is true.
Reachability property qltransition_6756 is true.
Reachability property qltransition_6752 is true.
Reachability property qltransition_6750 is true.
Reachability property qltransition_6748 is true.
Reachability property qltransition_6746 is true.
Reachability property qltransition_6742 is true.
Reachability property qltransition_6740 is true.
Reachability property qltransition_6734 is true.
Reachability property qltransition_6627 is true.
Reachability property qltransition_6624 is true.
Reachability property qltransition_6609 is true.
Reachability property qltransition_6605 is true.
Reachability property qltransition_6603 is true.
Reachability property qltransition_6601 is true.
Reachability property qltransition_6599 is true.
Reachability property qltransition_6581 is true.
Reachability property qltransition_6575 is true.
Reachability property qltransition_6572 is true.
Reachability property qltransition_6569 is true.
Reachability property qltransition_6566 is true.
Reachability property qltransition_6562 is true.
Reachability property qltransition_6552 is true.
Reachability property qltransition_6550 is true.
Reachability property qltransition_6548 is true.
Reachability property qltransition_6546 is true.
Reachability property qltransition_6544 is true.
Reachability property qltransition_6542 is true.
Reachability property qltransition_6540 is true.
Reachability property qltransition_6538 is true.
Reachability property qltransition_6520 is true.
Reachability property qltransition_6507 is true.
Reachability property qltransition_6505 is true.
Reachability property qltransition_6497 is true.
Reachability property qltransition_6491 is true.
Reachability property qltransition_6486 is true.
Reachability property qltransition_6483 is true.
Reachability property qltransition_6477 is true.
Reachability property qltransition_6474 is true.
Reachability property qltransition_6452 is true.
Reachability property qltransition_6450 is true.
Reachability property qltransition_6448 is true.
Reachability property qltransition_6446 is true.
Reachability property qltransition_6444 is true.
Reachability property qltransition_6442 is true.
Reachability property qltransition_6440 is true.
Reachability property qltransition_6434 is true.
Reachability property qltransition_6419 is true.
Reachability property qltransition_6413 is true.
Reachability property qltransition_6409 is true.
Reachability property qltransition_6403 is true.
Reachability property qltransition_6401 is true.
Reachability property qltransition_6399 is true.
Reachability property qltransition_2468 is true.
Reachability property qltransition_2467 is true.
Reachability property qltransition_2373 is true.
Reachability property qltransition_2372 is true.
Reachability property qltransition_2368 is true.
Reachability property qltransition_2367 is true.
Reachability property qltransition_2354 is true.
Reachability property qltransition_2352 is true.
Reachability property qltransition_2338 is true.
Reachability property qltransition_2335 is true.
Reachability property qltransition_2330 is true.
Reachability property qltransition_2328 is true.
Reachability property qltransition_2283 is true.
Reachability property qltransition_2281 is true.
Reachability property qltransition_2279 is true.
Reachability property qltransition_2268 is true.
Reachability property qltransition_2266 is true.
Reachability property qltransition_2247 is true.
Reachability property qltransition_2246 is true.
Reachability property qltransition_2239 is true.
Reachability property qltransition_2238 is true.
Reachability property qltransition_2237 is true.
Reachability property qltransition_2228 is true.
Reachability property qltransition_2222 is true.
Reachability property qltransition_2217 is true.
Reachability property qltransition_2208 is true.
Reachability property qltransition_2207 is true.
Reachability property qltransition_2206 is true.
Reachability property qltransition_2203 is true.
Reachability property qltransition_2202 is true.
Reachability property qltransition_2183 is true.
Reachability property qltransition_2182 is true.
SDD proceeding with computation,859 properties remain. new max is 8
SDD size :1.13246e+09 after 2.1117e+48
Reachability property qltransition_7111 is true.
Reachability property qltransition_7093 is true.
Reachability property qltransition_7087 is true.
Reachability property qltransition_7079 is true.
Reachability property qltransition_7077 is true.
Reachability property qltransition_7065 is true.
Reachability property qltransition_7059 is true.
Reachability property qltransition_7056 is true.
Reachability property qltransition_7054 is true.
Reachability property qltransition_7052 is true.
Reachability property qltransition_7050 is true.
Reachability property qltransition_7048 is true.
Reachability property qltransition_7040 is true.
Reachability property qltransition_7038 is true.
Reachability property qltransition_7036 is true.
Reachability property qltransition_7034 is true.
Reachability property qltransition_7032 is true.
Reachability property qltransition_2490 is true.
Reachability property qltransition_2476 is true.
Reachability property qltransition_2474 is true.
Reachability property qltransition_2460 is true.
Reachability property qltransition_2456 is true.
Reachability property qltransition_2455 is true.
SDD proceeding with computation,836 properties remain. new max is 8
SDD size :2.1117e+48 after 3.36293e+56
Reachability property qltransition_7267 is true.
Reachability property qltransition_7242 is true.
Reachability property qltransition_7240 is true.
Reachability property qltransition_7238 is true.
Reachability property qltransition_7206 is true.
Reachability property qltransition_7197 is true.
Reachability property qltransition_7185 is true.
Reachability property qltransition_7183 is true.
Reachability property qltransition_7175 is true.
Reachability property qltransition_7169 is true.
Reachability property qltransition_7166 is true.
Reachability property qltransition_7152 is true.
Reachability property qltransition_7150 is true.
Reachability property qltransition_7146 is true.
Reachability property qltransition_7138 is true.
Reachability property qltransition_4772 is true.
Reachability property qltransition_2548 is true.
Reachability property qltransition_2535 is true.
Reachability property qltransition_2532 is true.
Reachability property qltransition_2530 is true.
Reachability property qltransition_2520 is true.
SDD proceeding with computation,815 properties remain. new max is 8
SDD size :3.36293e+56 after 1.01557e+64
SDD proceeding with computation,815 properties remain. new max is 16
SDD size :1.01557e+64 after 4.06229e+64
Reachability property qltransition_9387 is true.
Reachability property qltransition_9373 is true.
Reachability property qltransition_7561 is true.
Reachability property qltransition_7555 is true.
Reachability property qltransition_7536 is true.
Reachability property qltransition_7532 is true.
Reachability property qltransition_7526 is true.
Reachability property qltransition_7520 is true.
Reachability property qltransition_7503 is true.
Reachability property qltransition_7477 is true.
Reachability property qltransition_7473 is true.
Reachability property qltransition_7469 is true.
Reachability property qltransition_7466 is true.
Reachability property qltransition_7454 is true.
Reachability property qltransition_7448 is true.
Reachability property qltransition_7446 is true.
Reachability property qltransition_7444 is true.
Reachability property qltransition_7442 is true.
Reachability property qltransition_7436 is true.
Reachability property qltransition_7434 is true.
Reachability property qltransition_7430 is true.
Reachability property qltransition_7428 is true.
Reachability property qltransition_7422 is true.
Reachability property qltransition_7420 is true.
Reachability property qltransition_7417 is true.
Reachability property qltransition_7405 is true.
Reachability property qltransition_7397 is true.
Reachability property qltransition_7395 is true.
Reachability property qltransition_7391 is true.
Reachability property qltransition_7383 is true.
Reachability property qltransition_7371 is true.
Reachability property qltransition_7350 is true.
Reachability property qltransition_7261 is true.
Reachability property qltransition_7250 is true.
Reachability property qltransition_7248 is true.
Reachability property qltransition_7246 is true.
Reachability property qltransition_7244 is true.
Reachability property qltransition_7230 is true.
Reachability property qltransition_5910 is true.
Reachability property qltransition_3831 is true.
Reachability property qltransition_3780 is true.
Reachability property qltransition_3774 is true.
Reachability property qltransition_3765 is true.
Reachability property qltransition_3733 is true.
Reachability property qltransition_3646 is true.
Reachability property qltransition_3568 is true.
Reachability property qltransition_2680 is true.
Reachability property qltransition_2678 is true.
Reachability property qltransition_2671 is true.
Reachability property qltransition_2670 is true.
Reachability property qltransition_2665 is true.
Reachability property qltransition_2664 is true.
Reachability property qltransition_2656 is true.
Reachability property qltransition_2650 is true.
Reachability property qltransition_2632 is true.
Reachability property qltransition_2626 is true.
Reachability property qltransition_2621 is true.
Reachability property qltransition_2614 is true.
Reachability property qltransition_2613 is true.
Reachability property qltransition_2604 is true.
Reachability property qltransition_2592 is true.
Reachability property qltransition_2584 is true.
Reachability property qltransition_2582 is true.
Reachability property qltransition_2581 is true.
Reachability property qltransition_2544 is true.
Reachability property qltransition_2539 is true.
Reachability property qltransition_2538 is true.
SDD proceeding with computation,748 properties remain. new max is 16
SDD size :4.06229e+64 after 3.46595e+87
SDD proceeding with computation,748 properties remain. new max is 32
SDD size :3.46595e+87 after 2.80077e+88
SDD proceeding with computation,748 properties remain. new max is 64
SDD size :2.80077e+88 after 3.2809e+88
SDD proceeding with computation,748 properties remain. new max is 128
SDD size :3.2809e+88 after 8.40231e+88
Reachability property qltransition_7656 is true.
Reachability property qltransition_7644 is true.
Reachability property qltransition_7626 is true.
Reachability property qltransition_7622 is true.
Reachability property qltransition_7620 is true.
Reachability property qltransition_7613 is true.
Reachability property qltransition_7610 is true.
Reachability property qltransition_7607 is true.
Reachability property qltransition_7601 is true.
Reachability property qltransition_7595 is true.
Reachability property qltransition_7593 is true.
Reachability property qltransition_7589 is true.
Reachability property qltransition_7583 is true.
Reachability property qltransition_7579 is true.
Reachability property qltransition_7577 is true.
Reachability property qltransition_7575 is true.
Reachability property qltransition_7573 is true.
Reachability property qltransition_7571 is true.
Reachability property qltransition_7569 is true.
Reachability property qltransition_7567 is true.
Reachability property qltransition_2725 is true.
Reachability property qltransition_2716 is true.
Reachability property qltransition_2715 is true.
Reachability property qltransition_2714 is true.
Reachability property qltransition_2712 is true.
Reachability property qltransition_2708 is true.
Reachability property qltransition_2707 is true.
Reachability property qltransition_2706 is true.
Reachability property qltransition_2698 is true.
Reachability property qltransition_2697 is true.
Reachability property qltransition_2690 is true.
Reachability property qltransition_2689 is true.
SDD proceeding with computation,716 properties remain. new max is 128
SDD size :8.40231e+88 after 1.21796e+98
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin8306988573705048305
[2021-05-08 12:52:40] [INFO ] Built C files in 111ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin8306988573705048305
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin8306988573705048305]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin8306988573705048305] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin8306988573705048305] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Interrupted random walk after 421157 steps, including 1 resets, run timeout after 30001 ms. (steps per millisecond=14 ) properties seen :{0=1, 1=1, 2=1, 3=1, 4=1, 5=1, 6=1, 7=1, 8=1, 9=1, 10=1, 11=1, 12=1, 13=1, 14=1, 15=1, 16=1, 17=1, 18=1, 19=1, 20=1, 21=1, 22=1, 23=1, 24=1, 25=1, 26=1, 27=1, 28=1, 29=1, 30=1, 31=1, 32=1, 33=1, 34=1, 35=1, 36=1, 37=1, 38=1, 39=1, 40=1, 41=1, 42=1, 43=1, 44=1, 45=1, 46=1, 47=1, 48=1, 49=1, 50=1, 51=1, 52=1, 53=1, 54=1, 55=1, 56=1, 57=1, 58=1, 59=1, 60=1, 61=1, 62=1, 63=1, 64=1, 65=1, 66=1, 67=1, 68=1, 69=1, 70=1, 71=1, 72=1, 73=1, 74=1, 75=1, 76=1, 77=1, 78=1, 79=1, 80=1, 81=1, 82=1, 83=1, 84=1, 85=1, 86=1, 87=1, 88=1, 89=1, 90=1, 91=1, 92=1, 93=1, 94=1, 95=1, 96=1, 97=1, 98=1, 99=1, 100=1, 101=1, 102=1, 103=1, 104=1, 105=1, 106=1, 107=1, 108=1, 109=1, 110=1, 111=1, 112=1, 113=1, 114=1, 115=1, 116=1, 117=1, 118=1, 119=1, 120=1, 121=1, 122=1, 123=1, 124=1, 125=1, 126=1, 127=1, 128=1, 129=1, 130=1, 131=1, 132=1, 133=1, 134=1, 135=1, 136=1, 138=1, 139=1, 140=1, 141=1, 142=1, 143=1, 144=1, 145=1, 146=1, 147=1, 148=1, 149=1, 150=1, 151=1, 152=1, 153=1, 154=1, 155=1, 156=1, 157=1, 158=1, 159=1, 160=1, 161=1, 162=1, 163=1, 164=1, 165=1, 166=1, 167=1, 168=1, 169=1, 170=1, 171=1, 172=1, 173=1, 174=1, 175=1, 176=1, 177=1, 178=1, 179=1, 180=1, 181=1, 182=1, 183=1, 184=1, 185=1, 186=1, 187=1, 188=1, 189=1, 190=1, 191=1, 192=1, 193=1, 194=1, 195=1, 196=1, 197=1, 198=1, 199=1, 200=1, 201=1, 202=1, 203=1, 204=1, 205=1, 206=1, 207=1, 208=1, 209=1, 210=1, 211=1, 212=1, 213=1, 214=1, 215=1, 216=1, 217=1, 218=1, 219=1, 220=1, 221=1, 222=1, 223=1, 224=1, 225=1, 226=1, 227=1, 228=1, 229=1, 230=1, 231=1, 232=1, 233=1, 234=1, 235=1, 236=1, 237=1, 238=1, 239=1, 240=1, 241=1, 242=1, 243=1, 244=1, 245=1, 246=1, 247=1, 248=1, 249=1, 250=1, 251=1, 252=1, 253=1, 254=1, 255=1, 256=1, 257=1, 258=1, 259=1, 260=1, 261=1, 262=1, 263=1, 264=1, 265=1, 266=1, 267=1, 268=1, 269=1, 270=1, 271=1, 272=1, 273=1, 274=1, 275=1, 276=1, 277=1, 278=1, 279=1, 280=1, 281=1, 282=1, 283=1, 284=1, 285=1, 286=1, 287=1, 288=1, 289=1, 290=1, 291=1, 292=1, 293=1, 294=1, 295=1, 296=1, 297=1, 298=1, 299=1, 300=1, 301=1, 302=1, 303=1, 304=1, 305=1, 306=1, 307=1, 308=1, 309=1, 310=1, 311=1, 312=1, 313=1, 314=1, 315=1, 316=1, 317=1, 318=1, 319=1, 320=1, 321=1, 322=1, 323=1, 324=1, 325=1, 326=1, 327=1, 328=1, 329=1, 330=1, 331=1, 332=1, 333=1, 334=1, 335=1, 336=1, 337=1, 338=1, 339=1, 340=1, 341=1, 342=1, 343=1, 344=1, 345=1, 346=1, 347=1, 348=1, 349=1, 350=1, 351=1, 352=1, 353=1, 354=1, 355=1, 356=1, 357=1, 358=1, 359=1, 360=1, 361=1, 362=1, 363=1, 364=1, 365=1, 366=1, 367=1, 368=1, 369=1, 370=1, 371=1, 372=1, 373=1, 374=1, 375=1, 376=1, 377=1, 378=1, 379=1, 380=1, 381=1, 382=1, 383=1, 384=1, 385=1, 386=1, 387=1, 388=1, 389=1, 390=1, 391=1, 392=1, 393=1, 394=1, 395=1, 396=1, 397=1, 398=1, 399=1, 400=1, 401=1, 402=1, 403=1, 404=1, 405=1, 406=1, 407=1, 408=1, 409=1, 410=1, 411=1, 412=1, 413=1, 414=1, 415=1, 416=1, 417=1, 418=1, 419=1, 420=1, 421=1, 422=1, 423=1, 424=1, 425=1, 426=1, 427=1, 428=1, 429=1, 430=1, 431=1, 432=1, 433=1, 434=1, 435=1, 436=1, 437=1, 438=1, 439=1, 440=1, 441=1, 442=1, 443=1, 444=1, 445=1, 446=1, 447=1, 448=1, 449=1, 450=1, 451=1, 452=1, 453=1, 454=1, 455=1, 456=1, 457=1, 458=1, 459=1, 460=1, 461=1, 462=1, 463=1, 464=1, 465=1, 466=1, 467=1, 468=1, 469=1, 470=1, 471=1, 472=1, 473=1, 474=1, 475=1, 476=1, 477=1, 478=1, 479=1, 480=1, 481=1, 482=1, 483=1, 484=1, 485=1, 486=1, 487=1, 488=1, 489=1, 490=1, 491=1, 492=1, 493=1, 494=1, 495=1, 496=1, 497=1, 498=1, 499=1, 500=1, 501=1, 502=1, 503=1, 504=1, 505=1, 506=1, 507=1, 508=1, 509=1, 510=1, 511=1, 512=1, 513=1, 514=1, 515=1, 516=1, 517=1, 518=1, 519=1, 520=1, 521=1, 522=1, 523=1, 524=1, 525=1, 526=1, 527=1, 528=1, 529=1, 530=1, 531=1, 532=1, 533=1, 534=1, 535=1, 536=1, 537=1, 538=1, 539=1, 540=1, 541=1, 542=1, 543=1, 544=1, 545=1, 546=1, 547=1, 548=1, 549=1, 550=1, 551=1, 552=1, 553=1, 554=1, 555=1, 556=1, 557=1, 558=1, 559=1, 560=1, 561=1, 562=1, 563=1, 564=1, 565=1, 566=1, 567=1, 568=1, 569=1, 570=1, 571=1, 572=1, 573=1, 574=1, 575=1, 576=1, 577=1, 578=1, 579=1, 580=1, 581=1, 582=1, 583=1, 584=1, 585=1, 586=1, 587=1, 588=1, 589=1, 590=1, 591=1, 592=1, 593=1, 594=1, 595=1, 596=1, 597=1, 598=1, 599=1, 600=1, 601=1, 602=1, 603=1, 604=1, 605=1, 606=1, 607=1, 608=1, 609=1, 610=1, 611=1, 612=1, 613=1, 614=1, 615=1, 616=1, 617=1, 618=1, 619=1, 620=1, 621=1, 622=1, 623=1, 624=1, 625=1, 626=1, 627=1, 628=1, 629=1, 630=1, 631=1, 632=1, 633=1, 634=1, 635=1, 636=1, 637=1, 638=1, 639=1, 640=1, 641=1, 642=1, 643=1, 644=1, 645=1, 646=1, 647=1, 648=1, 649=1, 650=1, 651=1, 652=1, 653=1, 654=1, 655=1, 656=1, 657=1, 658=1, 659=1, 660=1, 661=1, 662=1, 663=1, 664=1, 665=1, 666=1, 667=1, 668=1, 669=1, 670=1, 671=1, 672=1, 673=1, 674=1, 675=1, 676=1, 677=1, 678=1, 679=1, 680=1, 681=1, 682=1, 683=1, 684=1, 685=1, 686=1, 687=1, 688=1, 689=1, 690=1, 691=1, 692=1, 693=1, 694=1, 695=1, 696=1, 697=1, 698=1, 699=1, 700=1, 701=1, 702=1, 703=1, 704=1, 705=1, 706=1, 707=1, 708=1, 709=1, 710=1, 711=1, 712=1, 713=1, 714=1, 715=1}
Finished Best-First random walk after 3684 steps, including 0 resets, run visited all 1 properties in 56 ms. (steps per millisecond=65 )
Able to resolve query QuasiLiveness after proving 6388 properties.
FORMULA QuasiLiveness TRUE TECHNIQUES RANDOM_WALK DECISION_DIAGRAMS COLLATERAL_PROCESSING BESTFIRST_WALK TOPOLOGICAL INITIAL_STATE USE_NUPN

BK_STOP 1620478392284

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

+ 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
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination 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=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCflexbar-PT-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 r071-tall-162039088700137"
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 ;