About the Execution of M4M.struct for FlexibleBarrier-PT-14a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.130 | 3272258.00 | 6574610.00 | 3173.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 336K
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K 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 6.1K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 26 09:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 26 09:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 26 09:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.1K May 26 09:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 113 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 351 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K 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 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 169K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-structural
Input is FlexibleBarrier-PT-14a, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r095-blw7-152650007100174
=====================================================================
--------------------
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 FlexibleBarrier-PT-14a-ReachabilityDeadlock-0
=== Now, execution of the tool begins
BK_START 1527595961883
BK_STOP 1527599234141
--------------------
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 FlexibleBarrier-PT-14a as instance name.
Using FlexibleBarrier 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': None, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 3121, 'Memory': 273.32, 'Tool': 'itstools'}, {'Time': 4845, 'Memory': 188.22, 'Tool': 'gspn'}].
Learned tools are: [{'Tool': 'lola'}].
ReachabilityDeadlock lola FlexibleBarrier-PT-14a...
Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
FlexibleBarrier-PT-14a: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
FlexibleBarrier-PT-14a: translating PT formula ReachabilityDeadlock into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stderr -----
----- Start make result stdout -----
ReachabilityDeadlock @ FlexibleBarrier-PT-14a @ 3540 seconds
make: [verify] Error 137 (ignored)
----- Start make result stderr -----
----- Kill lola and sara 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: 749/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 171 places, 578 transitions, 155 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 438 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-14a-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 20 bytes per marking, with 5 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 9397 variables and 43160 clauses shipped to Minisat
lola: computed 78 generators (25 in search tree, 53 by composition)
lola: representing 6.22702E+09 symmetries
lola: 0 dead branches visited in search tree
lola: stp: The siphon/trap property does not hold
lola: STP completed || 1 tries, 105581 fired transitions, 0 secs || 160188 markings, 250544 edges, 32038 markings/sec, 0 secs
lola: STP completed || 1 tries, 220954 fired transitions, 5 secs || 327035 markings, 514536 edges, 33369 markings/sec, 5 secs
lola: STP completed || 1 tries, 333537 fired transitions, 10 secs || 497691 markings, 786876 edges, 34131 markings/sec, 10 secs
lola: STP completed || 1 tries, 450641 fired transitions, 15 secs || 669598 markings, 1069591 edges, 34381 markings/sec, 15 secs
lola: STP completed || 1 tries, 557811 fired transitions, 20 secs || 852742 markings, 1362152 edges, 36629 markings/sec, 20 secs
lola: STP completed || 1 tries, 665313 fired transitions, 25 secs || 1027007 markings, 1635173 edges, 34853 markings/sec, 25 secs
lola: STP completed || 1 tries, 773741 fired transitions, 30 secs || 1204657 markings, 1915902 edges, 35530 markings/sec, 30 secs
lola: STP completed || 1 tries, 882621 fired transitions, 35 secs || 1374287 markings, 2180298 edges, 33926 markings/sec, 35 secs
lola: STP completed || 1 tries, 999826 fired transitions, 40 secs || 1540819 markings, 2441380 edges, 33306 markings/sec, 40 secs
lola: STP completed || 2 tries, 1116587 fired transitions, 45 secs || 1707524 markings, 2700292 edges, 33341 markings/sec, 45 secs
lola: STP completed || 2 tries, 1230566 fired transitions, 50 secs || 1874731 markings, 2962880 edges, 33441 markings/sec, 50 secs
lola: STP completed || 2 tries, 1333243 fired transitions, 55 secs || 2046185 markings, 3234980 edges, 34291 markings/sec, 55 secs
lola: STP completed || 2 tries, 1441792 fired transitions, 60 secs || 2211532 markings, 3494344 edges, 33069 markings/sec, 60 secs
lola: STP completed || 2 tries, 1552766 fired transitions, 65 secs || 2383914 markings, 3762913 edges, 34476 markings/sec, 65 secs
lola: STP completed || 2 tries, 1666334 fired transitions, 70 secs || 2548830 markings, 4023346 edges, 32983 markings/sec, 70 secs
lola: STP completed || 2 tries, 1779306 fired transitions, 75 secs || 2714582 markings, 4283552 edges, 33150 markings/sec, 75 secs
lola: STP completed || 2 tries, 1890503 fired transitions, 80 secs || 2878084 markings, 4548509 edges, 32700 markings/sec, 80 secs
lola: STP completed || 3 tries, 2001231 fired transitions, 85 secs || 3038640 markings, 4807284 edges, 32111 markings/sec, 85 secs
lola: STP completed || 3 tries, 2114949 fired transitions, 90 secs || 3208470 markings, 5076611 edges, 33966 markings/sec, 90 secs
lola: STP completed || 3 tries, 2230384 fired transitions, 95 secs || 3377981 markings, 5352744 edges, 33902 markings/sec, 95 secs
lola: STP completed || 3 tries, 2345342 fired transitions, 100 secs || 3542597 markings, 5621958 edges, 32923 markings/sec, 100 secs
lola: STP completed || 3 tries, 2462032 fired transitions, 105 secs || 3711896 markings, 5896707 edges, 33860 markings/sec, 105 secs
lola: STP completed || 3 tries, 2578779 fired transitions, 110 secs || 3875199 markings, 6153708 edges, 32661 markings/sec, 110 secs
lola: STP completed || 3 tries, 2694520 fired transitions, 115 secs || 4040678 markings, 6416107 edges, 33096 markings/sec, 115 secs
lola: STP completed || 3 tries, 2810083 fired transitions, 120 secs || 4208041 markings, 6686994 edges, 33473 markings/sec, 120 secs
lola: STP completed || 3 tries, 2926081 fired transitions, 125 secs || 4378723 markings, 6958585 edges, 34136 markings/sec, 125 secs
lola: STP completed || 4 tries, 3040514 fired transitions, 130 secs || 4542088 markings, 7222597 edges, 32673 markings/sec, 130 secs
lola: STP completed || 4 tries, 3153368 fired transitions, 135 secs || 4712917 markings, 7504234 edges, 34166 markings/sec, 135 secs
lola: STP completed || 4 tries, 3269792 fired transitions, 140 secs || 4884766 markings, 7783397 edges, 34370 markings/sec, 140 secs
lola: STP completed || 4 tries, 3386465 fired transitions, 145 secs || 5059630 markings, 8064614 edges, 34973 markings/sec, 145 secs
lola: STP completed || 4 tries, 3503571 fired transitions, 150 secs || 5231744 markings, 8350040 edges, 34423 markings/sec, 150 secs
lola: STP completed || 4 tries, 3620480 fired transitions, 155 secs || 5403154 markings, 8620494 edges, 34282 markings/sec, 155 secs
lola: STP completed || 4 tries, 3737000 fired transitions, 160 secs || 5573123 markings, 8895062 edges, 33994 markings/sec, 160 secs
lola: STP completed || 4 tries, 3854142 fired transitions, 165 secs || 5743992 markings, 9166378 edges, 34174 markings/sec, 165 secs
lola: STP completed || 4 tries, 3970702 fired transitions, 170 secs || 5916011 markings, 9455364 edges, 34404 markings/sec, 170 secs
lola: STP completed || 5 tries, 4082300 fired transitions, 175 secs || 6085094 markings, 9724531 edges, 33817 markings/sec, 175 secs
lola: STP completed || 5 tries, 4198124 fired transitions, 180 secs || 6254335 markings, 9997439 edges, 33848 markings/sec, 180 secs
lola: STP completed || 5 tries, 4315324 fired transitions, 185 secs || 6425956 markings, 10278005 edges, 34324 markings/sec, 185 secs
lola: STP completed || 5 tries, 4431370 fired transitions, 190 secs || 6601286 markings, 10577329 edges, 35066 markings/sec, 190 secs
lola: STP completed || 5 tries, 4547101 fired transitions, 195 secs || 6769390 markings, 10842100 edges, 33621 markings/sec, 195 secs
lola: STP completed || 5 tries, 4662156 fired transitions, 200 secs || 6936772 markings, 11106876 edges, 33476 markings/sec, 200 secs
lola: STP completed || 5 tries, 4778428 fired transitions, 205 secs || 7104950 markings, 11374427 edges, 33636 markings/sec, 205 secs
lola: STP completed || 5 tries, 4894476 fired transitions, 210 secs || 7274958 markings, 11658830 edges, 34002 markings/sec, 210 secs
lola: STP completed || 6 tries, 5011075 fired transitions, 215 secs || 7452469 markings, 11948085 edges, 35502 markings/sec, 215 secs
lola: STP completed || 6 tries, 5128091 fired transitions, 220 secs || 7628731 markings, 12244805 edges, 35252 markings/sec, 220 secs
lola: STP completed || 6 tries, 5245344 fired transitions, 225 secs || 7801660 markings, 12529211 edges, 34586 markings/sec, 225 secs
lola: STP completed || 6 tries, 5361528 fired transitions, 230 secs || 7970849 markings, 12806949 edges, 33838 markings/sec, 230 secs
lola: STP completed || 6 tries, 5477563 fired transitions, 235 secs || 8136531 markings, 13067736 edges, 33136 markings/sec, 235 secs
lola: STP completed || 6 tries, 5594942 fired transitions, 240 secs || 8305176 markings, 13347026 edges, 33729 markings/sec, 240 secs
lola: STP completed || 6 tries, 5711276 fired transitions, 245 secs || 8479250 markings, 13640279 edges, 34815 markings/sec, 245 secs
lola: STP completed || 6 tries, 5827364 fired transitions, 250 secs || 8657947 markings, 13956266 edges, 35739 markings/sec, 250 secs
lola: STP completed || 6 tries, 5943863 fired transitions, 255 secs || 8828298 markings, 14232197 edges, 34070 markings/sec, 255 secs
lola: STP completed || 7 tries, 6061281 fired transitions, 260 secs || 8998428 markings, 14505831 edges, 34026 markings/sec, 260 secs
lola: STP completed || 7 tries, 6178127 fired transitions, 265 secs || 9164002 markings, 14784343 edges, 33115 markings/sec, 265 secs
lola: STP completed || 7 tries, 6293841 fired transitions, 270 secs || 9334684 markings, 15080224 edges, 34136 markings/sec, 270 secs
lola: STP completed || 7 tries, 6408619 fired transitions, 275 secs || 9502485 markings, 15359805 edges, 33560 markings/sec, 275 secs
lola: STP completed || 7 tries, 6524221 fired transitions, 280 secs || 9675700 markings, 15665124 edges, 34643 markings/sec, 280 secs
lola: STP completed || 7 tries, 6640242 fired transitions, 285 secs || 9845335 markings, 15946536 edges, 33927 markings/sec, 285 secs
lola: STP completed || 7 tries, 6757963 fired transitions, 290 secs || 10018347 markings, 16238360 edges, 34602 markings/sec, 290 secs
lola: STP completed || 7 tries, 6874977 fired transitions, 295 secs || 10185637 markings, 16509759 edges, 33458 markings/sec, 295 secs
lola: STP completed || 7 tries, 6987081 fired transitions, 300 secs || 10353430 markings, 16790556 edges, 33559 markings/sec, 300 secs
lola: STP completed || 8 tries, 7103540 fired transitions, 305 secs || 10525566 markings, 17084444 edges, 34427 markings/sec, 305 secs
lola: STP completed || 8 tries, 7219799 fired transitions, 310 secs || 10697372 markings, 17373756 edges, 34361 markings/sec, 310 secs
lola: STP completed || 8 tries, 7336672 fired transitions, 315 secs || 10865497 markings, 17638551 edges, 33625 markings/sec, 315 secs
lola: STP completed || 8 tries, 7452279 fired transitions, 320 secs || 11027662 markings, 17898568 edges, 32433 markings/sec, 320 secs
lola: STP completed || 8 tries, 7570008 fired transitions, 325 secs || 11196575 markings, 18171870 edges, 33783 markings/sec, 325 secs
lola: STP completed || 8 tries, 7685178 fired transitions, 330 secs || 11369271 markings, 18466923 edges, 34539 markings/sec, 330 secs
lola: STP completed || 8 tries, 7801292 fired transitions, 335 secs || 11540913 markings, 18752800 edges, 34328 markings/sec, 335 secs
lola: STP completed || 8 tries, 7918217 fired transitions, 340 secs || 11709953 markings, 19046545 edges, 33808 markings/sec, 340 secs
lola: STP completed || 9 tries, 8034052 fired transitions, 345 secs || 11880063 markings, 19322014 edges, 34022 markings/sec, 345 secs
lola: STP completed || 9 tries, 8147960 fired transitions, 350 secs || 12045983 markings, 19603705 edges, 33184 markings/sec, 350 secs
lola: STP completed || 9 tries, 8264716 fired transitions, 355 secs || 12212419 markings, 19871544 edges, 33287 markings/sec, 355 secs
lola: STP completed || 9 tries, 8381133 fired transitions, 360 secs || 12370476 markings, 20133936 edges, 31611 markings/sec, 360 secs
lola: STP completed || 9 tries, 8498490 fired transitions, 365 secs || 12539574 markings, 20410651 edges, 33820 markings/sec, 365 secs
lola: STP completed || 9 tries, 8615239 fired transitions, 370 secs || 12708067 markings, 20680322 edges, 33699 markings/sec, 370 secs
lola: STP completed || 9 tries, 8731608 fired transitions, 375 secs || 12873335 markings, 20938815 edges, 33054 markings/sec, 375 secs
lola: STP completed || 9 tries, 8846121 fired transitions, 380 secs || 13043087 markings, 21208187 edges, 33950 markings/sec, 380 secs
lola: STP completed || 9 tries, 8962253 fired transitions, 385 secs || 13211432 markings, 21473776 edges, 33669 markings/sec, 385 secs
lola: STP completed || 10 tries, 9079105 fired transitions, 390 secs || 13378319 markings, 21736799 edges, 33377 markings/sec, 390 secs
lola: STP completed || 10 tries, 9195422 fired transitions, 395 secs || 13547290 markings, 22007813 edges, 33794 markings/sec, 395 secs
lola: STP completed || 10 tries, 9312029 fired transitions, 400 secs || 13715678 markings, 22291011 edges, 33678 markings/sec, 400 secs
lola: STP completed || 10 tries, 9428829 fired transitions, 405 secs || 13886777 markings, 22583956 edges, 34220 markings/sec, 405 secs
lola: STP completed || 10 tries, 9545975 fired transitions, 410 secs || 14063136 markings, 22891788 edges, 35272 markings/sec, 410 secs
lola: STP completed || 10 tries, 9662174 fired transitions, 415 secs || 14241509 markings, 23200319 edges, 35675 markings/sec, 415 secs
lola: STP completed || 10 tries, 9780812 fired transitions, 420 secs || 14405924 markings, 23479367 edges, 32883 markings/sec, 420 secs
lola: STP completed || 10 tries, 9898054 fired transitions, 425 secs || 14578420 markings, 23779123 edges, 34499 markings/sec, 425 secs
lola: STP completed || 11 tries, 10014958 fired transitions, 430 secs || 14752941 markings, 24075708 edges, 34904 markings/sec, 430 secs
lola: STP completed || 11 tries, 10132232 fired transitions, 435 secs || 14922928 markings, 24350880 edges, 33997 markings/sec, 435 secs
lola: STP completed || 11 tries, 10249583 fired transitions, 440 secs || 15096813 markings, 24639244 edges, 34777 markings/sec, 440 secs
lola: STP completed || 11 tries, 10366721 fired transitions, 445 secs || 15267524 markings, 24911053 edges, 34142 markings/sec, 445 secs
lola: STP completed || 11 tries, 10481728 fired transitions, 450 secs || 15423049 markings, 25163729 edges, 31105 markings/sec, 450 secs
lola: STP completed || 11 tries, 10598513 fired transitions, 455 secs || 15594926 markings, 25441540 edges, 34375 markings/sec, 455 secs
lola: STP completed || 11 tries, 10715933 fired transitions, 460 secs || 15764656 markings, 25710101 edges, 33946 markings/sec, 460 secs
lola: STP completed || 11 tries, 10831811 fired transitions, 465 secs || 15932687 markings, 25980398 edges, 33606 markings/sec, 465 secs
lola: STP completed || 11 tries, 10948414 fired transitions, 470 secs || 16100258 markings, 26254103 edges, 33514 markings/sec, 470 secs
lola: STP completed || 12 tries, 11064282 fired transitions, 475 secs || 16273038 markings, 26535347 edges, 34556 markings/sec, 475 secs
lola: STP completed || 12 tries, 11180826 fired transitions, 480 secs || 16445597 markings, 26810374 edges, 34512 markings/sec, 480 secs
lola: STP completed || 12 tries, 11297227 fired transitions, 485 secs || 16610617 markings, 27076017 edges, 33004 markings/sec, 485 secs
lola: STP completed || 12 tries, 11414018 fired transitions, 490 secs || 16779568 markings, 27347371 edges, 33790 markings/sec, 490 secs
lola: STP completed || 12 tries, 11530839 fired transitions, 495 secs || 16952404 markings, 27634010 edges, 34567 markings/sec, 495 secs
lola: STP completed || 12 tries, 11648452 fired transitions, 500 secs || 17128425 markings, 27934650 edges, 35204 markings/sec, 500 secs
lola: STP completed || 12 tries, 11764885 fired transitions, 505 secs || 17301043 markings, 28210521 edges, 34524 markings/sec, 505 secs
lola: STP completed || 12 tries, 11882069 fired transitions, 510 secs || 17475869 markings, 28494483 edges, 34965 markings/sec, 510 secs
lola: STP completed || 12 tries, 11998805 fired transitions, 515 secs || 17652153 markings, 28782861 edges, 35257 markings/sec, 515 secs
lola: STP completed || 13 tries, 12114814 fired transitions, 520 secs || 17830094 markings, 29087689 edges, 35588 markings/sec, 520 secs
lola: STP completed || 13 tries, 12231921 fired transitions, 525 secs || 18004975 markings, 29386935 edges, 34976 markings/sec, 525 secs
lola: STP completed || 13 tries, 12348786 fired transitions, 530 secs || 18179529 markings, 29693152 edges, 34911 markings/sec, 530 secs
lola: STP completed || 13 tries, 12464430 fired transitions, 535 secs || 18357243 markings, 30004695 edges, 35543 markings/sec, 535 secs
lola: STP completed || 13 tries, 12581097 fired transitions, 540 secs || 18531365 markings, 30291602 edges, 34824 markings/sec, 540 secs
lola: STP completed || 13 tries, 12696964 fired transitions, 545 secs || 18702472 markings, 30563991 edges, 34221 markings/sec, 545 secs
lola: STP completed || 13 tries, 12814924 fired transitions, 550 secs || 18874305 markings, 30852312 edges, 34367 markings/sec, 550 secs
lola: STP completed || 13 tries, 12932401 fired transitions, 555 secs || 19042207 markings, 31132719 edges, 33580 markings/sec, 555 secs
lola: STP completed || 14 tries, 13049342 fired transitions, 560 secs || 19209460 markings, 31404062 edges, 33451 markings/sec, 560 secs
lola: STP completed || 14 tries, 13165595 fired transitions, 565 secs || 19378087 markings, 31680529 edges, 33725 markings/sec, 565 secs
lola: STP completed || 14 tries, 13282869 fired transitions, 570 secs || 19548164 markings, 31955781 edges, 34015 markings/sec, 570 secs
lola: STP completed || 14 tries, 13399239 fired transitions, 575 secs || 19716643 markings, 32225285 edges, 33696 markings/sec, 575 secs
lola: STP completed || 14 tries, 13515779 fired transitions, 580 secs || 19890340 markings, 32523537 edges, 34739 markings/sec, 580 secs
lola: STP completed || 14 tries, 13632713 fired transitions, 585 secs || 20057561 markings, 32797602 edges, 33444 markings/sec, 585 secs
lola: STP completed || 14 tries, 13750768 fired transitions, 590 secs || 20228068 markings, 33076397 edges, 34101 markings/sec, 590 secs
lola: STP completed || 14 tries, 13867451 fired transitions, 595 secs || 20395139 markings, 33342399 edges, 33414 markings/sec, 595 secs
lola: STP completed || 14 tries, 13984138 fired transitions, 600 secs || 20562106 markings, 33612878 edges, 33393 markings/sec, 600 secs
lola: STP completed || 15 tries, 14100592 fired transitions, 605 secs || 20731872 markings, 33898673 edges, 33953 markings/sec, 605 secs
lola: STP completed || 15 tries, 14217142 fired transitions, 610 secs || 20902035 markings, 34178699 edges, 34033 markings/sec, 610 secs
lola: STP completed || 15 tries, 14333756 fired transitions, 615 secs || 21079026 markings, 34483664 edges, 35398 markings/sec, 615 secs
lola: STP completed || 15 tries, 14450016 fired transitions, 620 secs || 21249234 markings, 34767436 edges, 34042 markings/sec, 620 secs
lola: STP completed || 15 tries, 14567477 fired transitions, 625 secs || 21422047 markings, 35067691 edges, 34563 markings/sec, 625 secs
lola: STP completed || 15 tries, 14682220 fired transitions, 630 secs || 21593716 markings, 35345407 edges, 34334 markings/sec, 630 secs
lola: STP completed || 15 tries, 14798355 fired transitions, 635 secs || 21762035 markings, 35624540 edges, 33664 markings/sec, 635 secs
lola: STP completed || 15 tries, 14914141 fired transitions, 640 secs || 21931082 markings, 35900635 edges, 33809 markings/sec, 640 secs
lola: STP completed || 16 tries, 15029796 fired transitions, 645 secs || 22097892 markings, 36172085 edges, 33362 markings/sec, 645 secs
lola: STP completed || 16 tries, 15147160 fired transitions, 650 secs || 22271054 markings, 36462802 edges, 34632 markings/sec, 650 secs
lola: STP completed || 16 tries, 15262897 fired transitions, 655 secs || 22439697 markings, 36729929 edges, 33729 markings/sec, 655 secs
lola: STP completed || 16 tries, 15379651 fired transitions, 660 secs || 22610062 markings, 37012760 edges, 34073 markings/sec, 660 secs
lola: STP completed || 16 tries, 15495802 fired transitions, 665 secs || 22779880 markings, 37296558 edges, 33964 markings/sec, 665 secs
lola: STP completed || 16 tries, 15613315 fired transitions, 670 secs || 22952928 markings, 37593682 edges, 34610 markings/sec, 670 secs
lola: STP completed || 16 tries, 15730386 fired transitions, 675 secs || 23123208 markings, 37878670 edges, 34056 markings/sec, 675 secs
lola: STP completed || 16 tries, 15846777 fired transitions, 680 secs || 23289029 markings, 38139985 edges, 33164 markings/sec, 680 secs
lola: STP completed || 16 tries, 15964566 fired transitions, 685 secs || 23456591 markings, 38425760 edges, 33512 markings/sec, 685 secs
lola: STP completed || 17 tries, 16081385 fired transitions, 690 secs || 23624408 markings, 38696518 edges, 33563 markings/sec, 690 secs
lola: STP completed || 17 tries, 16198330 fired transitions, 695 secs || 23797795 markings, 38990716 edges, 34677 markings/sec, 695 secs
lola: STP completed || 17 tries, 16314713 fired transitions, 700 secs || 23963271 markings, 39260915 edges, 33095 markings/sec, 700 secs
lola: STP completed || 17 tries, 16432338 fired transitions, 705 secs || 24127900 markings, 39545232 edges, 32926 markings/sec, 705 secs
lola: STP completed || 17 tries, 16549350 fired transitions, 710 secs || 24303367 markings, 39840249 edges, 35093 markings/sec, 710 secs
lola: STP completed || 17 tries, 16665121 fired transitions, 715 secs || 24477542 markings, 40130743 edges, 34835 markings/sec, 715 secs
lola: STP completed || 17 tries, 16782252 fired transitions, 720 secs || 24651522 markings, 40423620 edges, 34796 markings/sec, 720 secs
lola: STP completed || 17 tries, 16899748 fired transitions, 725 secs || 24823746 markings, 40730934 edges, 34445 markings/sec, 725 secs
lola: STP completed || 18 tries, 17014802 fired transitions, 730 secs || 24994012 markings, 41004184 edges, 34053 markings/sec, 730 secs
lola: STP completed || 18 tries, 17132080 fired transitions, 735 secs || 25160818 markings, 41270735 edges, 33361 markings/sec, 735 secs
lola: STP completed || 18 tries, 17249131 fired transitions, 740 secs || 25329054 markings, 41541916 edges, 33647 markings/sec, 740 secs
lola: STP completed || 18 tries, 17366349 fired transitions, 745 secs || 25498103 markings, 41823474 edges, 33810 markings/sec, 745 secs
lola: STP completed || 18 tries, 17483147 fired transitions, 750 secs || 25666881 markings, 42100820 edges, 33756 markings/sec, 750 secs
lola: STP completed || 18 tries, 17599509 fired transitions, 755 secs || 25834163 markings, 42374136 edges, 33456 markings/sec, 755 secs
lola: STP completed || 18 tries, 17714231 fired transitions, 760 secs || 26006379 markings, 42656944 edges, 34443 markings/sec, 760 secs
lola: STP completed || 18 tries, 17830822 fired transitions, 765 secs || 26175017 markings, 42933036 edges, 33728 markings/sec, 765 secs
lola: STP completed || 18 tries, 17949700 fired transitions, 770 secs || 26342027 markings, 43199935 edges, 33402 markings/sec, 770 secs
lola: STP completed || 19 tries, 18064424 fired transitions, 775 secs || 26512327 markings, 43483280 edges, 34060 markings/sec, 775 secs
lola: STP completed || 19 tries, 18181981 fired transitions, 780 secs || 26682947 markings, 43773460 edges, 34124 markings/sec, 780 secs
lola: STP completed || 19 tries, 18297537 fired transitions, 785 secs || 26854964 markings, 44065264 edges, 34403 markings/sec, 785 secs
lola: STP completed || 19 tries, 18414939 fired transitions, 790 secs || 27029186 markings, 44358902 edges, 34844 markings/sec, 790 secs
lola: STP completed || 19 tries, 18532336 fired transitions, 795 secs || 27202150 markings, 44659997 edges, 34593 markings/sec, 795 secs
lola: STP completed || 19 tries, 18648500 fired transitions, 800 secs || 27371241 markings, 44946296 edges, 33818 markings/sec, 800 secs
lola: STP completed || 19 tries, 18764762 fired transitions, 805 secs || 27539866 markings, 45230219 edges, 33725 markings/sec, 805 secs
lola: STP completed || 19 tries, 18882369 fired transitions, 810 secs || 27711718 markings, 45529210 edges, 34370 markings/sec, 810 secs
lola: STP completed || 19 tries, 18999153 fired transitions, 815 secs || 27884853 markings, 45836989 edges, 34627 markings/sec, 815 secs
lola: STP completed || 20 tries, 19115616 fired transitions, 820 secs || 28056246 markings, 46127714 edges, 34279 markings/sec, 820 secs
lola: STP completed || 20 tries, 19232837 fired transitions, 825 secs || 28231311 markings, 46420969 edges, 35013 markings/sec, 825 secs
lola: STP completed || 20 tries, 19349391 fired transitions, 830 secs || 28407390 markings, 46728927 edges, 35216 markings/sec, 830 secs
lola: STP completed || 20 tries, 19462412 fired transitions, 835 secs || 28579118 markings, 47022424 edges, 34346 markings/sec, 835 secs
lola: STP completed || 20 tries, 19580679 fired transitions, 840 secs || 28740583 markings, 47297924 edges, 32293 markings/sec, 840 secs
lola: STP completed || 20 tries, 19694675 fired transitions, 845 secs || 28906611 markings, 47568591 edges, 33206 markings/sec, 845 secs
lola: STP completed || 20 tries, 19819290 fired transitions, 850 secs || 29079788 markings, 47853199 edges, 34635 markings/sec, 850 secs
lola: STP completed || 20 tries, 19950011 fired transitions, 855 secs || 29272874 markings, 48174310 edges, 38617 markings/sec, 855 secs
lola: STP completed || 21 tries, 20078475 fired transitions, 860 secs || 29455557 markings, 48468892 edges, 36537 markings/sec, 860 secs
lola: STP completed || 21 tries, 20194689 fired transitions, 865 secs || 29621685 markings, 48735584 edges, 33226 markings/sec, 865 secs
lola: STP completed || 21 tries, 20309930 fired transitions, 870 secs || 29792013 markings, 49018273 edges, 34066 markings/sec, 870 secs
lola: STP completed || 21 tries, 20424613 fired transitions, 875 secs || 29957525 markings, 49288581 edges, 33102 markings/sec, 875 secs
lola: STP completed || 21 tries, 20542640 fired transitions, 880 secs || 30124712 markings, 49563256 edges, 33437 markings/sec, 880 secs
lola: STP completed || 21 tries, 20659162 fired transitions, 885 secs || 30294329 markings, 49846331 edges, 33923 markings/sec, 885 secs
lola: STP completed || 21 tries, 20777290 fired transitions, 890 secs || 30465209 markings, 50131263 edges, 34176 markings/sec, 890 secs
lola: STP completed || 21 tries, 20890497 fired transitions, 895 secs || 30632675 markings, 50420692 edges, 33493 markings/sec, 895 secs
lola: STP completed || 22 tries, 21008369 fired transitions, 900 secs || 30796085 markings, 50679433 edges, 32682 markings/sec, 900 secs
lola: STP completed || 22 tries, 21121758 fired transitions, 905 secs || 30958900 markings, 50953538 edges, 32563 markings/sec, 905 secs
lola: STP completed || 22 tries, 21238265 fired transitions, 910 secs || 31123812 markings, 51224826 edges, 32982 markings/sec, 910 secs
lola: STP completed || 22 tries, 21355386 fired transitions, 915 secs || 31287306 markings, 51489887 edges, 32699 markings/sec, 915 secs
lola: STP completed || 22 tries, 21472681 fired transitions, 920 secs || 31455671 markings, 51770857 edges, 33673 markings/sec, 920 secs
lola: STP completed || 22 tries, 21589176 fired transitions, 925 secs || 31624403 markings, 52052799 edges, 33746 markings/sec, 925 secs
lola: STP completed || 22 tries, 21707456 fired transitions, 930 secs || 31792664 markings, 52338662 edges, 33652 markings/sec, 930 secs
lola: STP completed || 22 tries, 21823058 fired transitions, 935 secs || 31949557 markings, 52587549 edges, 31379 markings/sec, 935 secs
lola: STP completed || 22 tries, 21940772 fired transitions, 940 secs || 32116893 markings, 52859331 edges, 33467 markings/sec, 940 secs
lola: STP completed || 23 tries, 22059320 fired transitions, 945 secs || 32288308 markings, 53141353 edges, 34283 markings/sec, 945 secs
lola: STP completed || 23 tries, 22176741 fired transitions, 950 secs || 32459478 markings, 53431978 edges, 34234 markings/sec, 950 secs
lola: STP completed || 23 tries, 22294136 fired transitions, 955 secs || 32630272 markings, 53707407 edges, 34159 markings/sec, 955 secs
lola: STP completed || 23 tries, 22411202 fired transitions, 960 secs || 32792056 markings, 53975548 edges, 32357 markings/sec, 960 secs
lola: STP completed || 23 tries, 22522417 fired transitions, 965 secs || 32955673 markings, 54247245 edges, 32723 markings/sec, 965 secs
lola: STP completed || 23 tries, 22637471 fired transitions, 970 secs || 33113001 markings, 54517788 edges, 31466 markings/sec, 970 secs
lola: STP completed || 23 tries, 22750907 fired transitions, 975 secs || 33272420 markings, 54796735 edges, 31884 markings/sec, 975 secs
lola: STP completed || 23 tries, 22866016 fired transitions, 980 secs || 33439200 markings, 55087008 edges, 33356 markings/sec, 980 secs
lola: STP completed || 23 tries, 22982976 fired transitions, 985 secs || 33607183 markings, 55378689 edges, 33597 markings/sec, 985 secs
lola: STP completed || 24 tries, 23102332 fired transitions, 990 secs || 33767765 markings, 55642862 edges, 32116 markings/sec, 990 secs
lola: STP completed || 24 tries, 23215081 fired transitions, 995 secs || 33933757 markings, 55914385 edges, 33198 markings/sec, 995 secs
lola: STP completed || 24 tries, 23326250 fired transitions, 1000 secs || 34106224 markings, 56219213 edges, 34493 markings/sec, 1000 secs
lola: STP completed || 24 tries, 23434087 fired transitions, 1005 secs || 34282690 markings, 56524214 edges, 35293 markings/sec, 1005 secs
lola: STP completed || 24 tries, 23550812 fired transitions, 1010 secs || 34453434 markings, 56817713 edges, 34149 markings/sec, 1010 secs
lola: STP completed || 24 tries, 23667537 fired transitions, 1015 secs || 34619135 markings, 57094857 edges, 33140 markings/sec, 1015 secs
lola: STP completed || 24 tries, 23784755 fired transitions, 1020 secs || 34782888 markings, 57368293 edges, 32751 markings/sec, 1020 secs
lola: STP completed || 24 tries, 23902590 fired transitions, 1025 secs || 34943887 markings, 57634446 edges, 32200 markings/sec, 1025 secs
lola: STP completed || 25 tries, 24025620 fired transitions, 1030 secs || 35117528 markings, 57914486 edges, 34728 markings/sec, 1030 secs
lola: STP completed || 25 tries, 24142597 fired transitions, 1035 secs || 35298077 markings, 58214798 edges, 36110 markings/sec, 1035 secs
lola: STP completed || 25 tries, 24256080 fired transitions, 1040 secs || 35470650 markings, 58511123 edges, 34515 markings/sec, 1040 secs
lola: STP completed || 25 tries, 24369653 fired transitions, 1045 secs || 35633788 markings, 58778228 edges, 32628 markings/sec, 1045 secs
lola: STP completed || 25 tries, 24487415 fired transitions, 1050 secs || 35802319 markings, 59057357 edges, 33706 markings/sec, 1050 secs
lola: STP completed || 25 tries, 24605475 fired transitions, 1055 secs || 35972001 markings, 59344970 edges, 33936 markings/sec, 1055 secs
lola: STP completed || 25 tries, 24723809 fired transitions, 1060 secs || 36137989 markings, 59641368 edges, 33198 markings/sec, 1060 secs
lola: STP completed || 25 tries, 24840433 fired transitions, 1065 secs || 36308179 markings, 59936454 edges, 34038 markings/sec, 1065 secs
lola: STP completed || 25 tries, 24958587 fired transitions, 1070 secs || 36475260 markings, 60215369 edges, 33416 markings/sec, 1070 secs
lola: STP completed || 26 tries, 25075315 fired transitions, 1075 secs || 36639045 markings, 60483555 edges, 32757 markings/sec, 1075 secs
lola: STP completed || 26 tries, 25192536 fired transitions, 1080 secs || 36800440 markings, 60742950 edges, 32279 markings/sec, 1080 secs
lola: STP completed || 26 tries, 25306641 fired transitions, 1085 secs || 36968840 markings, 61024511 edges, 33680 markings/sec, 1085 secs
lola: STP completed || 26 tries, 25421473 fired transitions, 1090 secs || 37130278 markings, 61288774 edges, 32288 markings/sec, 1090 secs
lola: STP completed || 26 tries, 25538137 fired transitions, 1095 secs || 37296533 markings, 61567179 edges, 33251 markings/sec, 1095 secs
lola: STP completed || 26 tries, 25655026 fired transitions, 1100 secs || 37464174 markings, 61846951 edges, 33528 markings/sec, 1100 secs
lola: STP completed || 26 tries, 25772720 fired transitions, 1105 secs || 37631908 markings, 62134562 edges, 33547 markings/sec, 1105 secs
lola: STP completed || 26 tries, 25888415 fired transitions, 1110 secs || 37801178 markings, 62418720 edges, 33854 markings/sec, 1110 secs
lola: STP completed || 27 tries, 26006280 fired transitions, 1115 secs || 37970705 markings, 62710040 edges, 33905 markings/sec, 1115 secs
lola: STP completed || 27 tries, 26124349 fired transitions, 1120 secs || 38138893 markings, 62991568 edges, 33638 markings/sec, 1120 secs
lola: STP completed || 27 tries, 26241495 fired transitions, 1125 secs || 38305213 markings, 63264343 edges, 33264 markings/sec, 1125 secs
lola: STP completed || 27 tries, 26358774 fired transitions, 1130 secs || 38467777 markings, 63529975 edges, 32513 markings/sec, 1130 secs
lola: STP completed || 27 tries, 26476109 fired transitions, 1135 secs || 38637274 markings, 63811446 edges, 33899 markings/sec, 1135 secs
lola: STP completed || 27 tries, 26593368 fired transitions, 1140 secs || 38810806 markings, 64128682 edges, 34706 markings/sec, 1140 secs
lola: STP completed || 27 tries, 26710317 fired transitions, 1145 secs || 38982374 markings, 64423433 edges, 34314 markings/sec, 1145 secs
lola: STP completed || 27 tries, 26827561 fired transitions, 1150 secs || 39138664 markings, 64681663 edges, 31258 markings/sec, 1150 secs
lola: STP completed || 27 tries, 26944318 fired transitions, 1155 secs || 39306215 markings, 64975620 edges, 33510 markings/sec, 1155 secs
lola: STP completed || 28 tries, 27061798 fired transitions, 1160 secs || 39475861 markings, 65271283 edges, 33929 markings/sec, 1160 secs
lola: STP completed || 28 tries, 27178141 fired transitions, 1165 secs || 39644534 markings, 65563803 edges, 33735 markings/sec, 1165 secs
lola: STP completed || 28 tries, 27296006 fired transitions, 1170 secs || 39815935 markings, 65856636 edges, 34280 markings/sec, 1170 secs
lola: STP completed || 28 tries, 27414729 fired transitions, 1175 secs || 39989473 markings, 66153598 edges, 34708 markings/sec, 1175 secs
lola: STP completed || 28 tries, 27532828 fired transitions, 1180 secs || 40162178 markings, 66453472 edges, 34541 markings/sec, 1180 secs
lola: STP completed || 28 tries, 27650362 fired transitions, 1185 secs || 40331988 markings, 66751962 edges, 33962 markings/sec, 1185 secs
lola: STP completed || 28 tries, 27767179 fired transitions, 1190 secs || 40496075 markings, 67011974 edges, 32817 markings/sec, 1190 secs
lola: STP completed || 28 tries, 27883731 fired transitions, 1195 secs || 40662648 markings, 67286246 edges, 33315 markings/sec, 1195 secs
lola: STP completed || 29 tries, 28000035 fired transitions, 1200 secs || 40828369 markings, 67551958 edges, 33144 markings/sec, 1200 secs
lola: STP completed || 29 tries, 28117502 fired transitions, 1205 secs || 40997883 markings, 67832311 edges, 33903 markings/sec, 1205 secs
lola: STP completed || 29 tries, 28235225 fired transitions, 1210 secs || 41166854 markings, 68115953 edges, 33794 markings/sec, 1210 secs
lola: STP completed || 29 tries, 28351831 fired transitions, 1215 secs || 41334045 markings, 68386505 edges, 33438 markings/sec, 1215 secs
lola: STP completed || 29 tries, 28468486 fired transitions, 1220 secs || 41501164 markings, 68657016 edges, 33424 markings/sec, 1220 secs
lola: STP completed || 29 tries, 28585939 fired transitions, 1225 secs || 41666979 markings, 68936164 edges, 33163 markings/sec, 1225 secs
lola: STP completed || 29 tries, 28702555 fired transitions, 1230 secs || 41833657 markings, 69215116 edges, 33336 markings/sec, 1230 secs
lola: STP completed || 29 tries, 28819456 fired transitions, 1235 secs || 42003451 markings, 69502955 edges, 33959 markings/sec, 1235 secs
lola: STP completed || 29 tries, 28936761 fired transitions, 1240 secs || 42173134 markings, 69789049 edges, 33937 markings/sec, 1240 secs
lola: STP completed || 30 tries, 29054168 fired transitions, 1245 secs || 42342733 markings, 70081245 edges, 33920 markings/sec, 1245 secs
lola: STP completed || 30 tries, 29170365 fired transitions, 1250 secs || 42508747 markings, 70360257 edges, 33203 markings/sec, 1250 secs
lola: STP completed || 30 tries, 29287189 fired transitions, 1255 secs || 42679141 markings, 70646778 edges, 34079 markings/sec, 1255 secs
lola: STP completed || 30 tries, 29404987 fired transitions, 1260 secs || 42852913 markings, 70943698 edges, 34754 markings/sec, 1260 secs
lola: STP completed || 30 tries, 29521989 fired transitions, 1265 secs || 43022718 markings, 71226740 edges, 33961 markings/sec, 1265 secs
lola: STP completed || 30 tries, 29638207 fired transitions, 1270 secs || 43192743 markings, 71500573 edges, 34005 markings/sec, 1270 secs
lola: STP completed || 30 tries, 29754241 fired transitions, 1275 secs || 43361171 markings, 71781907 edges, 33686 markings/sec, 1275 secs
lola: STP completed || 30 tries, 29871012 fired transitions, 1280 secs || 43530954 markings, 72068020 edges, 33957 markings/sec, 1280 secs
lola: STP completed || 30 tries, 29987105 fired transitions, 1285 secs || 43700337 markings, 72344289 edges, 33877 markings/sec, 1285 secs
lola: STP completed || 31 tries, 30104002 fired transitions, 1290 secs || 43872225 markings, 72633077 edges, 34378 markings/sec, 1290 secs
lola: STP completed || 31 tries, 30221159 fired transitions, 1295 secs || 44039941 markings, 72907725 edges, 33543 markings/sec, 1295 secs
lola: STP completed || 31 tries, 30337396 fired transitions, 1300 secs || 44208610 markings, 73183872 edges, 33734 markings/sec, 1300 secs
lola: STP completed || 31 tries, 30454450 fired transitions, 1305 secs || 44378012 markings, 73475193 edges, 33880 markings/sec, 1305 secs
lola: STP completed || 31 tries, 30570613 fired transitions, 1310 secs || 44548103 markings, 73768509 edges, 34018 markings/sec, 1310 secs
lola: STP completed || 31 tries, 30687855 fired transitions, 1315 secs || 44717549 markings, 74039964 edges, 33889 markings/sec, 1315 secs
lola: STP completed || 31 tries, 30805324 fired transitions, 1320 secs || 44888489 markings, 74339087 edges, 34188 markings/sec, 1320 secs
lola: STP completed || 31 tries, 30922315 fired transitions, 1325 secs || 45061314 markings, 74640092 edges, 34565 markings/sec, 1325 secs
lola: STP completed || 32 tries, 31039305 fired transitions, 1330 secs || 45233858 markings, 74934870 edges, 34509 markings/sec, 1330 secs
lola: STP completed || 32 tries, 31156703 fired transitions, 1335 secs || 45405674 markings, 75225424 edges, 34363 markings/sec, 1335 secs
lola: STP completed || 32 tries, 31273813 fired transitions, 1340 secs || 45574658 markings, 75506238 edges, 33797 markings/sec, 1340 secs
lola: STP completed || 32 tries, 31390910 fired transitions, 1345 secs || 45745275 markings, 75800604 edges, 34123 markings/sec, 1345 secs
lola: STP completed || 32 tries, 31508326 fired transitions, 1350 secs || 45917439 markings, 76112290 edges, 34433 markings/sec, 1350 secs
lola: STP completed || 32 tries, 31620405 fired transitions, 1355 secs || 46089387 markings, 76398282 edges, 34390 markings/sec, 1355 secs
lola: STP completed || 32 tries, 31737025 fired transitions, 1360 secs || 46260124 markings, 76679263 edges, 34147 markings/sec, 1360 secs
lola: STP completed || 32 tries, 31853197 fired transitions, 1365 secs || 46427512 markings, 76949917 edges, 33478 markings/sec, 1365 secs
lola: STP completed || 32 tries, 31969273 fired transitions, 1370 secs || 46601769 markings, 77247203 edges, 34851 markings/sec, 1370 secs
lola: STP completed || 33 tries, 32085869 fired transitions, 1375 secs || 46773462 markings, 77538380 edges, 34339 markings/sec, 1375 secs
lola: STP completed || 33 tries, 32203437 fired transitions, 1380 secs || 46942400 markings, 77827443 edges, 33788 markings/sec, 1380 secs
lola: STP completed || 33 tries, 32321068 fired transitions, 1385 secs || 47116251 markings, 78131944 edges, 34770 markings/sec, 1385 secs
lola: STP completed || 33 tries, 32438904 fired transitions, 1390 secs || 47285835 markings, 78423281 edges, 33917 markings/sec, 1390 secs
lola: STP completed || 33 tries, 32556797 fired transitions, 1395 secs || 47453783 markings, 78702030 edges, 33590 markings/sec, 1395 secs
lola: STP completed || 33 tries, 32674201 fired transitions, 1400 secs || 47620911 markings, 78987037 edges, 33426 markings/sec, 1400 secs
lola: STP completed || 33 tries, 32792204 fired transitions, 1405 secs || 47788706 markings, 79272456 edges, 33559 markings/sec, 1405 secs
lola: STP completed || 33 tries, 32909106 fired transitions, 1410 secs || 47959396 markings, 79566159 edges, 34138 markings/sec, 1410 secs
lola: STP completed || 34 tries, 33027437 fired transitions, 1415 secs || 48130912 markings, 79865484 edges, 34303 markings/sec, 1415 secs
lola: STP completed || 34 tries, 33145404 fired transitions, 1420 secs || 48303103 markings, 80169911 edges, 34438 markings/sec, 1420 secs
lola: STP completed || 34 tries, 33263330 fired transitions, 1425 secs || 48474504 markings, 80464033 edges, 34280 markings/sec, 1425 secs
lola: STP completed || 34 tries, 33381077 fired transitions, 1430 secs || 48645142 markings, 80748942 edges, 34128 markings/sec, 1430 secs
lola: STP completed || 34 tries, 33498181 fired transitions, 1435 secs || 48815713 markings, 81038398 edges, 34114 markings/sec, 1435 secs
lola: STP completed || 34 tries, 33615173 fired transitions, 1440 secs || 48986736 markings, 81341654 edges, 34205 markings/sec, 1440 secs
lola: STP completed || 34 tries, 33733415 fired transitions, 1445 secs || 49154208 markings, 81625458 edges, 33494 markings/sec, 1445 secs
lola: STP completed || 34 tries, 33850900 fired transitions, 1450 secs || 49321586 markings, 81899326 edges, 33476 markings/sec, 1450 secs
lola: STP completed || 34 tries, 33969469 fired transitions, 1455 secs || 49490693 markings, 82180527 edges, 33821 markings/sec, 1455 secs
lola: STP completed || 35 tries, 34088302 fired transitions, 1460 secs || 49657103 markings, 82460485 edges, 33282 markings/sec, 1460 secs
lola: STP completed || 35 tries, 34205728 fired transitions, 1465 secs || 49827118 markings, 82740170 edges, 34003 markings/sec, 1465 secs
lola: STP completed || 35 tries, 34322978 fired transitions, 1470 secs || 49999198 markings, 83036794 edges, 34416 markings/sec, 1470 secs
lola: STP completed || 35 tries, 34440550 fired transitions, 1475 secs || 50169346 markings, 83328424 edges, 34030 markings/sec, 1475 secs
lola: STP completed || 35 tries, 34557584 fired transitions, 1480 secs || 50337178 markings, 83609154 edges, 33566 markings/sec, 1480 secs
lola: STP completed || 35 tries, 34675632 fired transitions, 1485 secs || 50508698 markings, 83912219 edges, 34304 markings/sec, 1485 secs
lola: STP completed || 35 tries, 34793575 fired transitions, 1490 secs || 50674420 markings, 84177535 edges, 33144 markings/sec, 1490 secs
lola: STP completed || 35 tries, 34910773 fired transitions, 1495 secs || 50843443 markings, 84456564 edges, 33805 markings/sec, 1495 secs
lola: STP completed || 36 tries, 35024591 fired transitions, 1500 secs || 51011264 markings, 84736001 edges, 33564 markings/sec, 1500 secs
lola: STP completed || 36 tries, 35139658 fired transitions, 1505 secs || 51180002 markings, 85025021 edges, 33748 markings/sec, 1505 secs
lola: STP completed || 36 tries, 35253332 fired transitions, 1510 secs || 51350371 markings, 85313694 edges, 34074 markings/sec, 1510 secs
lola: STP completed || 36 tries, 35367477 fired transitions, 1515 secs || 51519790 markings, 85602361 edges, 33884 markings/sec, 1515 secs
lola: STP completed || 36 tries, 35480538 fired transitions, 1520 secs || 51688443 markings, 85891309 edges, 33731 markings/sec, 1520 secs
lola: STP completed || 36 tries, 35595339 fired transitions, 1525 secs || 51853988 markings, 86187475 edges, 33109 markings/sec, 1525 secs
lola: STP completed || 36 tries, 35709177 fired transitions, 1530 secs || 52024094 markings, 86475843 edges, 34021 markings/sec, 1530 secs
lola: STP completed || 36 tries, 35829129 fired transitions, 1535 secs || 52191849 markings, 86766111 edges, 33551 markings/sec, 1535 secs
lola: STP completed || 36 tries, 35947607 fired transitions, 1540 secs || 52351810 markings, 87034327 edges, 31992 markings/sec, 1540 secs
lola: STP completed || 37 tries, 36063959 fired transitions, 1545 secs || 52515327 markings, 87313071 edges, 32703 markings/sec, 1545 secs
lola: STP completed || 37 tries, 36182249 fired transitions, 1550 secs || 52683620 markings, 87604841 edges, 33659 markings/sec, 1550 secs
lola: STP completed || 37 tries, 36300527 fired transitions, 1555 secs || 52849848 markings, 87885587 edges, 33246 markings/sec, 1555 secs
lola: STP completed || 37 tries, 36418344 fired transitions, 1560 secs || 53012598 markings, 88157592 edges, 32550 markings/sec, 1560 secs
lola: STP completed || 37 tries, 36536802 fired transitions, 1565 secs || 53177487 markings, 88437651 edges, 32978 markings/sec, 1565 secs
lola: STP completed || 37 tries, 36654196 fired transitions, 1570 secs || 53343294 markings, 88722341 edges, 33161 markings/sec, 1570 secs
lola: STP completed || 37 tries, 36771932 fired transitions, 1575 secs || 53508230 markings, 88989838 edges, 32987 markings/sec, 1575 secs
lola: STP completed || 37 tries, 36888952 fired transitions, 1580 secs || 53674162 markings, 89262287 edges, 33186 markings/sec, 1580 secs
lola: STP completed || 38 tries, 37007033 fired transitions, 1585 secs || 53842470 markings, 89555447 edges, 33662 markings/sec, 1585 secs
lola: STP completed || 38 tries, 37125362 fired transitions, 1590 secs || 54008150 markings, 89834277 edges, 33136 markings/sec, 1590 secs
lola: STP completed || 38 tries, 37243691 fired transitions, 1595 secs || 54173488 markings, 90123986 edges, 33068 markings/sec, 1595 secs
lola: STP completed || 38 tries, 37361175 fired transitions, 1600 secs || 54339961 markings, 90411097 edges, 33295 markings/sec, 1600 secs
lola: STP completed || 38 tries, 37478440 fired transitions, 1605 secs || 54509178 markings, 90698837 edges, 33843 markings/sec, 1605 secs
lola: STP completed || 38 tries, 37594838 fired transitions, 1610 secs || 54683145 markings, 91014434 edges, 34793 markings/sec, 1610 secs
lola: STP completed || 38 tries, 37706735 fired transitions, 1615 secs || 54853783 markings, 91316338 edges, 34128 markings/sec, 1615 secs
lola: STP completed || 38 tries, 37823949 fired transitions, 1620 secs || 55028569 markings, 91624589 edges, 34957 markings/sec, 1620 secs
lola: STP completed || 38 tries, 37941273 fired transitions, 1625 secs || 55199212 markings, 91917492 edges, 34129 markings/sec, 1625 secs
lola: STP completed || 39 tries, 38058676 fired transitions, 1630 secs || 55368319 markings, 92207083 edges, 33821 markings/sec, 1630 secs
lola: STP completed || 39 tries, 38174786 fired transitions, 1635 secs || 55538957 markings, 92504680 edges, 34128 markings/sec, 1635 secs
lola: STP completed || 39 tries, 38291827 fired transitions, 1640 secs || 55704537 markings, 92796761 edges, 33116 markings/sec, 1640 secs
lola: STP completed || 39 tries, 38409155 fired transitions, 1645 secs || 55871414 markings, 93093140 edges, 33375 markings/sec, 1645 secs
lola: STP completed || 39 tries, 38537998 fired transitions, 1650 secs || 56050452 markings, 93407703 edges, 35808 markings/sec, 1650 secs
lola: STP completed || 39 tries, 38665125 fired transitions, 1655 secs || 56217742 markings, 93694202 edges, 33458 markings/sec, 1655 secs
lola: STP completed || 39 tries, 38793658 fired transitions, 1660 secs || 56396778 markings, 93997400 edges, 35807 markings/sec, 1660 secs
lola: STP completed || 39 tries, 38922641 fired transitions, 1665 secs || 56569620 markings, 94299388 edges, 34568 markings/sec, 1665 secs
lola: STP completed || 40 tries, 39043109 fired transitions, 1670 secs || 56732979 markings, 94561231 edges, 32672 markings/sec, 1670 secs
lola: STP completed || 40 tries, 39171706 fired transitions, 1675 secs || 56912033 markings, 94849232 edges, 35811 markings/sec, 1675 secs
lola: STP completed || 40 tries, 39300449 fired transitions, 1680 secs || 57087553 markings, 95145145 edges, 35104 markings/sec, 1680 secs
lola: STP completed || 40 tries, 39430143 fired transitions, 1685 secs || 57261776 markings, 95445784 edges, 34845 markings/sec, 1685 secs
lola: STP completed || 40 tries, 39557129 fired transitions, 1690 secs || 57429274 markings, 95733490 edges, 33500 markings/sec, 1690 secs
lola: STP completed || 40 tries, 39686956 fired transitions, 1695 secs || 57615796 markings, 96034112 edges, 37304 markings/sec, 1695 secs
lola: STP completed || 40 tries, 39812246 fired transitions, 1700 secs || 57781580 markings, 96323655 edges, 33157 markings/sec, 1700 secs
lola: STP completed || 40 tries, 39941103 fired transitions, 1705 secs || 57977240 markings, 96646533 edges, 39132 markings/sec, 1705 secs
lola: STP completed || 41 tries, 40069425 fired transitions, 1710 secs || 58160526 markings, 96951622 edges, 36657 markings/sec, 1710 secs
lola: STP completed || 41 tries, 40198398 fired transitions, 1715 secs || 58347468 markings, 97276465 edges, 37388 markings/sec, 1715 secs
lola: STP completed || 41 tries, 40324582 fired transitions, 1720 secs || 58527959 markings, 97589270 edges, 36098 markings/sec, 1720 secs
lola: STP completed || 41 tries, 40452811 fired transitions, 1725 secs || 58711977 markings, 97903233 edges, 36804 markings/sec, 1725 secs
lola: STP completed || 41 tries, 40577961 fired transitions, 1730 secs || 58886989 markings, 98196078 edges, 35002 markings/sec, 1730 secs
lola: STP completed || 41 tries, 40704157 fired transitions, 1735 secs || 59051441 markings, 98485950 edges, 32890 markings/sec, 1735 secs
lola: STP completed || 41 tries, 40832234 fired transitions, 1740 secs || 59227599 markings, 98790571 edges, 35232 markings/sec, 1740 secs
lola: STP completed || 41 tries, 40960610 fired transitions, 1745 secs || 59412710 markings, 99112264 edges, 37022 markings/sec, 1745 secs
lola: STP completed || 42 tries, 41089941 fired transitions, 1750 secs || 59603211 markings, 99454002 edges, 38100 markings/sec, 1750 secs
lola: STP completed || 42 tries, 41217692 fired transitions, 1755 secs || 59795655 markings, 99785554 edges, 38489 markings/sec, 1755 secs
lola: STP completed || 42 tries, 41339405 fired transitions, 1760 secs || 59966649 markings, 100081914 edges, 34199 markings/sec, 1760 secs
lola: STP completed || 42 tries, 41452374 fired transitions, 1765 secs || 60138932 markings, 100382379 edges, 34457 markings/sec, 1765 secs
lola: STP completed || 42 tries, 41560431 fired transitions, 1770 secs || 60312103 markings, 100659174 edges, 34634 markings/sec, 1770 secs
lola: STP completed || 42 tries, 41681913 fired transitions, 1775 secs || 60488657 markings, 100934846 edges, 35311 markings/sec, 1775 secs
lola: STP completed || 42 tries, 41806979 fired transitions, 1780 secs || 60674754 markings, 101226371 edges, 37219 markings/sec, 1780 secs
lola: STP completed || 42 tries, 41931847 fired transitions, 1785 secs || 60859925 markings, 101527070 edges, 37034 markings/sec, 1785 secs
lola: STP completed || 43 tries, 42057518 fired transitions, 1790 secs || 61044221 markings, 101821151 edges, 36859 markings/sec, 1790 secs
lola: STP completed || 43 tries, 42182135 fired transitions, 1795 secs || 61231880 markings, 102120618 edges, 37532 markings/sec, 1795 secs
lola: STP completed || 43 tries, 42306172 fired transitions, 1800 secs || 61401283 markings, 102391435 edges, 33881 markings/sec, 1800 secs
lola: STP completed || 43 tries, 42424524 fired transitions, 1805 secs || 61566142 markings, 102660857 edges, 32972 markings/sec, 1805 secs
lola: STP completed || 43 tries, 42543845 fired transitions, 1810 secs || 61733744 markings, 102929080 edges, 33520 markings/sec, 1810 secs
lola: STP completed || 43 tries, 42664934 fired transitions, 1815 secs || 61903874 markings, 103211665 edges, 34026 markings/sec, 1815 secs
lola: STP completed || 43 tries, 42783833 fired transitions, 1820 secs || 62075138 markings, 103496571 edges, 34253 markings/sec, 1820 secs
lola: STP completed || 43 tries, 42903176 fired transitions, 1825 secs || 62241804 markings, 103775105 edges, 33333 markings/sec, 1825 secs
lola: STP completed || 44 tries, 43023283 fired transitions, 1830 secs || 62402946 markings, 104044190 edges, 32228 markings/sec, 1830 secs
lola: STP completed || 44 tries, 43143803 fired transitions, 1835 secs || 62573897 markings, 104338518 edges, 34190 markings/sec, 1835 secs
lola: STP completed || 44 tries, 43264499 fired transitions, 1840 secs || 62739313 markings, 104614688 edges, 33083 markings/sec, 1840 secs
lola: STP completed || 44 tries, 43386909 fired transitions, 1845 secs || 62915701 markings, 104924533 edges, 35278 markings/sec, 1845 secs
lola: STP completed || 44 tries, 43507036 fired transitions, 1850 secs || 63080106 markings, 105204759 edges, 32881 markings/sec, 1850 secs
lola: STP completed || 44 tries, 43627431 fired transitions, 1855 secs || 63248344 markings, 105479907 edges, 33648 markings/sec, 1855 secs
lola: STP completed || 44 tries, 43748373 fired transitions, 1860 secs || 63411273 markings, 105764458 edges, 32586 markings/sec, 1860 secs
lola: STP completed || 44 tries, 43875015 fired transitions, 1865 secs || 63597497 markings, 106057925 edges, 37245 markings/sec, 1865 secs
lola: STP completed || 45 tries, 44001618 fired transitions, 1870 secs || 63786336 markings, 106364472 edges, 37768 markings/sec, 1870 secs
lola: STP completed || 45 tries, 44126395 fired transitions, 1875 secs || 63972894 markings, 106673689 edges, 37312 markings/sec, 1875 secs
lola: STP completed || 45 tries, 44249516 fired transitions, 1880 secs || 64162484 markings, 106994455 edges, 37918 markings/sec, 1880 secs
lola: STP completed || 45 tries, 44373483 fired transitions, 1885 secs || 64347254 markings, 107304686 edges, 36954 markings/sec, 1885 secs
lola: STP completed || 45 tries, 44496136 fired transitions, 1890 secs || 64531952 markings, 107596597 edges, 36940 markings/sec, 1890 secs
lola: STP completed || 45 tries, 44624337 fired transitions, 1895 secs || 64724412 markings, 107905565 edges, 38492 markings/sec, 1895 secs
lola: STP completed || 45 tries, 44750105 fired transitions, 1900 secs || 64915201 markings, 108211820 edges, 38158 markings/sec, 1900 secs
lola: STP completed || 45 tries, 44873657 fired transitions, 1905 secs || 65104123 markings, 108524256 edges, 37784 markings/sec, 1905 secs
lola: STP completed || 45 tries, 44997845 fired transitions, 1910 secs || 65289081 markings, 108823145 edges, 36992 markings/sec, 1910 secs
lola: STP completed || 46 tries, 45121344 fired transitions, 1915 secs || 65478621 markings, 109142761 edges, 37908 markings/sec, 1915 secs
lola: STP completed || 46 tries, 45248145 fired transitions, 1920 secs || 65670609 markings, 109472317 edges, 38398 markings/sec, 1920 secs
lola: STP completed || 46 tries, 45376534 fired transitions, 1925 secs || 65866171 markings, 109798590 edges, 39112 markings/sec, 1925 secs
lola: STP completed || 46 tries, 45504492 fired transitions, 1930 secs || 66056085 markings, 110131005 edges, 37983 markings/sec, 1930 secs
lola: STP completed || 46 tries, 45634432 fired transitions, 1935 secs || 66244082 markings, 110444832 edges, 37599 markings/sec, 1935 secs
----- Finished stderr -----
lola: STP completed || 46 tries, 45765280 fired transitions, 1940 secs || 66439262 markings, 110773513 edges, 39036 markings/sec, 1940 secs
lola: STP completed || 46 tries, 45892754 fired transitions, 1945 secs || 66627326 markings, 111091514 edges, 37613 markings/sec, 1945 secs
lola: STP completed || 47 tries, 46016802 fired transitions, 1950 secs || 66812218 markings, 111398334 edges, 36978 markings/sec, 1950 secs
lola: STP completed || 47 tries, 46136883 fired transitions, 1955 secs || 66978846 markings, 111682467 edges, 33326 markings/sec, 1955 secs
lola: STP completed || 47 tries, 46266485 fired transitions, 1960 secs || 67174474 markings, 112033973 edges, 39126 markings/sec, 1960 secs
lola: STP completed || 47 tries, 46395426 fired transitions, 1965 secs || 67370071 markings, 112376784 edges, 39119 markings/sec, 1965 secs
lola: STP completed || 47 tries, 46524814 fired transitions, 1970 secs || 67564975 markings, 112721412 edges, 38981 markings/sec, 1970 secs
lola: STP completed || 47 tries, 46654152 fired transitions, 1975 secs || 67759887 markings, 113040948 edges, 38982 markings/sec, 1975 secs
lola: STP completed || 47 tries, 46776997 fired transitions, 1980 secs || 67942913 markings, 113350576 edges, 36605 markings/sec, 1980 secs
lola: STP completed || 47 tries, 46895326 fired transitions, 1985 secs || 68110681 markings, 113639631 edges, 33554 markings/sec, 1985 secs
lola: STP completed || 48 tries, 47013191 fired transitions, 1990 secs || 68278571 markings, 113914999 edges, 33578 markings/sec, 1990 secs
lola: STP completed || 48 tries, 47130577 fired transitions, 1995 secs || 68445150 markings, 114188732 edges, 33316 markings/sec, 1995 secs
lola: STP completed || 48 tries, 47247919 fired transitions, 2000 secs || 68612994 markings, 114478923 edges, 33569 markings/sec, 2000 secs
lola: STP completed || 48 tries, 47364727 fired transitions, 2005 secs || 68796197 markings, 114784522 edges, 36641 markings/sec, 2005 secs
lola: STP completed || 48 tries, 47481268 fired transitions, 2010 secs || 68980447 markings, 115103676 edges, 36850 markings/sec, 2010 secs
lola: STP completed || 48 tries, 47609739 fired transitions, 2015 secs || 69174872 markings, 115437400 edges, 38885 markings/sec, 2015 secs
lola: STP completed || 48 tries, 47734605 fired transitions, 2020 secs || 69363318 markings, 115752134 edges, 37689 markings/sec, 2020 secs
lola: STP completed || 48 tries, 47862541 fired transitions, 2025 secs || 69557442 markings, 116074853 edges, 38825 markings/sec, 2025 secs
lola: STP completed || 48 tries, 47990848 fired transitions, 2030 secs || 69750529 markings, 116414838 edges, 38617 markings/sec, 2030 secs
lola: STP completed || 49 tries, 48119899 fired transitions, 2035 secs || 69947520 markings, 116747894 edges, 39398 markings/sec, 2035 secs
lola: STP completed || 49 tries, 48247284 fired transitions, 2040 secs || 70144875 markings, 117087639 edges, 39471 markings/sec, 2040 secs
lola: STP completed || 49 tries, 48376770 fired transitions, 2045 secs || 70342078 markings, 117435683 edges, 39441 markings/sec, 2045 secs
lola: STP completed || 49 tries, 48501951 fired transitions, 2050 secs || 70532312 markings, 117742203 edges, 38047 markings/sec, 2050 secs
lola: STP completed || 49 tries, 48630219 fired transitions, 2055 secs || 70726040 markings, 118067162 edges, 38746 markings/sec, 2055 secs
lola: STP completed || 49 tries, 48759929 fired transitions, 2060 secs || 70926835 markings, 118419430 edges, 40159 markings/sec, 2060 secs
lola: STP completed || 49 tries, 48889320 fired transitions, 2065 secs || 71120669 markings, 118731176 edges, 38767 markings/sec, 2065 secs
lola: STP completed || 50 tries, 49016907 fired transitions, 2070 secs || 71318048 markings, 119060056 edges, 39476 markings/sec, 2070 secs
lola: STP completed || 50 tries, 49145648 fired transitions, 2075 secs || 71521605 markings, 119410985 edges, 40711 markings/sec, 2075 secs
lola: STP completed || 50 tries, 49275363 fired transitions, 2080 secs || 71717623 markings, 119732943 edges, 39204 markings/sec, 2080 secs
lola: STP completed || 50 tries, 49399317 fired transitions, 2085 secs || 71909716 markings, 120056874 edges, 38419 markings/sec, 2085 secs
lola: STP completed || 50 tries, 49527168 fired transitions, 2090 secs || 72101834 markings, 120368773 edges, 38424 markings/sec, 2090 secs
lola: STP completed || 50 tries, 49657584 fired transitions, 2095 secs || 72300660 markings, 120713701 edges, 39765 markings/sec, 2095 secs
lola: STP completed || 50 tries, 49779478 fired transitions, 2100 secs || 72484257 markings, 121023501 edges, 36719 markings/sec, 2100 secs
lola: STP completed || 50 tries, 49904977 fired transitions, 2105 secs || 72675672 markings, 121345310 edges, 38283 markings/sec, 2105 secs
lola: STP completed || 51 tries, 50030937 fired transitions, 2110 secs || 72874953 markings, 121683086 edges, 39856 markings/sec, 2110 secs
lola: STP completed || 51 tries, 50157488 fired transitions, 2115 secs || 73073251 markings, 122022847 edges, 39660 markings/sec, 2115 secs
lola: STP completed || 51 tries, 50288798 fired transitions, 2120 secs || 73274851 markings, 122378537 edges, 40320 markings/sec, 2120 secs
lola: STP completed || 51 tries, 50418036 fired transitions, 2125 secs || 73474058 markings, 122724977 edges, 39841 markings/sec, 2125 secs
lola: STP completed || 51 tries, 50547087 fired transitions, 2130 secs || 73674931 markings, 123070318 edges, 40175 markings/sec, 2130 secs
lola: STP completed || 51 tries, 50677118 fired transitions, 2135 secs || 73876476 markings, 123401912 edges, 40309 markings/sec, 2135 secs
lola: STP completed || 51 tries, 50806603 fired transitions, 2140 secs || 74076319 markings, 123738501 edges, 39969 markings/sec, 2140 secs
lola: STP completed || 51 tries, 50934040 fired transitions, 2145 secs || 74270209 markings, 124047508 edges, 38778 markings/sec, 2145 secs
lola: STP completed || 52 tries, 51062452 fired transitions, 2150 secs || 74469856 markings, 124384037 edges, 39929 markings/sec, 2150 secs
lola: STP completed || 52 tries, 51188369 fired transitions, 2155 secs || 74664161 markings, 124713693 edges, 38861 markings/sec, 2155 secs
lola: STP completed || 52 tries, 51308091 fired transitions, 2160 secs || 74865104 markings, 125065874 edges, 40189 markings/sec, 2160 secs
lola: STP completed || 52 tries, 51435880 fired transitions, 2165 secs || 75063697 markings, 125400702 edges, 39719 markings/sec, 2165 secs
lola: STP completed || 52 tries, 51565391 fired transitions, 2170 secs || 75258631 markings, 125714685 edges, 38987 markings/sec, 2170 secs
lola: STP completed || 52 tries, 51694964 fired transitions, 2175 secs || 75464691 markings, 126081123 edges, 41212 markings/sec, 2175 secs
lola: STP completed || 52 tries, 51822770 fired transitions, 2180 secs || 75665645 markings, 126426963 edges, 40191 markings/sec, 2180 secs
lola: STP completed || 52 tries, 51950591 fired transitions, 2185 secs || 75865698 markings, 126779380 edges, 40011 markings/sec, 2185 secs
lola: STP completed || 53 tries, 52078471 fired transitions, 2190 secs || 76062368 markings, 127117960 edges, 39334 markings/sec, 2190 secs
lola: STP completed || 53 tries, 52206449 fired transitions, 2195 secs || 76260150 markings, 127450372 edges, 39556 markings/sec, 2195 secs
lola: STP completed || 53 tries, 52336678 fired transitions, 2200 secs || 76455484 markings, 127780454 edges, 39067 markings/sec, 2200 secs
lola: STP completed || 53 tries, 52466354 fired transitions, 2205 secs || 76650701 markings, 128106294 edges, 39043 markings/sec, 2205 secs
lola: STP completed || 53 tries, 52594408 fired transitions, 2210 secs || 76846098 markings, 128436964 edges, 39079 markings/sec, 2210 secs
lola: STP completed || 53 tries, 52718919 fired transitions, 2215 secs || 77030688 markings, 128753213 edges, 36918 markings/sec, 2215 secs
lola: STP completed || 53 tries, 52847836 fired transitions, 2220 secs || 77223904 markings, 129082886 edges, 38643 markings/sec, 2220 secs
lola: STP completed || 53 tries, 52977993 fired transitions, 2225 secs || 77418566 markings, 129399285 edges, 38932 markings/sec, 2225 secs
lola: STP completed || 54 tries, 53108614 fired transitions, 2230 secs || 77612822 markings, 129738258 edges, 38851 markings/sec, 2230 secs
lola: STP completed || 54 tries, 53238356 fired transitions, 2235 secs || 77808058 markings, 130075818 edges, 39047 markings/sec, 2235 secs
lola: STP completed || 54 tries, 53368972 fired transitions, 2240 secs || 78005799 markings, 130415261 edges, 39548 markings/sec, 2240 secs
lola: STP completed || 54 tries, 53498125 fired transitions, 2245 secs || 78199704 markings, 130742038 edges, 38781 markings/sec, 2245 secs
lola: STP completed || 54 tries, 53628154 fired transitions, 2250 secs || 78395177 markings, 131094982 edges, 39095 markings/sec, 2250 secs
lola: STP completed || 54 tries, 53757858 fired transitions, 2255 secs || 78590173 markings, 131426307 edges, 38999 markings/sec, 2255 secs
lola: STP completed || 54 tries, 53886987 fired transitions, 2260 secs || 78790995 markings, 131782467 edges, 40164 markings/sec, 2260 secs
lola: STP completed || 55 tries, 54017783 fired transitions, 2265 secs || 78986812 markings, 132124000 edges, 39163 markings/sec, 2265 secs
lola: STP completed || 55 tries, 54147125 fired transitions, 2270 secs || 79184317 markings, 132467497 edges, 39501 markings/sec, 2270 secs
lola: STP completed || 55 tries, 54277402 fired transitions, 2275 secs || 79373731 markings, 132781180 edges, 37883 markings/sec, 2275 secs
lola: STP completed || 55 tries, 54403337 fired transitions, 2280 secs || 79569805 markings, 133118916 edges, 39215 markings/sec, 2280 secs
lola: STP completed || 55 tries, 54530751 fired transitions, 2285 secs || 79768293 markings, 133470700 edges, 39698 markings/sec, 2285 secs
lola: STP completed || 55 tries, 54660350 fired transitions, 2290 secs || 79964587 markings, 133810442 edges, 39259 markings/sec, 2290 secs
lola: STP completed || 55 tries, 54789248 fired transitions, 2295 secs || 80161745 markings, 134153893 edges, 39432 markings/sec, 2295 secs
lola: STP completed || 55 tries, 54919565 fired transitions, 2300 secs || 80359914 markings, 134505026 edges, 39634 markings/sec, 2300 secs
lola: STP completed || 56 tries, 55050198 fired transitions, 2305 secs || 80556965 markings, 134844327 edges, 39410 markings/sec, 2305 secs
lola: STP completed || 56 tries, 55180959 fired transitions, 2310 secs || 80753481 markings, 135188008 edges, 39303 markings/sec, 2310 secs
lola: STP completed || 56 tries, 55311063 fired transitions, 2315 secs || 80946335 markings, 135541722 edges, 38571 markings/sec, 2315 secs
lola: STP completed || 56 tries, 55442506 fired transitions, 2320 secs || 81141477 markings, 135894251 edges, 39028 markings/sec, 2320 secs
lola: STP completed || 56 tries, 55572441 fired transitions, 2325 secs || 81339294 markings, 136237989 edges, 39563 markings/sec, 2325 secs
lola: STP completed || 56 tries, 55702307 fired transitions, 2330 secs || 81536034 markings, 136587457 edges, 39348 markings/sec, 2330 secs
lola: STP completed || 56 tries, 55832174 fired transitions, 2335 secs || 81730561 markings, 136915319 edges, 38905 markings/sec, 2335 secs
lola: STP completed || 56 tries, 55962028 fired transitions, 2340 secs || 81922957 markings, 137225225 edges, 38479 markings/sec, 2340 secs
lola: STP completed || 57 tries, 56091589 fired transitions, 2345 secs || 82113305 markings, 137533115 edges, 38070 markings/sec, 2345 secs
lola: STP completed || 57 tries, 56221011 fired transitions, 2350 secs || 82307802 markings, 137867369 edges, 38899 markings/sec, 2350 secs
lola: STP completed || 57 tries, 56351940 fired transitions, 2355 secs || 82504256 markings, 138217264 edges, 39291 markings/sec, 2355 secs
lola: STP completed || 57 tries, 56482950 fired transitions, 2360 secs || 82702708 markings, 138547191 edges, 39690 markings/sec, 2360 secs
lola: STP completed || 57 tries, 56612662 fired transitions, 2365 secs || 82901713 markings, 138895173 edges, 39801 markings/sec, 2365 secs
lola: STP completed || 57 tries, 56742323 fired transitions, 2370 secs || 83102786 markings, 139254964 edges, 40215 markings/sec, 2370 secs
lola: STP completed || 57 tries, 56871587 fired transitions, 2375 secs || 83305823 markings, 139618180 edges, 40607 markings/sec, 2375 secs
lola: STP completed || 57 tries, 56998345 fired transitions, 2380 secs || 83504805 markings, 139978280 edges, 39796 markings/sec, 2380 secs
lola: STP completed || 58 tries, 57125542 fired transitions, 2385 secs || 83702295 markings, 140312995 edges, 39498 markings/sec, 2385 secs
lola: STP completed || 58 tries, 57254650 fired transitions, 2390 secs || 83900207 markings, 140641838 edges, 39582 markings/sec, 2390 secs
lola: STP completed || 58 tries, 57382176 fired transitions, 2395 secs || 84095980 markings, 140970999 edges, 39155 markings/sec, 2395 secs
lola: STP completed || 58 tries, 57509014 fired transitions, 2400 secs || 84293400 markings, 141320089 edges, 39484 markings/sec, 2400 secs
lola: STP completed || 58 tries, 57637062 fired transitions, 2405 secs || 84490642 markings, 141662392 edges, 39448 markings/sec, 2405 secs
lola: STP completed || 58 tries, 57765690 fired transitions, 2410 secs || 84684225 markings, 141991099 edges, 38717 markings/sec, 2410 secs
lola: STP completed || 58 tries, 57894417 fired transitions, 2415 secs || 84881710 markings, 142345550 edges, 39497 markings/sec, 2415 secs
lola: STP completed || 59 tries, 58023769 fired transitions, 2420 secs || 85077956 markings, 142679150 edges, 39249 markings/sec, 2420 secs
lola: STP completed || 59 tries, 58151412 fired transitions, 2425 secs || 85273714 markings, 143010286 edges, 39152 markings/sec, 2425 secs
lola: STP completed || 59 tries, 58279884 fired transitions, 2430 secs || 85470632 markings, 143356157 edges, 39384 markings/sec, 2430 secs
lola: STP completed || 59 tries, 58408771 fired transitions, 2435 secs || 85667957 markings, 143709569 edges, 39465 markings/sec, 2435 secs
lola: STP completed || 59 tries, 58536762 fired transitions, 2440 secs || 85869056 markings, 144068190 edges, 40220 markings/sec, 2440 secs
lola: STP completed || 59 tries, 58665618 fired transitions, 2445 secs || 86059058 markings, 144398197 edges, 38000 markings/sec, 2445 secs
lola: STP completed || 59 tries, 58794121 fired transitions, 2450 secs || 86252097 markings, 144734900 edges, 38608 markings/sec, 2450 secs
lola: STP completed || 59 tries, 58922873 fired transitions, 2455 secs || 86432636 markings, 145046098 edges, 36108 markings/sec, 2455 secs
lola: STP completed || 60 tries, 59051294 fired transitions, 2460 secs || 86628912 markings, 145384236 edges, 39255 markings/sec, 2460 secs
lola: STP completed || 60 tries, 59180576 fired transitions, 2465 secs || 86816147 markings, 145701705 edges, 37447 markings/sec, 2465 secs
lola: STP completed || 60 tries, 59309667 fired transitions, 2470 secs || 87014365 markings, 146036218 edges, 39644 markings/sec, 2470 secs
lola: STP completed || 60 tries, 59440724 fired transitions, 2475 secs || 87208541 markings, 146349576 edges, 38835 markings/sec, 2475 secs
lola: STP completed || 60 tries, 59567576 fired transitions, 2480 secs || 87376744 markings, 146627828 edges, 33641 markings/sec, 2480 secs
lola: STP completed || 60 tries, 59693540 fired transitions, 2485 secs || 87565502 markings, 146953331 edges, 37752 markings/sec, 2485 secs
lola: STP completed || 60 tries, 59821940 fired transitions, 2490 secs || 87754810 markings, 147261333 edges, 37862 markings/sec, 2490 secs
lola: STP completed || 60 tries, 59948563 fired transitions, 2495 secs || 87944452 markings, 147582336 edges, 37928 markings/sec, 2495 secs
lola: STP completed || 61 tries, 60073611 fired transitions, 2500 secs || 88126740 markings, 147878774 edges, 36458 markings/sec, 2500 secs
lola: STP completed || 61 tries, 60200088 fired transitions, 2505 secs || 88308323 markings, 148182391 edges, 36317 markings/sec, 2505 secs
lola: STP completed || 61 tries, 60317918 fired transitions, 2510 secs || 88482015 markings, 148470371 edges, 34738 markings/sec, 2510 secs
lola: STP completed || 61 tries, 60445074 fired transitions, 2515 secs || 88666505 markings, 148765777 edges, 36898 markings/sec, 2515 secs
lola: STP completed || 61 tries, 60571107 fired transitions, 2520 secs || 88850544 markings, 149082924 edges, 36808 markings/sec, 2520 secs
lola: STP completed || 61 tries, 60686357 fired transitions, 2525 secs || 89030400 markings, 149381753 edges, 35971 markings/sec, 2525 secs
lola: STP completed || 61 tries, 60798177 fired transitions, 2530 secs || 89202752 markings, 149672559 edges, 34470 markings/sec, 2530 secs
lola: STP completed || 61 tries, 60923321 fired transitions, 2535 secs || 89391411 markings, 149991836 edges, 37732 markings/sec, 2535 secs
lola: STP completed || 62 tries, 61050697 fired transitions, 2540 secs || 89582438 markings, 150301511 edges, 38205 markings/sec, 2540 secs
lola: STP completed || 62 tries, 61176682 fired transitions, 2545 secs || 89773718 markings, 150625285 edges, 38256 markings/sec, 2545 secs
lola: STP completed || 62 tries, 61302813 fired transitions, 2550 secs || 89962250 markings, 150961170 edges, 37706 markings/sec, 2550 secs
lola: STP completed || 62 tries, 61427318 fired transitions, 2555 secs || 90151208 markings, 151289465 edges, 37792 markings/sec, 2555 secs
lola: STP completed || 62 tries, 61552383 fired transitions, 2560 secs || 90339086 markings, 151618320 edges, 37576 markings/sec, 2560 secs
lola: STP completed || 62 tries, 61677717 fired transitions, 2565 secs || 90517931 markings, 151922395 edges, 35769 markings/sec, 2565 secs
lola: STP completed || 62 tries, 61804545 fired transitions, 2570 secs || 90703679 markings, 152250460 edges, 37150 markings/sec, 2570 secs
lola: STP completed || 62 tries, 61924350 fired transitions, 2575 secs || 90883094 markings, 152562349 edges, 35883 markings/sec, 2575 secs
lola: STP completed || 63 tries, 62040566 fired transitions, 2580 secs || 91062539 markings, 152853866 edges, 35889 markings/sec, 2580 secs
lola: STP completed || 63 tries, 62167357 fired transitions, 2585 secs || 91248150 markings, 153159346 edges, 37122 markings/sec, 2585 secs
lola: STP completed || 63 tries, 62288769 fired transitions, 2590 secs || 91430281 markings, 153471452 edges, 36426 markings/sec, 2590 secs
lola: STP completed || 63 tries, 62416011 fired transitions, 2595 secs || 91617738 markings, 153790233 edges, 37491 markings/sec, 2595 secs
lola: STP completed || 63 tries, 62530449 fired transitions, 2600 secs || 91792522 markings, 154091734 edges, 34957 markings/sec, 2600 secs
lola: STP completed || 63 tries, 62645489 fired transitions, 2605 secs || 91966667 markings, 154391518 edges, 34829 markings/sec, 2605 secs
lola: STP completed || 63 tries, 62759277 fired transitions, 2610 secs || 92130098 markings, 154681896 edges, 32686 markings/sec, 2610 secs
lola: STP completed || 63 tries, 62876655 fired transitions, 2615 secs || 92298708 markings, 154971446 edges, 33722 markings/sec, 2615 secs
lola: STP completed || 63 tries, 62999712 fired transitions, 2620 secs || 92489527 markings, 155315385 edges, 38164 markings/sec, 2620 secs
lola: STP completed || 64 tries, 63123729 fired transitions, 2625 secs || 92678644 markings, 155625660 edges, 37823 markings/sec, 2625 secs
lola: STP completed || 64 tries, 63247667 fired transitions, 2630 secs || 92864585 markings, 155943690 edges, 37188 markings/sec, 2630 secs
lola: STP completed || 64 tries, 63374335 fired transitions, 2635 secs || 93057095 markings, 156266876 edges, 38502 markings/sec, 2635 secs
lola: STP completed || 64 tries, 63503927 fired transitions, 2640 secs || 93253365 markings, 156593718 edges, 39254 markings/sec, 2640 secs
lola: STP completed || 64 tries, 63622562 fired transitions, 2645 secs || 93439584 markings, 156907835 edges, 37244 markings/sec, 2645 secs
lola: STP completed || 64 tries, 63744308 fired transitions, 2650 secs || 93634775 markings, 157256157 edges, 39038 markings/sec, 2650 secs
lola: STP completed || 64 tries, 63873554 fired transitions, 2655 secs || 93834105 markings, 157607642 edges, 39866 markings/sec, 2655 secs
lola: STP completed || 64 tries, 63987528 fired transitions, 2660 secs || 94020727 markings, 157916520 edges, 37324 markings/sec, 2660 secs
lola: STP completed || 65 tries, 64115154 fired transitions, 2665 secs || 94218687 markings, 158253110 edges, 39592 markings/sec, 2665 secs
lola: STP completed || 65 tries, 64243664 fired transitions, 2670 secs || 94410621 markings, 158576822 edges, 38387 markings/sec, 2670 secs
lola: STP completed || 65 tries, 64371582 fired transitions, 2675 secs || 94606366 markings, 158908215 edges, 39149 markings/sec, 2675 secs
lola: STP completed || 65 tries, 64495195 fired transitions, 2680 secs || 94801682 markings, 159240624 edges, 39063 markings/sec, 2680 secs
lola: STP completed || 65 tries, 64606726 fired transitions, 2685 secs || 94976509 markings, 159521768 edges, 34965 markings/sec, 2685 secs
lola: STP completed || 65 tries, 64731752 fired transitions, 2690 secs || 95170661 markings, 159840136 edges, 38830 markings/sec, 2690 secs
lola: STP completed || 65 tries, 64859695 fired transitions, 2695 secs || 95371920 markings, 160211240 edges, 40252 markings/sec, 2695 secs
lola: STP completed || 65 tries, 64988461 fired transitions, 2700 secs || 95570946 markings, 160573578 edges, 39805 markings/sec, 2700 secs
lola: STP completed || 66 tries, 65109287 fired transitions, 2705 secs || 95764861 markings, 160909037 edges, 38783 markings/sec, 2705 secs
lola: STP completed || 66 tries, 65224405 fired transitions, 2710 secs || 95943073 markings, 161230811 edges, 35642 markings/sec, 2710 secs
lola: STP completed || 66 tries, 65351036 fired transitions, 2715 secs || 96133043 markings, 161562407 edges, 37994 markings/sec, 2715 secs
lola: STP completed || 66 tries, 65469718 fired transitions, 2720 secs || 96309598 markings, 161857175 edges, 35311 markings/sec, 2720 secs
lola: STP completed || 66 tries, 65597900 fired transitions, 2725 secs || 96507430 markings, 162178305 edges, 39566 markings/sec, 2725 secs
lola: STP completed || 66 tries, 65725487 fired transitions, 2730 secs || 96703961 markings, 162502391 edges, 39306 markings/sec, 2730 secs
lola: STP completed || 66 tries, 65845856 fired transitions, 2735 secs || 96896512 markings, 162846699 edges, 38510 markings/sec, 2735 secs
lola: STP completed || 66 tries, 65966878 fired transitions, 2740 secs || 97094137 markings, 163201645 edges, 39525 markings/sec, 2740 secs
lola: STP completed || 67 tries, 66089755 fired transitions, 2745 secs || 97292714 markings, 163538994 edges, 39715 markings/sec, 2745 secs
lola: STP completed || 67 tries, 66210985 fired transitions, 2750 secs || 97474544 markings, 163857948 edges, 36366 markings/sec, 2750 secs
lola: STP completed || 67 tries, 66332572 fired transitions, 2755 secs || 97658914 markings, 164182633 edges, 36874 markings/sec, 2755 secs
lola: STP completed || 67 tries, 66455194 fired transitions, 2760 secs || 97851224 markings, 164512986 edges, 38462 markings/sec, 2760 secs
lola: STP completed || 67 tries, 66578729 fired transitions, 2765 secs || 98044538 markings, 164866734 edges, 38663 markings/sec, 2765 secs
lola: STP completed || 67 tries, 66701461 fired transitions, 2770 secs || 98238265 markings, 165218773 edges, 38745 markings/sec, 2770 secs
lola: STP completed || 67 tries, 66825088 fired transitions, 2775 secs || 98431353 markings, 165563027 edges, 38618 markings/sec, 2775 secs
lola: STP completed || 67 tries, 66948498 fired transitions, 2780 secs || 98620747 markings, 165896834 edges, 37879 markings/sec, 2780 secs
lola: STP completed || 68 tries, 67071712 fired transitions, 2785 secs || 98808397 markings, 166230040 edges, 37530 markings/sec, 2785 secs
lola: STP completed || 68 tries, 67193466 fired transitions, 2790 secs || 98988423 markings, 166537310 edges, 36005 markings/sec, 2790 secs
lola: STP completed || 68 tries, 67316432 fired transitions, 2795 secs || 99177448 markings, 166875182 edges, 37805 markings/sec, 2795 secs
lola: STP completed || 68 tries, 67439963 fired transitions, 2800 secs || 99373232 markings, 167209909 edges, 39157 markings/sec, 2800 secs
lola: STP completed || 68 tries, 67563107 fired transitions, 2805 secs || 99566117 markings, 167546038 edges, 38577 markings/sec, 2805 secs
lola: STP completed || 68 tries, 67686813 fired transitions, 2810 secs || 99755510 markings, 167858480 edges, 37879 markings/sec, 2810 secs
lola: STP completed || 68 tries, 67809091 fired transitions, 2815 secs || 99943125 markings, 168170511 edges, 37523 markings/sec, 2815 secs
lola: STP completed || 68 tries, 67930586 fired transitions, 2820 secs || 100130320 markings, 168484032 edges, 37439 markings/sec, 2820 secs
lola: STP completed || 69 tries, 68053412 fired transitions, 2825 secs || 100314668 markings, 168777633 edges, 36870 markings/sec, 2825 secs
lola: STP completed || 69 tries, 68178468 fired transitions, 2830 secs || 100503196 markings, 169093419 edges, 37706 markings/sec, 2830 secs
lola: STP completed || 69 tries, 68301461 fired transitions, 2835 secs || 100690325 markings, 169413813 edges, 37426 markings/sec, 2835 secs
lola: STP completed || 69 tries, 68418851 fired transitions, 2840 secs || 100849770 markings, 169695353 edges, 31889 markings/sec, 2840 secs
lola: STP completed || 69 tries, 68533974 fired transitions, 2845 secs || 101012091 markings, 169969339 edges, 32464 markings/sec, 2845 secs
lola: STP completed || 69 tries, 68648499 fired transitions, 2850 secs || 101178008 markings, 170239904 edges, 33183 markings/sec, 2850 secs
lola: STP completed || 69 tries, 68762744 fired transitions, 2855 secs || 101347636 markings, 170532924 edges, 33926 markings/sec, 2855 secs
lola: STP completed || 69 tries, 68880592 fired transitions, 2860 secs || 101516449 markings, 170815443 edges, 33763 markings/sec, 2860 secs
lola: STP completed || 70 tries, 69003407 fired transitions, 2865 secs || 101705832 markings, 171126573 edges, 37877 markings/sec, 2865 secs
lola: STP completed || 70 tries, 69126161 fired transitions, 2870 secs || 101896393 markings, 171448985 edges, 38112 markings/sec, 2870 secs
lola: STP completed || 70 tries, 69249312 fired transitions, 2875 secs || 102083358 markings, 171754522 edges, 37393 markings/sec, 2875 secs
lola: STP completed || 70 tries, 69370565 fired transitions, 2880 secs || 102253499 markings, 172030309 edges, 34028 markings/sec, 2880 secs
lola: STP completed || 70 tries, 69491364 fired transitions, 2885 secs || 102427168 markings, 172316192 edges, 34734 markings/sec, 2885 secs
lola: STP completed || 70 tries, 69605588 fired transitions, 2890 secs || 102594795 markings, 172607776 edges, 33525 markings/sec, 2890 secs
lola: STP completed || 70 tries, 69720118 fired transitions, 2895 secs || 102764083 markings, 172878964 edges, 33858 markings/sec, 2895 secs
lola: STP completed || 70 tries, 69834917 fired transitions, 2900 secs || 102936293 markings, 173187723 edges, 34442 markings/sec, 2900 secs
lola: STP completed || 70 tries, 69950701 fired transitions, 2905 secs || 103104555 markings, 173486098 edges, 33652 markings/sec, 2905 secs
lola: STP completed || 71 tries, 70066245 fired transitions, 2910 secs || 103273438 markings, 173786839 edges, 33777 markings/sec, 2910 secs
lola: STP completed || 71 tries, 70180562 fired transitions, 2915 secs || 103440899 markings, 174068098 edges, 33492 markings/sec, 2915 secs
lola: STP completed || 71 tries, 70295620 fired transitions, 2920 secs || 103608323 markings, 174356255 edges, 33485 markings/sec, 2920 secs
lola: STP completed || 71 tries, 70410996 fired transitions, 2925 secs || 103777086 markings, 174649406 edges, 33753 markings/sec, 2925 secs
lola: STP completed || 71 tries, 70526074 fired transitions, 2930 secs || 103947130 markings, 174946471 edges, 34009 markings/sec, 2930 secs
lola: STP completed || 71 tries, 70641102 fired transitions, 2935 secs || 104115181 markings, 175218902 edges, 33610 markings/sec, 2935 secs
lola: STP completed || 71 tries, 70755905 fired transitions, 2940 secs || 104282878 markings, 175501684 edges, 33539 markings/sec, 2940 secs
lola: STP completed || 71 tries, 70871369 fired transitions, 2945 secs || 104450617 markings, 175793963 edges, 33548 markings/sec, 2945 secs
lola: STP completed || 71 tries, 70987391 fired transitions, 2950 secs || 104616461 markings, 176088752 edges, 33169 markings/sec, 2950 secs
lola: STP completed || 72 tries, 71103294 fired transitions, 2955 secs || 104777430 markings, 176373053 edges, 32194 markings/sec, 2955 secs
lola: STP completed || 72 tries, 71219040 fired transitions, 2960 secs || 104949571 markings, 176677265 edges, 34428 markings/sec, 2960 secs
lola: STP completed || 72 tries, 71334531 fired transitions, 2965 secs || 105113723 markings, 176965439 edges, 32830 markings/sec, 2965 secs
lola: STP completed || 72 tries, 71449380 fired transitions, 2970 secs || 105281462 markings, 177256713 edges, 33548 markings/sec, 2970 secs
lola: STP completed || 72 tries, 71563817 fired transitions, 2975 secs || 105448640 markings, 177550367 edges, 33436 markings/sec, 2975 secs
lola: STP completed || 72 tries, 71678115 fired transitions, 2980 secs || 105615428 markings, 177824843 edges, 33358 markings/sec, 2980 secs
lola: STP completed || 72 tries, 71792988 fired transitions, 2985 secs || 105779849 markings, 178103455 edges, 32884 markings/sec, 2985 secs
lola: STP completed || 72 tries, 71907304 fired transitions, 2990 secs || 105943382 markings, 178362968 edges, 32707 markings/sec, 2990 secs
lola: STP completed || 73 tries, 72021576 fired transitions, 2995 secs || 106109148 markings, 178638347 edges, 33153 markings/sec, 2995 secs
lola: STP completed || 73 tries, 72136090 fired transitions, 3000 secs || 106276502 markings, 178924110 edges, 33471 markings/sec, 3000 secs
lola: STP completed || 73 tries, 72251571 fired transitions, 3005 secs || 106437956 markings, 179192717 edges, 32291 markings/sec, 3005 secs
lola: STP completed || 73 tries, 72367600 fired transitions, 3010 secs || 106597954 markings, 179468475 edges, 32000 markings/sec, 3010 secs
lola: STP completed || 73 tries, 72483096 fired transitions, 3015 secs || 106766058 markings, 179759998 edges, 33621 markings/sec, 3015 secs
lola: STP completed || 73 tries, 72597931 fired transitions, 3020 secs || 106935660 markings, 180056477 edges, 33920 markings/sec, 3020 secs
lola: STP completed || 73 tries, 72713170 fired transitions, 3025 secs || 107097616 markings, 180318010 edges, 32391 markings/sec, 3025 secs
lola: STP completed || 73 tries, 72828825 fired transitions, 3030 secs || 107261356 markings, 180595235 edges, 32748 markings/sec, 3030 secs
lola: STP completed || 73 tries, 72951999 fired transitions, 3035 secs || 107435952 markings, 180893764 edges, 34919 markings/sec, 3035 secs
lola: STP completed || 74 tries, 73080988 fired transitions, 3040 secs || 107628421 markings, 181219612 edges, 38494 markings/sec, 3040 secs
lola: STP completed || 74 tries, 73210366 fired transitions, 3045 secs || 107820344 markings, 181533041 edges, 38385 markings/sec, 3045 secs
lola: STP completed || 74 tries, 73337675 fired transitions, 3050 secs || 108015143 markings, 181850090 edges, 38960 markings/sec, 3050 secs
lola: STP completed || 74 tries, 73464959 fired transitions, 3055 secs || 108202800 markings, 182155446 edges, 37531 markings/sec, 3055 secs
lola: STP completed || 74 tries, 73592748 fired transitions, 3060 secs || 108403719 markings, 182506052 edges, 40184 markings/sec, 3060 secs
lola: STP completed || 74 tries, 73720189 fired transitions, 3065 secs || 108598427 markings, 182828960 edges, 38942 markings/sec, 3065 secs
lola: STP completed || 74 tries, 73839193 fired transitions, 3070 secs || 108783442 markings, 183146340 edges, 37003 markings/sec, 3070 secs
lola: STP completed || 74 tries, 73955362 fired transitions, 3075 secs || 108952714 markings, 183448537 edges, 33854 markings/sec, 3075 secs
lola: STP completed || 75 tries, 74071036 fired transitions, 3080 secs || 109123143 markings, 183741026 edges, 34086 markings/sec, 3080 secs
lola: STP completed || 75 tries, 74182119 fired transitions, 3085 secs || 109297051 markings, 184036132 edges, 34782 markings/sec, 3085 secs
lola: STP completed || 75 tries, 74297336 fired transitions, 3090 secs || 109471288 markings, 184345186 edges, 34847 markings/sec, 3090 secs
lola: STP completed || 75 tries, 74413744 fired transitions, 3095 secs || 109645166 markings, 184655092 edges, 34776 markings/sec, 3095 secs
lola: STP completed || 75 tries, 74530541 fired transitions, 3100 secs || 109811757 markings, 184936538 edges, 33318 markings/sec, 3100 secs
lola: STP completed || 75 tries, 74645179 fired transitions, 3105 secs || 109978794 markings, 185229234 edges, 33407 markings/sec, 3105 secs
lola: STP completed || 75 tries, 74762069 fired transitions, 3110 secs || 110153551 markings, 185541294 edges, 34951 markings/sec, 3110 secs
lola: STP completed || 75 tries, 74878801 fired transitions, 3115 secs || 110322571 markings, 185847294 edges, 33804 markings/sec, 3115 secs
lola: STP completed || 75 tries, 74993750 fired transitions, 3120 secs || 110490773 markings, 186123841 edges, 33640 markings/sec, 3120 secs
lola: STP completed || 76 tries, 75110244 fired transitions, 3125 secs || 110662866 markings, 186419509 edges, 34419 markings/sec, 3125 secs
lola: STP completed || 76 tries, 75226300 fired transitions, 3130 secs || 110835701 markings, 186732289 edges, 34567 markings/sec, 3130 secs
lola: STP completed || 76 tries, 75342086 fired transitions, 3135 secs || 111003964 markings, 187007007 edges, 33653 markings/sec, 3135 secs
lola: STP completed || 76 tries, 75457954 fired transitions, 3140 secs || 111174431 markings, 187300943 edges, 34093 markings/sec, 3140 secs
lola: STP completed || 76 tries, 75566344 fired transitions, 3145 secs || 111347406 markings, 187597231 edges, 34595 markings/sec, 3145 secs
lola: STP completed || 76 tries, 75681311 fired transitions, 3150 secs || 111522457 markings, 187887349 edges, 35010 markings/sec, 3150 secs
lola: STP completed || 76 tries, 75802931 fired transitions, 3155 secs || 111676702 markings, 188156572 edges, 30849 markings/sec, 3155 secs
lola: STP completed || 76 tries, 75921221 fired transitions, 3160 secs || 111842318 markings, 188428621 edges, 33123 markings/sec, 3160 secs
lola: STP completed || 77 tries, 76039113 fired transitions, 3165 secs || 112005816 markings, 188698516 edges, 32700 markings/sec, 3165 secs
lola: STP completed || 77 tries, 76157149 fired transitions, 3170 secs || 112167441 markings, 188968657 edges, 32325 markings/sec, 3170 secs
lola: STP completed || 77 tries, 76274572 fired transitions, 3175 secs || 112334250 markings, 189246174 edges, 33362 markings/sec, 3175 secs
lola: STP completed || 77 tries, 76391369 fired transitions, 3180 secs || 112500057 markings, 189532317 edges, 33161 markings/sec, 3180 secs
lola: STP completed || 77 tries, 76508744 fired transitions, 3185 secs || 112662330 markings, 189796044 edges, 32455 markings/sec, 3185 secs
lola: STP completed || 77 tries, 76629110 fired transitions, 3190 secs || 112831430 markings, 190081448 edges, 33820 markings/sec, 3190 secs
lola: STP completed || 77 tries, 76752780 fired transitions, 3195 secs || 113021414 markings, 190419028 edges, 37997 markings/sec, 3195 secs
lola: STP completed || 77 tries, 76876531 fired transitions, 3200 secs || 113207407 markings, 190749750 edges, 37199 markings/sec, 3200 secs
lola: STP completed || 77 tries, 76999394 fired transitions, 3205 secs || 113375464 markings, 191035507 edges, 33611 markings/sec, 3205 secs
lola: STP completed || 78 tries, 77118357 fired transitions, 3210 secs || 113542854 markings, 191317751 edges, 33478 markings/sec, 3210 secs
lola: STP completed || 78 tries, 77235482 fired transitions, 3215 secs || 113711688 markings, 191615994 edges, 33767 markings/sec, 3215 secs
lola: STP completed || 78 tries, 77356480 fired transitions, 3220 secs || 113883938 markings, 191914694 edges, 34450 markings/sec, 3220 secs
lola: STP completed || 78 tries, 77470665 fired transitions, 3225 secs || 114028664 markings, 192161608 edges, 28945 markings/sec, 3225 secs
lola: STP completed || 78 tries, 77546046 fired transitions, 3230 secs || 114119508 markings, 192329089 edges, 18169 markings/sec, 3230 secs
lola: STP completed || 78 tries, 77584967 fired transitions, 3235 secs || 114151529 markings, 192386119 edges, 6404 markings/sec, 3235 secs
lola: STP completed || 78 tries, 77607052 fired transitions, 3240 secs || 114153410 markings, 192389330 edges, 376 markings/sec, 3240 secs
lola: STP completed || 78 tries, 77619578 fired transitions, 3245 secs || 114154067 markings, 192390455 edges, 131 markings/sec, 3245 secs
Killed
FORMULA FlexibleBarrier-PT-14a-ReachabilityDeadlock-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
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="FlexibleBarrier-PT-14a"
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/FlexibleBarrier-PT-14a.tgz
mv FlexibleBarrier-PT-14a 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 FlexibleBarrier-PT-14a, 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 r095-blw7-152650007100174"
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 ;