Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.......................................................................................
/home/mcc/execution
total 292K
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.3K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 101 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 339 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 3 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 120K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is Raft-PT-07, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r136-qhx2-152673578800146
=====================================================================

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Raft-PT-07-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1526951045684

info: Time: 3600 - MCC
===========================================================================================
prep: translating Raft-PT-07 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating Raft-PT-07 formula ReachabilityDeadlock into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking ReachabilityDeadlock @ Raft-PT-07 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 695/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 253
lola: finding significant places
lola: 253 places, 442 transitions, 204 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 434 transition conflict sets
lola: TASK
lola: reading formula from Raft-PT-07-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: rewrite Frontend/Parser/formula_rewrite.k:106
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH (findpath)
lola: findpath: using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: findpath: starting randomized, memory-less exploration (--search=findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen randomly
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: STP: formula with 8531 variables and 30872 clauses shipped to Minisat
lola: computed 51 generators (8 in search tree, 43 by composition)
lola: representing 5040 symmetries
lola: 0 dead branches visited in search tree
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 109578 fired transitions, 0 secs || 91954 markings, 631735 edges, 18391 markings/sec, 0 secs
lola: STP completed || 1 tries, 218709 fired transitions, 5 secs || 188160 markings, 1268286 edges, 19241 markings/sec, 5 secs
lola: STP completed || 1 tries, 328220 fired transitions, 10 secs || 284361 markings, 1902146 edges, 19240 markings/sec, 10 secs
lola: STP completed || 1 tries, 442770 fired transitions, 15 secs || 383264 markings, 2554383 edges, 19781 markings/sec, 15 secs
lola: STP completed || 1 tries, 558154 fired transitions, 20 secs || 484087 markings, 3216031 edges, 20165 markings/sec, 20 secs
lola: STP completed || 1 tries, 674735 fired transitions, 25 secs || 584054 markings, 3874550 edges, 19993 markings/sec, 25 secs
lola: STP completed || 1 tries, 784013 fired transitions, 30 secs || 678766 markings, 4498914 edges, 18942 markings/sec, 30 secs
lola: STP completed || 1 tries, 893384 fired transitions, 35 secs || 772696 markings, 5116560 edges, 18786 markings/sec, 35 secs
lola: STP completed || 2 tries, 1002752 fired transitions, 40 secs || 867042 markings, 5738276 edges, 18869 markings/sec, 40 secs
lola: STP completed || 2 tries, 1112019 fired transitions, 45 secs || 960726 markings, 6355958 edges, 18737 markings/sec, 45 secs
lola: STP completed || 2 tries, 1222177 fired transitions, 50 secs || 1054841 markings, 6971303 edges, 18823 markings/sec, 50 secs
lola: STP completed || 2 tries, 1332273 fired transitions, 55 secs || 1147673 markings, 7584122 edges, 18566 markings/sec, 55 secs
lola: STP completed || 2 tries, 1446327 fired transitions, 60 secs || 1245323 markings, 8230681 edges, 19530 markings/sec, 60 secs
lola: STP completed || 2 tries, 1555834 fired transitions, 65 secs || 1339383 markings, 8851697 edges, 18812 markings/sec, 65 secs
lola: STP completed || 2 tries, 1665447 fired transitions, 70 secs || 1433301 markings, 9469848 edges, 18784 markings/sec, 70 secs
lola: STP completed || 2 tries, 1778398 fired transitions, 75 secs || 1529372 markings, 10098369 edges, 19214 markings/sec, 75 secs
lola: STP completed || 2 tries, 1893283 fired transitions, 80 secs || 1626235 markings, 10736055 edges, 19373 markings/sec, 80 secs
lola: STP completed || 3 tries, 2004869 fired transitions, 85 secs || 1719792 markings, 11357909 edges, 18711 markings/sec, 85 secs
lola: STP completed || 3 tries, 2118565 fired transitions, 90 secs || 1817438 markings, 12001904 edges, 19529 markings/sec, 90 secs
lola: STP completed || 3 tries, 2231087 fired transitions, 95 secs || 1914894 markings, 12640688 edges, 19491 markings/sec, 95 secs
lola: STP completed || 3 tries, 2344505 fired transitions, 100 secs || 2012564 markings, 13284549 edges, 19534 markings/sec, 100 secs
lola: STP completed || 3 tries, 2454573 fired transitions, 105 secs || 2108176 markings, 13913039 edges, 19122 markings/sec, 105 secs
lola: STP completed || 3 tries, 2564596 fired transitions, 110 secs || 2203135 markings, 14541451 edges, 18992 markings/sec, 110 secs
lola: STP completed || 3 tries, 2674555 fired transitions, 115 secs || 2297295 markings, 15165186 edges, 18832 markings/sec, 115 secs
lola: STP completed || 3 tries, 2785589 fired transitions, 120 secs || 2392088 markings, 15790574 edges, 18959 markings/sec, 120 secs
lola: STP completed || 3 tries, 2896484 fired transitions, 125 secs || 2486512 markings, 16410610 edges, 18885 markings/sec, 125 secs
lola: STP completed || 4 tries, 3012652 fired transitions, 130 secs || 2583918 markings, 17051093 edges, 19481 markings/sec, 130 secs
lola: STP completed || 4 tries, 3123330 fired transitions, 135 secs || 2678869 markings, 17674281 edges, 18990 markings/sec, 135 secs
lola: STP completed || 4 tries, 3233397 fired transitions, 140 secs || 2773346 markings, 18293730 edges, 18895 markings/sec, 140 secs
lola: STP completed || 4 tries, 3349949 fired transitions, 145 secs || 2872197 markings, 18945431 edges, 19770 markings/sec, 145 secs
lola: STP completed || 4 tries, 3459567 fired transitions, 150 secs || 2966324 markings, 19565338 edges, 18825 markings/sec, 150 secs
lola: STP completed || 4 tries, 3569672 fired transitions, 155 secs || 3058393 markings, 20172354 edges, 18414 markings/sec, 155 secs
lola: STP completed || 4 tries, 3684253 fired transitions, 160 secs || 3153925 markings, 20800358 edges, 19106 markings/sec, 160 secs
lola: STP completed || 4 tries, 3794345 fired transitions, 165 secs || 3246717 markings, 21412813 edges, 18558 markings/sec, 165 secs
lola: STP completed || 4 tries, 3904189 fired transitions, 170 secs || 3338608 markings, 22019714 edges, 18378 markings/sec, 170 secs
lola: STP completed || 5 tries, 4014419 fired transitions, 175 secs || 3430916 markings, 22630610 edges, 18462 markings/sec, 175 secs
lola: STP completed || 5 tries, 4123872 fired transitions, 180 secs || 3523672 markings, 23242861 edges, 18551 markings/sec, 180 secs
lola: STP completed || 5 tries, 4235615 fired transitions, 185 secs || 3619995 markings, 23883013 edges, 19265 markings/sec, 185 secs
lola: STP completed || 5 tries, 4344972 fired transitions, 190 secs || 3715161 markings, 24510246 edges, 19033 markings/sec, 190 secs
lola: STP completed || 5 tries, 4457399 fired transitions, 195 secs || 3812203 markings, 25146671 edges, 19408 markings/sec, 195 secs
lola: STP completed || 5 tries, 4568040 fired transitions, 200 secs || 3906935 markings, 25771885 edges, 18946 markings/sec, 200 secs
lola: STP completed || 5 tries, 4680603 fired transitions, 205 secs || 4002519 markings, 26401569 edges, 19117 markings/sec, 205 secs
lola: STP completed || 5 tries, 4795092 fired transitions, 210 secs || 4099066 markings, 27037567 edges, 19309 markings/sec, 210 secs
lola: STP completed || 5 tries, 4904792 fired transitions, 215 secs || 4192655 markings, 27653533 edges, 18718 markings/sec, 215 secs
lola: STP completed || 6 tries, 5018311 fired transitions, 220 secs || 4288928 markings, 28288407 edges, 19255 markings/sec, 220 secs
lola: STP completed || 6 tries, 5130146 fired transitions, 225 secs || 4384282 markings, 28914773 edges, 19071 markings/sec, 225 secs
lola: STP completed || 6 tries, 5239706 fired transitions, 230 secs || 4477736 markings, 29529948 edges, 18691 markings/sec, 230 secs
lola: STP completed || 6 tries, 5349164 fired transitions, 235 secs || 4570566 markings, 30144026 edges, 18566 markings/sec, 235 secs
lola: STP completed || 6 tries, 5459170 fired transitions, 240 secs || 4664063 markings, 30760638 edges, 18699 markings/sec, 240 secs
lola: STP completed || 6 tries, 5569284 fired transitions, 245 secs || 4757752 markings, 31378411 edges, 18738 markings/sec, 245 secs
lola: STP completed || 6 tries, 5679013 fired transitions, 250 secs || 4850123 markings, 31988404 edges, 18474 markings/sec, 250 secs
lola: STP completed || 6 tries, 5792025 fired transitions, 255 secs || 4944790 markings, 32611096 edges, 18933 markings/sec, 255 secs
lola: STP completed || 6 tries, 5911065 fired transitions, 260 secs || 5043598 markings, 33258324 edges, 19762 markings/sec, 260 secs
lola: STP completed || 7 tries, 6023479 fired transitions, 265 secs || 5141985 markings, 33850487 edges, 19677 markings/sec, 265 secs
lola: STP completed || 7 tries, 6136468 fired transitions, 270 secs || 5239287 markings, 34475656 edges, 19460 markings/sec, 270 secs
lola: STP completed || 7 tries, 6245847 fired transitions, 275 secs || 5332916 markings, 35094654 edges, 18726 markings/sec, 275 secs
lola: STP completed || 7 tries, 6355646 fired transitions, 280 secs || 5426895 markings, 35713590 edges, 18796 markings/sec, 280 secs
lola: STP completed || 7 tries, 6465454 fired transitions, 285 secs || 5520093 markings, 36330210 edges, 18640 markings/sec, 285 secs
lola: STP completed || 7 tries, 6579012 fired transitions, 290 secs || 5616358 markings, 36959259 edges, 19253 markings/sec, 290 secs
lola: STP completed || 7 tries, 6692524 fired transitions, 295 secs || 5712417 markings, 37593437 edges, 19212 markings/sec, 295 secs
lola: STP completed || 7 tries, 6806298 fired transitions, 300 secs || 5808633 markings, 38228231 edges, 19243 markings/sec, 300 secs
lola: STP completed || 7 tries, 6916614 fired transitions, 305 secs || 5903352 markings, 38851085 edges, 18944 markings/sec, 305 secs
lola: STP completed || 8 tries, 7026424 fired transitions, 310 secs || 5997300 markings, 39464706 edges, 18790 markings/sec, 310 secs
lola: STP completed || 8 tries, 7136866 fired transitions, 315 secs || 6091416 markings, 40086272 edges, 18823 markings/sec, 315 secs
lola: STP completed || 8 tries, 7249390 fired transitions, 320 secs || 6187478 markings, 40719125 edges, 19212 markings/sec, 320 secs
lola: STP completed || 8 tries, 7359381 fired transitions, 325 secs || 6281378 markings, 41339761 edges, 18780 markings/sec, 325 secs
lola: STP completed || 8 tries, 7469494 fired transitions, 330 secs || 6374686 markings, 41956725 edges, 18662 markings/sec, 330 secs
lola: STP completed || 8 tries, 7579535 fired transitions, 335 secs || 6467703 markings, 42570925 edges, 18603 markings/sec, 335 secs
lola: STP completed || 8 tries, 7689644 fired transitions, 340 secs || 6560923 markings, 43190614 edges, 18644 markings/sec, 340 secs
lola: STP completed || 8 tries, 7799539 fired transitions, 345 secs || 6654535 markings, 43805642 edges, 18722 markings/sec, 345 secs
lola: STP completed || 8 tries, 7915965 fired transitions, 350 secs || 6752028 markings, 44449354 edges, 19499 markings/sec, 350 secs
lola: STP completed || 9 tries, 8025434 fired transitions, 355 secs || 6845060 markings, 45064019 edges, 18606 markings/sec, 355 secs
lola: STP completed || 9 tries, 8134982 fired transitions, 360 secs || 6937958 markings, 45671664 edges, 18580 markings/sec, 360 secs
lola: STP completed || 9 tries, 8244699 fired transitions, 365 secs || 7030793 markings, 46286912 edges, 18567 markings/sec, 365 secs
lola: STP completed || 9 tries, 8355144 fired transitions, 370 secs || 7123465 markings, 46897299 edges, 18534 markings/sec, 370 secs
lola: STP completed || 9 tries, 8465511 fired transitions, 375 secs || 7215800 markings, 47505963 edges, 18467 markings/sec, 375 secs
lola: STP completed || 9 tries, 8575800 fired transitions, 380 secs || 7308204 markings, 48119426 edges, 18481 markings/sec, 380 secs
lola: STP completed || 9 tries, 8685521 fired transitions, 385 secs || 7399724 markings, 48723241 edges, 18304 markings/sec, 385 secs
lola: STP completed || 9 tries, 8795321 fired transitions, 390 secs || 7491481 markings, 49326803 edges, 18351 markings/sec, 390 secs
lola: STP completed || 9 tries, 8905167 fired transitions, 395 secs || 7582715 markings, 49931300 edges, 18247 markings/sec, 395 secs
lola: STP completed || 10 tries, 9015702 fired transitions, 400 secs || 7674310 markings, 50536282 edges, 18319 markings/sec, 400 secs
lola: STP completed || 10 tries, 9125899 fired transitions, 405 secs || 7765594 markings, 51137523 edges, 18257 markings/sec, 405 secs
lola: STP completed || 10 tries, 9237298 fired transitions, 410 secs || 7856208 markings, 51737198 edges, 18123 markings/sec, 410 secs
lola: STP completed || 10 tries, 9347821 fired transitions, 415 secs || 7947279 markings, 52335340 edges, 18214 markings/sec, 415 secs
lola: STP completed || 10 tries, 9458295 fired transitions, 420 secs || 8039017 markings, 52939243 edges, 18348 markings/sec, 420 secs
lola: STP completed || 10 tries, 9568933 fired transitions, 425 secs || 8129930 markings, 53537217 edges, 18183 markings/sec, 425 secs
lola: STP completed || 10 tries, 9678946 fired transitions, 430 secs || 8220998 markings, 54135743 edges, 18214 markings/sec, 430 secs
lola: STP completed || 10 tries, 9789319 fired transitions, 435 secs || 8313180 markings, 54737631 edges, 18436 markings/sec, 435 secs
lola: STP completed || 10 tries, 9899362 fired transitions, 440 secs || 8404691 markings, 55342017 edges, 18302 markings/sec, 440 secs
lola: STP completed || 11 tries, 10009804 fired transitions, 445 secs || 8497037 markings, 55951318 edges, 18469 markings/sec, 445 secs
lola: STP completed || 11 tries, 10119811 fired transitions, 450 secs || 8590676 markings, 56568078 edges, 18728 markings/sec, 450 secs
lola: STP completed || 11 tries, 10229670 fired transitions, 455 secs || 8683619 markings, 57179684 edges, 18589 markings/sec, 455 secs
lola: STP completed || 11 tries, 10343292 fired transitions, 460 secs || 8779176 markings, 57814192 edges, 19111 markings/sec, 460 secs
lola: STP completed || 11 tries, 10453102 fired transitions, 465 secs || 8872310 markings, 58432538 edges, 18627 markings/sec, 465 secs
lola: STP completed || 11 tries, 10568029 fired transitions, 470 secs || 8968556 markings, 59072017 edges, 19249 markings/sec, 470 secs
lola: STP completed || 11 tries, 10680179 fired transitions, 475 secs || 9063006 markings, 59682327 edges, 18890 markings/sec, 475 secs
lola: STP completed || 11 tries, 10794037 fired transitions, 480 secs || 9162496 markings, 60274766 edges, 19898 markings/sec, 480 secs
lola: STP completed || 11 tries, 10907100 fired transitions, 485 secs || 9256304 markings, 60895698 edges, 18762 markings/sec, 485 secs
lola: STP completed || 12 tries, 11020418 fired transitions, 490 secs || 9349989 markings, 61514659 edges, 18737 markings/sec, 490 secs
lola: STP completed || 12 tries, 11130756 fired transitions, 495 secs || 9441181 markings, 62116562 edges, 18238 markings/sec, 495 secs
lola: STP completed || 12 tries, 11240932 fired transitions, 500 secs || 9532962 markings, 62718233 edges, 18356 markings/sec, 500 secs
lola: STP completed || 12 tries, 11351572 fired transitions, 505 secs || 9624048 markings, 63320468 edges, 18217 markings/sec, 505 secs
lola: STP completed || 12 tries, 11462707 fired transitions, 510 secs || 9715659 markings, 63924226 edges, 18322 markings/sec, 510 secs
lola: STP completed || 12 tries, 11577583 fired transitions, 515 secs || 9811238 markings, 64556244 edges, 19116 markings/sec, 515 secs
lola: STP completed || 12 tries, 11690598 fired transitions, 520 secs || 9906311 markings, 65185636 edges, 19015 markings/sec, 520 secs
lola: STP completed || 12 tries, 11800916 fired transitions, 525 secs || 10000109 markings, 65788020 edges, 18760 markings/sec, 525 secs
lola: STP completed || 12 tries, 11911119 fired transitions, 530 secs || 10093299 markings, 66403467 edges, 18638 markings/sec, 530 secs
lola: STP completed || 13 tries, 12020931 fired transitions, 535 secs || 10185201 markings, 67022387 edges, 18380 markings/sec, 535 secs
lola: STP completed || 13 tries, 12131114 fired transitions, 540 secs || 10278661 markings, 67634371 edges, 18692 markings/sec, 540 secs
lola: STP completed || 13 tries, 12241092 fired transitions, 545 secs || 10371149 markings, 68248427 edges, 18498 markings/sec, 545 secs
lola: STP completed || 13 tries, 12351676 fired transitions, 550 secs || 10463619 markings, 68859823 edges, 18494 markings/sec, 550 secs
lola: STP completed || 13 tries, 12463474 fired transitions, 555 secs || 10557663 markings, 69485950 edges, 18809 markings/sec, 555 secs
lola: STP completed || 13 tries, 12574686 fired transitions, 560 secs || 10651672 markings, 70108544 edges, 18802 markings/sec, 560 secs
lola: STP completed || 13 tries, 12684700 fired transitions, 565 secs || 10744142 markings, 70715868 edges, 18494 markings/sec, 565 secs
lola: STP completed || 13 tries, 12794675 fired transitions, 570 secs || 10837473 markings, 71335118 edges, 18666 markings/sec, 570 secs
lola: STP completed || 13 tries, 12905260 fired transitions, 575 secs || 10928341 markings, 71936015 edges, 18174 markings/sec, 575 secs
lola: STP completed || 14 tries, 13016168 fired transitions, 580 secs || 11018383 markings, 72530882 edges, 18008 markings/sec, 580 secs
lola: STP completed || 14 tries, 13133992 fired transitions, 585 secs || 11114136 markings, 73156919 edges, 19151 markings/sec, 585 secs
lola: STP completed || 14 tries, 13244092 fired transitions, 590 secs || 11206616 markings, 73769603 edges, 18496 markings/sec, 590 secs
lola: STP completed || 14 tries, 13354875 fired transitions, 595 secs || 11299863 markings, 74387962 edges, 18649 markings/sec, 595 secs
lola: STP completed || 14 tries, 13465218 fired transitions, 600 secs || 11391168 markings, 74991642 edges, 18261 markings/sec, 600 secs
lola: STP completed || 14 tries, 13575463 fired transitions, 605 secs || 11481460 markings, 75587291 edges, 18058 markings/sec, 605 secs
lola: STP completed || 14 tries, 13686409 fired transitions, 610 secs || 11572931 markings, 76191149 edges, 18294 markings/sec, 610 secs
lola: STP completed || 14 tries, 13797174 fired transitions, 615 secs || 11664609 markings, 76793887 edges, 18336 markings/sec, 615 secs
lola: STP completed || 14 tries, 13908471 fired transitions, 620 secs || 11756468 markings, 77398907 edges, 18372 markings/sec, 620 secs
lola: STP completed || 15 tries, 14019800 fired transitions, 625 secs || 11848357 markings, 78006118 edges, 18378 markings/sec, 625 secs
lola: STP completed || 15 tries, 14130866 fired transitions, 630 secs || 11940571 markings, 78613019 edges, 18443 markings/sec, 630 secs
lola: STP completed || 15 tries, 14241946 fired transitions, 635 secs || 12032048 markings, 79220227 edges, 18295 markings/sec, 635 secs
lola: STP completed || 15 tries, 14353324 fired transitions, 640 secs || 12124375 markings, 79824973 edges, 18465 markings/sec, 640 secs
lola: STP completed || 15 tries, 14464762 fired transitions, 645 secs || 12217660 markings, 80445719 edges, 18657 markings/sec, 645 secs
lola: STP completed || 15 tries, 14575041 fired transitions, 650 secs || 12312578 markings, 81075903 edges, 18984 markings/sec, 650 secs
lola: STP completed || 15 tries, 14684952 fired transitions, 655 secs || 12407761 markings, 81705315 edges, 19037 markings/sec, 655 secs
lola: STP completed || 15 tries, 14795772 fired transitions, 660 secs || 12503703 markings, 82338611 edges, 19188 markings/sec, 660 secs
lola: STP completed || 15 tries, 14905207 fired transitions, 665 secs || 12596846 markings, 82954881 edges, 18629 markings/sec, 665 secs
lola: STP completed || 16 tries, 15015756 fired transitions, 670 secs || 12691009 markings, 83577848 edges, 18833 markings/sec, 670 secs
lola: STP completed || 16 tries, 15126628 fired transitions, 675 secs || 12785397 markings, 84200180 edges, 18878 markings/sec, 675 secs
lola: STP completed || 16 tries, 15237253 fired transitions, 680 secs || 12879430 markings, 84819466 edges, 18807 markings/sec, 680 secs
lola: STP completed || 16 tries, 15348460 fired transitions, 685 secs || 12973640 markings, 85437228 edges, 18842 markings/sec, 685 secs
lola: STP completed || 16 tries, 15459737 fired transitions, 690 secs || 13067849 markings, 86058352 edges, 18842 markings/sec, 690 secs
lola: STP completed || 16 tries, 15570423 fired transitions, 695 secs || 13161670 markings, 86677409 edges, 18764 markings/sec, 695 secs
lola: STP completed || 16 tries, 15680695 fired transitions, 700 secs || 13256467 markings, 87303948 edges, 18959 markings/sec, 700 secs
lola: STP completed || 16 tries, 15790886 fired transitions, 705 secs || 13351099 markings, 87928345 edges, 18926 markings/sec, 705 secs
lola: STP completed || 16 tries, 15901465 fired transitions, 710 secs || 13446026 markings, 88554754 edges, 18985 markings/sec, 710 secs
lola: STP completed || 17 tries, 16011362 fired transitions, 715 secs || 13540505 markings, 89176690 edges, 18896 markings/sec, 715 secs
lola: STP completed || 17 tries, 16125543 fired transitions, 720 secs || 13638323 markings, 89821249 edges, 19564 markings/sec, 720 secs
lola: STP completed || 17 tries, 16247784 fired transitions, 725 secs || 13740765 markings, 90497715 edges, 20488 markings/sec, 725 secs
lola: STP completed || 17 tries, 16361210 fired transitions, 730 secs || 13839219 markings, 91148903 edges, 19691 markings/sec, 730 secs
lola: STP completed || 17 tries, 16476056 fired transitions, 735 secs || 13937461 markings, 91797176 edges, 19648 markings/sec, 735 secs
lola: STP completed || 17 tries, 16591803 fired transitions, 740 secs || 14036005 markings, 92445864 edges, 19709 markings/sec, 740 secs
lola: STP completed || 17 tries, 16701464 fired transitions, 745 secs || 14130468 markings, 93068505 edges, 18893 markings/sec, 745 secs
lola: STP completed || 17 tries, 16813460 fired transitions, 750 secs || 14226414 markings, 93699193 edges, 19189 markings/sec, 750 secs
lola: STP completed || 17 tries, 16923491 fired transitions, 755 secs || 14320329 markings, 94318707 edges, 18783 markings/sec, 755 secs
lola: STP completed || 18 tries, 17033727 fired transitions, 760 secs || 14414191 markings, 94934401 edges, 18772 markings/sec, 760 secs
lola: STP completed || 18 tries, 17143917 fired transitions, 765 secs || 14508478 markings, 95551301 edges, 18857 markings/sec, 765 secs
lola: STP completed || 18 tries, 17254403 fired transitions, 770 secs || 14603293 markings, 96173174 edges, 18963 markings/sec, 770 secs
lola: STP completed || 18 tries, 17364829 fired transitions, 775 secs || 14698119 markings, 96799530 edges, 18965 markings/sec, 775 secs
lola: STP completed || 18 tries, 17475354 fired transitions, 780 secs || 14791830 markings, 97417723 edges, 18742 markings/sec, 780 secs
lola: STP completed || 18 tries, 17585895 fired transitions, 785 secs || 14884951 markings, 98031794 edges, 18624 markings/sec, 785 secs
lola: STP completed || 18 tries, 17695846 fired transitions, 790 secs || 14978087 markings, 98646744 edges, 18627 markings/sec, 790 secs
lola: STP completed || 18 tries, 17806621 fired transitions, 795 secs || 15070144 markings, 99252089 edges, 18411 markings/sec, 795 secs
lola: STP completed || 18 tries, 17916827 fired transitions, 800 secs || 15162794 markings, 99861869 edges, 18530 markings/sec, 800 secs
lola: STP completed || 19 tries, 18027351 fired transitions, 805 secs || 15256520 markings, 100478186 edges, 18745 markings/sec, 805 secs
lola: STP completed || 19 tries, 18137704 fired transitions, 810 secs || 15351092 markings, 101102922 edges, 18914 markings/sec, 810 secs
lola: STP completed || 19 tries, 18248148 fired transitions, 815 secs || 15444087 markings, 101717424 edges, 18599 markings/sec, 815 secs
lola: STP completed || 19 tries, 18362818 fired transitions, 820 secs || 15540621 markings, 102353053 edges, 19307 markings/sec, 820 secs
lola: STP completed || 19 tries, 18471313 fired transitions, 825 secs || 15633874 markings, 102969244 edges, 18651 markings/sec, 825 secs
lola: STP completed || 19 tries, 18586417 fired transitions, 830 secs || 15729493 markings, 103599746 edges, 19124 markings/sec, 830 secs
lola: STP completed || 19 tries, 18699113 fired transitions, 835 secs || 15822341 markings, 104215499 edges, 18570 markings/sec, 835 secs
lola: STP completed || 19 tries, 18816906 fired transitions, 840 secs || 15924665 markings, 104823255 edges, 20465 markings/sec, 840 secs
lola: STP completed || 19 tries, 18927155 fired transitions, 845 secs || 16017736 markings, 105423931 edges, 18614 markings/sec, 845 secs
lola: STP completed || 20 tries, 19040335 fired transitions, 850 secs || 16112406 markings, 106050685 edges, 18934 markings/sec, 850 secs
lola: STP completed || 20 tries, 19150945 fired transitions, 855 secs || 16204692 markings, 106658558 edges, 18457 markings/sec, 855 secs
lola: STP completed || 20 tries, 19260996 fired transitions, 860 secs || 16297988 markings, 107270496 edges, 18659 markings/sec, 860 secs
lola: STP completed || 20 tries, 19371605 fired transitions, 865 secs || 16392254 markings, 107895336 edges, 18853 markings/sec, 865 secs
lola: STP completed || 20 tries, 19482087 fired transitions, 870 secs || 16486741 markings, 108518940 edges, 18897 markings/sec, 870 secs
lola: STP completed || 20 tries, 19592525 fired transitions, 875 secs || 16580848 markings, 109139993 edges, 18821 markings/sec, 875 secs
lola: STP completed || 20 tries, 19703537 fired transitions, 880 secs || 16674287 markings, 109755242 edges, 18688 markings/sec, 880 secs
lola: STP completed || 20 tries, 19814541 fired transitions, 885 secs || 16765725 markings, 110355618 edges, 18288 markings/sec, 885 secs
lola: STP completed || 20 tries, 19925301 fired transitions, 890 secs || 16857655 markings, 110965759 edges, 18386 markings/sec, 890 secs
lola: STP completed || 21 tries, 20035541 fired transitions, 895 secs || 16949044 markings, 111572150 edges, 18278 markings/sec, 895 secs
lola: STP completed || 21 tries, 20147800 fired transitions, 900 secs || 17044651 markings, 112200065 edges, 19121 markings/sec, 900 secs
lola: STP completed || 21 tries, 20258282 fired transitions, 905 secs || 17138270 markings, 112819334 edges, 18724 markings/sec, 905 secs
lola: STP completed || 21 tries, 20369481 fired transitions, 910 secs || 17232390 markings, 113439255 edges, 18824 markings/sec, 910 secs
lola: STP completed || 21 tries, 20479544 fired transitions, 915 secs || 17325417 markings, 114057431 edges, 18605 markings/sec, 915 secs
lola: STP completed || 21 tries, 20590337 fired transitions, 920 secs || 17418738 markings, 114670346 edges, 18664 markings/sec, 920 secs
lola: STP completed || 21 tries, 20701034 fired transitions, 925 secs || 17511612 markings, 115282879 edges, 18575 markings/sec, 925 secs
lola: STP completed || 21 tries, 20811134 fired transitions, 930 secs || 17604229 markings, 115893351 edges, 18523 markings/sec, 930 secs
lola: STP completed || 21 tries, 20921701 fired transitions, 935 secs || 17696270 markings, 116501725 edges, 18408 markings/sec, 935 secs
lola: STP completed || 22 tries, 21032076 fired transitions, 940 secs || 17787951 markings, 117107454 edges, 18336 markings/sec, 940 secs
lola: STP completed || 22 tries, 21143084 fired transitions, 945 secs || 17879233 markings, 117711456 edges, 18256 markings/sec, 945 secs
lola: STP completed || 22 tries, 21253461 fired transitions, 950 secs || 17971053 markings, 118315691 edges, 18364 markings/sec, 950 secs
lola: STP completed || 22 tries, 21363597 fired transitions, 955 secs || 18063543 markings, 118924978 edges, 18498 markings/sec, 955 secs
lola: STP completed || 22 tries, 21473851 fired transitions, 960 secs || 18155253 markings, 119531244 edges, 18342 markings/sec, 960 secs
lola: STP completed || 22 tries, 21584160 fired transitions, 965 secs || 18246610 markings, 120133434 edges, 18271 markings/sec, 965 secs
lola: STP completed || 22 tries, 21694320 fired transitions, 970 secs || 18337702 markings, 120732736 edges, 18218 markings/sec, 970 secs
lola: STP completed || 22 tries, 21804785 fired transitions, 975 secs || 18428957 markings, 121330778 edges, 18251 markings/sec, 975 secs
lola: STP completed || 22 tries, 21915149 fired transitions, 980 secs || 18520448 markings, 121936051 edges, 18298 markings/sec, 980 secs
lola: STP completed || 23 tries, 22025193 fired transitions, 985 secs || 18613438 markings, 122553794 edges, 18598 markings/sec, 985 secs
lola: STP completed || 23 tries, 22135143 fired transitions, 990 secs || 18705735 markings, 123169191 edges, 18459 markings/sec, 990 secs
lola: STP completed || 23 tries, 22245924 fired transitions, 995 secs || 18797028 markings, 123771589 edges, 18259 markings/sec, 995 secs
lola: STP completed || 23 tries, 22356851 fired transitions, 1000 secs || 18888910 markings, 124380818 edges, 18376 markings/sec, 1000 secs
lola: STP completed || 23 tries, 22467170 fired transitions, 1005 secs || 18981353 markings, 124996490 edges, 18489 markings/sec, 1005 secs
lola: STP completed || 23 tries, 22577267 fired transitions, 1010 secs || 19074340 markings, 125614544 edges, 18597 markings/sec, 1010 secs
lola: STP completed || 23 tries, 22688547 fired transitions, 1015 secs || 19168929 markings, 126241554 edges, 18918 markings/sec, 1015 secs
lola: STP completed || 23 tries, 22798891 fired transitions, 1020 secs || 19261768 markings, 126855243 edges, 18568 markings/sec, 1020 secs
lola: STP completed || 23 tries, 22908151 fired transitions, 1025 secs || 19353756 markings, 127463227 edges, 18398 markings/sec, 1025 secs
lola: STP completed || 24 tries, 23017860 fired transitions, 1030 secs || 19447587 markings, 128080287 edges, 18766 markings/sec, 1030 secs
lola: STP completed || 24 tries, 23127105 fired transitions, 1035 secs || 19543669 markings, 128654681 edges, 19216 markings/sec, 1035 secs
lola: STP completed || 24 tries, 23236819 fired transitions, 1040 secs || 19637290 markings, 129258824 edges, 18724 markings/sec, 1040 secs
lola: STP completed || 24 tries, 23346892 fired transitions, 1045 secs || 19730147 markings, 129874046 edges, 18571 markings/sec, 1045 secs
lola: STP completed || 24 tries, 23457838 fired transitions, 1050 secs || 19823678 markings, 130495625 edges, 18706 markings/sec, 1050 secs
lola: STP completed || 24 tries, 23571435 fired transitions, 1055 secs || 19920651 markings, 131139528 edges, 19395 markings/sec, 1055 secs
lola: STP completed || 24 tries, 23681449 fired transitions, 1060 secs || 20013285 markings, 131757082 edges, 18527 markings/sec, 1060 secs
lola: STP completed || 24 tries, 23791862 fired transitions, 1065 secs || 20106859 markings, 132374253 edges, 18715 markings/sec, 1065 secs
lola: STP completed || 24 tries, 23911002 fired transitions, 1070 secs || 20207246 markings, 133039846 edges, 20077 markings/sec, 1070 secs
lola: STP completed || 25 tries, 24032924 fired transitions, 1075 secs || 20313565 markings, 133668950 edges, 21264 markings/sec, 1075 secs
lola: STP completed || 25 tries, 24143626 fired transitions, 1080 secs || 20406186 markings, 134275698 edges, 18524 markings/sec, 1080 secs
lola: STP completed || 25 tries, 24254030 fired transitions, 1085 secs || 20499236 markings, 134890975 edges, 18610 markings/sec, 1085 secs
lola: STP completed || 25 tries, 24363618 fired transitions, 1090 secs || 20591506 markings, 135503256 edges, 18454 markings/sec, 1090 secs
lola: STP completed || 25 tries, 24474625 fired transitions, 1095 secs || 20683536 markings, 136115354 edges, 18406 markings/sec, 1095 secs
lola: STP completed || 25 tries, 24590700 fired transitions, 1100 secs || 20780320 markings, 136759397 edges, 19357 markings/sec, 1100 secs
lola: STP completed || 25 tries, 24703352 fired transitions, 1105 secs || 20873577 markings, 137374730 edges, 18651 markings/sec, 1105 secs
lola: STP completed || 25 tries, 24814125 fired transitions, 1110 secs || 20963573 markings, 137975941 edges, 17999 markings/sec, 1110 secs
lola: STP completed || 25 tries, 24924218 fired transitions, 1115 secs || 21056865 markings, 138595890 edges, 18658 markings/sec, 1115 secs
lola: STP completed || 26 tries, 25034313 fired transitions, 1120 secs || 21150385 markings, 139220265 edges, 18704 markings/sec, 1120 secs
lola: STP completed || 26 tries, 25144943 fired transitions, 1125 secs || 21241933 markings, 139825522 edges, 18310 markings/sec, 1125 secs
lola: STP completed || 26 tries, 25254384 fired transitions, 1130 secs || 21334632 markings, 140437523 edges, 18540 markings/sec, 1130 secs
lola: STP completed || 26 tries, 25365341 fired transitions, 1135 secs || 21427797 markings, 141056571 edges, 18633 markings/sec, 1135 secs
lola: STP completed || 26 tries, 25475858 fired transitions, 1140 secs || 21519846 markings, 141669075 edges, 18410 markings/sec, 1140 secs
lola: STP completed || 26 tries, 25587267 fired transitions, 1145 secs || 21613112 markings, 142292073 edges, 18653 markings/sec, 1145 secs
lola: STP completed || 26 tries, 25704766 fired transitions, 1150 secs || 21710107 markings, 142935131 edges, 19399 markings/sec, 1150 secs
lola: STP completed || 26 tries, 25815537 fired transitions, 1155 secs || 21801206 markings, 143536868 edges, 18220 markings/sec, 1155 secs
lola: STP completed || 26 tries, 25926647 fired transitions, 1160 secs || 21893487 markings, 144149016 edges, 18456 markings/sec, 1160 secs
lola: STP completed || 27 tries, 26038491 fired transitions, 1165 secs || 21988208 markings, 144778121 edges, 18944 markings/sec, 1165 secs
lola: STP completed || 27 tries, 26148861 fired transitions, 1170 secs || 22079680 markings, 145385222 edges, 18294 markings/sec, 1170 secs
lola: STP completed || 27 tries, 26260039 fired transitions, 1175 secs || 22172514 markings, 146005626 edges, 18567 markings/sec, 1175 secs
lola: STP completed || 27 tries, 26369750 fired transitions, 1180 secs || 22268035 markings, 146582576 edges, 19104 markings/sec, 1180 secs
lola: STP completed || 27 tries, 26479763 fired transitions, 1185 secs || 22361864 markings, 147179621 edges, 18766 markings/sec, 1185 secs
lola: STP completed || 27 tries, 26595118 fired transitions, 1190 secs || 22455499 markings, 147797326 edges, 18727 markings/sec, 1190 secs
lola: STP completed || 27 tries, 26705707 fired transitions, 1195 secs || 22548540 markings, 148411127 edges, 18608 markings/sec, 1195 secs
lola: STP completed || 27 tries, 26816001 fired transitions, 1200 secs || 22639805 markings, 149022124 edges, 18253 markings/sec, 1200 secs
lola: STP completed || 27 tries, 26926284 fired transitions, 1205 secs || 22731340 markings, 149633237 edges, 18307 markings/sec, 1205 secs
lola: STP completed || 28 tries, 27036436 fired transitions, 1210 secs || 22824233 markings, 150249112 edges, 18579 markings/sec, 1210 secs
lola: STP completed || 28 tries, 27146402 fired transitions, 1215 secs || 22917079 markings, 150862452 edges, 18569 markings/sec, 1215 secs
lola: STP completed || 28 tries, 27259324 fired transitions, 1220 secs || 23012250 markings, 151485535 edges, 19034 markings/sec, 1220 secs
lola: STP completed || 28 tries, 27375294 fired transitions, 1225 secs || 23109083 markings, 152121051 edges, 19367 markings/sec, 1225 secs
lola: STP completed || 28 tries, 27485572 fired transitions, 1230 secs || 23203736 markings, 152743264 edges, 18931 markings/sec, 1230 secs
lola: STP completed || 28 tries, 27595513 fired transitions, 1235 secs || 23296958 markings, 153359908 edges, 18644 markings/sec, 1235 secs
lola: STP completed || 28 tries, 27705788 fired transitions, 1240 secs || 23391008 markings, 153979197 edges, 18810 markings/sec, 1240 secs
lola: STP completed || 28 tries, 27815767 fired transitions, 1245 secs || 23485369 markings, 154599814 edges, 18872 markings/sec, 1245 secs
lola: STP completed || 28 tries, 27925375 fired transitions, 1250 secs || 23579381 markings, 155220827 edges, 18802 markings/sec, 1250 secs
lola: STP completed || 29 tries, 28035052 fired transitions, 1255 secs || 23673037 markings, 155839525 edges, 18731 markings/sec, 1255 secs
lola: STP completed || 29 tries, 28145218 fired transitions, 1260 secs || 23767233 markings, 156460335 edges, 18839 markings/sec, 1260 secs
lola: STP completed || 29 tries, 28255413 fired transitions, 1265 secs || 23860909 markings, 157084269 edges, 18735 markings/sec, 1265 secs
lola: STP completed || 29 tries, 28365912 fired transitions, 1270 secs || 23955622 markings, 157708722 edges, 18943 markings/sec, 1270 secs
lola: STP completed || 29 tries, 28476252 fired transitions, 1275 secs || 24049745 markings, 158331950 edges, 18825 markings/sec, 1275 secs
lola: STP completed || 29 tries, 28586518 fired transitions, 1280 secs || 24143825 markings, 158954262 edges, 18816 markings/sec, 1280 secs
lola: STP completed || 29 tries, 28696638 fired transitions, 1285 secs || 24237355 markings, 159571661 edges, 18706 markings/sec, 1285 secs
lola: STP completed || 29 tries, 28806949 fired transitions, 1290 secs || 24331328 markings, 160191419 edges, 18795 markings/sec, 1290 secs
lola: STP completed || 29 tries, 28917184 fired transitions, 1295 secs || 24424396 markings, 160805205 edges, 18614 markings/sec, 1295 secs
lola: STP completed || 30 tries, 29026609 fired transitions, 1300 secs || 24517263 markings, 161415000 edges, 18573 markings/sec, 1300 secs
lola: STP completed || 30 tries, 29136387 fired transitions, 1305 secs || 24610728 markings, 162031674 edges, 18693 markings/sec, 1305 secs
lola: STP completed || 30 tries, 29246630 fired transitions, 1310 secs || 24704761 markings, 162653623 edges, 18807 markings/sec, 1310 secs
lola: STP completed || 30 tries, 29356282 fired transitions, 1315 secs || 24799273 markings, 163272640 edges, 18902 markings/sec, 1315 secs
lola: STP completed || 30 tries, 29470031 fired transitions, 1320 secs || 24894430 markings, 163898995 edges, 19031 markings/sec, 1320 secs
lola: STP completed || 30 tries, 29588971 fired transitions, 1325 secs || 24991385 markings, 164539277 edges, 19391 markings/sec, 1325 secs
lola: STP completed || 30 tries, 29699135 fired transitions, 1330 secs || 25083425 markings, 165147018 edges, 18408 markings/sec, 1330 secs
lola: STP completed || 30 tries, 29809799 fired transitions, 1335 secs || 25175976 markings, 165756439 edges, 18510 markings/sec, 1335 secs
lola: STP completed || 30 tries, 29920172 fired transitions, 1340 secs || 25269594 markings, 166375335 edges, 18724 markings/sec, 1340 secs
lola: STP completed || 31 tries, 30031144 fired transitions, 1345 secs || 25364440 markings, 167001366 edges, 18969 markings/sec, 1345 secs
lola: STP completed || 31 tries, 30141194 fired transitions, 1350 secs || 25458230 markings, 167620810 edges, 18758 markings/sec, 1350 secs
lola: STP completed || 31 tries, 30251346 fired transitions, 1355 secs || 25551688 markings, 168235907 edges, 18692 markings/sec, 1355 secs
lola: STP completed || 31 tries, 30363258 fired transitions, 1360 secs || 25647707 markings, 168869620 edges, 19204 markings/sec, 1360 secs
lola: STP completed || 31 tries, 30475060 fired transitions, 1365 secs || 25742105 markings, 169488462 edges, 18880 markings/sec, 1365 secs
lola: STP completed || 31 tries, 30589805 fired transitions, 1370 secs || 25837638 markings, 170117083 edges, 19107 markings/sec, 1370 secs
lola: STP completed || 31 tries, 30701134 fired transitions, 1375 secs || 25930911 markings, 170735319 edges, 18655 markings/sec, 1375 secs
lola: STP completed || 31 tries, 30811173 fired transitions, 1380 secs || 26023993 markings, 171349142 edges, 18616 markings/sec, 1380 secs
lola: STP completed || 31 tries, 30923616 fired transitions, 1385 secs || 26117021 markings, 171964946 edges, 18606 markings/sec, 1385 secs
lola: STP completed || 32 tries, 31034795 fired transitions, 1390 secs || 26208995 markings, 172572883 edges, 18395 markings/sec, 1390 secs
lola: STP completed || 32 tries, 31147136 fired transitions, 1395 secs || 26300618 markings, 173175123 edges, 18325 markings/sec, 1395 secs
lola: STP completed || 32 tries, 31261566 fired transitions, 1400 secs || 26394775 markings, 173795920 edges, 18831 markings/sec, 1400 secs
lola: STP completed || 32 tries, 31371689 fired transitions, 1405 secs || 26486373 markings, 174397272 edges, 18320 markings/sec, 1405 secs
lola: STP completed || 32 tries, 31481089 fired transitions, 1410 secs || 26578086 markings, 175005853 edges, 18343 markings/sec, 1410 secs
lola: STP completed || 32 tries, 31598787 fired transitions, 1415 secs || 26676830 markings, 175658434 edges, 19749 markings/sec, 1415 secs
lola: STP completed || 32 tries, 31712849 fired transitions, 1420 secs || 26770852 markings, 176281735 edges, 18804 markings/sec, 1420 secs
lola: STP completed || 32 tries, 31827492 fired transitions, 1425 secs || 26865194 markings, 176900386 edges, 18868 markings/sec, 1425 secs
lola: STP completed || 32 tries, 31937523 fired transitions, 1430 secs || 26955987 markings, 177497988 edges, 18159 markings/sec, 1430 secs
lola: STP completed || 33 tries, 32046966 fired transitions, 1435 secs || 27046585 markings, 178092689 edges, 18120 markings/sec, 1435 secs
lola: STP completed || 33 tries, 32156697 fired transitions, 1440 secs || 27137511 markings, 178691667 edges, 18185 markings/sec, 1440 secs
lola: STP completed || 33 tries, 32266539 fired transitions, 1445 secs || 27228220 markings, 179293788 edges, 18142 markings/sec, 1445 secs
lola: STP completed || 33 tries, 32377275 fired transitions, 1450 secs || 27318596 markings, 179890135 edges, 18075 markings/sec, 1450 secs
lola: STP completed || 33 tries, 32487606 fired transitions, 1455 secs || 27409114 markings, 180489877 edges, 18104 markings/sec, 1455 secs
lola: STP completed || 33 tries, 32598020 fired transitions, 1460 secs || 27499675 markings, 181089597 edges, 18112 markings/sec, 1460 secs
lola: STP completed || 33 tries, 32707898 fired transitions, 1465 secs || 27589932 markings, 181681712 edges, 18051 markings/sec, 1465 secs
lola: STP completed || 33 tries, 32818477 fired transitions, 1470 secs || 27682422 markings, 182289028 edges, 18498 markings/sec, 1470 secs
lola: STP completed || 33 tries, 32928642 fired transitions, 1475 secs || 27774951 markings, 182897872 edges, 18506 markings/sec, 1475 secs
lola: STP completed || 34 tries, 33038154 fired transitions, 1480 secs || 27866891 markings, 183507567 edges, 18388 markings/sec, 1480 secs
lola: STP completed || 34 tries, 33147647 fired transitions, 1485 secs || 27958917 markings, 184114350 edges, 18405 markings/sec, 1485 secs
lola: STP completed || 34 tries, 33257418 fired transitions, 1490 secs || 28050068 markings, 184716000 edges, 18230 markings/sec, 1490 secs
lola: STP completed || 34 tries, 33367490 fired transitions, 1495 secs || 28140577 markings, 185317617 edges, 18102 markings/sec, 1495 secs
lola: STP completed || 34 tries, 33476929 fired transitions, 1500 secs || 28232756 markings, 185924748 edges, 18436 markings/sec, 1500 secs
lola: STP completed || 34 tries, 33586601 fired transitions, 1505 secs || 28324955 markings, 186522141 edges, 18440 markings/sec, 1505 secs
lola: STP completed || 34 tries, 33696491 fired transitions, 1510 secs || 28416087 markings, 187126347 edges, 18226 markings/sec, 1510 secs
lola: STP completed || 34 tries, 33805116 fired transitions, 1515 secs || 28507474 markings, 187731793 edges, 18277 markings/sec, 1515 secs
lola: STP completed || 34 tries, 33917071 fired transitions, 1520 secs || 28600866 markings, 188348731 edges, 18678 markings/sec, 1520 secs
lola: STP completed || 35 tries, 34027203 fired transitions, 1525 secs || 28693803 markings, 188957023 edges, 18587 markings/sec, 1525 secs
lola: STP completed || 35 tries, 34137518 fired transitions, 1530 secs || 28786312 markings, 189565784 edges, 18502 markings/sec, 1530 secs
lola: STP completed || 35 tries, 34248642 fired transitions, 1535 secs || 28878451 markings, 190183608 edges, 18428 markings/sec, 1535 secs
lola: STP completed || 35 tries, 34361266 fired transitions, 1540 secs || 28971129 markings, 190798797 edges, 18536 markings/sec, 1540 secs
lola: STP completed || 35 tries, 34477444 fired transitions, 1545 secs || 29066779 markings, 191440588 edges, 19130 markings/sec, 1545 secs
lola: STP completed || 35 tries, 34592210 fired transitions, 1550 secs || 29163610 markings, 192082154 edges, 19366 markings/sec, 1550 secs
lola: STP completed || 35 tries, 34703049 fired transitions, 1555 secs || 29256893 markings, 192702035 edges, 18657 markings/sec, 1555 secs
lola: STP completed || 35 tries, 34813655 fired transitions, 1560 secs || 29350255 markings, 193314330 edges, 18672 markings/sec, 1560 secs
lola: STP completed || 35 tries, 34924426 fired transitions, 1565 secs || 29443642 markings, 193927721 edges, 18677 markings/sec, 1565 secs
lola: STP completed || 36 tries, 35035812 fired transitions, 1570 secs || 29536386 markings, 194540247 edges, 18549 markings/sec, 1570 secs
lola: STP completed || 36 tries, 35146020 fired transitions, 1575 secs || 29630342 markings, 195160419 edges, 18791 markings/sec, 1575 secs
lola: STP completed || 36 tries, 35256676 fired transitions, 1580 secs || 29723190 markings, 195776123 edges, 18570 markings/sec, 1580 secs
lola: STP completed || 36 tries, 35366878 fired transitions, 1585 secs || 29815040 markings, 196387931 edges, 18370 markings/sec, 1585 secs
lola: STP completed || 36 tries, 35477394 fired transitions, 1590 secs || 29906879 markings, 196997784 edges, 18368 markings/sec, 1590 secs
lola: STP completed || 36 tries, 35588121 fired transitions, 1595 secs || 30000426 markings, 197612021 edges, 18709 markings/sec, 1595 secs
lola: STP completed || 36 tries, 35698826 fired transitions, 1600 secs || 30093845 markings, 198229582 edges, 18684 markings/sec, 1600 secs
lola: STP completed || 36 tries, 35809653 fired transitions, 1605 secs || 30185636 markings, 198835833 edges, 18358 markings/sec, 1605 secs
lola: STP completed || 36 tries, 35920443 fired transitions, 1610 secs || 30276820 markings, 199439607 edges, 18237 markings/sec, 1610 secs
lola: STP completed || 37 tries, 36031031 fired transitions, 1615 secs || 30369235 markings, 200056221 edges, 18483 markings/sec, 1615 secs
lola: STP completed || 37 tries, 36141715 fired transitions, 1620 secs || 30461014 markings, 200668538 edges, 18356 markings/sec, 1620 secs
lola: STP completed || 37 tries, 36252656 fired transitions, 1625 secs || 30553746 markings, 201276706 edges, 18546 markings/sec, 1625 secs
lola: STP completed || 37 tries, 36363266 fired transitions, 1630 secs || 30645859 markings, 201885843 edges, 18423 markings/sec, 1630 secs
lola: STP completed || 37 tries, 36475358 fired transitions, 1635 secs || 30737731 markings, 202494441 edges, 18374 markings/sec, 1635 secs
lola: STP completed || 37 tries, 36589544 fired transitions, 1640 secs || 30833261 markings, 203122942 edges, 19106 markings/sec, 1640 secs
lola: STP completed || 37 tries, 36703999 fired transitions, 1645 secs || 30934991 markings, 203723923 edges, 20346 markings/sec, 1645 secs
lola: STP completed || 37 tries, 36814714 fired transitions, 1650 secs || 31031300 markings, 204323622 edges, 19262 markings/sec, 1650 secs
lola: STP completed || 37 tries, 36924692 fired transitions, 1655 secs || 31128767 markings, 204899898 edges, 19493 markings/sec, 1655 secs
lola: STP completed || 38 tries, 37034908 fired transitions, 1660 secs || 31221814 markings, 205515894 edges, 18609 markings/sec, 1660 secs
lola: STP completed || 38 tries, 37145123 fired transitions, 1665 secs || 31314979 markings, 206135404 edges, 18633 markings/sec, 1665 secs
lola: STP completed || 38 tries, 37259811 fired transitions, 1670 secs || 31411118 markings, 206769803 edges, 19228 markings/sec, 1670 secs
lola: STP completed || 38 tries, 37372896 fired transitions, 1675 secs || 31504802 markings, 207394587 edges, 18737 markings/sec, 1675 secs
lola: STP completed || 38 tries, 37483259 fired transitions, 1680 secs || 31597603 markings, 208005573 edges, 18560 markings/sec, 1680 secs
lola: STP completed || 38 tries, 37593678 fired transitions, 1685 secs || 31689730 markings, 208616834 edges, 18425 markings/sec, 1685 secs
lola: STP completed || 38 tries, 37704534 fired transitions, 1690 secs || 31782419 markings, 209234396 edges, 18538 markings/sec, 1690 secs
lola: STP completed || 38 tries, 37815242 fired transitions, 1695 secs || 31874911 markings, 209846434 edges, 18498 markings/sec, 1695 secs
lola: STP completed || 38 tries, 37925477 fired transitions, 1700 secs || 31966278 markings, 210456829 edges, 18273 markings/sec, 1700 secs
lola: STP completed || 39 tries, 38036820 fired transitions, 1705 secs || 32058610 markings, 211069480 edges, 18466 markings/sec, 1705 secs
lola: STP completed || 39 tries, 38151044 fired transitions, 1710 secs || 32153361 markings, 211694023 edges, 18950 markings/sec, 1710 secs
lola: STP completed || 39 tries, 38268469 fired transitions, 1715 secs || 32251145 markings, 212346402 edges, 19557 markings/sec, 1715 secs
lola: STP completed || 39 tries, 38382675 fired transitions, 1720 secs || 32345563 markings, 212972925 edges, 18884 markings/sec, 1720 secs
lola: STP completed || 39 tries, 38501265 fired transitions, 1725 secs || 32442924 markings, 213618140 edges, 19472 markings/sec, 1725 secs
lola: STP completed || 39 tries, 38612600 fired transitions, 1730 secs || 32534550 markings, 214226569 edges, 18325 markings/sec, 1730 secs
lola: STP completed || 39 tries, 38722681 fired transitions, 1735 secs || 32625638 markings, 214826609 edges, 18218 markings/sec, 1735 secs
lola: STP completed || 39 tries, 38833834 fired transitions, 1740 secs || 32716507 markings, 215428453 edges, 18174 markings/sec, 1740 secs
lola: STP completed || 39 tries, 38944657 fired transitions, 1745 secs || 32807576 markings, 216033814 edges, 18214 markings/sec, 1745 secs
lola: STP completed || 40 tries, 39057866 fired transitions, 1750 secs || 32902163 markings, 216662429 edges, 18917 markings/sec, 1750 secs
lola: STP completed || 40 tries, 39172790 fired transitions, 1755 secs || 32998110 markings, 217300226 edges, 19189 markings/sec, 1755 secs
lola: STP completed || 40 tries, 39282886 fired transitions, 1760 secs || 33091156 markings, 217922736 edges, 18609 markings/sec, 1760 secs
lola: STP completed || 40 tries, 39393826 fired transitions, 1765 secs || 33183654 markings, 218532464 edges, 18500 markings/sec, 1765 secs
lola: STP completed || 40 tries, 39509424 fired transitions, 1770 secs || 33279349 markings, 219165508 edges, 19139 markings/sec, 1770 secs
lola: STP completed || 40 tries, 39619649 fired transitions, 1775 secs || 33371292 markings, 219781045 edges, 18389 markings/sec, 1775 secs
lola: STP completed || 40 tries, 39730017 fired transitions, 1780 secs || 33464503 markings, 220400802 edges, 18642 markings/sec, 1780 secs
lola: STP completed || 40 tries, 39840086 fired transitions, 1785 secs || 33561899 markings, 220980985 edges, 19479 markings/sec, 1785 secs
lola: STP completed || 40 tries, 39950163 fired transitions, 1790 secs || 33654401 markings, 221589316 edges, 18500 markings/sec, 1790 secs
lola: STP completed || 41 tries, 40060569 fired transitions, 1795 secs || 33746256 markings, 222196450 edges, 18371 markings/sec, 1795 secs
lola: STP completed || 41 tries, 40180139 fired transitions, 1800 secs || 33842782 markings, 222835267 edges, 19305 markings/sec, 1800 secs
lola: STP completed || 41 tries, 40296252 fired transitions, 1805 secs || 33939448 markings, 223464571 edges, 19333 markings/sec, 1805 secs
lola: STP completed || 41 tries, 40412575 fired transitions, 1810 secs || 34040866 markings, 224062476 edges, 20284 markings/sec, 1810 secs
lola: STP completed || 41 tries, 40523185 fired transitions, 1815 secs || 34133948 markings, 224676277 edges, 18616 markings/sec, 1815 secs
lola: STP completed || 41 tries, 40640145 fired transitions, 1820 secs || 34229804 markings, 225312963 edges, 19171 markings/sec, 1820 secs
lola: STP completed || 41 tries, 40754585 fired transitions, 1825 secs || 34323540 markings, 225938459 edges, 18747 markings/sec, 1825 secs
lola: STP completed || 41 tries, 40873149 fired transitions, 1830 secs || 34418967 markings, 226568452 edges, 19085 markings/sec, 1830 secs
lola: STP completed || 41 tries, 40983539 fired transitions, 1835 secs || 34509928 markings, 227163037 edges, 18192 markings/sec, 1835 secs
lola: STP completed || 42 tries, 41093948 fired transitions, 1840 secs || 34600529 markings, 227766515 edges, 18120 markings/sec, 1840 secs
lola: STP completed || 42 tries, 41205311 fired transitions, 1845 secs || 34693436 markings, 228394861 edges, 18581 markings/sec, 1845 secs
lola: STP completed || 42 tries, 41317513 fired transitions, 1850 secs || 34786222 markings, 229010880 edges, 18557 markings/sec, 1850 secs
lola: STP completed || 42 tries, 41428817 fired transitions, 1855 secs || 34879762 markings, 229637137 edges, 18708 markings/sec, 1855 secs
lola: STP completed || 42 tries, 41539667 fired transitions, 1860 secs || 34973370 markings, 230247795 edges, 18722 markings/sec, 1860 secs
lola: STP completed || 42 tries, 41650699 fired transitions, 1865 secs || 35065966 markings, 230864566 edges, 18519 markings/sec, 1865 secs
lola: STP completed || 42 tries, 41761698 fired transitions, 1870 secs || 35159031 markings, 231479718 edges, 18613 markings/sec, 1870 secs
lola: STP completed || 42 tries, 41872708 fired transitions, 1875 secs || 35251210 markings, 232099360 edges, 18436 markings/sec, 1875 secs
lola: STP completed || 42 tries, 41983413 fired transitions, 1880 secs || 35344132 markings, 232719742 edges, 18584 markings/sec, 1880 secs
lola: STP completed || 43 tries, 42093166 fired transitions, 1885 secs || 35436653 markings, 233335191 edges, 18504 markings/sec, 1885 secs
lola: STP completed || 43 tries, 42204054 fired transitions, 1890 secs || 35531041 markings, 233937937 edges, 18878 markings/sec, 1890 secs
lola: STP completed || 43 tries, 42314743 fired transitions, 1895 secs || 35622242 markings, 234544906 edges, 18240 markings/sec, 1895 secs
lola: STP completed || 43 tries, 42425819 fired transitions, 1900 secs || 35714444 markings, 235158193 edges, 18440 markings/sec, 1900 secs
lola: STP completed || 43 tries, 42535036 fired transitions, 1905 secs || 35806490 markings, 235764740 edges, 18409 markings/sec, 1905 secs
lola: STP completed || 43 tries, 42646204 fired transitions, 1910 secs || 35898928 markings, 236376794 edges, 18488 markings/sec, 1910 secs
lola: STP completed || 43 tries, 42762748 fired transitions, 1915 secs || 35994795 markings, 237017254 edges, 19173 markings/sec, 1915 secs
lola: STP completed || 43 tries, 42877468 fired transitions, 1920 secs || 36089244 markings, 237642536 edges, 18890 markings/sec, 1920 secs
lola: STP completed || 43 tries, 42991138 fired transitions, 1925 secs || 36185006 markings, 238262011 edges, 19152 markings/sec, 1925 secs
lola: STP completed || 44 tries, 43101781 fired transitions, 1930 secs || 36276354 markings, 238867569 edges, 18270 markings/sec, 1930 secs
lola: STP completed || 44 tries, 43212065 fired transitions, 1935 secs || 36367633 markings, 239475137 edges, 18256 markings/sec, 1935 secs
lola: STP completed || 44 tries, 43323364 fired transitions, 1940 secs || 36458477 markings, 240079613 edges, 18169 markings/sec, 1940 secs
lola: STP completed || 44 tries, 43435750 fired transitions, 1945 secs || 36550183 markings, 240685257 edges, 18341 markings/sec, 1945 secs
lola: STP completed || 44 tries, 43550516 fired transitions, 1950 secs || 36646120 markings, 241307751 edges, 19187 markings/sec, 1950 secs
lola: STP completed || 44 tries, 43660651 fired transitions, 1955 secs || 36737415 markings, 241916813 edges, 18259 markings/sec, 1955 secs
lola: STP completed || 44 tries, 43772399 fired transitions, 1960 secs || 36831406 markings, 242538729 edges, 18798 markings/sec, 1960 secs
lola: STP completed || 44 tries, 43884444 fired transitions, 1965 secs || 36924360 markings, 243159432 edges, 18591 markings/sec, 1965 secs
lola: STP completed || 44 tries, 43994658 fired transitions, 1970 secs || 37016102 markings, 243768010 edges, 18348 markings/sec, 1970 secs
lola: STP completed || 45 tries, 44105350 fired transitions, 1975 secs || 37106528 markings, 244366519 edges, 18085 markings/sec, 1975 secs
lola: STP completed || 45 tries, 44216188 fired transitions, 1980 secs || 37196909 markings, 244964936 edges, 18076 markings/sec, 1980 secs
lola: STP completed || 45 tries, 44327163 fired transitions, 1985 secs || 37288560 markings, 245579411 edges, 18330 markings/sec, 1985 secs
lola: STP completed || 45 tries, 44437552 fired transitions, 1990 secs || 37380427 markings, 246187519 edges, 18373 markings/sec, 1990 secs
lola: STP completed || 45 tries, 44547968 fired transitions, 1995 secs || 37472329 markings, 246798128 edges, 18380 markings/sec, 1995 secs
lola: STP completed || 45 tries, 44660829 fired transitions, 2000 secs || 37565501 markings, 247419029 edges, 18634 markings/sec, 2000 secs
lola: STP completed || 45 tries, 44771738 fired transitions, 2005 secs || 37656213 markings, 248026042 edges, 18142 markings/sec, 2005 secs
lola: STP completed || 45 tries, 44882771 fired transitions, 2010 secs || 37747517 markings, 248637966 edges, 18261 markings/sec, 2010 secs
lola: STP completed || 45 tries, 44993510 fired transitions, 2015 secs || 37840553 markings, 249253367 edges, 18607 markings/sec, 2015 secs
lola: STP completed || 46 tries, 45105075 fired transitions, 2020 secs || 37932950 markings, 249869065 edges, 18479 markings/sec, 2020 secs
lola: STP completed || 46 tries, 45216909 fired transitions, 2025 secs || 38025147 markings, 250488987 edges, 18439 markings/sec, 2025 secs
lola: STP completed || 46 tries, 45333367 fired transitions, 2030 secs || 38120304 markings, 251122956 edges, 19031 markings/sec, 2030 secs
lola: STP completed || 46 tries, 45443735 fired transitions, 2035 secs || 38211731 markings, 251721061 edges, 18285 markings/sec, 2035 secs
lola: STP completed || 46 tries, 45554449 fired transitions, 2040 secs || 38304240 markings, 252338319 edges, 18502 markings/sec, 2040 secs
lola: STP completed || 46 tries, 45664864 fired transitions, 2045 secs || 38396613 markings, 252951297 edges, 18475 markings/sec, 2045 secs
lola: STP completed || 46 tries, 45776265 fired transitions, 2050 secs || 38488535 markings, 253564051 edges, 18384 markings/sec, 2050 secs
lola: STP completed || 46 tries, 45886391 fired transitions, 2055 secs || 38583873 markings, 254156728 edges, 19068 markings/sec, 2055 secs
lola: STP completed || 46 tries, 45996110 fired transitions, 2060 secs || 38679098 markings, 254747721 edges, 19045 markings/sec, 2060 secs
lola: STP completed || 47 tries, 46109576 fired transitions, 2065 secs || 38772513 markings, 255366057 edges, 18683 markings/sec, 2065 secs
lola: STP completed || 47 tries, 46220315 fired transitions, 2070 secs || 38865927 markings, 255986600 edges, 18683 markings/sec, 2070 secs
lola: STP completed || 47 tries, 46329861 fired transitions, 2075 secs || 38958201 markings, 256582599 edges, 18455 markings/sec, 2075 secs
lola: STP completed || 47 tries, 46441101 fired transitions, 2080 secs || 39056180 markings, 257159789 edges, 19596 markings/sec, 2080 secs
lola: STP completed || 47 tries, 46551920 fired transitions, 2085 secs || 39149409 markings, 257770263 edges, 18646 markings/sec, 2085 secs
lola: STP completed || 47 tries, 46666929 fired transitions, 2090 secs || 39244897 markings, 258400690 edges, 19098 markings/sec, 2090 secs
lola: STP completed || 47 tries, 46780419 fired transitions, 2095 secs || 39338496 markings, 259021377 edges, 18720 markings/sec, 2095 secs
lola: STP completed || 47 tries, 46896722 fired transitions, 2100 secs || 39432009 markings, 259639733 edges, 18703 markings/sec, 2100 secs
lola: STP completed || 48 tries, 47011266 fired transitions, 2105 secs || 39528174 markings, 260269064 edges, 19233 markings/sec, 2105 secs
lola: STP completed || 48 tries, 47126568 fired transitions, 2110 secs || 39621846 markings, 260893112 edges, 18734 markings/sec, 2110 secs
lola: STP completed || 48 tries, 47239224 fired transitions, 2115 secs || 39713666 markings, 261500842 edges, 18364 markings/sec, 2115 secs
lola: STP completed || 48 tries, 47349241 fired transitions, 2120 secs || 39803598 markings, 262094010 edges, 17986 markings/sec, 2120 secs
lola: STP completed || 48 tries, 47458465 fired transitions, 2125 secs || 39892647 markings, 262681346 edges, 17810 markings/sec, 2125 secs
lola: STP completed || 48 tries, 47568052 fired transitions, 2130 secs || 39983873 markings, 263284337 edges, 18245 markings/sec, 2130 secs
lola: STP completed || 48 tries, 47678695 fired transitions, 2135 secs || 40075452 markings, 263896563 edges, 18316 markings/sec, 2135 secs
lola: STP completed || 48 tries, 47790639 fired transitions, 2140 secs || 40171917 markings, 264516582 edges, 19293 markings/sec, 2140 secs
lola: STP completed || 48 tries, 47900866 fired transitions, 2145 secs || 40264775 markings, 265129997 edges, 18572 markings/sec, 2145 secs
lola: STP completed || 49 tries, 48010950 fired transitions, 2150 secs || 40359198 markings, 265737319 edges, 18885 markings/sec, 2150 secs
lola: STP completed || 49 tries, 48123672 fired transitions, 2155 secs || 40454153 markings, 266359588 edges, 18991 markings/sec, 2155 secs
lola: STP completed || 49 tries, 48238744 fired transitions, 2160 secs || 40553397 markings, 266956184 edges, 19849 markings/sec, 2160 secs
lola: STP completed || 49 tries, 48348638 fired transitions, 2165 secs || 40647329 markings, 267551464 edges, 18786 markings/sec, 2165 secs
lola: STP completed || 49 tries, 48460003 fired transitions, 2170 secs || 40744126 markings, 268148702 edges, 19359 markings/sec, 2170 secs
lola: STP completed || 49 tries, 48570691 fired transitions, 2175 secs || 40837495 markings, 268773660 edges, 18674 markings/sec, 2175 secs
lola: STP completed || 49 tries, 48681221 fired transitions, 2180 secs || 40930913 markings, 269394375 edges, 18684 markings/sec, 2180 secs
lola: STP completed || 49 tries, 48794379 fired transitions, 2185 secs || 41025481 markings, 270019054 edges, 18914 markings/sec, 2185 secs
lola: STP completed || 49 tries, 48906817 fired transitions, 2190 secs || 41120528 markings, 270638903 edges, 19009 markings/sec, 2190 secs
lola: STP completed || 50 tries, 49018889 fired transitions, 2195 secs || 41219415 markings, 271219868 edges, 19777 markings/sec, 2195 secs
lola: STP completed || 50 tries, 49132736 fired transitions, 2200 secs || 41319970 markings, 271838075 edges, 20111 markings/sec, 2200 secs
lola: STP completed || 50 tries, 49242412 fired transitions, 2205 secs || 41414784 markings, 272463414 edges, 18963 markings/sec, 2205 secs
lola: STP completed || 50 tries, 49357231 fired transitions, 2210 secs || 41513087 markings, 273109515 edges, 19661 markings/sec, 2210 secs
lola: STP completed || 50 tries, 49475100 fired transitions, 2215 secs || 41613593 markings, 273769274 edges, 20101 markings/sec, 2215 secs
lola: STP completed || 50 tries, 49590689 fired transitions, 2220 secs || 41711848 markings, 274415637 edges, 19651 markings/sec, 2220 secs
lola: STP completed || 50 tries, 49709286 fired transitions, 2225 secs || 41811981 markings, 275075494 edges, 20027 markings/sec, 2225 secs
lola: STP completed || 50 tries, 49819396 fired transitions, 2230 secs || 41906519 markings, 275699212 edges, 18908 markings/sec, 2230 secs
lola: STP completed || 50 tries, 49927841 fired transitions, 2235 secs || 41999375 markings, 276311818 edges, 18571 markings/sec, 2235 secs
lola: STP completed || 51 tries, 50041461 fired transitions, 2240 secs || 42095317 markings, 276943874 edges, 19188 markings/sec, 2240 secs
lola: STP completed || 51 tries, 50156855 fired transitions, 2245 secs || 42192580 markings, 277583884 edges, 19453 markings/sec, 2245 secs
lola: STP completed || 51 tries, 50266406 fired transitions, 2250 secs || 42285407 markings, 278196332 edges, 18565 markings/sec, 2250 secs
lola: STP completed || 51 tries, 50375715 fired transitions, 2255 secs || 42378950 markings, 278813422 edges, 18709 markings/sec, 2255 secs
lola: STP completed || 51 tries, 50489594 fired transitions, 2260 secs || 42475691 markings, 279447194 edges, 19348 markings/sec, 2260 secs
lola: STP completed || 51 tries, 50609974 fired transitions, 2265 secs || 42576351 markings, 280110125 edges, 20132 markings/sec, 2265 secs
lola: STP completed || 51 tries, 50726952 fired transitions, 2270 secs || 42674058 markings, 280754089 edges, 19541 markings/sec, 2270 secs
lola: STP completed || 51 tries, 50836666 fired transitions, 2275 secs || 42767467 markings, 281369610 edges, 18682 markings/sec, 2275 secs
lola: STP completed || 51 tries, 50953332 fired transitions, 2280 secs || 42865338 markings, 282013823 edges, 19574 markings/sec, 2280 secs
lola: STP completed || 52 tries, 51071424 fired transitions, 2285 secs || 42964849 markings, 282671929 edges, 19902 markings/sec, 2285 secs
lola: STP completed || 52 tries, 51187860 fired transitions, 2290 secs || 43063412 markings, 283322672 edges, 19713 markings/sec, 2290 secs
lola: STP completed || 52 tries, 51304464 fired transitions, 2295 secs || 43161084 markings, 283963960 edges, 19534 markings/sec, 2295 secs
lola: STP completed || 52 tries, 51419463 fired transitions, 2300 secs || 43258133 markings, 284600559 edges, 19410 markings/sec, 2300 secs
lola: STP completed || 52 tries, 51534377 fired transitions, 2305 secs || 43354363 markings, 285236088 edges, 19246 markings/sec, 2305 secs
lola: STP completed || 52 tries, 51644900 fired transitions, 2310 secs || 43447766 markings, 285854729 edges, 18681 markings/sec, 2310 secs
lola: STP completed || 52 tries, 51755084 fired transitions, 2315 secs || 43541066 markings, 286466648 edges, 18660 markings/sec, 2315 secs
lola: STP completed || 52 tries, 51866796 fired transitions, 2320 secs || 43635407 markings, 287088716 edges, 18868 markings/sec, 2320 secs
lola: STP completed || 52 tries, 51977022 fired transitions, 2325 secs || 43729888 markings, 287708795 edges, 18896 markings/sec, 2325 secs
lola: STP completed || 53 tries, 52087229 fired transitions, 2330 secs || 43824149 markings, 288329150 edges, 18852 markings/sec, 2330 secs
lola: STP completed || 53 tries, 52199351 fired transitions, 2335 secs || 43919812 markings, 288959916 edges, 19133 markings/sec, 2335 secs
lola: STP completed || 53 tries, 52318280 fired transitions, 2340 secs || 44019518 markings, 289616229 edges, 19941 markings/sec, 2340 secs
lola: STP completed || 53 tries, 52433899 fired transitions, 2345 secs || 44116609 markings, 290254959 edges, 19418 markings/sec, 2345 secs
lola: STP completed || 53 tries, 52547860 fired transitions, 2350 secs || 44212550 markings, 290886428 edges, 19188 markings/sec, 2350 secs
lola: STP completed || 53 tries, 52658183 fired transitions, 2355 secs || 44305613 markings, 291500040 edges, 18613 markings/sec, 2355 secs
lola: STP completed || 53 tries, 52769320 fired transitions, 2360 secs || 44399675 markings, 292118985 edges, 18812 markings/sec, 2360 secs
lola: STP completed || 53 tries, 52881268 fired transitions, 2365 secs || 44493260 markings, 292737573 edges, 18717 markings/sec, 2365 secs
lola: STP completed || 53 tries, 52991335 fired transitions, 2370 secs || 44586077 markings, 293348409 edges, 18563 markings/sec, 2370 secs
lola: STP completed || 54 tries, 53102412 fired transitions, 2375 secs || 44678284 markings, 293951414 edges, 18441 markings/sec, 2375 secs
lola: STP completed || 54 tries, 53213966 fired transitions, 2380 secs || 44770237 markings, 294558388 edges, 18391 markings/sec, 2380 secs
lola: STP completed || 54 tries, 53325045 fired transitions, 2385 secs || 44861650 markings, 295161078 edges, 18283 markings/sec, 2385 secs
lola: STP completed || 54 tries, 53435807 fired transitions, 2390 secs || 44953403 markings, 295764461 edges, 18351 markings/sec, 2390 secs
lola: STP completed || 54 tries, 53546139 fired transitions, 2395 secs || 45044369 markings, 296365659 edges, 18193 markings/sec, 2395 secs
lola: STP completed || 54 tries, 53660357 fired transitions, 2400 secs || 45136581 markings, 296978186 edges, 18442 markings/sec, 2400 secs
lola: STP completed || 54 tries, 53773314 fired transitions, 2405 secs || 45229805 markings, 297590438 edges, 18645 markings/sec, 2405 secs
lola: STP completed || 54 tries, 53884040 fired transitions, 2410 secs || 45321567 markings, 298194790 edges, 18352 markings/sec, 2410 secs
lola: STP completed || 54 tries, 53994725 fired transitions, 2415 secs || 45413240 markings, 298800815 edges, 18335 markings/sec, 2415 secs
lola: STP completed || 55 tries, 54104877 fired transitions, 2420 secs || 45505008 markings, 299405523 edges, 18354 markings/sec, 2420 secs
lola: STP completed || 55 tries, 54219671 fired transitions, 2425 secs || 45599843 markings, 300029329 edges, 18967 markings/sec, 2425 secs
lola: STP completed || 55 tries, 54342607 fired transitions, 2430 secs || 45697274 markings, 300672351 edges, 19486 markings/sec, 2430 secs
lola: STP completed || 55 tries, 54463083 fired transitions, 2435 secs || 45795422 markings, 301317974 edges, 19630 markings/sec, 2435 secs
lola: STP completed || 55 tries, 54578135 fired transitions, 2440 secs || 45893307 markings, 301966809 edges, 19577 markings/sec, 2440 secs
lola: STP completed || 55 tries, 54691708 fired transitions, 2445 secs || 45990202 markings, 302602950 edges, 19379 markings/sec, 2445 secs
lola: STP completed || 55 tries, 54801270 fired transitions, 2450 secs || 46082776 markings, 303211575 edges, 18515 markings/sec, 2450 secs
lola: STP completed || 55 tries, 54911110 fired transitions, 2455 secs || 46176168 markings, 303825033 edges, 18678 markings/sec, 2455 secs
lola: STP completed || 56 tries, 55021637 fired transitions, 2460 secs || 46269663 markings, 304438395 edges, 18699 markings/sec, 2460 secs
lola: STP completed || 56 tries, 55131537 fired transitions, 2465 secs || 46361334 markings, 305044521 edges, 18334 markings/sec, 2465 secs
lola: STP completed || 56 tries, 55241606 fired transitions, 2470 secs || 46453341 markings, 305650327 edges, 18401 markings/sec, 2470 secs
lola: STP completed || 56 tries, 55351485 fired transitions, 2475 secs || 46544117 markings, 306251461 edges, 18155 markings/sec, 2475 secs
lola: STP completed || 56 tries, 55467126 fired transitions, 2480 secs || 46637994 markings, 306867941 edges, 18775 markings/sec, 2480 secs
lola: STP completed || 56 tries, 55583181 fired transitions, 2485 secs || 46732448 markings, 307489869 edges, 18891 markings/sec, 2485 secs
lola: STP completed || 56 tries, 55694992 fired transitions, 2490 secs || 46823478 markings, 308088856 edges, 18206 markings/sec, 2490 secs
lola: STP completed || 56 tries, 55810025 fired transitions, 2495 secs || 46917179 markings, 308705587 edges, 18740 markings/sec, 2495 secs
lola: STP completed || 56 tries, 55923955 fired transitions, 2500 secs || 47010594 markings, 309321073 edges, 18683 markings/sec, 2500 secs
lola: STP completed || 57 tries, 56039113 fired transitions, 2505 secs || 47105346 markings, 309946414 edges, 18950 markings/sec, 2505 secs
lola: STP completed || 57 tries, 56149411 fired transitions, 2510 secs || 47196477 markings, 310544432 edges, 18226 markings/sec, 2510 secs
lola: STP completed || 57 tries, 56260745 fired transitions, 2515 secs || 47287991 markings, 311146112 edges, 18303 markings/sec, 2515 secs
lola: STP completed || 57 tries, 56372334 fired transitions, 2520 secs || 47380415 markings, 311757218 edges, 18485 markings/sec, 2520 secs
lola: STP completed || 57 tries, 56484661 fired transitions, 2525 secs || 47474230 markings, 312375060 edges, 18763 markings/sec, 2525 secs
lola: STP completed || 57 tries, 56595129 fired transitions, 2530 secs || 47566940 markings, 312989609 edges, 18542 markings/sec, 2530 secs
lola: STP completed || 57 tries, 56677584 fired transitions, 2535 secs || 47624937 markings, 313374592 edges, 11599 markings/sec, 2535 secs
lola: STP completed || 57 tries, 56698543 fired transitions, 2540 secs || 47627842 markings, 313393644 edges, 581 markings/sec, 2540 secs
lola: STP completed || 57 tries, 56715987 fired transitions, 2545 secs || 47630068 markings, 313407554 edges, 445 markings/sec, 2545 secs
lola: STP completed || 57 tries, 56758793 fired transitions, 2550 secs || 47635554 markings, 313445429 edges, 1097 markings/sec, 2550 secs
lola: STP completed || 57 tries, 56788997 fired transitions, 2555 secs || 47641377 markings, 313484042 edges, 1165 markings/sec, 2555 secs
lola: STP completed || 57 tries, 56825814 fired transitions, 2560 secs || 47649117 markings, 313535828 edges, 1548 markings/sec, 2560 secs
lola: STP completed || 57 tries, 56864453 fired transitions, 2565 secs || 47654659 markings, 313571602 edges, 1108 markings/sec, 2565 secs
lola: STP completed || 57 tries, 56935406 fired transitions, 2570 secs || 47661409 markings, 313615520 edges, 1350 markings/sec, 2570 secs
lola: STP completed || 57 tries, 56971077 fired transitions, 2575 secs || 47668342 markings, 313660800 edges, 1387 markings/sec, 2575 secs
lola: STP completed || 57 tries, 56994207 fired transitions, 2580 secs || 47678365 markings, 313727597 edges, 2005 markings/sec, 2580 secs

BK_STOP 1526953643055

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

Killed

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="Raft-PT-07"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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

tar xzf /home/mcc/BenchKit/INPUTS/Raft-PT-07.tgz
mv Raft-PT-07 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is Raft-PT-07, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r136-qhx2-152673578800146"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "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 "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.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 '' ReachabilityDeadlock.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
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 ;