About the Execution of M4M.struct for MultiwaySync-PT-none
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.160 | 2641287.00 | 5286583.00 | 2306.50 | ? | normal |
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 264K
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K 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 13K 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.2K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.1K 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 6.6K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 111 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 349 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 5 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 111K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-structural
Input is MultiwaySync-PT-none, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r119-csrt-152666479600202
=====================================================================
--------------------
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 MultiwaySync-PT-none-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1527320381528
BK_STOP 1527323022815
--------------------
content from stderr:
Prefix is 75f5f979.
Reading known information in /usr/share/mcc4mcc/75f5f979-known.json.
Reading learned information in /usr/share/mcc4mcc/75f5f979-learned.json.
Reading value translations in /usr/share/mcc4mcc/75f5f979-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using MultiwaySync-PT-none as instance name.
Using MultiwaySync as model name.
Using algorithm or tool decision-tree.
Model characteristics are: {'Examination': 'ReachabilityDeadlock', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': False, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 2159, 'Memory': 2207.47, 'Tool': 'marcie'}, {'Time': 2322, 'Memory': 2207.28, 'Tool': 'marcie'}, {'Time': 2744, 'Memory': 251.45, 'Tool': 'itstools'}, {'Time': 2799, 'Memory': 246.58, 'Tool': 'itstools'}, {'Time': 4959, 'Memory': 216.89, 'Tool': 'gspn'}, {'Time': 8537, 'Memory': 244.97, 'Tool': 'gspn'}, {'Time': 2066755, 'Memory': 15948.6, 'Tool': 'lola'}, {'Time': 2072352, 'Memory': 15952.74, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 957.2742010189903x far from the best tool marcie.
ReachabilityDeadlock lola MultiwaySync-PT-none...
Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
MultiwaySync-PT-none: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
MultiwaySync-PT-none: translating PT formula ReachabilityDeadlock into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stderr -----
----- Start make result stdout -----
ReachabilityDeadlock @ MultiwaySync-PT-none @ 3540 seconds
make: [verify] Error 137 (ignored)
----- Start make result stderr -----
Makefile:222: recipe for target 'verify' failed
----- Start make result stdout -----
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 694/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 222 places, 472 transitions, 197 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 547 transition conflict sets
lola: TASK
lola: reading formula from MultiwaySync-PT-none-ReachabilityDeadlock.task
lola: E (F (DEADLOCK))
lola: E (F (DEADLOCK))
lola: checking reachability of deadlocks
lola: Planning: workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 27 unused bits
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 8580 variables and 28925 clauses shipped to Minisat
lola: computed 102 generators (24 in search tree, 78 by composition)
lola: representing 1.78541E+14 symmetries
lola: 0 dead branches visited in search tree
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 408086 fired transitions, 0 secs || 386383 markings, 1764665 edges, 77277 markings/sec, 0 secs
lola: STP completed || 1 tries, 823827 fired transitions, 5 secs || 751818 markings, 3346464 edges, 73087 markings/sec, 5 secs
lola: STP completed || 2 tries, 1238165 fired transitions, 10 secs || 1045294 markings, 4300693 edges, 58695 markings/sec, 10 secs
lola: STP completed || 2 tries, 1645960 fired transitions, 15 secs || 1344093 markings, 5309927 edges, 59760 markings/sec, 15 secs
lola: STP completed || 3 tries, 2065785 fired transitions, 20 secs || 1711266 markings, 7132567 edges, 73435 markings/sec, 20 secs
lola: STP completed || 3 tries, 2485643 fired transitions, 25 secs || 2101466 markings, 9168529 edges, 78040 markings/sec, 25 secs
lola: STP completed || 3 tries, 2898266 fired transitions, 30 secs || 2447104 markings, 10797468 edges, 69128 markings/sec, 30 secs
lola: STP completed || 4 tries, 3300127 fired transitions, 35 secs || 2737954 markings, 11810828 edges, 58170 markings/sec, 35 secs
lola: STP completed || 4 tries, 3714668 fired transitions, 40 secs || 3049134 markings, 12920793 edges, 62236 markings/sec, 40 secs
lola: STP completed || 5 tries, 4153385 fired transitions, 45 secs || 3394913 markings, 14434317 edges, 69156 markings/sec, 45 secs
lola: STP completed || 5 tries, 4600210 fired transitions, 50 secs || 3762336 markings, 16403693 edges, 73485 markings/sec, 50 secs
lola: STP completed || 6 tries, 5043014 fired transitions, 55 secs || 4106407 markings, 17903406 edges, 68814 markings/sec, 55 secs
lola: STP completed || 6 tries, 5481445 fired transitions, 60 secs || 4460359 markings, 19674283 edges, 70790 markings/sec, 60 secs
lola: STP completed || 6 tries, 5919566 fired transitions, 65 secs || 4835808 markings, 21695107 edges, 75090 markings/sec, 65 secs
lola: STP completed || 7 tries, 6355523 fired transitions, 70 secs || 5181470 markings, 23031824 edges, 69132 markings/sec, 70 secs
lola: STP completed || 7 tries, 6793552 fired transitions, 75 secs || 5579572 markings, 25149897 edges, 79620 markings/sec, 75 secs
lola: STP completed || 8 tries, 7230263 fired transitions, 80 secs || 5977901 markings, 27159466 edges, 79666 markings/sec, 80 secs
lola: STP completed || 8 tries, 7667325 fired transitions, 85 secs || 6361067 markings, 29271341 edges, 76633 markings/sec, 85 secs
lola: STP completed || 9 tries, 8105514 fired transitions, 90 secs || 6756143 markings, 31406334 edges, 79015 markings/sec, 90 secs
lola: STP completed || 9 tries, 8542325 fired transitions, 95 secs || 7176493 markings, 33664556 edges, 84070 markings/sec, 95 secs
lola: STP completed || 9 tries, 8980385 fired transitions, 100 secs || 7599598 markings, 36099520 edges, 84621 markings/sec, 100 secs
lola: STP completed || 10 tries, 9435071 fired transitions, 105 secs || 8056136 markings, 38638775 edges, 91308 markings/sec, 105 secs
lola: STP completed || 10 tries, 9886801 fired transitions, 110 secs || 8474777 markings, 41131919 edges, 83728 markings/sec, 110 secs
lola: STP completed || 11 tries, 10341029 fired transitions, 115 secs || 8925322 markings, 43696856 edges, 90109 markings/sec, 115 secs
lola: STP completed || 11 tries, 10799152 fired transitions, 120 secs || 9360068 markings, 46223257 edges, 86949 markings/sec, 120 secs
lola: STP completed || 12 tries, 11250517 fired transitions, 125 secs || 9803931 markings, 48686879 edges, 88773 markings/sec, 125 secs
lola: STP completed || 12 tries, 11701776 fired transitions, 130 secs || 10256513 markings, 51341107 edges, 90516 markings/sec, 130 secs
lola: STP completed || 13 tries, 12152294 fired transitions, 135 secs || 10708557 markings, 53963186 edges, 90409 markings/sec, 135 secs
lola: STP completed || 13 tries, 12597692 fired transitions, 140 secs || 11164080 markings, 56449264 edges, 91105 markings/sec, 140 secs
lola: STP completed || 14 tries, 13046335 fired transitions, 145 secs || 11633189 markings, 59105590 edges, 93822 markings/sec, 145 secs
lola: STP completed || 14 tries, 13487502 fired transitions, 150 secs || 12094908 markings, 61739356 edges, 92344 markings/sec, 150 secs
lola: STP completed || 14 tries, 13924800 fired transitions, 155 secs || 12551626 markings, 64343295 edges, 91344 markings/sec, 155 secs
lola: STP completed || 15 tries, 14363491 fired transitions, 160 secs || 13025418 markings, 66972771 edges, 94758 markings/sec, 160 secs
lola: STP completed || 15 tries, 14813882 fired transitions, 165 secs || 13500691 markings, 69639171 edges, 95055 markings/sec, 165 secs
lola: STP completed || 16 tries, 15257036 fired transitions, 170 secs || 13979619 markings, 72302669 edges, 95786 markings/sec, 170 secs
lola: STP completed || 16 tries, 15712164 fired transitions, 175 secs || 14459887 markings, 74931097 edges, 96054 markings/sec, 175 secs
lola: STP completed || 17 tries, 16166744 fired transitions, 180 secs || 14942105 markings, 77574000 edges, 96444 markings/sec, 180 secs
lola: STP completed || 17 tries, 16610082 fired transitions, 185 secs || 15442279 markings, 80247849 edges, 100035 markings/sec, 185 secs
lola: STP completed || 18 tries, 17054148 fired transitions, 190 secs || 15932465 markings, 82953349 edges, 98037 markings/sec, 190 secs
lola: STP completed || 18 tries, 17505403 fired transitions, 195 secs || 16429196 markings, 85705438 edges, 99346 markings/sec, 195 secs
lola: STP completed || 18 tries, 17958196 fired transitions, 200 secs || 16855704 markings, 87891336 edges, 85302 markings/sec, 200 secs
lola: STP completed || 19 tries, 18398569 fired transitions, 205 secs || 17242948 markings, 89695907 edges, 77449 markings/sec, 205 secs
lola: STP completed || 19 tries, 18829727 fired transitions, 210 secs || 17559437 markings, 90859040 edges, 63298 markings/sec, 210 secs
lola: STP completed || 20 tries, 19267881 fired transitions, 215 secs || 17936777 markings, 92798950 edges, 75468 markings/sec, 215 secs
lola: STP completed || 20 tries, 19704955 fired transitions, 220 secs || 18274735 markings, 94322234 edges, 67592 markings/sec, 220 secs
lola: STP completed || 21 tries, 20163146 fired transitions, 225 secs || 18585219 markings, 95527288 edges, 62097 markings/sec, 225 secs
lola: STP completed || 21 tries, 20641866 fired transitions, 230 secs || 18960139 markings, 97376794 edges, 74984 markings/sec, 230 secs
lola: STP completed || 22 tries, 21103956 fired transitions, 235 secs || 19306680 markings, 99053514 edges, 69308 markings/sec, 235 secs
lola: STP completed || 22 tries, 21539427 fired transitions, 240 secs || 19621019 markings, 100283625 edges, 62868 markings/sec, 240 secs
lola: STP completed || 22 tries, 21988703 fired transitions, 245 secs || 19948906 markings, 102030827 edges, 65577 markings/sec, 245 secs
lola: STP completed || 23 tries, 22436406 fired transitions, 250 secs || 20286007 markings, 103872192 edges, 67420 markings/sec, 250 secs
lola: STP completed || 23 tries, 22876307 fired transitions, 255 secs || 20594554 markings, 105153605 edges, 61709 markings/sec, 255 secs
lola: STP completed || 24 tries, 23321577 fired transitions, 260 secs || 20898263 markings, 106487122 edges, 60742 markings/sec, 260 secs
lola: STP completed || 24 tries, 23771729 fired transitions, 265 secs || 21233552 markings, 108369999 edges, 67058 markings/sec, 265 secs
lola: STP completed || 25 tries, 24215434 fired transitions, 270 secs || 21571202 markings, 110035229 edges, 67530 markings/sec, 270 secs
lola: STP completed || 25 tries, 24651698 fired transitions, 275 secs || 21932713 markings, 111966907 edges, 72302 markings/sec, 275 secs
lola: STP completed || 26 tries, 25089968 fired transitions, 280 secs || 22291056 markings, 113987407 edges, 71669 markings/sec, 280 secs
lola: STP completed || 26 tries, 25531493 fired transitions, 285 secs || 22643184 markings, 115860041 edges, 70426 markings/sec, 285 secs
lola: STP completed || 26 tries, 25974274 fired transitions, 290 secs || 23021064 markings, 118110966 edges, 75576 markings/sec, 290 secs
lola: STP completed || 27 tries, 26416699 fired transitions, 295 secs || 23364674 markings, 119768344 edges, 68722 markings/sec, 295 secs
lola: STP completed || 27 tries, 26865235 fired transitions, 300 secs || 23752641 markings, 121973222 edges, 77593 markings/sec, 300 secs
lola: STP completed || 28 tries, 27314592 fired transitions, 305 secs || 24123351 markings, 123925469 edges, 74142 markings/sec, 305 secs
lola: STP completed || 28 tries, 27766034 fired transitions, 310 secs || 24516700 markings, 126162069 edges, 78670 markings/sec, 310 secs
lola: STP completed || 29 tries, 28221189 fired transitions, 315 secs || 24943893 markings, 128708407 edges, 85439 markings/sec, 315 secs
lola: STP completed || 29 tries, 28658884 fired transitions, 320 secs || 25359322 markings, 130998007 edges, 83086 markings/sec, 320 secs
lola: STP completed || 30 tries, 29100235 fired transitions, 325 secs || 25795963 markings, 133561601 edges, 87328 markings/sec, 325 secs
lola: STP completed || 30 tries, 29568543 fired transitions, 330 secs || 26217724 markings, 136000088 edges, 84352 markings/sec, 330 secs
lola: STP completed || 31 tries, 30034477 fired transitions, 335 secs || 26652536 markings, 138596087 edges, 86962 markings/sec, 335 secs
lola: STP completed || 31 tries, 30495130 fired transitions, 340 secs || 27099547 markings, 141194616 edges, 89402 markings/sec, 340 secs
lola: STP completed || 31 tries, 30947419 fired transitions, 345 secs || 27525475 markings, 143573254 edges, 85186 markings/sec, 345 secs
lola: STP completed || 32 tries, 31391832 fired transitions, 350 secs || 27948385 markings, 146057227 edges, 84582 markings/sec, 350 secs
lola: STP completed || 32 tries, 31838205 fired transitions, 355 secs || 28378382 markings, 148555552 edges, 85999 markings/sec, 355 secs
lola: STP completed || 33 tries, 32280110 fired transitions, 360 secs || 28820388 markings, 151065865 edges, 88401 markings/sec, 360 secs
lola: STP completed || 33 tries, 32723531 fired transitions, 365 secs || 29282202 markings, 153665864 edges, 92363 markings/sec, 365 secs
lola: STP completed || 34 tries, 33193094 fired transitions, 370 secs || 29748171 markings, 156278342 edges, 93194 markings/sec, 370 secs
lola: STP completed || 34 tries, 33683992 fired transitions, 375 secs || 30216859 markings, 158941861 edges, 93738 markings/sec, 375 secs
lola: STP completed || 35 tries, 34179590 fired transitions, 380 secs || 30686216 markings, 161620869 edges, 93871 markings/sec, 380 secs
lola: STP completed || 35 tries, 34676737 fired transitions, 385 secs || 31164949 markings, 164255194 edges, 95747 markings/sec, 385 secs
lola: STP completed || 36 tries, 35159062 fired transitions, 390 secs || 31656805 markings, 166917471 edges, 98371 markings/sec, 390 secs
lola: STP completed || 36 tries, 35607858 fired transitions, 395 secs || 32123088 markings, 169482035 edges, 93257 markings/sec, 395 secs
lola: STP completed || 37 tries, 36057054 fired transitions, 400 secs || 32611406 markings, 172187541 edges, 97664 markings/sec, 400 secs
lola: STP completed || 37 tries, 36508583 fired transitions, 405 secs || 33064346 markings, 174757284 edges, 90588 markings/sec, 405 secs
lola: STP completed || 37 tries, 36973348 fired transitions, 410 secs || 33457693 markings, 176625044 edges, 78669 markings/sec, 410 secs
lola: STP completed || 38 tries, 37437212 fired transitions, 415 secs || 33829622 markings, 178328684 edges, 74386 markings/sec, 415 secs
lola: STP completed || 38 tries, 37888964 fired transitions, 420 secs || 34142554 markings, 179421550 edges, 62586 markings/sec, 420 secs
lola: STP completed || 39 tries, 38331760 fired transitions, 425 secs || 34450488 markings, 180512702 edges, 61587 markings/sec, 425 secs
lola: STP completed || 39 tries, 38802944 fired transitions, 430 secs || 34808370 markings, 182227332 edges, 71576 markings/sec, 430 secs
lola: STP completed || 40 tries, 39268296 fired transitions, 435 secs || 35168021 markings, 184103619 edges, 71930 markings/sec, 435 secs
lola: STP completed || 40 tries, 39735421 fired transitions, 440 secs || 35525629 markings, 185989571 edges, 71522 markings/sec, 440 secs
lola: STP completed || 41 tries, 40175197 fired transitions, 445 secs || 35817490 markings, 187075715 edges, 58372 markings/sec, 445 secs
lola: STP completed || 41 tries, 40610650 fired transitions, 450 secs || 36128304 markings, 188416631 edges, 62163 markings/sec, 450 secs
lola: STP completed || 42 tries, 41052269 fired transitions, 455 secs || 36455989 markings, 190193859 edges, 65537 markings/sec, 455 secs
lola: STP completed || 42 tries, 41498250 fired transitions, 460 secs || 36761027 markings, 191722041 edges, 61008 markings/sec, 460 secs
lola: STP completed || 42 tries, 41935811 fired transitions, 465 secs || 37052655 markings, 192828951 edges, 58326 markings/sec, 465 secs
lola: STP completed || 43 tries, 42377784 fired transitions, 470 secs || 37349552 markings, 193952107 edges, 59379 markings/sec, 470 secs
lola: STP completed || 43 tries, 42830486 fired transitions, 475 secs || 37660393 markings, 195606720 edges, 62168 markings/sec, 475 secs
lola: STP completed || 44 tries, 43280279 fired transitions, 480 secs || 37977747 markings, 197318948 edges, 63471 markings/sec, 480 secs
lola: STP completed || 44 tries, 43728718 fired transitions, 485 secs || 38323613 markings, 199125015 edges, 69173 markings/sec, 485 secs
lola: STP completed || 45 tries, 44188914 fired transitions, 490 secs || 38672687 markings, 200950188 edges, 69815 markings/sec, 490 secs
lola: STP completed || 45 tries, 44642602 fired transitions, 495 secs || 39053825 markings, 202921411 edges, 76228 markings/sec, 495 secs
lola: STP completed || 46 tries, 45098746 fired transitions, 500 secs || 39405932 markings, 204749910 edges, 70421 markings/sec, 500 secs
lola: STP completed || 46 tries, 45558083 fired transitions, 505 secs || 39772155 markings, 206772484 edges, 73245 markings/sec, 505 secs
lola: STP completed || 47 tries, 46024400 fired transitions, 510 secs || 40125657 markings, 208779252 edges, 70700 markings/sec, 510 secs
lola: STP completed || 47 tries, 46483951 fired transitions, 515 secs || 40478714 markings, 210716179 edges, 70611 markings/sec, 515 secs
lola: STP completed || 47 tries, 46963838 fired transitions, 520 secs || 40845887 markings, 212588793 edges, 73435 markings/sec, 520 secs
lola: STP completed || 48 tries, 47455163 fired transitions, 525 secs || 41261184 markings, 215115670 edges, 83059 markings/sec, 525 secs
lola: STP completed || 48 tries, 47938766 fired transitions, 530 secs || 41678145 markings, 217423530 edges, 83392 markings/sec, 530 secs
lola: STP completed || 49 tries, 48410791 fired transitions, 535 secs || 42098997 markings, 219878213 edges, 84170 markings/sec, 535 secs
lola: STP completed || 49 tries, 48876024 fired transitions, 540 secs || 42504811 markings, 222151214 edges, 81163 markings/sec, 540 secs
lola: STP completed || 50 tries, 49342579 fired transitions, 545 secs || 42927820 markings, 224616914 edges, 84602 markings/sec, 545 secs
lola: STP completed || 50 tries, 49810246 fired transitions, 550 secs || 43337823 markings, 227020735 edges, 82001 markings/sec, 550 secs
lola: STP completed || 51 tries, 50288780 fired transitions, 555 secs || 43749844 markings, 229384197 edges, 82404 markings/sec, 555 secs
lola: STP completed || 51 tries, 50776901 fired transitions, 560 secs || 44177602 markings, 231903156 edges, 85552 markings/sec, 560 secs
lola: STP completed || 52 tries, 51250033 fired transitions, 565 secs || 44591964 markings, 234300204 edges, 82872 markings/sec, 565 secs
lola: STP completed || 52 tries, 51711401 fired transitions, 570 secs || 45016898 markings, 236643846 edges, 84987 markings/sec, 570 secs
lola: STP completed || 53 tries, 52176509 fired transitions, 575 secs || 45453894 markings, 239105165 edges, 87399 markings/sec, 575 secs
lola: STP completed || 53 tries, 52645552 fired transitions, 580 secs || 45899436 markings, 241614508 edges, 89108 markings/sec, 580 secs
lola: STP completed || 54 tries, 53109087 fired transitions, 585 secs || 46346810 markings, 244105782 edges, 89475 markings/sec, 585 secs
lola: STP completed || 54 tries, 53579439 fired transitions, 590 secs || 46789824 markings, 246588843 edges, 88603 markings/sec, 590 secs
lola: STP completed || 55 tries, 54050921 fired transitions, 595 secs || 47227852 markings, 249021752 edges, 87606 markings/sec, 595 secs
lola: STP completed || 55 tries, 54519595 fired transitions, 600 secs || 47674062 markings, 251503911 edges, 89242 markings/sec, 600 secs
lola: STP completed || 55 tries, 54985430 fired transitions, 605 secs || 48139558 markings, 254038035 edges, 93099 markings/sec, 605 secs
lola: STP completed || 56 tries, 55455830 fired transitions, 610 secs || 48586550 markings, 256542327 edges, 89398 markings/sec, 610 secs
lola: STP completed || 56 tries, 55916916 fired transitions, 615 secs || 49046300 markings, 259050964 edges, 91950 markings/sec, 615 secs
lola: STP completed || 57 tries, 56389026 fired transitions, 620 secs || 49512043 markings, 261648528 edges, 93149 markings/sec, 620 secs
lola: STP completed || 57 tries, 56860557 fired transitions, 625 secs || 49943352 markings, 263871682 edges, 86262 markings/sec, 625 secs
lola: STP completed || 58 tries, 57322133 fired transitions, 630 secs || 50374017 markings, 266183732 edges, 86133 markings/sec, 630 secs
lola: STP completed || 58 tries, 57783442 fired transitions, 635 secs || 50807163 markings, 268402189 edges, 86629 markings/sec, 635 secs
lola: STP completed || 59 tries, 58240445 fired transitions, 640 secs || 51226565 markings, 270559651 edges, 83880 markings/sec, 640 secs
lola: STP completed || 59 tries, 58699358 fired transitions, 645 secs || 51639579 markings, 272672351 edges, 82603 markings/sec, 645 secs
lola: STP completed || 60 tries, 59144683 fired transitions, 650 secs || 52004902 markings, 274375652 edges, 73065 markings/sec, 650 secs
lola: STP completed || 60 tries, 59593487 fired transitions, 655 secs || 52344873 markings, 275561393 edges, 67994 markings/sec, 655 secs
lola: STP completed || 61 tries, 60033361 fired transitions, 660 secs || 52731936 markings, 277257570 edges, 77413 markings/sec, 660 secs
lola: STP completed || 61 tries, 60483704 fired transitions, 665 secs || 53128212 markings, 279219571 edges, 79255 markings/sec, 665 secs
lola: STP completed || 61 tries, 60919773 fired transitions, 670 secs || 53477157 markings, 280793603 edges, 69789 markings/sec, 670 secs
lola: STP completed || 62 tries, 61367061 fired transitions, 675 secs || 53903616 markings, 283281337 edges, 85292 markings/sec, 675 secs
lola: STP completed || 62 tries, 61820938 fired transitions, 680 secs || 54361589 markings, 285859146 edges, 91595 markings/sec, 680 secs
lola: STP completed || 63 tries, 62277188 fired transitions, 685 secs || 54786247 markings, 288141250 edges, 84932 markings/sec, 685 secs
lola: STP completed || 63 tries, 62736734 fired transitions, 690 secs || 55192931 markings, 290166370 edges, 81337 markings/sec, 690 secs
lola: STP completed || 64 tries, 63191168 fired transitions, 695 secs || 55595286 markings, 292046028 edges, 80471 markings/sec, 695 secs
lola: STP completed || 64 tries, 63642830 fired transitions, 700 secs || 55930967 markings, 293447433 edges, 67136 markings/sec, 700 secs
lola: STP completed || 65 tries, 64099829 fired transitions, 705 secs || 56335777 markings, 295849450 edges, 80962 markings/sec, 705 secs
lola: STP completed || 65 tries, 64563550 fired transitions, 710 secs || 56781555 markings, 298353510 edges, 89156 markings/sec, 710 secs
lola: STP completed || 66 tries, 65024204 fired transitions, 715 secs || 57246216 markings, 300900664 edges, 92932 markings/sec, 715 secs
lola: STP completed || 66 tries, 65480941 fired transitions, 720 secs || 57579737 markings, 302502283 edges, 66704 markings/sec, 720 secs
lola: STP completed || 66 tries, 65930882 fired transitions, 725 secs || 57899024 markings, 303937991 edges, 63857 markings/sec, 725 secs
lola: STP completed || 67 tries, 66391176 fired transitions, 730 secs || 58307902 markings, 306331361 edges, 81776 markings/sec, 730 secs
lola: STP completed || 67 tries, 66845914 fired transitions, 735 secs || 58751339 markings, 308815738 edges, 88687 markings/sec, 735 secs
lola: STP completed || 68 tries, 67302949 fired transitions, 740 secs || 59205583 markings, 311230057 edges, 90849 markings/sec, 740 secs
lola: STP completed || 68 tries, 67765436 fired transitions, 745 secs || 59617870 markings, 313463797 edges, 82457 markings/sec, 745 secs
lola: STP completed || 69 tries, 68241678 fired transitions, 750 secs || 59969303 markings, 315291119 edges, 70287 markings/sec, 750 secs
lola: STP completed || 69 tries, 68720541 fired transitions, 755 secs || 60386861 markings, 317462546 edges, 83512 markings/sec, 755 secs
lola: STP completed || 70 tries, 69190943 fired transitions, 760 secs || 60773833 markings, 319380144 edges, 77394 markings/sec, 760 secs
lola: STP completed || 70 tries, 69650016 fired transitions, 765 secs || 61120580 markings, 320863967 edges, 69349 markings/sec, 765 secs
lola: STP completed || 71 tries, 70107178 fired transitions, 770 secs || 61486026 markings, 322820417 edges, 73089 markings/sec, 770 secs
lola: STP completed || 71 tries, 70587212 fired transitions, 775 secs || 61933852 markings, 325368871 edges, 89565 markings/sec, 775 secs
lola: STP completed || 72 tries, 71063218 fired transitions, 780 secs || 62394242 markings, 327942700 edges, 92078 markings/sec, 780 secs
lola: STP completed || 72 tries, 71543072 fired transitions, 785 secs || 62795646 markings, 330075816 edges, 80281 markings/sec, 785 secs
lola: STP completed || 73 tries, 72031308 fired transitions, 790 secs || 63220770 markings, 332432074 edges, 85025 markings/sec, 790 secs
lola: STP completed || 73 tries, 72503132 fired transitions, 795 secs || 63652304 markings, 334798797 edges, 86307 markings/sec, 795 secs
lola: STP completed || 73 tries, 72980684 fired transitions, 800 secs || 64072603 markings, 337129880 edges, 84060 markings/sec, 800 secs
lola: STP completed || 74 tries, 73457087 fired transitions, 805 secs || 64534474 markings, 339684714 edges, 92374 markings/sec, 805 secs
lola: STP completed || 74 tries, 73936799 fired transitions, 810 secs || 64990997 markings, 342258396 edges, 91305 markings/sec, 810 secs
lola: STP completed || 75 tries, 74421284 fired transitions, 815 secs || 65464290 markings, 344839334 edges, 94659 markings/sec, 815 secs
lola: STP completed || 75 tries, 74897978 fired transitions, 820 secs || 65887214 markings, 346828031 edges, 84585 markings/sec, 820 secs
lola: STP completed || 76 tries, 75362259 fired transitions, 825 secs || 66230919 markings, 347935374 edges, 68741 markings/sec, 825 secs
lola: STP completed || 76 tries, 75827128 fired transitions, 830 secs || 66563629 markings, 349051387 edges, 66542 markings/sec, 830 secs
lola: STP completed || 77 tries, 76295755 fired transitions, 835 secs || 66923535 markings, 350559685 edges, 71981 markings/sec, 835 secs
lola: STP completed || 77 tries, 76768828 fired transitions, 840 secs || 67301691 markings, 352429578 edges, 75631 markings/sec, 840 secs
lola: STP completed || 78 tries, 77235184 fired transitions, 845 secs || 67633460 markings, 353576398 edges, 66354 markings/sec, 845 secs
lola: STP completed || 78 tries, 77710059 fired transitions, 850 secs || 67973937 markings, 355285091 edges, 68095 markings/sec, 850 secs
lola: STP completed || 79 tries, 78196344 fired transitions, 855 secs || 68325101 markings, 357170843 edges, 70233 markings/sec, 855 secs
lola: STP completed || 79 tries, 78668010 fired transitions, 860 secs || 68681135 markings, 358767267 edges, 71207 markings/sec, 860 secs
lola: STP completed || 80 tries, 79140114 fired transitions, 865 secs || 69054605 markings, 360627302 edges, 74694 markings/sec, 865 secs
lola: STP completed || 80 tries, 79610884 fired transitions, 870 secs || 69374943 markings, 361784869 edges, 64068 markings/sec, 870 secs
lola: STP completed || 81 tries, 80082222 fired transitions, 875 secs || 69697336 markings, 362963523 edges, 64479 markings/sec, 875 secs
lola: STP completed || 81 tries, 80558070 fired transitions, 880 secs || 70036104 markings, 364768881 edges, 67754 markings/sec, 880 secs
lola: STP completed || 82 tries, 81043323 fired transitions, 885 secs || 70379670 markings, 366600553 edges, 68713 markings/sec, 885 secs
lola: STP completed || 82 tries, 81504263 fired transitions, 890 secs || 70760387 markings, 368388318 edges, 76143 markings/sec, 890 secs
lola: STP completed || 82 tries, 81966974 fired transitions, 895 secs || 71147025 markings, 370473783 edges, 77328 markings/sec, 895 secs
lola: STP completed || 83 tries, 82441678 fired transitions, 900 secs || 71523104 markings, 372388861 edges, 75216 markings/sec, 900 secs
lola: STP completed || 83 tries, 82904300 fired transitions, 905 secs || 71879461 markings, 374296640 edges, 71271 markings/sec, 905 secs
lola: STP completed || 84 tries, 83378373 fired transitions, 910 secs || 72248425 markings, 376299446 edges, 73793 markings/sec, 910 secs
lola: STP completed || 84 tries, 83843297 fired transitions, 915 secs || 72622467 markings, 378257439 edges, 74808 markings/sec, 915 secs
lola: STP completed || 85 tries, 84312335 fired transitions, 920 secs || 73024818 markings, 380624708 edges, 80470 markings/sec, 920 secs
lola: STP completed || 85 tries, 84744070 fired transitions, 925 secs || 73444750 markings, 383079169 edges, 83986 markings/sec, 925 secs
lola: STP completed || 86 tries, 85190841 fired transitions, 930 secs || 73844612 markings, 385529464 edges, 79972 markings/sec, 930 secs
lola: STP completed || 86 tries, 85643017 fired transitions, 935 secs || 74257233 markings, 387911178 edges, 82524 markings/sec, 935 secs
lola: STP completed || 87 tries, 86107056 fired transitions, 940 secs || 74684741 markings, 390272491 edges, 85502 markings/sec, 940 secs
lola: STP completed || 87 tries, 86570944 fired transitions, 945 secs || 75095870 markings, 392680433 edges, 82226 markings/sec, 945 secs
lola: STP completed || 88 tries, 87039947 fired transitions, 950 secs || 75517791 markings, 395125239 edges, 84384 markings/sec, 950 secs
lola: STP completed || 88 tries, 87500067 fired transitions, 955 secs || 75948557 markings, 397531690 edges, 86153 markings/sec, 955 secs
lola: STP completed || 88 tries, 87968506 fired transitions, 960 secs || 76385224 markings, 400028199 edges, 87333 markings/sec, 960 secs
lola: STP completed || 89 tries, 88442704 fired transitions, 965 secs || 76843074 markings, 402582795 edges, 91570 markings/sec, 965 secs
lola: STP completed || 89 tries, 88899282 fired transitions, 970 secs || 77278002 markings, 405071222 edges, 86986 markings/sec, 970 secs
lola: STP completed || 90 tries, 89348457 fired transitions, 975 secs || 77720473 markings, 407561106 edges, 88494 markings/sec, 975 secs
lola: STP completed || 90 tries, 89802369 fired transitions, 980 secs || 78168561 markings, 410081069 edges, 89618 markings/sec, 980 secs
lola: STP completed || 91 tries, 90256348 fired transitions, 985 secs || 78619288 markings, 412605879 edges, 90145 markings/sec, 985 secs
lola: STP completed || 91 tries, 90713280 fired transitions, 990 secs || 79079037 markings, 415158675 edges, 91950 markings/sec, 990 secs
lola: STP completed || 92 tries, 91169400 fired transitions, 995 secs || 79547263 markings, 417740266 edges, 93645 markings/sec, 995 secs
lola: STP completed || 92 tries, 91627662 fired transitions, 1000 secs || 80003702 markings, 420238827 edges, 91288 markings/sec, 1000 secs
lola: STP completed || 93 tries, 92087308 fired transitions, 1005 secs || 80472692 markings, 422785773 edges, 93798 markings/sec, 1005 secs
lola: STP completed || 93 tries, 92557994 fired transitions, 1010 secs || 80945202 markings, 425339096 edges, 94502 markings/sec, 1010 secs
lola: STP completed || 94 tries, 93023323 fired transitions, 1015 secs || 81423998 markings, 427997881 edges, 95759 markings/sec, 1015 secs
lola: STP completed || 94 tries, 93496011 fired transitions, 1020 secs || 81881283 markings, 430497387 edges, 91457 markings/sec, 1020 secs
lola: STP completed || 94 tries, 93969900 fired transitions, 1025 secs || 82278739 markings, 432244286 edges, 79491 markings/sec, 1025 secs
lola: STP completed || 95 tries, 94420637 fired transitions, 1030 secs || 82609524 markings, 433322876 edges, 66157 markings/sec, 1030 secs
lola: STP completed || 95 tries, 94853953 fired transitions, 1035 secs || 82927950 markings, 434390894 edges, 63685 markings/sec, 1035 secs
lola: STP completed || 96 tries, 95302107 fired transitions, 1040 secs || 83293013 markings, 436203615 edges, 73013 markings/sec, 1040 secs
lola: STP completed || 96 tries, 95748643 fired transitions, 1045 secs || 83628237 markings, 437639928 edges, 67045 markings/sec, 1045 secs
lola: STP completed || 97 tries, 96193839 fired transitions, 1050 secs || 83993707 markings, 439458506 edges, 73094 markings/sec, 1050 secs
lola: STP completed || 97 tries, 96652855 fired transitions, 1055 secs || 84337900 markings, 440923030 edges, 68839 markings/sec, 1055 secs
lola: STP completed || 98 tries, 97115449 fired transitions, 1060 secs || 84657777 markings, 442241167 edges, 63975 markings/sec, 1060 secs
lola: STP completed || 98 tries, 97585647 fired transitions, 1065 secs || 84990873 markings, 444035810 edges, 66619 markings/sec, 1065 secs
lola: STP completed || 99 tries, 98054149 fired transitions, 1070 secs || 85312292 markings, 445587029 edges, 64284 markings/sec, 1070 secs
lola: STP completed || 99 tries, 98527218 fired transitions, 1075 secs || 85643729 markings, 447148186 edges, 66287 markings/sec, 1075 secs
lola: STP completed || 100 tries, 99001787 fired transitions, 1080 secs || 85970125 markings, 448838177 edges, 65279 markings/sec, 1080 secs
lola: STP completed || 100 tries, 99466941 fired transitions, 1085 secs || 86286686 markings, 450263249 edges, 63312 markings/sec, 1085 secs
lola: STP completed || 100 tries, 99916660 fired transitions, 1090 secs || 86600473 markings, 451413831 edges, 62757 markings/sec, 1090 secs
lola: STP completed || 101 tries, 100362487 fired transitions, 1095 secs || 86940120 markings, 452955994 edges, 67929 markings/sec, 1095 secs
lola: STP completed || 101 tries, 100814018 fired transitions, 1100 secs || 87301625 markings, 454811484 edges, 72301 markings/sec, 1100 secs
lola: STP completed || 102 tries, 101263286 fired transitions, 1105 secs || 87667491 markings, 456698933 edges, 73173 markings/sec, 1105 secs
lola: STP completed || 102 tries, 101735005 fired transitions, 1110 secs || 88027085 markings, 458625706 edges, 71919 markings/sec, 1110 secs
lola: STP completed || 103 tries, 102206612 fired transitions, 1115 secs || 88383220 markings, 460563016 edges, 71227 markings/sec, 1115 secs
lola: STP completed || 103 tries, 102703090 fired transitions, 1120 secs || 88743139 markings, 462529591 edges, 71984 markings/sec, 1120 secs
lola: STP completed || 104 tries, 103199035 fired transitions, 1125 secs || 89130693 markings, 464649052 edges, 77511 markings/sec, 1125 secs
lola: STP completed || 104 tries, 103691829 fired transitions, 1130 secs || 89532296 markings, 466973486 edges, 80321 markings/sec, 1130 secs
lola: STP completed || 105 tries, 104191212 fired transitions, 1135 secs || 89948448 markings, 469405934 edges, 83230 markings/sec, 1135 secs
lola: STP completed || 105 tries, 104685884 fired transitions, 1140 secs || 90352510 markings, 471738926 edges, 80812 markings/sec, 1140 secs
lola: STP completed || 106 tries, 105181979 fired transitions, 1145 secs || 90754128 markings, 474078823 edges, 80324 markings/sec, 1145 secs
lola: STP completed || 106 tries, 105676733 fired transitions, 1150 secs || 91171242 markings, 476408696 edges, 83423 markings/sec, 1150 secs
lola: STP completed || 107 tries, 106158273 fired transitions, 1155 secs || 91589391 markings, 478837845 edges, 83630 markings/sec, 1155 secs
lola: STP completed || 107 tries, 106654765 fired transitions, 1160 secs || 92019323 markings, 481331325 edges, 85986 markings/sec, 1160 secs
lola: STP completed || 108 tries, 107141622 fired transitions, 1165 secs || 92450617 markings, 483777689 edges, 86259 markings/sec, 1165 secs
lola: STP completed || 108 tries, 107629280 fired transitions, 1170 secs || 92889543 markings, 486225151 edges, 87785 markings/sec, 1170 secs
lola: STP completed || 109 tries, 108113851 fired transitions, 1175 secs || 93326945 markings, 488702708 edges, 87480 markings/sec, 1175 secs
lola: STP completed || 109 tries, 108582521 fired transitions, 1180 secs || 93762411 markings, 491181949 edges, 87093 markings/sec, 1180 secs
lola: STP completed || 110 tries, 109074541 fired transitions, 1185 secs || 94209748 markings, 493692162 edges, 89467 markings/sec, 1185 secs
lola: STP completed || 110 tries, 109570652 fired transitions, 1190 secs || 94650515 markings, 496177866 edges, 88153 markings/sec, 1190 secs
lola: STP completed || 111 tries, 110056434 fired transitions, 1195 secs || 95094155 markings, 498638239 edges, 88728 markings/sec, 1195 secs
lola: STP completed || 111 tries, 110557321 fired transitions, 1200 secs || 95552312 markings, 501160657 edges, 91631 markings/sec, 1200 secs
lola: STP completed || 112 tries, 111059793 fired transitions, 1205 secs || 96011770 markings, 503691186 edges, 91892 markings/sec, 1205 secs
lola: STP completed || 112 tries, 111563745 fired transitions, 1210 secs || 96482742 markings, 506266996 edges, 94194 markings/sec, 1210 secs
lola: STP completed || 113 tries, 112055309 fired transitions, 1215 secs || 96947527 markings, 508775315 edges, 92957 markings/sec, 1215 secs
lola: STP completed || 113 tries, 112535853 fired transitions, 1220 secs || 97389574 markings, 511226953 edges, 88409 markings/sec, 1220 secs
lola: STP completed || 114 tries, 113017687 fired transitions, 1225 secs || 97852352 markings, 513797500 edges, 92556 markings/sec, 1225 secs
lola: STP completed || 114 tries, 113501773 fired transitions, 1230 secs || 98270036 markings, 515920020 edges, 83537 markings/sec, 1230 secs
lola: STP completed || 114 tries, 113976937 fired transitions, 1235 secs || 98641510 markings, 517622031 edges, 74295 markings/sec, 1235 secs
lola: STP completed || 115 tries, 114443210 fired transitions, 1240 secs || 98951472 markings, 518690500 edges, 61992 markings/sec, 1240 secs
lola: STP completed || 115 tries, 114918914 fired transitions, 1245 secs || 99277223 markings, 520052776 edges, 65150 markings/sec, 1245 secs
lola: STP completed || 116 tries, 115400366 fired transitions, 1250 secs || 99642610 markings, 521975598 edges, 73077 markings/sec, 1250 secs
lola: STP completed || 116 tries, 115876162 fired transitions, 1255 secs || 99951163 markings, 523104568 edges, 61711 markings/sec, 1255 secs
lola: STP completed || 117 tries, 116346754 fired transitions, 1260 secs || 100274674 markings, 524522450 edges, 64702 markings/sec, 1260 secs
lola: STP completed || 117 tries, 116807546 fired transitions, 1265 secs || 100627778 markings, 526378083 edges, 70621 markings/sec, 1265 secs
lola: STP completed || 118 tries, 117271139 fired transitions, 1270 secs || 100932105 markings, 527679818 edges, 60865 markings/sec, 1270 secs
lola: STP completed || 118 tries, 117735469 fired transitions, 1275 secs || 101261182 markings, 529496102 edges, 65815 markings/sec, 1275 secs
lola: STP completed || 119 tries, 118204023 fired transitions, 1280 secs || 101575456 markings, 531026313 edges, 62855 markings/sec, 1280 secs
lola: STP completed || 119 tries, 118664672 fired transitions, 1285 secs || 101875501 markings, 532156059 edges, 60009 markings/sec, 1285 secs
lola: STP completed || 120 tries, 119127502 fired transitions, 1290 secs || 102172751 markings, 533445946 edges, 59450 markings/sec, 1290 secs
lola: STP completed || 120 tries, 119600105 fired transitions, 1295 secs || 102517289 markings, 535297237 edges, 68908 markings/sec, 1295 secs
lola: STP completed || 121 tries, 120070579 fired transitions, 1300 secs || 102896990 markings, 537213692 edges, 75940 markings/sec, 1300 secs
lola: STP completed || 121 tries, 120543766 fired transitions, 1305 secs || 103243810 markings, 538925450 edges, 69364 markings/sec, 1305 secs
lola: STP completed || 122 tries, 121020508 fired transitions, 1310 secs || 103611999 markings, 540792083 edges, 73638 markings/sec, 1310 secs
lola: STP completed || 122 tries, 121490828 fired transitions, 1315 secs || 103992405 markings, 542997622 edges, 76081 markings/sec, 1315 secs
lola: STP completed || 122 tries, 121963499 fired transitions, 1320 secs || 104322890 markings, 544714471 edges, 66097 markings/sec, 1320 secs
lola: STP completed || 123 tries, 122434963 fired transitions, 1325 secs || 104641968 markings, 546430428 edges, 63816 markings/sec, 1325 secs
lola: STP completed || 123 tries, 122906980 fired transitions, 1330 secs || 104977226 markings, 548323093 edges, 67052 markings/sec, 1330 secs
lola: STP completed || 124 tries, 123359015 fired transitions, 1335 secs || 105312931 markings, 549992170 edges, 67141 markings/sec, 1335 secs
lola: STP completed || 124 tries, 123825163 fired transitions, 1340 secs || 105671665 markings, 551992014 edges, 71747 markings/sec, 1340 secs
lola: STP completed || 125 tries, 124291878 fired transitions, 1345 secs || 106000645 markings, 553728188 edges, 65796 markings/sec, 1345 secs
lola: STP completed || 125 tries, 124763454 fired transitions, 1350 secs || 106390581 markings, 556090404 edges, 77987 markings/sec, 1350 secs
lola: STP completed || 126 tries, 125232734 fired transitions, 1355 secs || 106773770 markings, 558302482 edges, 76638 markings/sec, 1355 secs
lola: STP completed || 126 tries, 125700497 fired transitions, 1360 secs || 107169674 markings, 560513211 edges, 79181 markings/sec, 1360 secs
lola: STP completed || 127 tries, 126174339 fired transitions, 1365 secs || 107558464 markings, 562799066 edges, 77758 markings/sec, 1365 secs
lola: STP completed || 127 tries, 126651204 fired transitions, 1370 secs || 107968945 markings, 565195896 edges, 82096 markings/sec, 1370 secs
lola: STP completed || 128 tries, 127115073 fired transitions, 1375 secs || 108363805 markings, 567347060 edges, 78972 markings/sec, 1375 secs
lola: STP completed || 128 tries, 127575890 fired transitions, 1380 secs || 108780011 markings, 569779002 edges, 83241 markings/sec, 1380 secs
lola: STP completed || 129 tries, 128038933 fired transitions, 1385 secs || 109173267 markings, 572085648 edges, 78651 markings/sec, 1385 secs
lola: STP completed || 129 tries, 128519770 fired transitions, 1390 secs || 109581576 markings, 574431201 edges, 81662 markings/sec, 1390 secs
lola: STP completed || 130 tries, 129000348 fired transitions, 1395 secs || 109993707 markings, 576800313 edges, 82426 markings/sec, 1395 secs
lola: STP completed || 130 tries, 129469435 fired transitions, 1400 secs || 110412575 markings, 579162198 edges, 83774 markings/sec, 1400 secs
lola: STP completed || 130 tries, 129947181 fired transitions, 1405 secs || 110830744 markings, 581602219 edges, 83634 markings/sec, 1405 secs
lola: STP completed || 131 tries, 130415696 fired transitions, 1410 secs || 111264926 markings, 584015321 edges, 86836 markings/sec, 1410 secs
lola: STP completed || 131 tries, 130881387 fired transitions, 1415 secs || 111690197 markings, 586401764 edges, 85054 markings/sec, 1415 secs
lola: STP completed || 132 tries, 131346005 fired transitions, 1420 secs || 112116102 markings, 588773654 edges, 85181 markings/sec, 1420 secs
lola: STP completed || 132 tries, 131818407 fired transitions, 1425 secs || 112546953 markings, 591125320 edges, 86170 markings/sec, 1425 secs
lola: STP completed || 133 tries, 132289205 fired transitions, 1430 secs || 112984806 markings, 593509463 edges, 87571 markings/sec, 1430 secs
lola: STP completed || 133 tries, 132762478 fired transitions, 1435 secs || 113428891 markings, 595929537 edges, 88817 markings/sec, 1435 secs
lola: STP completed || 134 tries, 133241918 fired transitions, 1440 secs || 113872336 markings, 598381290 edges, 88689 markings/sec, 1440 secs
lola: STP completed || 134 tries, 133722519 fired transitions, 1445 secs || 114319994 markings, 600881156 edges, 89532 markings/sec, 1445 secs
lola: STP completed || 135 tries, 134181975 fired transitions, 1450 secs || 114709266 markings, 602747359 edges, 77854 markings/sec, 1450 secs
lola: STP completed || 135 tries, 134614341 fired transitions, 1455 secs || 115073262 markings, 604191096 edges, 72799 markings/sec, 1455 secs
lola: STP completed || 136 tries, 135044554 fired transitions, 1460 secs || 115396423 markings, 605259797 edges, 64632 markings/sec, 1460 secs
lola: STP completed || 136 tries, 135481148 fired transitions, 1465 secs || 115734348 markings, 606580722 edges, 67585 markings/sec, 1465 secs
lola: STP completed || 136 tries, 135944085 fired transitions, 1470 secs || 116109182 markings, 608537837 edges, 74967 markings/sec, 1470 secs
lola: STP completed || 137 tries, 136430101 fired transitions, 1475 secs || 116475831 markings, 610215859 edges, 73330 markings/sec, 1475 secs
lola: STP completed || 137 tries, 136908667 fired transitions, 1480 secs || 116829534 markings, 611872851 edges, 70741 markings/sec, 1480 secs
lola: STP completed || 138 tries, 137381273 fired transitions, 1485 secs || 117139080 markings, 612988834 edges, 61909 markings/sec, 1485 secs
lola: STP completed || 138 tries, 137851658 fired transitions, 1490 secs || 117469899 markings, 614152864 edges, 66164 markings/sec, 1490 secs
lola: STP completed || 139 tries, 138328249 fired transitions, 1495 secs || 117799175 markings, 615432340 edges, 65855 markings/sec, 1495 secs
lola: STP completed || 139 tries, 138782361 fired transitions, 1500 secs || 118146865 markings, 617351666 edges, 69538 markings/sec, 1500 secs
lola: STP completed || 140 tries, 139232392 fired transitions, 1505 secs || 118466619 markings, 618894892 edges, 63951 markings/sec, 1505 secs
lola: STP completed || 140 tries, 139683853 fired transitions, 1510 secs || 118825203 markings, 620588330 edges, 71717 markings/sec, 1510 secs
lola: STP completed || 141 tries, 140170087 fired transitions, 1515 secs || 119205505 markings, 622530047 edges, 76060 markings/sec, 1515 secs
lola: STP completed || 141 tries, 140621452 fired transitions, 1520 secs || 119592419 markings, 624580843 edges, 77383 markings/sec, 1520 secs
lola: STP completed || 142 tries, 141070226 fired transitions, 1525 secs || 119924320 markings, 626263771 edges, 66380 markings/sec, 1525 secs
lola: STP completed || 142 tries, 141507580 fired transitions, 1530 secs || 120262658 markings, 628094088 edges, 67668 markings/sec, 1530 secs
lola: STP completed || 142 tries, 141974598 fired transitions, 1535 secs || 120603039 markings, 629871127 edges, 68076 markings/sec, 1535 secs
lola: STP completed || 143 tries, 142454934 fired transitions, 1540 secs || 120979977 markings, 631862044 edges, 75388 markings/sec, 1540 secs
lola: STP completed || 143 tries, 142937573 fired transitions, 1545 secs || 121340235 markings, 633730707 edges, 72052 markings/sec, 1545 secs
lola: STP completed || 144 tries, 143408900 fired transitions, 1550 secs || 121709418 markings, 635750791 edges, 73837 markings/sec, 1550 secs
lola: STP completed || 144 tries, 143891627 fired transitions, 1555 secs || 122096638 markings, 637887788 edges, 77444 markings/sec, 1555 secs
lola: STP completed || 145 tries, 144351451 fired transitions, 1560 secs || 122484837 markings, 640115750 edges, 77640 markings/sec, 1560 secs
lola: STP completed || 145 tries, 144818772 fired transitions, 1565 secs || 122900079 markings, 642405905 edges, 83048 markings/sec, 1565 secs
lola: STP completed || 146 tries, 145292822 fired transitions, 1570 secs || 123305095 markings, 644635397 edges, 81003 markings/sec, 1570 secs
lola: STP completed || 146 tries, 145766958 fired transitions, 1575 secs || 123721068 markings, 647115679 edges, 83195 markings/sec, 1575 secs
lola: STP completed || 147 tries, 146245870 fired transitions, 1580 secs || 124155689 markings, 649628579 edges, 86924 markings/sec, 1580 secs
lola: STP completed || 147 tries, 146726867 fired transitions, 1585 secs || 124579165 markings, 652065347 edges, 84695 markings/sec, 1585 secs
lola: STP completed || 148 tries, 147207081 fired transitions, 1590 secs || 125012957 markings, 654573539 edges, 86758 markings/sec, 1590 secs
lola: STP completed || 148 tries, 147682279 fired transitions, 1595 secs || 125433354 markings, 657009647 edges, 84079 markings/sec, 1595 secs
lola: STP completed || 149 tries, 148158174 fired transitions, 1600 secs || 125855945 markings, 659468109 edges, 84518 markings/sec, 1600 secs
lola: STP completed || 149 tries, 148614400 fired transitions, 1605 secs || 126282484 markings, 661885185 edges, 85308 markings/sec, 1605 secs
lola: STP completed || 150 tries, 149079267 fired transitions, 1610 secs || 126705936 markings, 664317273 edges, 84690 markings/sec, 1610 secs
lola: STP completed || 150 tries, 149540737 fired transitions, 1615 secs || 127148635 markings, 666807885 edges, 88540 markings/sec, 1615 secs
lola: STP completed || 151 tries, 150005392 fired transitions, 1620 secs || 127593773 markings, 669284439 edges, 89028 markings/sec, 1620 secs
lola: STP completed || 151 tries, 150470567 fired transitions, 1625 secs || 128037795 markings, 671750331 edges, 88804 markings/sec, 1625 secs
lola: STP completed || 151 tries, 150944116 fired transitions, 1630 secs || 128493868 markings, 674253288 edges, 91215 markings/sec, 1630 secs
lola: STP completed || 152 tries, 151408957 fired transitions, 1635 secs || 128934382 markings, 676679097 edges, 88103 markings/sec, 1635 secs
lola: STP completed || 152 tries, 151879517 fired transitions, 1640 secs || 129388177 markings, 679154379 edges, 90759 markings/sec, 1640 secs
lola: STP completed || 153 tries, 152353856 fired transitions, 1645 secs || 129841026 markings, 681596507 edges, 90570 markings/sec, 1645 secs
lola: STP completed || 153 tries, 152835442 fired transitions, 1650 secs || 130268951 markings, 683972867 edges, 85585 markings/sec, 1650 secs
lola: STP completed || 154 tries, 153315639 fired transitions, 1655 secs || 130751724 markings, 686651863 edges, 96555 markings/sec, 1655 secs
lola: STP completed || 154 tries, 153793434 fired transitions, 1660 secs || 131159645 markings, 688687953 edges, 81584 markings/sec, 1660 secs
lola: STP completed || 155 tries, 154240560 fired transitions, 1665 secs || 131473034 markings, 689837713 edges, 62678 markings/sec, 1665 secs
lola: STP completed || 155 tries, 154696304 fired transitions, 1670 secs || 131781041 markings, 690985679 edges, 61601 markings/sec, 1670 secs
lola: STP completed || 156 tries, 155150144 fired transitions, 1675 secs || 132081126 markings, 692150847 edges, 60017 markings/sec, 1675 secs
lola: STP completed || 156 tries, 155607701 fired transitions, 1680 secs || 132407045 markings, 693637404 edges, 65184 markings/sec, 1680 secs
lola: STP completed || 157 tries, 156068983 fired transitions, 1685 secs || 132772014 markings, 695545364 edges, 72994 markings/sec, 1685 secs
lola: STP completed || 157 tries, 156544152 fired transitions, 1690 secs || 133125856 markings, 697255712 edges, 70768 markings/sec, 1690 secs
lola: STP completed || 158 tries, 157016037 fired transitions, 1695 secs || 133464232 markings, 698941994 edges, 67675 markings/sec, 1695 secs
lola: STP completed || 158 tries, 157484552 fired transitions, 1700 secs || 133762991 markings, 700128612 edges, 59752 markings/sec, 1700 secs
lola: STP completed || 158 tries, 157957666 fired transitions, 1705 secs || 134079950 markings, 701715935 edges, 63392 markings/sec, 1705 secs
lola: STP completed || 159 tries, 158442430 fired transitions, 1710 secs || 134401932 markings, 703492731 edges, 64396 markings/sec, 1710 secs
lola: STP completed || 159 tries, 158920547 fired transitions, 1715 secs || 134714398 markings, 704969091 edges, 62493 markings/sec, 1715 secs
lola: STP completed || 160 tries, 159395985 fired transitions, 1720 secs || 135057820 markings, 706822780 edges, 68684 markings/sec, 1720 secs
lola: STP completed || 160 tries, 159862076 fired transitions, 1725 secs || 135409987 markings, 708691152 edges, 70433 markings/sec, 1725 secs
lola: STP completed || 161 tries, 160324763 fired transitions, 1730 secs || 135789128 markings, 710623018 edges, 75828 markings/sec, 1730 secs
lola: STP completed || 161 tries, 160784599 fired transitions, 1735 secs || 136158985 markings, 712611777 edges, 73971 markings/sec, 1735 secs
lola: STP completed || 162 tries, 161257555 fired transitions, 1740 secs || 136520247 markings, 714379319 edges, 72252 markings/sec, 1740 secs
lola: STP completed || 162 tries, 161722924 fired transitions, 1745 secs || 136899219 markings, 716584648 edges, 75794 markings/sec, 1745 secs
lola: STP completed || 163 tries, 162186906 fired transitions, 1750 secs || 137245415 markings, 718419510 edges, 69239 markings/sec, 1750 secs
lola: STP completed || 163 tries, 162661670 fired transitions, 1755 secs || 137585525 markings, 720269506 edges, 68022 markings/sec, 1755 secs
lola: STP completed || 164 tries, 163141133 fired transitions, 1760 secs || 137949230 markings, 722364942 edges, 72741 markings/sec, 1760 secs
lola: STP completed || 164 tries, 163606774 fired transitions, 1765 secs || 138303200 markings, 724153955 edges, 70794 markings/sec, 1765 secs
lola: STP completed || 165 tries, 164074938 fired transitions, 1770 secs || 138681654 markings, 726307377 edges, 75691 markings/sec, 1770 secs
lola: STP completed || 165 tries, 164548616 fired transitions, 1775 secs || 139023500 markings, 728111481 edges, 68369 markings/sec, 1775 secs
lola: STP completed || 166 tries, 165017853 fired transitions, 1780 secs || 139413620 markings, 730486968 edges, 78024 markings/sec, 1780 secs
lola: STP completed || 166 tries, 165490468 fired transitions, 1785 secs || 139809604 markings, 732792362 edges, 79197 markings/sec, 1785 secs
lola: STP completed || 166 tries, 165970755 fired transitions, 1790 secs || 140221450 markings, 735239478 edges, 82369 markings/sec, 1790 secs
lola: STP completed || 167 tries, 166454446 fired transitions, 1795 secs || 140646766 markings, 737743182 edges, 85063 markings/sec, 1795 secs
lola: STP completed || 167 tries, 166931066 fired transitions, 1800 secs || 141059120 markings, 740024264 edges, 82471 markings/sec, 1800 secs
lola: STP completed || 168 tries, 167402370 fired transitions, 1805 secs || 141466147 markings, 742425011 edges, 81405 markings/sec, 1805 secs
lola: STP completed || 168 tries, 167876406 fired transitions, 1810 secs || 141902313 markings, 744929825 edges, 87233 markings/sec, 1810 secs
lola: STP completed || 169 tries, 168338106 fired transitions, 1815 secs || 142317188 markings, 747351522 edges, 82975 markings/sec, 1815 secs
lola: STP completed || 169 tries, 168780147 fired transitions, 1820 secs || 142737154 markings, 749781488 edges, 83993 markings/sec, 1820 secs
lola: STP completed || 170 tries, 169226849 fired transitions, 1825 secs || 143162329 markings, 752227849 edges, 85035 markings/sec, 1825 secs
lola: STP completed || 170 tries, 169680379 fired transitions, 1830 secs || 143598907 markings, 754670669 edges, 87316 markings/sec, 1830 secs
lola: STP completed || 171 tries, 170131531 fired transitions, 1835 secs || 144033084 markings, 757145168 edges, 86835 markings/sec, 1835 secs
lola: STP completed || 171 tries, 170597341 fired transitions, 1840 secs || 144488789 markings, 759672314 edges, 91141 markings/sec, 1840 secs
lola: STP completed || 172 tries, 171089307 fired transitions, 1845 secs || 144950816 markings, 762241263 edges, 92405 markings/sec, 1845 secs
lola: STP completed || 172 tries, 171572542 fired transitions, 1850 secs || 145427553 markings, 764839184 edges, 95347 markings/sec, 1850 secs
lola: STP completed || 173 tries, 172050345 fired transitions, 1855 secs || 145907475 markings, 767440775 edges, 95984 markings/sec, 1855 secs
lola: STP completed || 173 tries, 172525843 fired transitions, 1860 secs || 146369080 markings, 770030398 edges, 92321 markings/sec, 1860 secs
lola: STP completed || 174 tries, 173011753 fired transitions, 1865 secs || 146840479 markings, 772697347 edges, 94280 markings/sec, 1865 secs
lola: STP completed || 174 tries, 173500625 fired transitions, 1870 secs || 147280865 markings, 774914302 edges, 88077 markings/sec, 1870 secs
lola: STP completed || 174 tries, 173978413 fired transitions, 1875 secs || 147653086 markings, 776600843 edges, 74444 markings/sec, 1875 secs
lola: STP completed || 175 tries, 174448050 fired transitions, 1880 secs || 147968217 markings, 777697886 edges, 63026 markings/sec, 1880 secs
lola: STP completed || 175 tries, 174897211 fired transitions, 1885 secs || 148333862 markings, 779645277 edges, 73129 markings/sec, 1885 secs
lola: STP completed || 176 tries, 175327393 fired transitions, 1890 secs || 148644391 markings, 780924107 edges, 62106 markings/sec, 1890 secs
lola: STP completed || 176 tries, 175753642 fired transitions, 1895 secs || 148950523 markings, 782172939 edges, 61226 markings/sec, 1895 secs
lola: STP completed || 177 tries, 176205775 fired transitions, 1900 secs || 149311356 markings, 784140683 edges, 72167 markings/sec, 1900 secs
lola: STP completed || 177 tries, 176660383 fired transitions, 1905 secs || 149613654 markings, 785253892 edges, 60460 markings/sec, 1905 secs
lola: STP completed || 178 tries, 177116485 fired transitions, 1910 secs || 149906085 markings, 786354191 edges, 58486 markings/sec, 1910 secs
lola: STP completed || 178 tries, 177575162 fired transitions, 1915 secs || 150213331 markings, 787484569 edges, 61449 markings/sec, 1915 secs
lola: STP completed || 179 tries, 178054250 fired transitions, 1920 secs || 150537673 markings, 789048857 edges, 64868 markings/sec, 1920 secs
lola: STP completed || 179 tries, 178523849 fired transitions, 1925 secs || 150862505 markings, 790790282 edges, 64966 markings/sec, 1925 secs
lola: STP completed || 179 tries, 178965896 fired transitions, 1930 secs || 151159937 markings, 792152275 edges, 59486 markings/sec, 1930 secs
lola: STP completed || 180 tries, 179427533 fired transitions, 1935 secs || 151483141 markings, 793954928 edges, 64641 markings/sec, 1935 secs
lola: STP completed || 180 tries, 179908697 fired transitions, 1940 secs || 151809798 markings, 795714137 edges, 65331 markings/sec, 1940 secs
lola: STP completed || 181 tries, 180387183 fired transitions, 1945 secs || 152115503 markings, 796897157 edges, 61141 markings/sec, 1945 secs
lola: STP completed || 181 tries, 180871620 fired transitions, 1950 secs || 152469011 markings, 798747987 edges, 70702 markings/sec, 1950 secs
lola: STP completed || 182 tries, 181321051 fired transitions, 1955 secs || 152809900 markings, 800611349 edges, 68178 markings/sec, 1955 secs
lola: STP completed || 182 tries, 181768778 fired transitions, 1960 secs || 153167667 markings, 802604606 edges, 71553 markings/sec, 1960 secs
lola: STP completed || 183 tries, 182216416 fired transitions, 1965 secs || 153493256 markings, 804350541 edges, 65118 markings/sec, 1965 secs
lola: STP completed || 183 tries, 182698219 fired transitions, 1970 secs || 153838057 markings, 806204688 edges, 68960 markings/sec, 1970 secs
lola: STP completed || 184 tries, 183181832 fired transitions, 1975 secs || 154213904 markings, 808370550 edges, 75169 markings/sec, 1975 secs
lola: STP completed || 184 tries, 183675531 fired transitions, 1980 secs || 154597584 markings, 810572739 edges, 76736 markings/sec, 1980 secs
lola: STP completed || 185 tries, 184170629 fired transitions, 1985 secs || 154987736 markings, 812796273 edges, 78030 markings/sec, 1985 secs
lola: STP completed || 185 tries, 184655505 fired transitions, 1990 secs || 155383281 markings, 815059488 edges, 79109 markings/sec, 1990 secs
lola: STP completed || 186 tries, 185118366 fired transitions, 1995 secs || 155771214 markings, 817213137 edges, 77587 markings/sec, 1995 secs
lola: STP completed || 186 tries, 185601019 fired transitions, 2000 secs || 156184115 markings, 819604661 edges, 82580 markings/sec, 2000 secs
lola: STP completed || 187 tries, 186092032 fired transitions, 2005 secs || 156613496 markings, 822118481 edges, 85876 markings/sec, 2005 secs
lola: STP completed || 187 tries, 186581814 fired transitions, 2010 secs || 157000590 markings, 824362862 edges, 77419 markings/sec, 2010 secs
lola: STP completed || 188 tries, 187033221 fired transitions, 2015 secs || 157402243 markings, 826578070 edges, 80331 markings/sec, 2015 secs
lola: STP completed || 188 tries, 187476072 fired transitions, 2020 secs || 157780340 markings, 828791766 edges, 75619 markings/sec, 2020 secs
lola: STP completed || 188 tries, 187918398 fired transitions, 2025 secs || 158185208 markings, 831125236 edges, 80974 markings/sec, 2025 secs
lola: STP completed || 189 tries, 188405341 fired transitions, 2030 secs || 158601138 markings, 833526920 edges, 83186 markings/sec, 2030 secs
lola: STP completed || 189 tries, 188893366 fired transitions, 2035 secs || 159011016 markings, 835883802 edges, 81976 markings/sec, 2035 secs
lola: STP completed || 190 tries, 189373540 fired transitions, 2040 secs || 159427480 markings, 838266867 edges, 83293 markings/sec, 2040 secs
lola: STP completed || 190 tries, 189849178 fired transitions, 2045 secs || 159852829 markings, 840660438 edges, 85070 markings/sec, 2045 secs
lola: STP completed || 191 tries, 190334950 fired transitions, 2050 secs || 160289846 markings, 843087628 edges, 87403 markings/sec, 2050 secs
lola: STP completed || 191 tries, 190808673 fired transitions, 2055 secs || 160721578 markings, 845501467 edges, 86346 markings/sec, 2055 secs
lola: STP completed || 192 tries, 191298920 fired transitions, 2060 secs || 161160671 markings, 847943405 edges, 87819 markings/sec, 2060 secs
lola: STP completed || 192 tries, 191790119 fired transitions, 2065 secs || 161607502 markings, 850411582 edges, 89366 markings/sec, 2065 secs
lola: STP completed || 193 tries, 192272637 fired transitions, 2070 secs || 162051468 markings, 852806257 edges, 88793 markings/sec, 2070 secs
lola: STP completed || 193 tries, 192757159 fired transitions, 2075 secs || 162492348 markings, 855203679 edges, 88176 markings/sec, 2075 secs
lola: STP completed || 194 tries, 193208786 fired transitions, 2080 secs || 162902477 markings, 857536994 edges, 82026 markings/sec, 2080 secs
lola: STP completed || 194 tries, 193645707 fired transitions, 2085 secs || 163332710 markings, 859948510 edges, 86047 markings/sec, 2085 secs
lola: STP completed || 195 tries, 194084316 fired transitions, 2090 secs || 163741459 markings, 861967663 edges, 81750 markings/sec, 2090 secs
lola: STP completed || 195 tries, 194559284 fired transitions, 2095 secs || 164091005 markings, 863189412 edges, 69909 markings/sec, 2095 secs
lola: STP completed || 196 tries, 195031121 fired transitions, 2100 secs || 164417215 markings, 864269238 edges, 65242 markings/sec, 2100 secs
lola: STP completed || 196 tries, 195500185 fired transitions, 2105 secs || 164802969 markings, 866247271 edges, 77151 markings/sec, 2105 secs
lola: STP completed || 196 tries, 195965999 fired transitions, 2110 secs || 165153075 markings, 867729836 edges, 70021 markings/sec, 2110 secs
lola: STP completed || 197 tries, 196447674 fired transitions, 2115 secs || 165533420 markings, 869780665 edges, 76069 markings/sec, 2115 secs
lola: STP completed || 197 tries, 196936337 fired transitions, 2120 secs || 165856080 markings, 870916541 edges, 64532 markings/sec, 2120 secs
lola: STP completed || 198 tries, 197425341 fired transitions, 2125 secs || 166170390 markings, 872033198 edges, 62862 markings/sec, 2125 secs
lola: STP completed || 198 tries, 197897474 fired transitions, 2130 secs || 166491991 markings, 873349523 edges, 64320 markings/sec, 2130 secs
lola: STP completed || 199 tries, 198349522 fired transitions, 2135 secs || 166824039 markings, 875159576 edges, 66410 markings/sec, 2135 secs
lola: STP completed || 199 tries, 198798176 fired transitions, 2140 secs || 167135184 markings, 876673332 edges, 62229 markings/sec, 2140 secs
lola: STP completed || 200 tries, 199240544 fired transitions, 2145 secs || 167450838 markings, 878038505 edges, 63131 markings/sec, 2145 secs
lola: STP completed || 200 tries, 199678556 fired transitions, 2150 secs || 167774793 markings, 879755244 edges, 64791 markings/sec, 2150 secs
lola: STP completed || 201 tries, 200117996 fired transitions, 2155 secs || 168088370 markings, 881270104 edges, 62715 markings/sec, 2155 secs
lola: STP completed || 201 tries, 200582205 fired transitions, 2160 secs || 168418794 markings, 882623180 edges, 66085 markings/sec, 2160 secs
lola: STP completed || 202 tries, 201070367 fired transitions, 2165 secs || 168800888 markings, 884751779 edges, 76419 markings/sec, 2165 secs
lola: STP completed || 202 tries, 201552929 fired transitions, 2170 secs || 169188015 markings, 886668670 edges, 77425 markings/sec, 2170 secs
lola: STP completed || 203 tries, 202021106 fired transitions, 2175 secs || 169591653 markings, 888988515 edges, 80728 markings/sec, 2175 secs
lola: STP completed || 203 tries, 202516191 fired transitions, 2180 secs || 169988658 markings, 891025687 edges, 79401 markings/sec, 2180 secs
lola: STP completed || 204 tries, 203006838 fired transitions, 2185 secs || 170355679 markings, 892839134 edges, 73404 markings/sec, 2185 secs
lola: STP completed || 204 tries, 203460010 fired transitions, 2190 secs || 170721681 markings, 894942886 edges, 73200 markings/sec, 2190 secs
lola: STP completed || 204 tries, 203910304 fired transitions, 2195 secs || 171070371 markings, 896746729 edges, 69738 markings/sec, 2195 secs
lola: STP completed || 205 tries, 204376780 fired transitions, 2200 secs || 171408541 markings, 898517065 edges, 67634 markings/sec, 2200 secs
lola: STP completed || 205 tries, 204872505 fired transitions, 2205 secs || 171818162 markings, 900975268 edges, 81924 markings/sec, 2205 secs
lola: STP completed || 206 tries, 205386662 fired transitions, 2210 secs || 172225524 markings, 903378923 edges, 81472 markings/sec, 2210 secs
lola: STP completed || 206 tries, 205845534 fired transitions, 2215 secs || 172648651 markings, 905787868 edges, 84625 markings/sec, 2215 secs
lola: STP completed || 207 tries, 206310599 fired transitions, 2220 secs || 173048534 markings, 908141201 edges, 79977 markings/sec, 2220 secs
lola: STP completed || 207 tries, 206813644 fired transitions, 2225 secs || 173433793 markings, 910423712 edges, 77052 markings/sec, 2225 secs
lola: STP completed || 208 tries, 207311386 fired transitions, 2230 secs || 173830660 markings, 912686722 edges, 79373 markings/sec, 2230 secs
lola: STP completed || 208 tries, 207793556 fired transitions, 2235 secs || 174244026 markings, 914965819 edges, 82673 markings/sec, 2235 secs
lola: STP completed || 209 tries, 208264695 fired transitions, 2240 secs || 174649943 markings, 917322168 edges, 81183 markings/sec, 2240 secs
lola: STP completed || 209 tries, 208751723 fired transitions, 2245 secs || 175067650 markings, 919686138 edges, 83541 markings/sec, 2245 secs
lola: STP completed || 210 tries, 209212452 fired transitions, 2250 secs || 175480946 markings, 922060443 edges, 82659 markings/sec, 2250 secs
lola: STP completed || 210 tries, 209666305 fired transitions, 2255 secs || 175886994 markings, 924359294 edges, 81210 markings/sec, 2255 secs
lola: STP completed || 211 tries, 210127353 fired transitions, 2260 secs || 176308176 markings, 926725952 edges, 84236 markings/sec, 2260 secs
lola: STP completed || 211 tries, 210593611 fired transitions, 2265 secs || 176744267 markings, 929109727 edges, 87218 markings/sec, 2265 secs
lola: STP completed || 212 tries, 211047393 fired transitions, 2270 secs || 177157521 markings, 931410567 edges, 82651 markings/sec, 2270 secs
lola: STP completed || 212 tries, 211536309 fired transitions, 2275 secs || 177585136 markings, 933762670 edges, 85523 markings/sec, 2275 secs
lola: STP completed || 213 tries, 212015874 fired transitions, 2280 secs || 178021451 markings, 936133407 edges, 87263 markings/sec, 2280 secs
lola: STP completed || 213 tries, 212526799 fired transitions, 2285 secs || 178466201 markings, 938561586 edges, 88950 markings/sec, 2285 secs
lola: STP completed || 213 tries, 212994612 fired transitions, 2290 secs || 178891344 markings, 940902750 edges, 85029 markings/sec, 2290 secs
lola: STP completed || 214 tries, 213450518 fired transitions, 2295 secs || 179319932 markings, 943306609 edges, 85718 markings/sec, 2295 secs
lola: STP completed || 214 tries, 213900675 fired transitions, 2300 secs || 179777065 markings, 945814937 edges, 91427 markings/sec, 2300 secs
lola: STP completed || 215 tries, 214347640 fired transitions, 2305 secs || 180157061 markings, 947581892 edges, 75999 markings/sec, 2305 secs
lola: STP completed || 215 tries, 214836018 fired transitions, 2310 secs || 180482920 markings, 948720655 edges, 65172 markings/sec, 2310 secs
lola: STP completed || 216 tries, 215319241 fired transitions, 2315 secs || 180801970 markings, 949848549 edges, 63810 markings/sec, 2315 secs
lola: STP completed || 216 tries, 215813115 fired transitions, 2320 secs || 181155180 markings, 951559230 edges, 70642 markings/sec, 2320 secs
lola: STP completed || 217 tries, 216255193 fired transitions, 2325 secs || 181488363 markings, 953120589 edges, 66637 markings/sec, 2325 secs
lola: STP completed || 217 tries, 216697616 fired transitions, 2330 secs || 181778841 markings, 954190086 edges, 58096 markings/sec, 2330 secs
lola: STP completed || 218 tries, 217182245 fired transitions, 2335 secs || 182111484 markings, 955967295 edges, 66529 markings/sec, 2335 secs
lola: STP completed || 218 tries, 217672848 fired transitions, 2340 secs || 182455152 markings, 957824767 edges, 68734 markings/sec, 2340 secs
lola: STP completed || 219 tries, 218128628 fired transitions, 2345 secs || 182752512 markings, 958969562 edges, 59472 markings/sec, 2345 secs
lola: STP completed || 219 tries, 218578517 fired transitions, 2350 secs || 183096045 markings, 960708677 edges, 68707 markings/sec, 2350 secs
lola: STP completed || 220 tries, 219025365 fired transitions, 2355 secs || 183411733 markings, 962149763 edges, 63138 markings/sec, 2355 secs
lola: STP completed || 220 tries, 219457361 fired transitions, 2360 secs || 183695362 markings, 963245953 edges, 56726 markings/sec, 2360 secs
lola: STP completed || 220 tries, 219895553 fired transitions, 2365 secs || 184011842 markings, 964880601 edges, 63296 markings/sec, 2365 secs
lola: STP completed || 221 tries, 220346681 fired transitions, 2370 secs || 184333090 markings, 966618336 edges, 64250 markings/sec, 2370 secs
lola: STP completed || 221 tries, 220797976 fired transitions, 2375 secs || 184625992 markings, 967875451 edges, 58580 markings/sec, 2375 secs
lola: STP completed || 222 tries, 221252941 fired transitions, 2380 secs || 184967581 markings, 969663432 edges, 68318 markings/sec, 2380 secs
lola: STP completed || 222 tries, 221701529 fired transitions, 2385 secs || 185340543 markings, 971579974 edges, 74592 markings/sec, 2385 secs
lola: STP completed || 223 tries, 222147776 fired transitions, 2390 secs || 185679066 markings, 973313090 edges, 67705 markings/sec, 2390 secs
lola: STP completed || 223 tries, 222598719 fired transitions, 2395 secs || 186034044 markings, 975372434 edges, 70996 markings/sec, 2395 secs
lola: STP completed || 224 tries, 223068257 fired transitions, 2400 secs || 186373593 markings, 977149765 edges, 67910 markings/sec, 2400 secs
lola: STP completed || 224 tries, 223550940 fired transitions, 2405 secs || 186719629 markings, 978942035 edges, 69207 markings/sec, 2405 secs
lola: STP completed || 225 tries, 224011720 fired transitions, 2410 secs || 187080127 markings, 980995517 edges, 72100 markings/sec, 2410 secs
lola: STP completed || 225 tries, 224466857 fired transitions, 2415 secs || 187461210 markings, 983055827 edges, 76217 markings/sec, 2415 secs
lola: STP completed || 225 tries, 224922360 fired transitions, 2420 secs || 187830124 markings, 985202267 edges, 73783 markings/sec, 2420 secs
lola: STP completed || 226 tries, 225376672 fired transitions, 2425 secs || 188189945 markings, 987314059 edges, 71964 markings/sec, 2425 secs
lola: STP completed || 226 tries, 225830242 fired transitions, 2430 secs || 188561791 markings, 989521141 edges, 74369 markings/sec, 2430 secs
lola: STP completed || 227 tries, 226275292 fired transitions, 2435 secs || 188950221 markings, 991793582 edges, 77686 markings/sec, 2435 secs
lola: STP completed || 227 tries, 226714809 fired transitions, 2440 secs || 189336653 markings, 993908137 edges, 77286 markings/sec, 2440 secs
lola: STP completed || 228 tries, 227161534 fired transitions, 2445 secs || 189728348 markings, 996204034 edges, 78339 markings/sec, 2445 secs
lola: STP completed || 228 tries, 227608272 fired transitions, 2450 secs || 190133082 markings, 998559021 edges, 80947 markings/sec, 2450 secs
lola: STP completed || 229 tries, 228054281 fired transitions, 2455 secs || 190517843 markings, 1000812983 edges, 76952 markings/sec, 2455 secs
lola: STP completed || 229 tries, 228494234 fired transitions, 2460 secs || 190915108 markings, 1003116944 edges, 79453 markings/sec, 2460 secs
lola: STP completed || 229 tries, 228932610 fired transitions, 2465 secs || 191306830 markings, 1005384395 edges, 78344 markings/sec, 2465 secs
lola: STP completed || 230 tries, 229386470 fired transitions, 2470 secs || 191695738 markings, 1007612198 edges, 77782 markings/sec, 2470 secs
lola: STP completed || 230 tries, 229839814 fired transitions, 2475 secs || 192102645 markings, 1009912530 edges, 81381 markings/sec, 2475 secs
lola: STP completed || 231 tries, 230296628 fired transitions, 2480 secs || 192507260 markings, 1012184370 edges, 80923 markings/sec, 2480 secs
lola: STP completed || 231 tries, 230758944 fired transitions, 2485 secs || 192910701 markings, 1014479208 edges, 80688 markings/sec, 2485 secs
lola: STP completed || 232 tries, 231210328 fired transitions, 2490 secs || 193322451 markings, 1016744304 edges, 82350 markings/sec, 2490 secs
lola: STP completed || 232 tries, 231662613 fired transitions, 2495 secs || 193732855 markings, 1018997541 edges, 82081 markings/sec, 2495 secs
lola: STP completed || 233 tries, 232117169 fired transitions, 2500 secs || 194147349 markings, 1021261818 edges, 82899 markings/sec, 2500 secs
lola: STP completed || 233 tries, 232571940 fired transitions, 2505 secs || 194570688 markings, 1023586152 edges, 84668 markings/sec, 2505 secs
lola: STP completed || 234 tries, 233026244 fired transitions, 2510 secs || 194991567 markings, 1025891678 edges, 84176 markings/sec, 2510 secs
lola: STP completed || 234 tries, 233498626 fired transitions, 2515 secs || 195392683 markings, 1028160006 edges, 80223 markings/sec, 2515 secs
lola: STP completed || 234 tries, 233958812 fired transitions, 2520 secs || 195818225 markings, 1030530997 edges, 85108 markings/sec, 2520 secs
lola: STP completed || 235 tries, 234407708 fired transitions, 2525 secs || 196212311 markings, 1032540852 edges, 78817 markings/sec, 2525 secs
lola: STP completed || 235 tries, 234850226 fired transitions, 2530 secs || 196513853 markings, 1033697089 edges, 60308 markings/sec, 2530 secs
lola: STP completed || 236 tries, 235294942 fired transitions, 2535 secs || 196879274 markings, 1035399664 edges, 73084 markings/sec, 2535 secs
lola: STP completed || 236 tries, 235736948 fired transitions, 2540 secs || 197197251 markings, 1036540757 edges, 63595 markings/sec, 2540 secs
lola: STP completed || 237 tries, 236182971 fired transitions, 2545 secs || 197566386 markings, 1038085190 edges, 73827 markings/sec, 2545 secs
lola: STP completed || 237 tries, 236652390 fired transitions, 2550 secs || 197934227 markings, 1039782805 edges, 73568 markings/sec, 2550 secs
lola: STP completed || 238 tries, 237113395 fired transitions, 2555 secs || 198274576 markings, 1041310038 edges, 68070 markings/sec, 2555 secs
lola: STP completed || 238 tries, 237581502 fired transitions, 2560 secs || 198698247 markings, 1043797993 edges, 84734 markings/sec, 2560 secs
lola: STP completed || 239 tries, 238046928 fired transitions, 2565 secs || 199138341 markings, 1046282994 edges, 88019 markings/sec, 2565 secs
lola: STP completed || 239 tries, 238514972 fired transitions, 2570 secs || 199515324 markings, 1048210911 edges, 75397 markings/sec, 2570 secs
lola: STP completed || 239 tries, 238972828 fired transitions, 2575 secs || 199921951 markings, 1050335366 edges, 81325 markings/sec, 2575 secs
lola: STP completed || 240 tries, 239439133 fired transitions, 2580 secs || 200336248 markings, 1052124873 edges, 82859 markings/sec, 2580 secs
lola: STP completed || 240 tries, 239905767 fired transitions, 2585 secs || 200662344 markings, 1053409819 edges, 65219 markings/sec, 2585 secs
lola: STP completed || 241 tries, 240366499 fired transitions, 2590 secs || 201050687 markings, 1055730751 edges, 77669 markings/sec, 2590 secs
lola: STP completed || 241 tries, 240818051 fired transitions, 2595 secs || 201476667 markings, 1058136232 edges, 85196 markings/sec, 2595 secs
lola: STP completed || 242 tries, 241292528 fired transitions, 2600 secs || 201924851 markings, 1060612675 edges, 89637 markings/sec, 2600 secs
lola: STP completed || 242 tries, 241753054 fired transitions, 2605 secs || 202273929 markings, 1062415503 edges, 69816 markings/sec, 2605 secs
lola: STP completed || 243 tries, 242106705 fired transitions, 2610 secs || 202398926 markings, 1062873027 edges, 24999 markings/sec, 2610 secs
lola: STP completed || 243 tries, 242277743 fired transitions, 2615 secs || 202436359 markings, 1063014781 edges, 7487 markings/sec, 2615 secs
lola: STP completed || 243 tries, 242330727 fired transitions, 2620 secs || 202436882 markings, 1063016804 edges, 105 markings/sec, 2620 secs
Killed
FORMULA MultiwaySync-PT-none-ReachabilityDeadlock-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Kill lola and sara stderr -----
----- Finished stdout -----
----- Finished stderr -----
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="MultiwaySync-PT-none"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="mcc4mcc-structural"
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/MultiwaySync-PT-none.tgz
mv MultiwaySync-PT-none 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 mcc4mcc-structural"
echo " Input is MultiwaySync-PT-none, 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 r119-csrt-152666479600202"
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 '
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 ;