Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2019-input.r049-oct2-155234405600777.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is DatabaseWithMutex-COL-10, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-oct2-155234405600777
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 196K
-rw-r--r-- 1 mcc users 3.9K Feb 10 20:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 10 20:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 6 15:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Feb 6 15:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 111 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 349 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.6K Feb 4 23:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.0K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K Feb 3 06:34 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 3 06:34 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Jan 30 22:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Jan 30 22:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_pt
-rw-r--r-- 1 mcc users 3 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 27K Mar 10 17:31 model.pnml

--------------------
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 DatabaseWithMutex-COL-10-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552483830718

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ DatabaseWithMutex-COL-10 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 1130
rslt: Output for GlobalProperties @ DatabaseWithMutex-COL-10
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains High-Level net
lola: Places: 830, Transitions: 800
lola: @ trans Start
lola: @ trans SendReply
lola: @ trans Acquire
lola: @ trans Change
lola: @ trans Update
lola: @ trans end_update
lola: @ trans Release
lola: @ trans SendMsg
lola: finished unfolding
lola: finished parsing
lola: closed net file model.pnml
lola: 1630/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 26560
lola: finding significant places
lola: 830 places, 800 transitions, 700 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computed 171 generators (21 in search tree, 150 by composition)
lola: representing 1.31682E+13 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 634539 fired transitions, 0 secs || 255376 markings, 259203 edges, 51075 markings/sec, 0 secs
lola: 2 tries, 1720331 fired transitions, 5 secs || 623676 markings, 633074 edges, 73660 markings/sec, 5 secs
lola: 3 tries, 2810179 fired transitions, 10 secs || 990899 markings, 1005535 edges, 73445 markings/sec, 10 secs
lola: 4 tries, 3893285 fired transitions, 15 secs || 1352116 markings, 1372368 edges, 72243 markings/sec, 15 secs
lola: 5 tries, 4991028 fired transitions, 20 secs || 1713839 markings, 1738883 edges, 72345 markings/sec, 20 secs
lola: 7 tries, 6078569 fired transitions, 25 secs || 2066053 markings, 2096542 edges, 70443 markings/sec, 25 secs
lola: 8 tries, 7175828 fired transitions, 30 secs || 2420366 markings, 2457059 edges, 70863 markings/sec, 30 secs
lola: 9 tries, 8266010 fired transitions, 35 secs || 2774830 markings, 2817271 edges, 70893 markings/sec, 35 secs
lola: 10 tries, 9362508 fired transitions, 40 secs || 3129944 markings, 3178254 edges, 71023 markings/sec, 40 secs
lola: 11 tries, 10398725 fired transitions, 45 secs || 3469101 markings, 3522771 edges, 67831 markings/sec, 45 secs
lola: 12 tries, 11122407 fired transitions, 50 secs || 3726302 markings, 3784530 edges, 51440 markings/sec, 50 secs
lola: 13 tries, 12212365 fired transitions, 55 secs || 4067447 markings, 4131547 edges, 68229 markings/sec, 55 secs
lola: 14 tries, 13282885 fired transitions, 60 secs || 4416140 markings, 4486360 edges, 69739 markings/sec, 60 secs
lola: 15 tries, 14306547 fired transitions, 65 secs || 4749324 markings, 4825431 edges, 66637 markings/sec, 65 secs
lola: 15 tries, 14977872 fired transitions, 70 secs || 4968841 markings, 5048900 edges, 43903 markings/sec, 70 secs
lola: 16 tries, 15653365 fired transitions, 75 secs || 5189174 markings, 5273012 edges, 44067 markings/sec, 75 secs
lola: 17 tries, 16338547 fired transitions, 80 secs || 5407124 markings, 5495220 edges, 43590 markings/sec, 80 secs
lola: 18 tries, 17031348 fired transitions, 85 secs || 5626508 markings, 5718219 edges, 43877 markings/sec, 85 secs
lola: 18 tries, 17713853 fired transitions, 90 secs || 5844110 markings, 5940007 edges, 43520 markings/sec, 90 secs
lola: 19 tries, 18397696 fired transitions, 95 secs || 6062568 markings, 6162900 edges, 43692 markings/sec, 95 secs
lola: 20 tries, 19084859 fired transitions, 100 secs || 6280548 markings, 6384741 edges, 43596 markings/sec, 100 secs
lola: 20 tries, 19758963 fired transitions, 105 secs || 6498953 markings, 6607253 edges, 43681 markings/sec, 105 secs
lola: 21 tries, 20439299 fired transitions, 110 secs || 6719079 markings, 6831251 edges, 44025 markings/sec, 110 secs
lola: 22 tries, 21124736 fired transitions, 115 secs || 6940593 markings, 7056828 edges, 44303 markings/sec, 115 secs
lola: 22 tries, 21799154 fired transitions, 120 secs || 7159418 markings, 7280028 edges, 43765 markings/sec, 120 secs
lola: 23 tries, 22492901 fired transitions, 125 secs || 7377199 markings, 7501640 edges, 43556 markings/sec, 125 secs
lola: 24 tries, 23191831 fired transitions, 130 secs || 7595944 markings, 7723881 edges, 43749 markings/sec, 130 secs
lola: 24 tries, 23883245 fired transitions, 135 secs || 7813976 markings, 7945998 edges, 43606 markings/sec, 135 secs
lola: 25 tries, 24558458 fired transitions, 140 secs || 8033170 markings, 8169437 edges, 43839 markings/sec, 140 secs
lola: 26 tries, 25230834 fired transitions, 145 secs || 8252427 markings, 8393010 edges, 43851 markings/sec, 145 secs
lola: 26 tries, 25904222 fired transitions, 150 secs || 8470491 markings, 8615323 edges, 43613 markings/sec, 150 secs
lola: 27 tries, 26592536 fired transitions, 155 secs || 8688249 markings, 8837525 edges, 43552 markings/sec, 155 secs
lola: 28 tries, 27281237 fired transitions, 160 secs || 8902079 markings, 9055892 edges, 42766 markings/sec, 160 secs
lola: 28 tries, 27989307 fired transitions, 165 secs || 9114369 markings, 9272181 edges, 42458 markings/sec, 165 secs
lola: 29 tries, 28663108 fired transitions, 170 secs || 9330868 markings, 9492418 edges, 43300 markings/sec, 170 secs
lola: 30 tries, 29349711 fired transitions, 175 secs || 9544981 markings, 9711083 edges, 42823 markings/sec, 175 secs
lola: 31 tries, 30038885 fired transitions, 180 secs || 9758053 markings, 9928651 edges, 42614 markings/sec, 180 secs
lola: 31 tries, 30719397 fired transitions, 185 secs || 9970889 markings, 10145702 edges, 42567 markings/sec, 185 secs
lola: 32 tries, 31412835 fired transitions, 190 secs || 10184879 markings, 10363996 edges, 42798 markings/sec, 190 secs
lola: 33 tries, 32113019 fired transitions, 195 secs || 10397955 markings, 10580876 edges, 42615 markings/sec, 195 secs
lola: 33 tries, 32793317 fired transitions, 200 secs || 10613862 markings, 10801491 edges, 43181 markings/sec, 200 secs
lola: 34 tries, 33475982 fired transitions, 205 secs || 10828179 markings, 11020166 edges, 42863 markings/sec, 205 secs
lola: 35 tries, 34152803 fired transitions, 210 secs || 11041830 markings, 11238347 edges, 42730 markings/sec, 210 secs
lola: 35 tries, 34829205 fired transitions, 215 secs || 11255254 markings, 11455943 edges, 42685 markings/sec, 215 secs
lola: 36 tries, 35529632 fired transitions, 220 secs || 11469840 markings, 11674753 edges, 42917 markings/sec, 220 secs
lola: 37 tries, 36224640 fired transitions, 225 secs || 11682503 markings, 11891263 edges, 42533 markings/sec, 225 secs
lola: 37 tries, 36897725 fired transitions, 230 secs || 11896960 markings, 12109601 edges, 42891 markings/sec, 230 secs
lola: 38 tries, 37578923 fired transitions, 235 secs || 12109744 markings, 12326651 edges, 42557 markings/sec, 235 secs
lola: 39 tries, 38254096 fired transitions, 240 secs || 12323436 markings, 12544628 edges, 42738 markings/sec, 240 secs
lola: 39 tries, 38934022 fired transitions, 245 secs || 12536840 markings, 12761864 edges, 42681 markings/sec, 245 secs
lola: 40 tries, 39767748 fired transitions, 250 secs || 12805500 markings, 13036999 edges, 53732 markings/sec, 250 secs
lola: 41 tries, 40861284 fired transitions, 255 secs || 13156495 markings, 13393576 edges, 70199 markings/sec, 255 secs
lola: 42 tries, 41942422 fired transitions, 260 secs || 13499797 markings, 13743390 edges, 68660 markings/sec, 260 secs
lola: 44 tries, 43033012 fired transitions, 265 secs || 13843997 markings, 14095238 edges, 68840 markings/sec, 265 secs
lola: 45 tries, 44129862 fired transitions, 270 secs || 14194575 markings, 14452753 edges, 70116 markings/sec, 270 secs
lola: 46 tries, 45221465 fired transitions, 275 secs || 14541218 markings, 14805504 edges, 69329 markings/sec, 275 secs
lola: 47 tries, 46312702 fired transitions, 280 secs || 14884587 markings, 15155646 edges, 68674 markings/sec, 280 secs
lola: 48 tries, 47391616 fired transitions, 285 secs || 15222906 markings, 15500562 edges, 67664 markings/sec, 285 secs
lola: 49 tries, 48312779 fired transitions, 290 secs || 15513567 markings, 15797005 edges, 58132 markings/sec, 290 secs
lola: 49 tries, 48984080 fired transitions, 295 secs || 15730332 markings, 16018800 edges, 43353 markings/sec, 295 secs
lola: 50 tries, 49704474 fired transitions, 300 secs || 15951629 markings, 16244141 edges, 44259 markings/sec, 300 secs
lola: 51 tries, 50402507 fired transitions, 305 secs || 16166232 markings, 16462971 edges, 42921 markings/sec, 305 secs
lola: 52 tries, 51111593 fired transitions, 310 secs || 16378889 markings, 16680044 edges, 42531 markings/sec, 310 secs
lola: 52 tries, 51810911 fired transitions, 315 secs || 16591735 markings, 16897526 edges, 42569 markings/sec, 315 secs
lola: 53 tries, 52500277 fired transitions, 320 secs || 16803604 markings, 17114091 edges, 42374 markings/sec, 320 secs
lola: 54 tries, 53188785 fired transitions, 325 secs || 17015646 markings, 17330225 edges, 42408 markings/sec, 325 secs
lola: 54 tries, 53886702 fired transitions, 330 secs || 17222437 markings, 17541320 edges, 41358 markings/sec, 330 secs
lola: 55 tries, 54571862 fired transitions, 335 secs || 17433746 markings, 17757099 edges, 42262 markings/sec, 335 secs
lola: 56 tries, 55250988 fired transitions, 340 secs || 17646145 markings, 17973567 edges, 42480 markings/sec, 340 secs
lola: 57 tries, 56015536 fired transitions, 345 secs || 17883100 markings, 18215437 edges, 47391 markings/sec, 345 secs
lola: 58 tries, 57117393 fired transitions, 350 secs || 18220493 markings, 18559647 edges, 67479 markings/sec, 350 secs
lola: 59 tries, 58210136 fired transitions, 355 secs || 18558747 markings, 18904426 edges, 67651 markings/sec, 355 secs
lola: 60 tries, 59287160 fired transitions, 360 secs || 18901856 markings, 19255069 edges, 68622 markings/sec, 360 secs
lola: 61 tries, 60376637 fired transitions, 365 secs || 19239595 markings, 19599592 edges, 67548 markings/sec, 365 secs
lola: 62 tries, 61474785 fired transitions, 370 secs || 19578031 markings, 19944417 edges, 67687 markings/sec, 370 secs
lola: 63 tries, 62585471 fired transitions, 375 secs || 19913431 markings, 20286409 edges, 67080 markings/sec, 375 secs
lola: 64 tries, 63672779 fired transitions, 380 secs || 20248043 markings, 20628357 edges, 66922 markings/sec, 380 secs
lola: 65 tries, 64754219 fired transitions, 385 secs || 20584485 markings, 20972119 edges, 67288 markings/sec, 385 secs
lola: 66 tries, 65832685 fired transitions, 390 secs || 20919184 markings, 21314171 edges, 66940 markings/sec, 390 secs
lola: 67 tries, 66910659 fired transitions, 395 secs || 21258592 markings, 21660591 edges, 67882 markings/sec, 395 secs
lola: 68 tries, 67998616 fired transitions, 400 secs || 21599573 markings, 22008700 edges, 68196 markings/sec, 400 secs
lola: 70 tries, 69092141 fired transitions, 405 secs || 21940277 markings, 22356722 edges, 68141 markings/sec, 405 secs
lola: 70 tries, 69974996 fired transitions, 410 secs || 22198287 markings, 22619883 edges, 51602 markings/sec, 410 secs
lola: 71 tries, 70674120 fired transitions, 415 secs || 22404946 markings, 22831850 edges, 41332 markings/sec, 415 secs
lola: 72 tries, 71362924 fired transitions, 420 secs || 22617753 markings, 23049156 edges, 42561 markings/sec, 420 secs
lola: 73 tries, 72053688 fired transitions, 425 secs || 22831883 markings, 23268549 edges, 42826 markings/sec, 425 secs
lola: 74 tries, 73006899 fired transitions, 430 secs || 23117953 markings, 23560720 edges, 57214 markings/sec, 430 secs
lola: 75 tries, 74062920 fired transitions, 435 secs || 23442939 markings, 23893555 edges, 64997 markings/sec, 435 secs
lola: 76 tries, 75033957 fired transitions, 440 secs || 23743682 markings, 24200783 edges, 60149 markings/sec, 440 secs
lola: 76 tries, 75757305 fired transitions, 445 secs || 23966134 markings, 24428321 edges, 44490 markings/sec, 445 secs
lola: 77 tries, 76821359 fired transitions, 450 secs || 24291042 markings, 24760100 edges, 64982 markings/sec, 450 secs
lola: 78 tries, 77866354 fired transitions, 455 secs || 24615448 markings, 25090893 edges, 64881 markings/sec, 455 secs
lola: 79 tries, 78583003 fired transitions, 460 secs || 24833246 markings, 25312444 edges, 43560 markings/sec, 460 secs
lola: 80 tries, 79273325 fired transitions, 465 secs || 25048731 markings, 25532642 edges, 43097 markings/sec, 465 secs
lola: 80 tries, 79956277 fired transitions, 470 secs || 25264731 markings, 25753536 edges, 43200 markings/sec, 470 secs
lola: 81 tries, 80645565 fired transitions, 475 secs || 25475569 markings, 25969301 edges, 42168 markings/sec, 475 secs
lola: 82 tries, 81346345 fired transitions, 480 secs || 25688574 markings, 26186821 edges, 42601 markings/sec, 480 secs
lola: 83 tries, 82027105 fired transitions, 485 secs || 25904677 markings, 26406991 edges, 43221 markings/sec, 485 secs
lola: 83 tries, 82718031 fired transitions, 490 secs || 26119113 markings, 26626148 edges, 42887 markings/sec, 490 secs
lola: 84 tries, 83426205 fired transitions, 495 secs || 26331413 markings, 26843044 edges, 42460 markings/sec, 495 secs
lola: 85 tries, 84274877 fired transitions, 500 secs || 26585895 markings, 27103310 edges, 50896 markings/sec, 500 secs
lola: 86 tries, 85309194 fired transitions, 505 secs || 26906586 markings, 27431352 edges, 64138 markings/sec, 505 secs
lola: 87 tries, 86384136 fired transitions, 510 secs || 27244155 markings, 27775926 edges, 67514 markings/sec, 510 secs
lola: 88 tries, 87472354 fired transitions, 515 secs || 27579488 markings, 28118985 edges, 67067 markings/sec, 515 secs
lola: 89 tries, 88549496 fired transitions, 520 secs || 27916931 markings, 28464946 edges, 67489 markings/sec, 520 secs
lola: 90 tries, 89629665 fired transitions, 525 secs || 28250818 markings, 28806188 edges, 66777 markings/sec, 525 secs
lola: 91 tries, 90708325 fired transitions, 530 secs || 28585912 markings, 29149644 edges, 67019 markings/sec, 530 secs
lola: 92 tries, 91834656 fired transitions, 535 secs || 28923537 markings, 29493556 edges, 67525 markings/sec, 535 secs
lola: 93 tries, 92932720 fired transitions, 540 secs || 29255827 markings, 29833475 edges, 66458 markings/sec, 540 secs
lola: 95 tries, 94014040 fired transitions, 545 secs || 29591589 markings, 30175799 edges, 67152 markings/sec, 545 secs
lola: 96 tries, 95092805 fired transitions, 550 secs || 29923195 markings, 30515042 edges, 66321 markings/sec, 550 secs
lola: 96 tries, 95817280 fired transitions, 555 secs || 30148112 markings, 30745478 edges, 44983 markings/sec, 555 secs
lola: 97 tries, 96847244 fired transitions, 560 secs || 30463212 markings, 31067956 edges, 63020 markings/sec, 560 secs
lola: 98 tries, 97586585 fired transitions, 565 secs || 30702592 markings, 31312571 edges, 47876 markings/sec, 565 secs
lola: 99 tries, 98296116 fired transitions, 570 secs || 30931691 markings, 31545999 edges, 45820 markings/sec, 570 secs
lola: 100 tries, 99058781 fired transitions, 575 secs || 31145962 markings, 31764575 edges, 42854 markings/sec, 575 secs
lola: 100 tries, 99767271 fired transitions, 580 secs || 31356693 markings, 31980070 edges, 42146 markings/sec, 580 secs
lola: 101 tries, 100483082 fired transitions, 585 secs || 31567357 markings, 32195761 edges, 42133 markings/sec, 585 secs
lola: 102 tries, 101549329 fired transitions, 590 secs || 31883359 markings, 32518519 edges, 63200 markings/sec, 590 secs
lola: 103 tries, 102658399 fired transitions, 595 secs || 32215621 markings, 32857669 edges, 66452 markings/sec, 595 secs
lola: 104 tries, 103763988 fired transitions, 600 secs || 32549901 markings, 33198837 edges, 66856 markings/sec, 600 secs
lola: 105 tries, 104862179 fired transitions, 605 secs || 32883070 markings, 33539041 edges, 66634 markings/sec, 605 secs
lola: 106 tries, 105962185 fired transitions, 610 secs || 33216157 markings, 33879199 edges, 66617 markings/sec, 610 secs
lola: 108 tries, 107040687 fired transitions, 615 secs || 33556740 markings, 34226081 edges, 68117 markings/sec, 615 secs
lola: 109 tries, 108121394 fired transitions, 620 secs || 33887096 markings, 34563180 edges, 66071 markings/sec, 620 secs
lola: 109 tries, 108879314 fired transitions, 625 secs || 34115701 markings, 34796826 edges, 45721 markings/sec, 625 secs
lola: 110 tries, 109588588 fired transitions, 630 secs || 34326951 markings, 35012183 edges, 42250 markings/sec, 630 secs
lola: 111 tries, 110683551 fired transitions, 635 secs || 34660941 markings, 35354328 edges, 66798 markings/sec, 635 secs
lola: 112 tries, 111758899 fired transitions, 640 secs || 34997445 markings, 35698553 edges, 67301 markings/sec, 640 secs
lola: 113 tries, 112855710 fired transitions, 645 secs || 35329274 markings, 36037767 edges, 66366 markings/sec, 645 secs
lola: 114 tries, 113943280 fired transitions, 650 secs || 35660147 markings, 36375962 edges, 66175 markings/sec, 650 secs
lola: 116 tries, 115033791 fired transitions, 655 secs || 35989020 markings, 36711354 edges, 65775 markings/sec, 655 secs
lola: 117 tries, 116147702 fired transitions, 660 secs || 36321931 markings, 37050426 edges, 66582 markings/sec, 660 secs
lola: 117 tries, 116925671 fired transitions, 665 secs || 36572255 markings, 37306279 edges, 50065 markings/sec, 665 secs
lola: 118 tries, 117614179 fired transitions, 670 secs || 36803514 markings, 37543050 edges, 46252 markings/sec, 670 secs
lola: 119 tries, 118383565 fired transitions, 675 secs || 37055577 markings, 37800235 edges, 50413 markings/sec, 675 secs
lola: 120 tries, 119387388 fired transitions, 680 secs || 37367325 markings, 38119549 edges, 62350 markings/sec, 680 secs
lola: 121 tries, 120482705 fired transitions, 685 secs || 37702008 markings, 38460941 edges, 66937 markings/sec, 685 secs
lola: 122 tries, 121288614 fired transitions, 690 secs || 37934199 markings, 38697640 edges, 46438 markings/sec, 690 secs
lola: 123 tries, 122234379 fired transitions, 695 secs || 38226260 markings, 38995898 edges, 58412 markings/sec, 695 secs
lola: 124 tries, 123293262 fired transitions, 700 secs || 38556579 markings, 39333265 edges, 66064 markings/sec, 700 secs
lola: 125 tries, 124364360 fired transitions, 705 secs || 38891131 markings, 39675339 edges, 66910 markings/sec, 705 secs
lola: 126 tries, 125444948 fired transitions, 710 secs || 39226900 markings, 40019033 edges, 67154 markings/sec, 710 secs
lola: 127 tries, 126526348 fired transitions, 715 secs || 39563896 markings, 40363715 edges, 67399 markings/sec, 715 secs
lola: 128 tries, 127617781 fired transitions, 720 secs || 39896139 markings, 40703307 edges, 66449 markings/sec, 720 secs
lola: 129 tries, 128417262 fired transitions, 725 secs || 40141827 markings, 40954661 edges, 49138 markings/sec, 725 secs
lola: 130 tries, 129105351 fired transitions, 730 secs || 40356673 markings, 41174375 edges, 42969 markings/sec, 730 secs
lola: 130 tries, 129793523 fired transitions, 735 secs || 40571449 markings, 41394588 edges, 42955 markings/sec, 735 secs
lola: 131 tries, 130661379 fired transitions, 740 secs || 40836320 markings, 41665020 edges, 52974 markings/sec, 740 secs
lola: 132 tries, 131748939 fired transitions, 745 secs || 41175870 markings, 42011677 edges, 67910 markings/sec, 745 secs
lola: 133 tries, 132824044 fired transitions, 750 secs || 41511376 markings, 42355592 edges, 67101 markings/sec, 750 secs
lola: 134 tries, 133906431 fired transitions, 755 secs || 41843585 markings, 42694758 edges, 66442 markings/sec, 755 secs
lola: 135 tries, 134998448 fired transitions, 760 secs || 42173658 markings, 43031754 edges, 66015 markings/sec, 760 secs
lola: 137 tries, 136141465 fired transitions, 765 secs || 42506539 markings, 43371269 edges, 66576 markings/sec, 765 secs
lola: 138 tries, 137210188 fired transitions, 770 secs || 42840906 markings, 43713422 edges, 66873 markings/sec, 770 secs
lola: 139 tries, 138265770 fired transitions, 775 secs || 43164746 markings, 44044123 edges, 64768 markings/sec, 775 secs
lola: 140 tries, 139371579 fired transitions, 780 secs || 43492722 markings, 44378691 edges, 65595 markings/sec, 780 secs
lola: 141 tries, 140423280 fired transitions, 785 secs || 43809572 markings, 44702527 edges, 63370 markings/sec, 785 secs
lola: 142 tries, 141503594 fired transitions, 790 secs || 44139877 markings, 45040733 edges, 66061 markings/sec, 790 secs
lola: 143 tries, 142587262 fired transitions, 795 secs || 44469368 markings, 45377891 edges, 65898 markings/sec, 795 secs
lola: 144 tries, 143662068 fired transitions, 800 secs || 44799056 markings, 45714833 edges, 65938 markings/sec, 800 secs
lola: 145 tries, 144741779 fired transitions, 805 secs || 45128812 markings, 46051648 edges, 65951 markings/sec, 805 secs
lola: 146 tries, 145508475 fired transitions, 810 secs || 45364863 markings, 46293116 edges, 47210 markings/sec, 810 secs
lola: 147 tries, 146351179 fired transitions, 815 secs || 45627403 markings, 46561809 edges, 52508 markings/sec, 815 secs
lola: 148 tries, 147057520 fired transitions, 820 secs || 45854588 markings, 46793828 edges, 45437 markings/sec, 820 secs
lola: 148 tries, 147770299 fired transitions, 825 secs || 46081947 markings, 47025809 edges, 45472 markings/sec, 825 secs
lola: 149 tries, 148482736 fired transitions, 830 secs || 46308102 markings, 47257075 edges, 45231 markings/sec, 830 secs
lola: 150 tries, 149177976 fired transitions, 835 secs || 46529304 markings, 47482758 edges, 44240 markings/sec, 835 secs
lola: 150 tries, 149869068 fired transitions, 840 secs || 46740614 markings, 47699062 edges, 42262 markings/sec, 840 secs
lola: 151 tries, 150561911 fired transitions, 845 secs || 46952849 markings, 47916877 edges, 42447 markings/sec, 845 secs
lola: 152 tries, 151263147 fired transitions, 850 secs || 47163807 markings, 48132898 edges, 42192 markings/sec, 850 secs
lola: 152 tries, 151984716 fired transitions, 855 secs || 47373272 markings, 48347143 edges, 41893 markings/sec, 855 secs
lola: 153 tries, 152705304 fired transitions, 860 secs || 47582701 markings, 48561214 edges, 41886 markings/sec, 860 secs
lola: 154 tries, 153420440 fired transitions, 865 secs || 47793977 markings, 48776979 edges, 42255 markings/sec, 865 secs
lola: 155 tries, 154125579 fired transitions, 870 secs || 48008829 markings, 48996081 edges, 42970 markings/sec, 870 secs
lola: 156 tries, 155037431 fired transitions, 875 secs || 48281139 markings, 49275366 edges, 54462 markings/sec, 875 secs
lola: 156 tries, 155938019 fired transitions, 880 secs || 48556492 markings, 49557067 edges, 55071 markings/sec, 880 secs
lola: 157 tries, 156869631 fired transitions, 885 secs || 48835674 markings, 49842217 edges, 55836 markings/sec, 885 secs
lola: 158 tries, 157977840 fired transitions, 890 secs || 49163206 markings, 50176929 edges, 65506 markings/sec, 890 secs
lola: 160 tries, 159071559 fired transitions, 895 secs || 49491152 markings, 50511762 edges, 65589 markings/sec, 895 secs
lola: 161 tries, 160190913 fired transitions, 900 secs || 49817581 markings, 50845011 edges, 65286 markings/sec, 900 secs
lola: 162 tries, 161302274 fired transitions, 905 secs || 50143880 markings, 51178201 edges, 65260 markings/sec, 905 secs
lola: 163 tries, 162391307 fired transitions, 910 secs || 50471879 markings, 51513329 edges, 65600 markings/sec, 910 secs
lola: 164 tries, 163482445 fired transitions, 915 secs || 50801708 markings, 51850402 edges, 65966 markings/sec, 915 secs
lola: 165 tries, 164529845 fired transitions, 920 secs || 51121096 markings, 52177552 edges, 63878 markings/sec, 920 secs
lola: 166 tries, 165416960 fired transitions, 925 secs || 51396840 markings, 52458789 edges, 55149 markings/sec, 925 secs
lola: 167 tries, 166170308 fired transitions, 930 secs || 51618445 markings, 52685786 edges, 44321 markings/sec, 930 secs
lola: 168 tries, 167022585 fired transitions, 935 secs || 51886543 markings, 52959444 edges, 53620 markings/sec, 935 secs
lola: 169 tries, 168119234 fired transitions, 940 secs || 52213295 markings, 53294606 edges, 65350 markings/sec, 940 secs
lola: 170 tries, 169093957 fired transitions, 945 secs || 52517176 markings, 53605256 edges, 60776 markings/sec, 945 secs
lola: 171 tries, 170178594 fired transitions, 950 secs || 52853948 markings, 53949000 edges, 67354 markings/sec, 950 secs
lola: 172 tries, 171283965 fired transitions, 955 secs || 53184965 markings, 54287625 edges, 66203 markings/sec, 955 secs
lola: 173 tries, 172384437 fired transitions, 960 secs || 53515759 markings, 54625870 edges, 66159 markings/sec, 960 secs
lola: 174 tries, 173294594 fired transitions, 965 secs || 53796441 markings, 54913419 edges, 56136 markings/sec, 965 secs
lola: 175 tries, 174196261 fired transitions, 970 secs || 54054048 markings, 55176939 edges, 51521 markings/sec, 970 secs
lola: 176 tries, 175304274 fired transitions, 975 secs || 54381125 markings, 55510535 edges, 65415 markings/sec, 975 secs
lola: 177 tries, 176400548 fired transitions, 980 secs || 54696132 markings, 55832937 edges, 63001 markings/sec, 980 secs
lola: 178 tries, 177504795 fired transitions, 985 secs || 55015479 markings, 56159185 edges, 63869 markings/sec, 985 secs
lola: 179 tries, 178589631 fired transitions, 990 secs || 55325623 markings, 56476299 edges, 62029 markings/sec, 990 secs
lola: 180 tries, 179713588 fired transitions, 995 secs || 55650097 markings, 56807037 edges, 64895 markings/sec, 995 secs
lola: 181 tries, 180795437 fired transitions, 1000 secs || 55983174 markings, 57146805 edges, 66615 markings/sec, 1000 secs
lola: 182 tries, 181897004 fired transitions, 1005 secs || 56312085 markings, 57482792 edges, 65782 markings/sec, 1005 secs
lola: 183 tries, 182985339 fired transitions, 1010 secs || 56636229 markings, 57813941 edges, 64829 markings/sec, 1010 secs
lola: 185 tries, 184073065 fired transitions, 1015 secs || 56966254 markings, 58152942 edges, 66005 markings/sec, 1015 secs
lola: 186 tries, 185159877 fired transitions, 1020 secs || 57292190 markings, 58486456 edges, 65187 markings/sec, 1020 secs
lola: 187 tries, 186252776 fired transitions, 1025 secs || 57619779 markings, 58820955 edges, 65518 markings/sec, 1025 secs
lola: 188 tries, 187346536 fired transitions, 1030 secs || 57944799 markings, 59153508 edges, 65004 markings/sec, 1030 secs
lola: 189 tries, 188439696 fired transitions, 1035 secs || 58267727 markings, 59483558 edges, 64586 markings/sec, 1035 secs
lola: 190 tries, 189390636 fired transitions, 1040 secs || 58545244 markings, 59767056 edges, 55503 markings/sec, 1040 secs
lola: 191 tries, 190117437 fired transitions, 1045 secs || 58750690 markings, 59977234 edges, 41089 markings/sec, 1045 secs
lola: 191 tries, 190997231 fired transitions, 1050 secs || 58997296 markings, 60228569 edges, 49321 markings/sec, 1050 secs
lola: 192 tries, 191941917 fired transitions, 1055 secs || 59273434 markings, 60510370 edges, 55228 markings/sec, 1055 secs
lola: 193 tries, 192871240 fired transitions, 1060 secs || 59546712 markings, 60790216 edges, 54656 markings/sec, 1060 secs
lola: 194 tries, 193949228 fired transitions, 1065 secs || 59874725 markings, 61125423 edges, 65603 markings/sec, 1065 secs
lola: 195 tries, 194886985 fired transitions, 1070 secs || 60159425 markings, 61416992 edges, 56940 markings/sec, 1070 secs
lola: 196 tries, 195613941 fired transitions, 1075 secs || 60363087 markings, 61625485 edges, 40732 markings/sec, 1075 secs
lola: 197 tries, 196327950 fired transitions, 1080 secs || 60570467 markings, 61837487 edges, 41476 markings/sec, 1080 secs
lola: 198 tries, 197038570 fired transitions, 1085 secs || 60780027 markings, 62051452 edges, 41912 markings/sec, 1085 secs
lola: 198 tries, 197817807 fired transitions, 1090 secs || 61008657 markings, 62284911 edges, 45726 markings/sec, 1090 secs
lola: 199 tries, 198931555 fired transitions, 1095 secs || 61335468 markings, 62618643 edges, 65362 markings/sec, 1095 secs
lola: 201 tries, 200030600 fired transitions, 1100 secs || 61654651 markings, 62945648 edges, 63837 markings/sec, 1100 secs
lola: 202 tries, 201117902 fired transitions, 1105 secs || 61977884 markings, 63275471 edges, 64647 markings/sec, 1105 secs
lola: 203 tries, 202083222 fired transitions, 1110 secs || 62267507 markings, 63571353 edges, 57925 markings/sec, 1110 secs
lola: 203 tries, 202876462 fired transitions, 1115 secs || 62508675 markings, 63818032 edges, 48234 markings/sec, 1115 secs
lola: 204 tries, 203606991 fired transitions, 1120 secs || 62726639 markings, 64040882 edges, 43593 markings/sec, 1120 secs
lola: 205 tries, 204328745 fired transitions, 1125 secs || 62930734 markings, 64250036 edges, 40819 markings/sec, 1125 secs
lola: 206 tries, 205028524 fired transitions, 1130 secs || 63140828 markings, 64464851 edges, 42019 markings/sec, 1130 secs
lola: 206 tries, 205717205 fired transitions, 1135 secs || 63350880 markings, 64679551 edges, 42010 markings/sec, 1135 secs
lola: 207 tries, 206408902 fired transitions, 1140 secs || 63560997 markings, 64895155 edges, 42023 markings/sec, 1140 secs
lola: 208 tries, 207099243 fired transitions, 1145 secs || 63774731 markings, 65113629 edges, 42747 markings/sec, 1145 secs
lola: 208 tries, 207805274 fired transitions, 1150 secs || 63995376 markings, 65339303 edges, 44129 markings/sec, 1150 secs
lola: 209 tries, 208492762 fired transitions, 1155 secs || 64207936 markings, 65557150 edges, 42512 markings/sec, 1155 secs
lola: 210 tries, 209182596 fired transitions, 1160 secs || 64421075 markings, 65775930 edges, 42628 markings/sec, 1160 secs
lola: 210 tries, 209921899 fired transitions, 1165 secs || 64637233 markings, 65996895 edges, 43232 markings/sec, 1165 secs
lola: 211 tries, 210764551 fired transitions, 1170 secs || 64885127 markings, 66250855 edges, 49579 markings/sec, 1170 secs
lola: 212 tries, 211489557 fired transitions, 1175 secs || 65085521 markings, 66458823 edges, 40079 markings/sec, 1175 secs
lola: 213 tries, 212190659 fired transitions, 1180 secs || 65292214 markings, 66671447 edges, 41339 markings/sec, 1180 secs
lola: 213 tries, 212867505 fired transitions, 1185 secs || 65505793 markings, 66889618 edges, 42716 markings/sec, 1185 secs
lola: 214 tries, 213578690 fired transitions, 1190 secs || 65713989 markings, 67102623 edges, 41639 markings/sec, 1190 secs
lola: 215 tries, 214298988 fired transitions, 1195 secs || 65918094 markings, 67311469 edges, 40821 markings/sec, 1195 secs
lola: 216 tries, 215007741 fired transitions, 1200 secs || 66120527 markings, 67517958 edges, 40487 markings/sec, 1200 secs
lola: 216 tries, 215728593 fired transitions, 1205 secs || 66323143 markings, 67724798 edges, 40523 markings/sec, 1205 secs
lola: 217 tries, 216443976 fired transitions, 1210 secs || 66531761 markings, 67937978 edges, 41724 markings/sec, 1210 secs
lola: 218 tries, 217151085 fired transitions, 1215 secs || 66740680 markings, 68151378 edges, 41784 markings/sec, 1215 secs
lola: 218 tries, 217844456 fired transitions, 1220 secs || 66950135 markings, 68366820 edges, 41891 markings/sec, 1220 secs
lola: 219 tries, 218523548 fired transitions, 1225 secs || 67161877 markings, 68583476 edges, 42348 markings/sec, 1225 secs
lola: 220 tries, 219209600 fired transitions, 1230 secs || 67373149 markings, 68799881 edges, 42254 markings/sec, 1230 secs
lola: 220 tries, 219901965 fired transitions, 1235 secs || 67582779 markings, 69014739 edges, 41926 markings/sec, 1235 secs
lola: 221 tries, 220605785 fired transitions, 1240 secs || 67787716 markings, 69226024 edges, 40987 markings/sec, 1240 secs
lola: 222 tries, 221306071 fired transitions, 1245 secs || 67999146 markings, 69442411 edges, 42286 markings/sec, 1245 secs
lola: 222 tries, 221983659 fired transitions, 1250 secs || 68214741 markings, 69662435 edges, 43119 markings/sec, 1250 secs
lola: 223 tries, 222685871 fired transitions, 1255 secs || 68427832 markings, 69881316 edges, 42618 markings/sec, 1255 secs
lola: 224 tries, 223381805 fired transitions, 1260 secs || 68639667 markings, 70098940 edges, 42367 markings/sec, 1260 secs
lola: 225 tries, 224084200 fired transitions, 1265 secs || 68855443 markings, 70320005 edges, 43155 markings/sec, 1265 secs
lola: 225 tries, 224772908 fired transitions, 1270 secs || 69069549 markings, 70539805 edges, 42821 markings/sec, 1270 secs
lola: 226 tries, 225476437 fired transitions, 1275 secs || 69282635 markings, 70758173 edges, 42617 markings/sec, 1275 secs
lola: 227 tries, 226169283 fired transitions, 1280 secs || 69494843 markings, 70975125 edges, 42442 markings/sec, 1280 secs
lola: 227 tries, 226974416 fired transitions, 1285 secs || 69748822 markings, 71235152 edges, 50796 markings/sec, 1285 secs
lola: 228 tries, 227668108 fired transitions, 1290 secs || 69965200 markings, 71457739 edges, 43276 markings/sec, 1290 secs
lola: 229 tries, 228378902 fired transitions, 1295 secs || 70175842 markings, 71673590 edges, 42128 markings/sec, 1295 secs
lola: 230 tries, 229081850 fired transitions, 1300 secs || 70390804 markings, 71893590 edges, 42992 markings/sec, 1300 secs
lola: 230 tries, 229789604 fired transitions, 1305 secs || 70601581 markings, 72109362 edges, 42155 markings/sec, 1305 secs
lola: 231 tries, 230510357 fired transitions, 1310 secs || 70805825 markings, 72318967 edges, 40849 markings/sec, 1310 secs
lola: 232 tries, 231224627 fired transitions, 1315 secs || 71003103 markings, 72523577 edges, 39456 markings/sec, 1315 secs
lola: 232 tries, 231929816 fired transitions, 1320 secs || 71202725 markings, 72729028 edges, 39924 markings/sec, 1320 secs
lola: 233 tries, 232644794 fired transitions, 1325 secs || 71399736 markings, 72934064 edges, 39402 markings/sec, 1325 secs
lola: 234 tries, 233366896 fired transitions, 1330 secs || 71597496 markings, 73138586 edges, 39552 markings/sec, 1330 secs
lola: 235 tries, 234091196 fired transitions, 1335 secs || 71800819 markings, 73348657 edges, 40665 markings/sec, 1335 secs
lola: 235 tries, 234808508 fired transitions, 1340 secs || 72005895 markings, 73560366 edges, 41015 markings/sec, 1340 secs
lola: 236 tries, 235521000 fired transitions, 1345 secs || 72209852 markings, 73771164 edges, 40791 markings/sec, 1345 secs
lola: 237 tries, 236221421 fired transitions, 1350 secs || 72412284 markings, 73980735 edges, 40486 markings/sec, 1350 secs
lola: 237 tries, 236935339 fired transitions, 1355 secs || 72613553 markings, 74188704 edges, 40254 markings/sec, 1355 secs
lola: 238 tries, 237658791 fired transitions, 1360 secs || 72815895 markings, 74399207 edges, 40468 markings/sec, 1360 secs
lola: 239 tries, 238382077 fired transitions, 1365 secs || 73019781 markings, 74610687 edges, 40777 markings/sec, 1365 secs
lola: 240 tries, 239097959 fired transitions, 1370 secs || 73217912 markings, 74815201 edges, 39626 markings/sec, 1370 secs
lola: 240 tries, 239812016 fired transitions, 1375 secs || 73414281 markings, 75017996 edges, 39274 markings/sec, 1375 secs
lola: 241 tries, 240817474 fired transitions, 1380 secs || 73714077 markings, 75325082 edges, 59959 markings/sec, 1380 secs
lola: 242 tries, 241924725 fired transitions, 1385 secs || 74041250 markings, 75659544 edges, 65435 markings/sec, 1385 secs
lola: 244 tries, 243049723 fired transitions, 1390 secs || 74369925 markings, 75996021 edges, 65735 markings/sec, 1390 secs
lola: 245 tries, 244137320 fired transitions, 1395 secs || 74702175 markings, 76335905 edges, 66450 markings/sec, 1395 secs
lola: 246 tries, 245234262 fired transitions, 1400 secs || 75042150 markings, 76683941 edges, 67995 markings/sec, 1400 secs
lola: 247 tries, 246352185 fired transitions, 1405 secs || 75377060 markings, 77026091 edges, 66982 markings/sec, 1405 secs
lola: 248 tries, 247457435 fired transitions, 1410 secs || 75715540 markings, 77371608 edges, 67696 markings/sec, 1410 secs
lola: 249 tries, 248228724 fired transitions, 1415 secs || 75980435 markings, 77642523 edges, 52979 markings/sec, 1415 secs
lola: 250 tries, 249188071 fired transitions, 1420 secs || 76272827 markings, 77941670 edges, 58478 markings/sec, 1420 secs
lola: 251 tries, 250263356 fired transitions, 1425 secs || 76616767 markings, 78293894 edges, 68788 markings/sec, 1425 secs
lola: 252 tries, 251069665 fired transitions, 1430 secs || 76880885 markings, 78563530 edges, 52824 markings/sec, 1430 secs
lola: 252 tries, 251802102 fired transitions, 1435 secs || 77125882 markings, 78814060 edges, 48999 markings/sec, 1435 secs
lola: 253 tries, 252471745 fired transitions, 1440 secs || 77365132 markings, 79058188 edges, 47850 markings/sec, 1440 secs
lola: 254 tries, 253143511 fired transitions, 1445 secs || 77604224 markings, 79302917 edges, 47818 markings/sec, 1445 secs
lola: 254 tries, 253808068 fired transitions, 1450 secs || 77842594 markings, 79547306 edges, 47674 markings/sec, 1450 secs
lola: 255 tries, 254479231 fired transitions, 1455 secs || 78079828 markings, 79791240 edges, 47447 markings/sec, 1455 secs
lola: 256 tries, 255153944 fired transitions, 1460 secs || 78319753 markings, 80037775 edges, 47985 markings/sec, 1460 secs
lola: 256 tries, 255822776 fired transitions, 1465 secs || 78558863 markings, 80282036 edges, 47822 markings/sec, 1465 secs
lola: 257 tries, 256488957 fired transitions, 1470 secs || 78799911 markings, 80528386 edges, 48210 markings/sec, 1470 secs
lola: 258 tries, 257158877 fired transitions, 1475 secs || 79039065 markings, 80773232 edges, 47831 markings/sec, 1475 secs
lola: 258 tries, 257831339 fired transitions, 1480 secs || 79276719 markings, 81016555 edges, 47531 markings/sec, 1480 secs
lola: 259 tries, 258526216 fired transitions, 1485 secs || 79510301 markings, 81255719 edges, 46716 markings/sec, 1485 secs
lola: 260 tries, 259217948 fired transitions, 1490 secs || 79745787 markings, 81496672 edges, 47097 markings/sec, 1490 secs
lola: 260 tries, 259885319 fired transitions, 1495 secs || 79984885 markings, 81740953 edges, 47820 markings/sec, 1495 secs
lola: 261 tries, 260560505 fired transitions, 1500 secs || 80221042 markings, 81983167 edges, 47231 markings/sec, 1500 secs
lola: 262 tries, 261234845 fired transitions, 1505 secs || 80457495 markings, 82225738 edges, 47291 markings/sec, 1505 secs
lola: 262 tries, 261890954 fired transitions, 1510 secs || 80696903 markings, 82470949 edges, 47882 markings/sec, 1510 secs
lola: 263 tries, 262559994 fired transitions, 1515 secs || 80936230 markings, 82716460 edges, 47865 markings/sec, 1515 secs
lola: 264 tries, 263233554 fired transitions, 1520 secs || 81176682 markings, 82963801 edges, 48090 markings/sec, 1520 secs
lola: 264 tries, 263916656 fired transitions, 1525 secs || 81415643 markings, 83208880 edges, 47792 markings/sec, 1525 secs
lola: 265 tries, 264585111 fired transitions, 1530 secs || 81655196 markings, 83454864 edges, 47911 markings/sec, 1530 secs
lola: 266 tries, 265265916 fired transitions, 1535 secs || 81894626 markings, 83700126 edges, 47886 markings/sec, 1535 secs
lola: 266 tries, 265967602 fired transitions, 1540 secs || 82129191 markings, 83941047 edges, 46913 markings/sec, 1540 secs
lola: 267 tries, 266654680 fired transitions, 1545 secs || 82365478 markings, 84183224 edges, 47257 markings/sec, 1545 secs
lola: 268 tries, 267342933 fired transitions, 1550 secs || 82602583 markings, 84425781 edges, 47421 markings/sec, 1550 secs
lola: 269 tries, 268033311 fired transitions, 1555 secs || 82837947 markings, 84666931 edges, 47073 markings/sec, 1555 secs
lola: 269 tries, 268723501 fired transitions, 1560 secs || 83070539 markings, 84905274 edges, 46518 markings/sec, 1560 secs
lola: 270 tries, 269408165 fired transitions, 1565 secs || 83305132 markings, 85145449 edges, 46919 markings/sec, 1565 secs
lola: 271 tries, 270088751 fired transitions, 1570 secs || 83539530 markings, 85385813 edges, 46880 markings/sec, 1570 secs
lola: 271 tries, 270770191 fired transitions, 1575 secs || 83773054 markings, 85624436 edges, 46705 markings/sec, 1575 secs
lola: 272 tries, 271458930 fired transitions, 1580 secs || 84004887 markings, 85861441 edges, 46367 markings/sec, 1580 secs
lola: 273 tries, 272148157 fired transitions, 1585 secs || 84237114 markings, 86099851 edges, 46445 markings/sec, 1585 secs
lola: 273 tries, 272830508 fired transitions, 1590 secs || 84470701 markings, 86339473 edges, 46717 markings/sec, 1590 secs
lola: 274 tries, 273513365 fired transitions, 1595 secs || 84706388 markings, 86580091 edges, 47137 markings/sec, 1595 secs
lola: 275 tries, 274203828 fired transitions, 1600 secs || 84940060 markings, 86818739 edges, 46734 markings/sec, 1600 secs
lola: 275 tries, 274919707 fired transitions, 1605 secs || 85182713 markings, 87067003 edges, 48531 markings/sec, 1605 secs
lola: 276 tries, 275991905 fired transitions, 1610 secs || 85515078 markings, 87407753 edges, 66473 markings/sec, 1610 secs
lola: 278 tries, 277055594 fired transitions, 1615 secs || 85844133 markings, 87744163 edges, 65811 markings/sec, 1615 secs
lola: 279 tries, 278167711 fired transitions, 1620 secs || 86179080 markings, 88086072 edges, 66989 markings/sec, 1620 secs
lola: 280 tries, 279265680 fired transitions, 1625 secs || 86510191 markings, 88425196 edges, 66222 markings/sec, 1625 secs
lola: 281 tries, 280048816 fired transitions, 1630 secs || 86766618 markings, 88687958 edges, 51285 markings/sec, 1630 secs
lola: 281 tries, 280720391 fired transitions, 1635 secs || 87003426 markings, 88930070 edges, 47362 markings/sec, 1635 secs
lola: 282 tries, 281400028 fired transitions, 1640 secs || 87239888 markings, 89172406 edges, 47292 markings/sec, 1640 secs
lola: 283 tries, 282072437 fired transitions, 1645 secs || 87475938 markings, 89414432 edges, 47210 markings/sec, 1645 secs
lola: 283 tries, 282753363 fired transitions, 1650 secs || 87712470 markings, 89656702 edges, 47306 markings/sec, 1650 secs
lola: 284 tries, 283438556 fired transitions, 1655 secs || 87945429 markings, 89895221 edges, 46592 markings/sec, 1655 secs
lola: 285 tries, 284123560 fired transitions, 1660 secs || 88177622 markings, 90132632 edges, 46439 markings/sec, 1660 secs
lola: 285 tries, 284794240 fired transitions, 1665 secs || 88413249 markings, 90373312 edges, 47125 markings/sec, 1665 secs
lola: 286 tries, 285466188 fired transitions, 1670 secs || 88649795 markings, 90615704 edges, 47309 markings/sec, 1670 secs
lola: 287 tries, 286137782 fired transitions, 1675 secs || 88887205 markings, 90858283 edges, 47482 markings/sec, 1675 secs
lola: 287 tries, 286817028 fired transitions, 1680 secs || 89123475 markings, 91100296 edges, 47254 markings/sec, 1680 secs
lola: 288 tries, 287492108 fired transitions, 1685 secs || 89358788 markings, 91341791 edges, 47063 markings/sec, 1685 secs
lola: 289 tries, 288165425 fired transitions, 1690 secs || 89595925 markings, 91585151 edges, 47427 markings/sec, 1690 secs
lola: 289 tries, 288847988 fired transitions, 1695 secs || 89833590 markings, 91829390 edges, 47533 markings/sec, 1695 secs
lola: 290 tries, 289522468 fired transitions, 1700 secs || 90069899 markings, 92072264 edges, 47262 markings/sec, 1700 secs
lola: 291 tries, 290186856 fired transitions, 1705 secs || 90307671 markings, 92315662 edges, 47554 markings/sec, 1705 secs
lola: 291 tries, 290857178 fired transitions, 1710 secs || 90542512 markings, 92557860 edges, 46968 markings/sec, 1710 secs
lola: 292 tries, 291553427 fired transitions, 1715 secs || 90776136 markings, 92797849 edges, 46725 markings/sec, 1715 secs
lola: 293 tries, 292242886 fired transitions, 1720 secs || 91011111 markings, 93038419 edges, 46995 markings/sec, 1720 secs
lola: 293 tries, 292910107 fired transitions, 1725 secs || 91247656 markings, 93280334 edges, 47309 markings/sec, 1725 secs
lola: 294 tries, 293611649 fired transitions, 1730 secs || 91479733 markings, 93517910 edges, 46415 markings/sec, 1730 secs
lola: 295 tries, 294304201 fired transitions, 1735 secs || 91712387 markings, 93755614 edges, 46531 markings/sec, 1735 secs
lola: 295 tries, 294977725 fired transitions, 1740 secs || 91948286 markings, 93996916 edges, 47180 markings/sec, 1740 secs
lola: 296 tries, 295654037 fired transitions, 1745 secs || 92183424 markings, 94237580 edges, 47028 markings/sec, 1745 secs
lola: 297 tries, 296347302 fired transitions, 1750 secs || 92412350 markings, 94472115 edges, 45785 markings/sec, 1750 secs
lola: 298 tries, 297049958 fired transitions, 1755 secs || 92640525 markings, 94706515 edges, 45635 markings/sec, 1755 secs
lola: 298 tries, 297761593 fired transitions, 1760 secs || 92868399 markings, 94939727 edges, 45575 markings/sec, 1760 secs
lola: 299 tries, 298466422 fired transitions, 1765 secs || 93099665 markings, 95177541 edges, 46253 markings/sec, 1765 secs
lola: 300 tries, 299145504 fired transitions, 1770 secs || 93333655 markings, 95417296 edges, 46798 markings/sec, 1770 secs
lola: 300 tries, 299821711 fired transitions, 1775 secs || 93569787 markings, 95659822 edges, 47226 markings/sec, 1775 secs
lola: 301 tries, 300490845 fired transitions, 1780 secs || 93803740 markings, 95899379 edges, 46791 markings/sec, 1780 secs
lola: 302 tries, 301157656 fired transitions, 1785 secs || 94037233 markings, 96138226 edges, 46699 markings/sec, 1785 secs
lola: 302 tries, 301834576 fired transitions, 1790 secs || 94269770 markings, 96378155 edges, 46507 markings/sec, 1790 secs
lola: 303 tries, 302507539 fired transitions, 1795 secs || 94503632 markings, 96617450 edges, 46772 markings/sec, 1795 secs
lola: 304 tries, 303186557 fired transitions, 1800 secs || 94738731 markings, 96858463 edges, 47020 markings/sec, 1800 secs
lola: 305 tries, 304042994 fired transitions, 1805 secs || 95006286 markings, 97132928 edges, 53511 markings/sec, 1805 secs
lola: 306 tries, 305137316 fired transitions, 1810 secs || 95339720 markings, 97474532 edges, 66687 markings/sec, 1810 secs
lola: 307 tries, 306247434 fired transitions, 1815 secs || 95670522 markings, 97813419 edges, 66160 markings/sec, 1815 secs
lola: 308 tries, 307345782 fired transitions, 1820 secs || 96002848 markings, 98153700 edges, 66465 markings/sec, 1820 secs
lola: 309 tries, 308451270 fired transitions, 1825 secs || 96330907 markings, 98489207 edges, 65612 markings/sec, 1825 secs
lola: 310 tries, 309564490 fired transitions, 1830 secs || 96660792 markings, 98826096 edges, 65977 markings/sec, 1830 secs
lola: 311 tries, 310675794 fired transitions, 1835 secs || 96993306 markings, 99167174 edges, 66503 markings/sec, 1835 secs
lola: 312 tries, 311766142 fired transitions, 1840 secs || 97329549 markings, 99511063 edges, 67249 markings/sec, 1840 secs
lola: 313 tries, 312853099 fired transitions, 1845 secs || 97670304 markings, 99859260 edges, 68151 markings/sec, 1845 secs
lola: 314 tries, 313803265 fired transitions, 1850 secs || 97969595 markings, 100165107 edges, 59858 markings/sec, 1850 secs
lola: 315 tries, 314608325 fired transitions, 1855 secs || 98224829 markings, 100425750 edges, 51047 markings/sec, 1855 secs
lola: 316 tries, 315700462 fired transitions, 1860 secs || 98552517 markings, 100760210 edges, 65538 markings/sec, 1860 secs
lola: 317 tries, 316794348 fired transitions, 1865 secs || 98883522 markings, 101099303 edges, 66201 markings/sec, 1865 secs
lola: 318 tries, 317921951 fired transitions, 1870 secs || 99215545 markings, 101439371 edges, 66405 markings/sec, 1870 secs
lola: 320 tries, 319043988 fired transitions, 1875 secs || 99550969 markings, 101781175 edges, 67085 markings/sec, 1875 secs
lola: 321 tries, 320140379 fired transitions, 1880 secs || 99888622 markings, 102126053 edges, 67531 markings/sec, 1880 secs
lola: 322 tries, 321248637 fired transitions, 1885 secs || 100223586 markings, 102468085 edges, 66993 markings/sec, 1885 secs
lola: 323 tries, 322340705 fired transitions, 1890 secs || 100553391 markings, 102804942 edges, 65961 markings/sec, 1890 secs
lola: 324 tries, 323443471 fired transitions, 1895 secs || 100882263 markings, 103141212 edges, 65774 markings/sec, 1895 secs
lola: 325 tries, 324546035 fired transitions, 1900 secs || 101209992 markings, 103476656 edges, 65546 markings/sec, 1900 secs
lola: 326 tries, 325651822 fired transitions, 1905 secs || 101538329 markings, 103812647 edges, 65667 markings/sec, 1905 secs
lola: 327 tries, 326755885 fired transitions, 1910 secs || 101868615 markings, 104150403 edges, 66057 markings/sec, 1910 secs
lola: 328 tries, 327885042 fired transitions, 1915 secs || 102200836 markings, 104490873 edges, 66444 markings/sec, 1915 secs
lola: 329 tries, 328910739 fired transitions, 1920 secs || 102503189 markings, 104800451 edges, 60471 markings/sec, 1920 secs
lola: 331 tries, 330015005 fired transitions, 1925 secs || 102833205 markings, 105139417 edges, 66003 markings/sec, 1925 secs
lola: 332 tries, 331146348 fired transitions, 1930 secs || 103156213 markings, 105469782 edges, 64602 markings/sec, 1930 secs
lola: 333 tries, 332250313 fired transitions, 1935 secs || 103486167 markings, 105807768 edges, 65991 markings/sec, 1935 secs
lola: 334 tries, 333362522 fired transitions, 1940 secs || 103807393 markings, 106137010 edges, 64245 markings/sec, 1940 secs
lola: 335 tries, 334469914 fired transitions, 1945 secs || 104133656 markings, 106470104 edges, 65253 markings/sec, 1945 secs
lola: 336 tries, 335582514 fired transitions, 1950 secs || 104453608 markings, 106797495 edges, 63990 markings/sec, 1950 secs
lola: 337 tries, 336305865 fired transitions, 1955 secs || 104654927 markings, 107006388 edges, 40264 markings/sec, 1955 secs
lola: 338 tries, 337037230 fired transitions, 1960 secs || 104855770 markings, 107214536 edges, 40169 markings/sec, 1960 secs
lola: 338 tries, 337763119 fired transitions, 1965 secs || 105055947 markings, 107422071 edges, 40035 markings/sec, 1965 secs
lola: 339 tries, 338491314 fired transitions, 1970 secs || 105257960 markings, 107632043 edges, 40403 markings/sec, 1970 secs
lola: 340 tries, 339234685 fired transitions, 1975 secs || 105455555 markings, 107834734 edges, 39519 markings/sec, 1975 secs
lola: 340 tries, 339964296 fired transitions, 1980 secs || 105654506 markings, 108038063 edges, 39790 markings/sec, 1980 secs
lola: 341 tries, 340646462 fired transitions, 1985 secs || 105883598 markings, 108273833 edges, 45818 markings/sec, 1985 secs
lola: 342 tries, 341333856 fired transitions, 1990 secs || 106114384 markings, 108510289 edges, 46157 markings/sec, 1990 secs
lola: 343 tries, 342041905 fired transitions, 1995 secs || 106343309 markings, 108744533 edges, 45785 markings/sec, 1995 secs
lola: 343 tries, 342727022 fired transitions, 2000 secs || 106573915 markings, 108980881 edges, 46121 markings/sec, 2000 secs
lola: 344 tries, 343426750 fired transitions, 2005 secs || 106803549 markings, 109216205 edges, 45927 markings/sec, 2005 secs
lola: 345 tries, 344118917 fired transitions, 2010 secs || 107029187 markings, 109447488 edges, 45128 markings/sec, 2010 secs
lola: 345 tries, 344800425 fired transitions, 2015 secs || 107265199 markings, 109689461 edges, 47202 markings/sec, 2015 secs
lola: 346 tries, 345484188 fired transitions, 2020 secs || 107500074 markings, 109930583 edges, 46975 markings/sec, 2020 secs
lola: 347 tries, 346172582 fired transitions, 2025 secs || 107734796 markings, 110170873 edges, 46944 markings/sec, 2025 secs
lola: 347 tries, 346859825 fired transitions, 2030 secs || 107966383 markings, 110408438 edges, 46317 markings/sec, 2030 secs
lola: 348 tries, 347556042 fired transitions, 2035 secs || 108195185 markings, 110643131 edges, 45760 markings/sec, 2035 secs
lola: 349 tries, 348246843 fired transitions, 2040 secs || 108429025 markings, 110882234 edges, 46768 markings/sec, 2040 secs
lola: 350 tries, 349074136 fired transitions, 2045 secs || 108704493 markings, 111163147 edges, 55094 markings/sec, 2045 secs
lola: 351 tries, 350168440 fired transitions, 2050 secs || 109039824 markings, 111505398 edges, 67066 markings/sec, 2050 secs
lola: 352 tries, 351278099 fired transitions, 2055 secs || 109371970 markings, 111844883 edges, 66429 markings/sec, 2055 secs
lola: 353 tries, 352382957 fired transitions, 2060 secs || 109705860 markings, 112185584 edges, 66778 markings/sec, 2060 secs
lola: 354 tries, 353497576 fired transitions, 2065 secs || 110035967 markings, 112522375 edges, 66021 markings/sec, 2065 secs
lola: 355 tries, 354487111 fired transitions, 2070 secs || 110328642 markings, 112822364 edges, 58535 markings/sec, 2070 secs
lola: 356 tries, 355235096 fired transitions, 2075 secs || 110543190 markings, 113042121 edges, 42910 markings/sec, 2075 secs
lola: 357 tries, 356292885 fired transitions, 2080 secs || 110868038 markings, 113373937 edges, 64970 markings/sec, 2080 secs
lola: 358 tries, 357391787 fired transitions, 2085 secs || 111198924 markings, 113712343 edges, 66177 markings/sec, 2085 secs
lola: 359 tries, 358503034 fired transitions, 2090 secs || 111527158 markings, 114047621 edges, 65647 markings/sec, 2090 secs
lola: 360 tries, 359581148 fired transitions, 2095 secs || 111857308 markings, 114385872 edges, 66030 markings/sec, 2095 secs
lola: 361 tries, 360666419 fired transitions, 2100 secs || 112189764 markings, 114726954 edges, 66491 markings/sec, 2100 secs
lola: 362 tries, 361778765 fired transitions, 2105 secs || 112519496 markings, 115064044 edges, 65946 markings/sec, 2105 secs
lola: 363 tries, 362513794 fired transitions, 2110 secs || 112765339 markings, 115315947 edges, 49169 markings/sec, 2110 secs
lola: 364 tries, 363202569 fired transitions, 2115 secs || 113002806 markings, 115559519 edges, 47493 markings/sec, 2115 secs
lola: 364 tries, 363913931 fired transitions, 2120 secs || 113232364 markings, 115794414 edges, 45912 markings/sec, 2120 secs
lola: 365 tries, 364600043 fired transitions, 2125 secs || 113468663 markings, 116036812 edges, 47260 markings/sec, 2125 secs
lola: 366 tries, 365346476 fired transitions, 2130 secs || 113686933 markings, 116260547 edges, 43654 markings/sec, 2130 secs
lola: 367 tries, 366084025 fired transitions, 2135 secs || 113907000 markings, 116486105 edges, 44013 markings/sec, 2135 secs
lola: 367 tries, 366767576 fired transitions, 2140 secs || 114141983 markings, 116727162 edges, 46997 markings/sec, 2140 secs
lola: 368 tries, 367447834 fired transitions, 2145 secs || 114375882 markings, 116967096 edges, 46780 markings/sec, 2145 secs
lola: 369 tries, 368131317 fired transitions, 2150 secs || 114612949 markings, 117209930 edges, 47413 markings/sec, 2150 secs
lola: 369 tries, 368809545 fired transitions, 2155 secs || 114851469 markings, 117453666 edges, 47704 markings/sec, 2155 secs
lola: 370 tries, 369719364 fired transitions, 2160 secs || 115145944 markings, 117755995 edges, 58895 markings/sec, 2160 secs
lola: 371 tries, 370815757 fired transitions, 2165 secs || 115479594 markings, 118097634 edges, 66730 markings/sec, 2165 secs
lola: 372 tries, 371921624 fired transitions, 2170 secs || 115809946 markings, 118435720 edges, 66070 markings/sec, 2170 secs
lola: 374 tries, 373015760 fired transitions, 2175 secs || 116137269 markings, 118770631 edges, 65465 markings/sec, 2175 secs
lola: 375 tries, 374035739 fired transitions, 2180 secs || 116457313 markings, 119097812 edges, 64009 markings/sec, 2180 secs
lola: 376 tries, 375127507 fired transitions, 2185 secs || 116780876 markings, 119429701 edges, 64713 markings/sec, 2185 secs
lola: 377 tries, 376243636 fired transitions, 2190 secs || 117104383 markings, 119760007 edges, 64701 markings/sec, 2190 secs
lola: 378 tries, 377287839 fired transitions, 2195 secs || 117397672 markings, 120059663 edges, 58658 markings/sec, 2195 secs
lola: 379 tries, 378158431 fired transitions, 2200 secs || 117665611 markings, 120333413 edges, 53588 markings/sec, 2200 secs
lola: 379 tries, 378848520 fired transitions, 2205 secs || 117901660 markings, 120575660 edges, 47210 markings/sec, 2205 secs
lola: 380 tries, 379545819 fired transitions, 2210 secs || 118136332 markings, 120817367 edges, 46934 markings/sec, 2210 secs
lola: 381 tries, 380234355 fired transitions, 2215 secs || 118372431 markings, 121058772 edges, 47220 markings/sec, 2215 secs
lola: 381 tries, 380949373 fired transitions, 2220 secs || 118603386 markings, 121295365 edges, 46191 markings/sec, 2220 secs
lola: 382 tries, 381805885 fired transitions, 2225 secs || 118869674 markings, 121568611 edges, 53258 markings/sec, 2225 secs
lola: 383 tries, 382903541 fired transitions, 2230 secs || 119189890 markings, 121896142 edges, 64043 markings/sec, 2230 secs
lola: 385 tries, 384028781 fired transitions, 2235 secs || 119514725 markings, 122228647 edges, 64967 markings/sec, 2235 secs
lola: 386 tries, 385139957 fired transitions, 2240 secs || 119845308 markings, 122566517 edges, 66117 markings/sec, 2240 secs
lola: 387 tries, 386247856 fired transitions, 2245 secs || 120178007 markings, 122907346 edges, 66540 markings/sec, 2245 secs
lola: 388 tries, 387331382 fired transitions, 2250 secs || 120508434 markings, 123245724 edges, 66085 markings/sec, 2250 secs
lola: 389 tries, 388429676 fired transitions, 2255 secs || 120834906 markings, 123579793 edges, 65294 markings/sec, 2255 secs
lola: 390 tries, 389445600 fired transitions, 2260 secs || 121127528 markings, 123880542 edges, 58524 markings/sec, 2260 secs
lola: 391 tries, 390541765 fired transitions, 2265 secs || 121460223 markings, 124220916 edges, 66539 markings/sec, 2265 secs
lola: 392 tries, 391654305 fired transitions, 2270 secs || 121796543 markings, 124564430 edges, 67264 markings/sec, 2270 secs
lola: 393 tries, 392565016 fired transitions, 2275 secs || 122082197 markings, 124856918 edges, 57131 markings/sec, 2275 secs
lola: 394 tries, 393255362 fired transitions, 2280 secs || 122320145 markings, 125100531 edges, 47590 markings/sec, 2280 secs
lola: 394 tries, 393964162 fired transitions, 2285 secs || 122553862 markings, 125339740 edges, 46743 markings/sec, 2285 secs
lola: 395 tries, 394656200 fired transitions, 2290 secs || 122791743 markings, 125583592 edges, 47576 markings/sec, 2290 secs
lola: 396 tries, 395353339 fired transitions, 2295 secs || 123026860 markings, 125824228 edges, 47023 markings/sec, 2295 secs
lola: 397 tries, 396077198 fired transitions, 2300 secs || 123240169 markings, 126043980 edges, 42662 markings/sec, 2300 secs
lola: 397 tries, 396816468 fired transitions, 2305 secs || 123438427 markings, 126247884 edges, 39652 markings/sec, 2305 secs
lola: 398 tries, 397520456 fired transitions, 2310 secs || 123662006 markings, 126477649 edges, 44716 markings/sec, 2310 secs
lola: 399 tries, 398218216 fired transitions, 2315 secs || 123896812 markings, 126717783 edges, 46961 markings/sec, 2315 secs
lola: 399 tries, 398913545 fired transitions, 2320 secs || 124134114 markings, 126961474 edges, 47460 markings/sec, 2320 secs
lola: 400 tries, 399985591 fired transitions, 2325 secs || 124459045 markings, 127295009 edges, 64986 markings/sec, 2325 secs
lola: 402 tries, 401089479 fired transitions, 2330 secs || 124786478 markings, 127629863 edges, 65487 markings/sec, 2330 secs
lola: 403 tries, 402193862 fired transitions, 2335 secs || 125116868 markings, 127966953 edges, 66078 markings/sec, 2335 secs
lola: 404 tries, 403273255 fired transitions, 2340 secs || 125448179 markings, 128305764 edges, 66262 markings/sec, 2340 secs
lola: 405 tries, 404168668 fired transitions, 2345 secs || 125732853 markings, 128597255 edges, 56935 markings/sec, 2345 secs
lola: 405 tries, 404898616 fired transitions, 2350 secs || 125953974 markings, 128824852 edges, 44224 markings/sec, 2350 secs
lola: 406 tries, 405618625 fired transitions, 2355 secs || 126145568 markings, 129025113 edges, 38319 markings/sec, 2355 secs
lola: 407 tries, 406342788 fired transitions, 2360 secs || 126343444 markings, 129230122 edges, 39575 markings/sec, 2360 secs
lola: 408 tries, 407071210 fired transitions, 2365 secs || 126540388 markings, 129434422 edges, 39389 markings/sec, 2365 secs
lola: 408 tries, 407795997 fired transitions, 2370 secs || 126736228 markings, 129637409 edges, 39168 markings/sec, 2370 secs
lola: 409 tries, 408518960 fired transitions, 2375 secs || 126933953 markings, 129842718 edges, 39545 markings/sec, 2375 secs
lola: 410 tries, 409241845 fired transitions, 2380 secs || 127129300 markings, 130045184 edges, 39069 markings/sec, 2380 secs
lola: 411 tries, 410157477 fired transitions, 2385 secs || 127383317 markings, 130306349 edges, 50803 markings/sec, 2385 secs
lola: 411 tries, 410958520 fired transitions, 2390 secs || 127613610 markings, 130542968 edges, 46059 markings/sec, 2390 secs
lola: 412 tries, 411882225 fired transitions, 2395 secs || 127888198 markings, 130824812 edges, 54918 markings/sec, 2395 secs
lola: 413 tries, 412657071 fired transitions, 2400 secs || 128143441 markings, 131086509 edges, 51049 markings/sec, 2400 secs
lola: 414 tries, 413403751 fired transitions, 2405 secs || 128314106 markings, 131261788 edges, 34133 markings/sec, 2405 secs
lola: 414 tries, 413856050 fired transitions, 2410 secs || 128373896 markings, 131322843 edges, 11958 markings/sec, 2410 secs
lola: 415 tries, 414095019 fired transitions, 2415 secs || 128441213 markings, 131391777 edges, 13463 markings/sec, 2415 secs
lola: 415 tries, 414200636 fired transitions, 2420 secs || 128462323 markings, 131413486 edges, 4222 markings/sec, 2420 secs
lola: 415 tries, 414212910 fired transitions, 2425 secs || 128463257 markings, 131414465 edges, 187 markings/sec, 2425 secs
Killed
rslt: finished

BK_STOP 1552486270795

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

grep: GenericPropertiesVerdict.xml: No such file or directory
make: [verify] Error 137 (ignored)
grep: GenericPropertiesVerdict.xml: No such file or directory

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="DatabaseWithMutex-COL-10"
export BK_EXAMINATION="GlobalProperties"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is DatabaseWithMutex-COL-10, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r049-oct2-155234405600777"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DatabaseWithMutex-COL-10.tgz
mv DatabaseWithMutex-COL-10 execution
cd execution
if [ "GlobalProperties" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "GlobalProperties" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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