About the Execution of LoLA for JoinFreeModules-PT-0050
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.070 | 2517231.00 | 5122236.00 | 6280.90 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/local/x2003239/mcc2019-input.r082-csrt-155246550200939.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off 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 JoinFreeModules-PT-0050, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r082-csrt-155246550200939
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 440K
-rw-r--r-- 1 mcc users 3.3K Feb 11 06:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 11 06:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 7 05:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 7 05:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 110 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 348 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 5 00:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 10K Feb 5 00:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.7K Feb 4 22:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 3 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 3 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Jan 31 06:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Jan 31 06:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 282K 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 JoinFreeModules-PT-0050-GlobalProperties-0
=== Now, execution of the tool begins
BK_START 1552685110684
info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ JoinFreeModules-PT-0050 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 1053
rslt: Output for GlobalProperties @ JoinFreeModules-PT-0050
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 place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 652/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 8032
lola: finding significant places
lola: 251 places, 401 transitions, 200 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: 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: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 1225 generators (68 in search tree, 1157 by composition)
lola: representing 3.04141E+64 symmetries
lola: 0 dead branches visited in search tree
lola: 11 tries, 10778488 fired transitions, 0 secs || 544480 markings, 887628 edges, 108896 markings/sec, 0 secs
lola: 22 tries, 21393466 fired transitions, 5 secs || 1087021 markings, 1772111 edges, 108508 markings/sec, 5 secs
lola: 34 tries, 33032151 fired transitions, 10 secs || 1639834 markings, 2673119 edges, 110563 markings/sec, 10 secs
lola: 45 tries, 44257357 fired transitions, 15 secs || 2202897 markings, 3591138 edges, 112613 markings/sec, 15 secs
lola: 56 tries, 55520756 fired transitions, 20 secs || 2779400 markings, 4531296 edges, 115301 markings/sec, 20 secs
lola: 67 tries, 66486342 fired transitions, 25 secs || 3345965 markings, 5454795 edges, 113313 markings/sec, 25 secs
lola: 78 tries, 77702886 fired transitions, 30 secs || 3909777 markings, 6373893 edges, 112762 markings/sec, 30 secs
lola: 90 tries, 89104567 fired transitions, 35 secs || 4474763 markings, 7295144 edges, 112997 markings/sec, 35 secs
lola: 101 tries, 100349387 fired transitions, 40 secs || 5034190 markings, 8206728 edges, 111885 markings/sec, 40 secs
lola: 111 tries, 110363949 fired transitions, 45 secs || 5564879 markings, 9072202 edges, 106138 markings/sec, 45 secs
lola: 121 tries, 120189116 fired transitions, 50 secs || 6094800 markings, 9935897 edges, 105984 markings/sec, 50 secs
lola: 130 tries, 129644492 fired transitions, 55 secs || 6624457 markings, 10799480 edges, 105931 markings/sec, 55 secs
lola: 141 tries, 140253210 fired transitions, 60 secs || 7183484 markings, 11710845 edges, 111805 markings/sec, 60 secs
lola: 152 tries, 151961098 fired transitions, 65 secs || 7735914 markings, 12611318 edges, 110486 markings/sec, 65 secs
lola: 163 tries, 162685017 fired transitions, 70 secs || 8286681 markings, 13508918 edges, 110153 markings/sec, 70 secs
lola: 173 tries, 172876202 fired transitions, 75 secs || 8861037 markings, 14446138 edges, 114871 markings/sec, 75 secs
lola: 184 tries, 183070926 fired transitions, 80 secs || 9418479 markings, 15354605 edges, 111488 markings/sec, 80 secs
lola: 194 tries, 193296166 fired transitions, 85 secs || 9941466 markings, 16207053 edges, 104597 markings/sec, 85 secs
lola: 204 tries, 203270251 fired transitions, 90 secs || 10444251 markings, 17027198 edges, 100557 markings/sec, 90 secs
lola: 213 tries, 212963159 fired transitions, 95 secs || 10973799 markings, 17890364 edges, 105910 markings/sec, 95 secs
lola: 225 tries, 224166805 fired transitions, 100 secs || 11552028 markings, 18832972 edges, 115646 markings/sec, 100 secs
lola: 237 tries, 236266446 fired transitions, 105 secs || 12174617 markings, 19847812 edges, 124518 markings/sec, 105 secs
lola: 249 tries, 248095124 fired transitions, 110 secs || 12811918 markings, 20887107 edges, 127460 markings/sec, 110 secs
lola: 261 tries, 260156359 fired transitions, 115 secs || 13453931 markings, 21933326 edges, 128403 markings/sec, 115 secs
lola: 271 tries, 270331592 fired transitions, 120 secs || 14025614 markings, 22865598 edges, 114337 markings/sec, 120 secs
lola: 281 tries, 280942532 fired transitions, 125 secs || 14589550 markings, 23784836 edges, 112787 markings/sec, 125 secs
lola: 293 tries, 292018920 fired transitions, 130 secs || 15133279 markings, 24671443 edges, 108746 markings/sec, 130 secs
lola: 304 tries, 303314682 fired transitions, 135 secs || 15715667 markings, 25620387 edges, 116478 markings/sec, 135 secs
lola: 316 tries, 315818877 fired transitions, 140 secs || 16306736 markings, 26584491 edges, 118214 markings/sec, 140 secs
lola: 329 tries, 328372160 fired transitions, 145 secs || 16934787 markings, 27608274 edges, 125610 markings/sec, 145 secs
lola: 341 tries, 340852857 fired transitions, 150 secs || 17577862 markings, 28656613 edges, 128615 markings/sec, 150 secs
lola: 354 tries, 353052614 fired transitions, 155 secs || 18180769 markings, 29639573 edges, 120581 markings/sec, 155 secs
lola: 365 tries, 364665785 fired transitions, 160 secs || 18791845 markings, 30635995 edges, 122215 markings/sec, 160 secs
lola: 377 tries, 376853843 fired transitions, 165 secs || 19414330 markings, 31651038 edges, 124497 markings/sec, 165 secs
lola: 389 tries, 388912897 fired transitions, 170 secs || 20046637 markings, 32681467 edges, 126461 markings/sec, 170 secs
lola: 401 tries, 400338830 fired transitions, 175 secs || 20670327 markings, 33698460 edges, 124738 markings/sec, 175 secs
lola: 413 tries, 412827744 fired transitions, 180 secs || 21294461 markings, 34715833 edges, 124827 markings/sec, 180 secs
lola: 426 tries, 425015940 fired transitions, 185 secs || 21927098 markings, 35747360 edges, 126527 markings/sec, 185 secs
lola: 437 tries, 436855832 fired transitions, 190 secs || 22559723 markings, 36778945 edges, 126525 markings/sec, 190 secs
lola: 449 tries, 448340044 fired transitions, 195 secs || 23191197 markings, 37808421 edges, 126295 markings/sec, 195 secs
lola: 460 tries, 459585606 fired transitions, 200 secs || 23783571 markings, 38773897 edges, 118475 markings/sec, 200 secs
lola: 471 tries, 470226519 fired transitions, 205 secs || 24363040 markings, 39718602 edges, 115894 markings/sec, 205 secs
lola: 483 tries, 482124790 fired transitions, 210 secs || 24987665 markings, 40736654 edges, 124925 markings/sec, 210 secs
lola: 494 tries, 493947719 fired transitions, 215 secs || 25596378 markings, 41729314 edges, 121743 markings/sec, 215 secs
lola: 505 tries, 504883794 fired transitions, 220 secs || 26183592 markings, 42686772 edges, 117443 markings/sec, 220 secs
lola: 517 tries, 516285791 fired transitions, 225 secs || 26797318 markings, 43687111 edges, 122745 markings/sec, 225 secs
lola: 528 tries, 527511365 fired transitions, 230 secs || 27392221 markings, 44656923 edges, 118981 markings/sec, 230 secs
lola: 539 tries, 538976624 fired transitions, 235 secs || 27975979 markings, 45608797 edges, 116752 markings/sec, 235 secs
lola: 550 tries, 549786061 fired transitions, 240 secs || 28502194 markings, 46466626 edges, 105243 markings/sec, 240 secs
lola: 561 tries, 560250877 fired transitions, 245 secs || 29042128 markings, 47346635 edges, 107987 markings/sec, 245 secs
lola: 572 tries, 571199184 fired transitions, 250 secs || 29649934 markings, 48337299 edges, 121561 markings/sec, 250 secs
lola: 584 tries, 583646342 fired transitions, 255 secs || 30275327 markings, 49357242 edges, 125079 markings/sec, 255 secs
lola: 596 tries, 595879873 fired transitions, 260 secs || 30896090 markings, 50369421 edges, 124153 markings/sec, 260 secs
lola: 609 tries, 608154513 fired transitions, 265 secs || 31516406 markings, 51380244 edges, 124063 markings/sec, 265 secs
lola: 619 tries, 618945771 fired transitions, 270 secs || 32094429 markings, 52322972 edges, 115605 markings/sec, 270 secs
lola: 631 tries, 630843326 fired transitions, 275 secs || 32706662 markings, 53320947 edges, 122447 markings/sec, 275 secs
lola: 643 tries, 642418190 fired transitions, 280 secs || 33315043 markings, 54312553 edges, 121676 markings/sec, 280 secs
lola: 655 tries, 654679928 fired transitions, 285 secs || 33930240 markings, 55315964 edges, 123039 markings/sec, 285 secs
lola: 667 tries, 666588615 fired transitions, 290 secs || 34548592 markings, 56324082 edges, 123670 markings/sec, 290 secs
lola: 679 tries, 678923944 fired transitions, 295 secs || 35165369 markings, 57329131 edges, 123355 markings/sec, 295 secs
lola: 691 tries, 690315624 fired transitions, 300 secs || 35781314 markings, 58333899 edges, 123189 markings/sec, 300 secs
lola: 702 tries, 701895298 fired transitions, 305 secs || 36374480 markings, 59300729 edges, 118633 markings/sec, 305 secs
lola: 714 tries, 713106394 fired transitions, 310 secs || 36939913 markings, 60222454 edges, 113087 markings/sec, 310 secs
lola: 725 tries, 724791045 fired transitions, 315 secs || 37531880 markings, 61187784 edges, 118393 markings/sec, 315 secs
lola: 736 tries, 735886030 fired transitions, 320 secs || 38121779 markings, 62149385 edges, 117980 markings/sec, 320 secs
lola: 748 tries, 747593325 fired transitions, 325 secs || 38718579 markings, 63122386 edges, 119360 markings/sec, 325 secs
lola: 759 tries, 758762772 fired transitions, 330 secs || 39313353 markings, 64091915 edges, 118955 markings/sec, 330 secs
lola: 771 tries, 770511156 fired transitions, 335 secs || 39912922 markings, 65069332 edges, 119914 markings/sec, 335 secs
lola: 783 tries, 782772256 fired transitions, 340 secs || 40533246 markings, 66080760 edges, 124065 markings/sec, 340 secs
lola: 794 tries, 793380263 fired transitions, 345 secs || 41082508 markings, 66975940 edges, 109852 markings/sec, 345 secs
lola: 805 tries, 804748784 fired transitions, 350 secs || 41689610 markings, 67966123 edges, 121420 markings/sec, 350 secs
lola: 816 tries, 815478842 fired transitions, 355 secs || 42265753 markings, 68905152 edges, 115229 markings/sec, 355 secs
lola: 827 tries, 826008882 fired transitions, 360 secs || 42831454 markings, 69827528 edges, 113140 markings/sec, 360 secs
lola: 838 tries, 837180254 fired transitions, 365 secs || 43398203 markings, 70751525 edges, 113350 markings/sec, 365 secs
lola: 850 tries, 849112388 fired transitions, 370 secs || 44000189 markings, 71732913 edges, 120397 markings/sec, 370 secs
lola: 860 tries, 859639186 fired transitions, 375 secs || 44569933 markings, 72661732 edges, 113949 markings/sec, 375 secs
lola: 871 tries, 870070877 fired transitions, 380 secs || 45142231 markings, 73594769 edges, 114460 markings/sec, 380 secs
lola: 881 tries, 880937436 fired transitions, 385 secs || 45724597 markings, 74544343 edges, 116473 markings/sec, 385 secs
lola: 892 tries, 891963931 fired transitions, 390 secs || 46325793 markings, 75524022 edges, 120239 markings/sec, 390 secs
lola: 903 tries, 902853886 fired transitions, 395 secs || 46894337 markings, 76450717 edges, 113709 markings/sec, 395 secs
lola: 914 tries, 913914044 fired transitions, 400 secs || 47462510 markings, 77377569 edges, 113635 markings/sec, 400 secs
lola: 925 tries, 924657976 fired transitions, 405 secs || 48037778 markings, 78315343 edges, 115054 markings/sec, 405 secs
lola: 936 tries, 935262275 fired transitions, 410 secs || 48594140 markings, 79222336 edges, 111272 markings/sec, 410 secs
lola: 946 tries, 945606035 fired transitions, 415 secs || 49147552 markings, 80124176 edges, 110682 markings/sec, 415 secs
lola: 958 tries, 957295674 fired transitions, 420 secs || 49771392 markings, 81141316 edges, 124768 markings/sec, 420 secs
lola: 969 tries, 968603322 fired transitions, 425 secs || 50399896 markings, 82166173 edges, 125701 markings/sec, 425 secs
lola: 981 tries, 980623236 fired transitions, 430 secs || 51033111 markings, 83198255 edges, 126643 markings/sec, 430 secs
lola: 993 tries, 992608419 fired transitions, 435 secs || 51666510 markings, 84230836 edges, 126680 markings/sec, 435 secs
lola: 1005 tries, 1004923246 fired transitions, 440 secs || 52292029 markings, 85250804 edges, 125104 markings/sec, 440 secs
lola: 1018 tries, 1017009619 fired transitions, 445 secs || 52909085 markings, 86256817 edges, 123411 markings/sec, 445 secs
lola: 1029 tries, 1028668621 fired transitions, 450 secs || 53527183 markings, 87264513 edges, 123620 markings/sec, 450 secs
lola: 1040 tries, 1039775910 fired transitions, 455 secs || 54117968 markings, 88227517 edges, 118157 markings/sec, 455 secs
lola: 1050 tries, 1049676466 fired transitions, 460 secs || 54625129 markings, 89054444 edges, 101432 markings/sec, 460 secs
lola: 1059 tries, 1058903244 fired transitions, 465 secs || 55132434 markings, 89881527 edges, 101461 markings/sec, 465 secs
lola: 1069 tries, 1068292011 fired transitions, 470 secs || 55638934 markings, 90707381 edges, 101300 markings/sec, 470 secs
lola: 1078 tries, 1077907963 fired transitions, 475 secs || 56173454 markings, 91578613 edges, 106904 markings/sec, 475 secs
lola: 1089 tries, 1088281206 fired transitions, 480 secs || 56708826 markings, 92451418 edges, 107074 markings/sec, 480 secs
lola: 1099 tries, 1098940727 fired transitions, 485 secs || 57291479 markings, 93401200 edges, 116531 markings/sec, 485 secs
lola: 1110 tries, 1109952263 fired transitions, 490 secs || 57867147 markings, 94339925 edges, 115134 markings/sec, 490 secs
lola: 1122 tries, 1121511020 fired transitions, 495 secs || 58443855 markings, 95280007 edges, 115342 markings/sec, 495 secs
lola: 1133 tries, 1132361039 fired transitions, 500 secs || 59021512 markings, 96221986 edges, 115531 markings/sec, 500 secs
lola: 1144 tries, 1143294834 fired transitions, 505 secs || 59594860 markings, 97156654 edges, 114670 markings/sec, 505 secs
lola: 1154 tries, 1153703072 fired transitions, 510 secs || 60166407 markings, 98088159 edges, 114309 markings/sec, 510 secs
lola: 1165 tries, 1164575942 fired transitions, 515 secs || 60758037 markings, 99052857 edges, 118326 markings/sec, 515 secs
lola: 1176 tries, 1175357433 fired transitions, 520 secs || 61326601 markings, 99979814 edges, 113713 markings/sec, 520 secs
lola: 1186 tries, 1185502048 fired transitions, 525 secs || 61892525 markings, 100902320 edges, 113185 markings/sec, 525 secs
lola: 1196 tries, 1195823950 fired transitions, 530 secs || 62456933 markings, 101822137 edges, 112882 markings/sec, 530 secs
lola: 1207 tries, 1206490945 fired transitions, 535 secs || 63039475 markings, 102772096 edges, 116508 markings/sec, 535 secs
lola: 1218 tries, 1217957070 fired transitions, 540 secs || 63642572 markings, 103755584 edges, 120619 markings/sec, 540 secs
lola: 1230 tries, 1229244641 fired transitions, 545 secs || 64246473 markings, 104740196 edges, 120780 markings/sec, 545 secs
lola: 1241 tries, 1240449216 fired transitions, 550 secs || 64838364 markings, 105704730 edges, 118378 markings/sec, 550 secs
lola: 1252 tries, 1251745863 fired transitions, 555 secs || 65424755 markings, 106660892 edges, 117278 markings/sec, 555 secs
lola: 1263 tries, 1262979304 fired transitions, 560 secs || 66021370 markings, 107633313 edges, 119323 markings/sec, 560 secs
lola: 1275 tries, 1274338699 fired transitions, 565 secs || 66612385 markings, 108596816 edges, 118203 markings/sec, 565 secs
lola: 1286 tries, 1285487449 fired transitions, 570 secs || 67221546 markings, 109590321 edges, 121832 markings/sec, 570 secs
lola: 1298 tries, 1297627646 fired transitions, 575 secs || 67834779 markings, 110590307 edges, 122647 markings/sec, 575 secs
lola: 1309 tries, 1308916097 fired transitions, 580 secs || 68461365 markings, 111611942 edges, 125317 markings/sec, 580 secs
lola: 1321 tries, 1320974131 fired transitions, 585 secs || 69073145 markings, 112609327 edges, 122356 markings/sec, 585 secs
lola: 1333 tries, 1332662800 fired transitions, 590 secs || 69685022 markings, 113606657 edges, 122375 markings/sec, 590 secs
lola: 1344 tries, 1343854125 fired transitions, 595 secs || 70307412 markings, 114621448 edges, 124478 markings/sec, 595 secs
lola: 1356 tries, 1355061371 fired transitions, 600 secs || 70928145 markings, 115633399 edges, 124147 markings/sec, 600 secs
lola: 1367 tries, 1366056991 fired transitions, 605 secs || 71549820 markings, 116646888 edges, 124335 markings/sec, 605 secs
lola: 1378 tries, 1377311195 fired transitions, 610 secs || 72163477 markings, 117647112 edges, 122731 markings/sec, 610 secs
lola: 1389 tries, 1388536537 fired transitions, 615 secs || 72769089 markings, 118634656 edges, 121122 markings/sec, 615 secs
lola: 1400 tries, 1399569587 fired transitions, 620 secs || 73385159 markings, 119639080 edges, 123214 markings/sec, 620 secs
lola: 1411 tries, 1410726400 fired transitions, 625 secs || 73999494 markings, 120640933 edges, 122867 markings/sec, 625 secs
lola: 1423 tries, 1422007441 fired transitions, 630 secs || 74628577 markings, 121666675 edges, 125817 markings/sec, 630 secs
lola: 1434 tries, 1433530451 fired transitions, 635 secs || 75249068 markings, 122677683 edges, 124098 markings/sec, 635 secs
lola: 1445 tries, 1444105188 fired transitions, 640 secs || 75846600 markings, 123652044 edges, 119506 markings/sec, 640 secs
lola: 1456 tries, 1455077197 fired transitions, 645 secs || 76441098 markings, 124621509 edges, 118900 markings/sec, 645 secs
lola: 1466 tries, 1465916603 fired transitions, 650 secs || 77039306 markings, 125596613 edges, 119642 markings/sec, 650 secs
lola: 1478 tries, 1477169335 fired transitions, 655 secs || 77638115 markings, 126572520 edges, 119762 markings/sec, 655 secs
lola: 1488 tries, 1487950727 fired transitions, 660 secs || 78232383 markings, 127541744 edges, 118854 markings/sec, 660 secs
lola: 1500 tries, 1499105134 fired transitions, 665 secs || 78829681 markings, 128515517 edges, 119460 markings/sec, 665 secs
lola: 1511 tries, 1510649345 fired transitions, 670 secs || 79428094 markings, 129491278 edges, 119683 markings/sec, 670 secs
lola: 1523 tries, 1522634007 fired transitions, 675 secs || 80031510 markings, 130474964 edges, 120683 markings/sec, 675 secs
lola: 1533 tries, 1532950280 fired transitions, 680 secs || 80603977 markings, 131408595 edges, 114493 markings/sec, 680 secs
lola: 1543 tries, 1542917162 fired transitions, 685 secs || 81165947 markings, 132324869 edges, 112394 markings/sec, 685 secs
lola: 1553 tries, 1552345864 fired transitions, 690 secs || 81671383 markings, 133148522 edges, 101087 markings/sec, 690 secs
lola: 1563 tries, 1562331647 fired transitions, 695 secs || 82205068 markings, 134018458 edges, 106737 markings/sec, 695 secs
lola: 1573 tries, 1572867849 fired transitions, 700 secs || 82783365 markings, 134961457 edges, 115659 markings/sec, 700 secs
lola: 1585 tries, 1584509279 fired transitions, 705 secs || 83408965 markings, 135981309 edges, 125120 markings/sec, 705 secs
lola: 1597 tries, 1596211135 fired transitions, 710 secs || 84035241 markings, 137002464 edges, 125255 markings/sec, 710 secs
lola: 1608 tries, 1607659398 fired transitions, 715 secs || 84652649 markings, 138008809 edges, 123482 markings/sec, 715 secs
lola: 1619 tries, 1618310019 fired transitions, 720 secs || 85265562 markings, 139008238 edges, 122583 markings/sec, 720 secs
lola: 1630 tries, 1629273705 fired transitions, 725 secs || 85854715 markings, 139968702 edges, 117831 markings/sec, 725 secs
lola: 1641 tries, 1640802055 fired transitions, 730 secs || 86464487 markings, 140962829 edges, 121954 markings/sec, 730 secs
lola: 1653 tries, 1652278077 fired transitions, 735 secs || 87080183 markings, 141966655 edges, 123139 markings/sec, 735 secs
lola: 1665 tries, 1664049311 fired transitions, 740 secs || 87693213 markings, 142966208 edges, 122606 markings/sec, 740 secs
lola: 1676 tries, 1675747293 fired transitions, 745 secs || 88303982 markings, 143961714 edges, 122154 markings/sec, 745 secs
lola: 1688 tries, 1687482160 fired transitions, 750 secs || 88924972 markings, 144974124 edges, 124198 markings/sec, 750 secs
lola: 1699 tries, 1698906785 fired transitions, 755 secs || 89544546 markings, 145984067 edges, 123915 markings/sec, 755 secs
lola: 1711 tries, 1710916163 fired transitions, 760 secs || 90168210 markings, 147001034 edges, 124733 markings/sec, 760 secs
lola: 1724 tries, 1723128344 fired transitions, 765 secs || 90797284 markings, 148026529 edges, 125815 markings/sec, 765 secs
lola: 1735 tries, 1734825580 fired transitions, 770 secs || 91416916 markings, 149036793 edges, 123926 markings/sec, 770 secs
lola: 1747 tries, 1746492995 fired transitions, 775 secs || 92032744 markings, 150041097 edges, 123166 markings/sec, 775 secs
lola: 1759 tries, 1758817508 fired transitions, 780 secs || 92641891 markings, 151034232 edges, 121829 markings/sec, 780 secs
lola: 1771 tries, 1770213660 fired transitions, 785 secs || 93251456 markings, 152027663 edges, 121913 markings/sec, 785 secs
lola: 1783 tries, 1782049624 fired transitions, 790 secs || 93872097 markings, 153039759 edges, 124128 markings/sec, 790 secs
lola: 1793 tries, 1792977131 fired transitions, 795 secs || 94486299 markings, 154040938 edges, 122840 markings/sec, 795 secs
lola: 1804 tries, 1803203071 fired transitions, 800 secs || 95021536 markings, 154913614 edges, 107047 markings/sec, 800 secs
lola: 1814 tries, 1813304170 fired transitions, 805 secs || 95529638 markings, 155742065 edges, 101620 markings/sec, 805 secs
lola: 1824 tries, 1823560242 fired transitions, 810 secs || 96025392 markings, 156550537 edges, 99151 markings/sec, 810 secs
lola: 1834 tries, 1833589159 fired transitions, 815 secs || 96557096 markings, 157416992 edges, 106341 markings/sec, 815 secs
lola: 1843 tries, 1842831078 fired transitions, 820 secs || 97063136 markings, 158242044 edges, 101208 markings/sec, 820 secs
lola: 1853 tries, 1852152813 fired transitions, 825 secs || 97555011 markings, 159043944 edges, 98375 markings/sec, 825 secs
lola: 1863 tries, 1862007103 fired transitions, 830 secs || 98045377 markings, 159843637 edges, 98073 markings/sec, 830 secs
lola: 1873 tries, 1872799132 fired transitions, 835 secs || 98577733 markings, 160711419 edges, 106471 markings/sec, 835 secs
lola: 1883 tries, 1882952850 fired transitions, 840 secs || 99130642 markings, 161613178 edges, 110582 markings/sec, 840 secs
lola: 1894 tries, 1893592585 fired transitions, 845 secs || 99687567 markings, 162521166 edges, 111385 markings/sec, 845 secs
lola: 1904 tries, 1903897186 fired transitions, 850 secs || 100244496 markings, 163428715 edges, 111386 markings/sec, 850 secs
lola: 1915 tries, 1914993524 fired transitions, 855 secs || 100801906 markings, 164337580 edges, 111482 markings/sec, 855 secs
lola: 1926 tries, 1925238951 fired transitions, 860 secs || 101358811 markings, 165245148 edges, 111381 markings/sec, 860 secs
lola: 1937 tries, 1936769815 fired transitions, 865 secs || 101911132 markings, 166146014 edges, 110464 markings/sec, 865 secs
lola: 1948 tries, 1947493909 fired transitions, 870 secs || 102464064 markings, 167047368 edges, 110586 markings/sec, 870 secs
lola: 1958 tries, 1957668047 fired transitions, 875 secs || 103020119 markings, 167953903 edges, 111211 markings/sec, 875 secs
lola: 1968 tries, 1967912234 fired transitions, 880 secs || 103570172 markings, 168850662 edges, 110011 markings/sec, 880 secs
lola: 1979 tries, 1978569261 fired transitions, 885 secs || 104154604 markings, 169803127 edges, 116886 markings/sec, 885 secs
lola: 1989 tries, 1988817084 fired transitions, 890 secs || 104710794 markings, 170710289 edges, 111238 markings/sec, 890 secs
lola: 2001 tries, 2000062894 fired transitions, 895 secs || 105308333 markings, 171684591 edges, 119508 markings/sec, 895 secs
lola: 2012 tries, 2011019293 fired transitions, 900 secs || 105905845 markings, 172658963 edges, 119502 markings/sec, 900 secs
lola: 2023 tries, 2022726232 fired transitions, 905 secs || 106516190 markings, 173653696 edges, 122069 markings/sec, 905 secs
lola: 2034 tries, 2033786376 fired transitions, 910 secs || 107122963 markings, 174642939 edges, 121355 markings/sec, 910 secs
lola: 2045 tries, 2044086189 fired transitions, 915 secs || 107696570 markings, 175578151 edges, 114721 markings/sec, 915 secs
lola: 2056 tries, 2055265146 fired transitions, 920 secs || 108247311 markings, 176475933 edges, 110148 markings/sec, 920 secs
lola: 2065 tries, 2064880191 fired transitions, 925 secs || 108789181 markings, 177359377 edges, 108374 markings/sec, 925 secs
lola: 2075 tries, 2074671715 fired transitions, 930 secs || 109316623 markings, 178219452 edges, 105488 markings/sec, 930 secs
lola: 2085 tries, 2084572318 fired transitions, 935 secs || 109823801 markings, 179046247 edges, 101436 markings/sec, 935 secs
lola: 2096 tries, 2095191594 fired transitions, 940 secs || 110374368 markings, 179943616 edges, 110113 markings/sec, 940 secs
lola: 2105 tries, 2104298039 fired transitions, 945 secs || 110889380 markings, 180783376 edges, 103002 markings/sec, 945 secs
lola: 2113 tries, 2112879441 fired transitions, 950 secs || 111404411 markings, 181623436 edges, 103006 markings/sec, 950 secs
lola: 2122 tries, 2121746902 fired transitions, 955 secs || 111922166 markings, 182467548 edges, 103551 markings/sec, 955 secs
lola: 2132 tries, 2131123847 fired transitions, 960 secs || 112447692 markings, 183324044 edges, 105105 markings/sec, 960 secs
lola: 2141 tries, 2140450891 fired transitions, 965 secs || 112955097 markings, 184151080 edges, 101481 markings/sec, 965 secs
lola: 2150 tries, 2149692915 fired transitions, 970 secs || 113480565 markings, 185007526 edges, 105094 markings/sec, 970 secs
lola: 2160 tries, 2159812775 fired transitions, 975 secs || 114003830 markings, 185860819 edges, 104653 markings/sec, 975 secs
lola: 2170 tries, 2169533992 fired transitions, 980 secs || 114498922 markings, 186667929 edges, 99018 markings/sec, 980 secs
lola: 2180 tries, 2179783368 fired transitions, 985 secs || 115020521 markings, 187518556 edges, 104320 markings/sec, 985 secs
lola: 2190 tries, 2189820663 fired transitions, 990 secs || 115590114 markings, 188447142 edges, 113919 markings/sec, 990 secs
lola: 2201 tries, 2200977318 fired transitions, 995 secs || 116163966 markings, 189382313 edges, 114770 markings/sec, 995 secs
lola: 2212 tries, 2211907328 fired transitions, 1000 secs || 116701493 markings, 190258804 edges, 107505 markings/sec, 1000 secs
lola: 2224 tries, 2223157647 fired transitions, 1005 secs || 117270865 markings, 191187786 edges, 113874 markings/sec, 1005 secs
lola: 2235 tries, 2234061278 fired transitions, 1010 secs || 117836722 markings, 192110138 edges, 113171 markings/sec, 1010 secs
lola: 2246 tries, 2245277522 fired transitions, 1015 secs || 118423537 markings, 193066722 edges, 117363 markings/sec, 1015 secs
lola: 2256 tries, 2255701053 fired transitions, 1020 secs || 118999612 markings, 194005887 edges, 115215 markings/sec, 1020 secs
lola: 2266 tries, 2265756202 fired transitions, 1025 secs || 119540287 markings, 194887402 edges, 108135 markings/sec, 1025 secs
lola: 2276 tries, 2275280021 fired transitions, 1030 secs || 120049990 markings, 195718239 edges, 101941 markings/sec, 1030 secs
lola: 2285 tries, 2284934215 fired transitions, 1035 secs || 120575237 markings, 196574404 edges, 105049 markings/sec, 1035 secs
lola: 2295 tries, 2294964180 fired transitions, 1040 secs || 121150915 markings, 197513059 edges, 115136 markings/sec, 1040 secs
lola: 2305 tries, 2304589266 fired transitions, 1045 secs || 121654729 markings, 198334693 edges, 100763 markings/sec, 1045 secs
lola: 2316 tries, 2315148298 fired transitions, 1050 secs || 122171656 markings, 199177354 edges, 103385 markings/sec, 1050 secs
lola: 2326 tries, 2325378900 fired transitions, 1055 secs || 122702610 markings, 200042746 edges, 106191 markings/sec, 1055 secs
lola: 2337 tries, 2336150883 fired transitions, 1060 secs || 123218986 markings, 200884615 edges, 103275 markings/sec, 1060 secs
lola: 2348 tries, 2347942507 fired transitions, 1065 secs || 123749510 markings, 201749441 edges, 106105 markings/sec, 1065 secs
lola: 2359 tries, 2358227598 fired transitions, 1070 secs || 124274862 markings, 202605970 edges, 105070 markings/sec, 1070 secs
lola: 2369 tries, 2368806253 fired transitions, 1075 secs || 124798963 markings, 203460543 edges, 104820 markings/sec, 1075 secs
lola: 2380 tries, 2379560100 fired transitions, 1080 secs || 125346239 markings, 204352972 edges, 109455 markings/sec, 1080 secs
lola: 2391 tries, 2390496804 fired transitions, 1085 secs || 125886463 markings, 205233607 edges, 108045 markings/sec, 1085 secs
lola: 2402 tries, 2401083739 fired transitions, 1090 secs || 126418827 markings, 206101406 edges, 106473 markings/sec, 1090 secs
lola: 2412 tries, 2411223059 fired transitions, 1095 secs || 126952296 markings, 206971150 edges, 106694 markings/sec, 1095 secs
lola: 2422 tries, 2421503918 fired transitions, 1100 secs || 127495624 markings, 207856793 edges, 108666 markings/sec, 1100 secs
lola: 2432 tries, 2431705292 fired transitions, 1105 secs || 128039819 markings, 208744240 edges, 108839 markings/sec, 1105 secs
lola: 2442 tries, 2441788385 fired transitions, 1110 secs || 128575002 markings, 209616607 edges, 107037 markings/sec, 1110 secs
lola: 2452 tries, 2451675243 fired transitions, 1115 secs || 129121337 markings, 210507299 edges, 109267 markings/sec, 1115 secs
lola: 2463 tries, 2462150783 fired transitions, 1120 secs || 129671678 markings, 211404367 edges, 110068 markings/sec, 1120 secs
lola: 2473 tries, 2472901481 fired transitions, 1125 secs || 130216578 markings, 212292641 edges, 108980 markings/sec, 1125 secs
lola: 2484 tries, 2483489565 fired transitions, 1130 secs || 130759386 markings, 213177520 edges, 108562 markings/sec, 1130 secs
lola: 2494 tries, 2493927883 fired transitions, 1135 secs || 131297957 markings, 214055430 edges, 107714 markings/sec, 1135 secs
lola: 2505 tries, 2504191723 fired transitions, 1140 secs || 131838157 markings, 214936092 edges, 108040 markings/sec, 1140 secs
lola: 2515 tries, 2514365913 fired transitions, 1145 secs || 132378549 markings, 215817428 edges, 108078 markings/sec, 1145 secs
lola: 2525 tries, 2524738421 fired transitions, 1150 secs || 132912011 markings, 216687012 edges, 106692 markings/sec, 1150 secs
lola: 2536 tries, 2535229189 fired transitions, 1155 secs || 133472574 markings, 217601051 edges, 112113 markings/sec, 1155 secs
lola: 2547 tries, 2546704548 fired transitions, 1160 secs || 134090950 markings, 218609363 edges, 123675 markings/sec, 1160 secs
lola: 2558 tries, 2557008621 fired transitions, 1165 secs || 134663034 markings, 219541849 edges, 114417 markings/sec, 1165 secs
lola: 2568 tries, 2567625571 fired transitions, 1170 secs || 135208757 markings, 220431289 edges, 109145 markings/sec, 1170 secs
lola: 2578 tries, 2577766390 fired transitions, 1175 secs || 135757856 markings, 221326409 edges, 109820 markings/sec, 1175 secs
lola: 2588 tries, 2587857832 fired transitions, 1180 secs || 136307583 markings, 222223070 edges, 109945 markings/sec, 1180 secs
lola: 2598 tries, 2597992768 fired transitions, 1185 secs || 136852166 markings, 223111023 edges, 108917 markings/sec, 1185 secs
lola: 2609 tries, 2608141056 fired transitions, 1190 secs || 137398516 markings, 224001201 edges, 109270 markings/sec, 1190 secs
lola: 2619 tries, 2618838308 fired transitions, 1195 secs || 137946488 markings, 224894943 edges, 109594 markings/sec, 1195 secs
lola: 2631 tries, 2630236525 fired transitions, 1200 secs || 138546203 markings, 225872499 edges, 119943 markings/sec, 1200 secs
lola: 2642 tries, 2641567493 fired transitions, 1205 secs || 139147113 markings, 226851826 edges, 120182 markings/sec, 1205 secs
lola: 2653 tries, 2652576493 fired transitions, 1210 secs || 139726926 markings, 227797404 edges, 115963 markings/sec, 1210 secs
lola: 2663 tries, 2662711300 fired transitions, 1215 secs || 140302403 markings, 228735782 edges, 115095 markings/sec, 1215 secs
lola: 2674 tries, 2673974842 fired transitions, 1220 secs || 140874960 markings, 229668880 edges, 114511 markings/sec, 1220 secs
lola: 2686 tries, 2685664651 fired transitions, 1225 secs || 141455303 markings, 230614979 edges, 116069 markings/sec, 1225 secs
lola: 2697 tries, 2696543595 fired transitions, 1230 secs || 142060007 markings, 231600965 edges, 120941 markings/sec, 1230 secs
lola: 2708 tries, 2707308773 fired transitions, 1235 secs || 142659348 markings, 232578115 edges, 119868 markings/sec, 1235 secs
lola: 2719 tries, 2718763506 fired transitions, 1240 secs || 143261069 markings, 233558994 edges, 120344 markings/sec, 1240 secs
lola: 2731 tries, 2730388938 fired transitions, 1245 secs || 143835104 markings, 234494385 edges, 114807 markings/sec, 1245 secs
lola: 2741 tries, 2740611437 fired transitions, 1250 secs || 144383778 markings, 235389575 edges, 109735 markings/sec, 1250 secs
lola: 2752 tries, 2751470459 fired transitions, 1255 secs || 144917179 markings, 236259018 edges, 106680 markings/sec, 1255 secs
lola: 2762 tries, 2761475502 fired transitions, 1260 secs || 145458660 markings, 237141855 edges, 108296 markings/sec, 1260 secs
lola: 2773 tries, 2772238531 fired transitions, 1265 secs || 145999483 markings, 238023365 edges, 108165 markings/sec, 1265 secs
lola: 2783 tries, 2782745272 fired transitions, 1270 secs || 146545672 markings, 238913961 edges, 109238 markings/sec, 1270 secs
lola: 2793 tries, 2792447846 fired transitions, 1275 secs || 147090453 markings, 239801910 edges, 108956 markings/sec, 1275 secs
lola: 2803 tries, 2802814350 fired transitions, 1280 secs || 147631922 markings, 240684927 edges, 108294 markings/sec, 1280 secs
lola: 2813 tries, 2812932951 fired transitions, 1285 secs || 148170468 markings, 241562591 edges, 107709 markings/sec, 1285 secs
lola: 2824 tries, 2823587290 fired transitions, 1290 secs || 148711176 markings, 242444147 edges, 108142 markings/sec, 1290 secs
lola: 2835 tries, 2834256852 fired transitions, 1295 secs || 149234913 markings, 243297819 edges, 104747 markings/sec, 1295 secs
lola: 2845 tries, 2844781363 fired transitions, 1300 secs || 149765867 markings, 244163465 edges, 106191 markings/sec, 1300 secs
lola: 2857 tries, 2856041176 fired transitions, 1305 secs || 150275126 markings, 244994151 edges, 101852 markings/sec, 1305 secs
lola: 2867 tries, 2866885549 fired transitions, 1310 secs || 150824212 markings, 245889281 edges, 109817 markings/sec, 1310 secs
lola: 2878 tries, 2877721097 fired transitions, 1315 secs || 151368591 markings, 246776551 edges, 108876 markings/sec, 1315 secs
lola: 2888 tries, 2887709301 fired transitions, 1320 secs || 151927739 markings, 247688269 edges, 111830 markings/sec, 1320 secs
lola: 2900 tries, 2899090020 fired transitions, 1325 secs || 152526581 markings, 248664714 edges, 119768 markings/sec, 1325 secs
lola: 2912 tries, 2911125459 fired transitions, 1330 secs || 153132505 markings, 249652412 edges, 121185 markings/sec, 1330 secs
lola: 2923 tries, 2922912431 fired transitions, 1335 secs || 153748011 markings, 250655806 edges, 123101 markings/sec, 1335 secs
lola: 2935 tries, 2934799264 fired transitions, 1340 secs || 154356180 markings, 251647386 edges, 121634 markings/sec, 1340 secs
lola: 2946 tries, 2945970717 fired transitions, 1345 secs || 154973673 markings, 252654146 edges, 123499 markings/sec, 1345 secs
lola: 2958 tries, 2957873872 fired transitions, 1350 secs || 155585327 markings, 253651213 edges, 122331 markings/sec, 1350 secs
lola: 2970 tries, 2969988568 fired transitions, 1355 secs || 156193936 markings, 254643538 edges, 121722 markings/sec, 1355 secs
lola: 2981 tries, 2980495485 fired transitions, 1360 secs || 156748539 markings, 255547642 edges, 110921 markings/sec, 1360 secs
lola: 2992 tries, 2991164913 fired transitions, 1365 secs || 157284950 markings, 256422077 edges, 107282 markings/sec, 1365 secs
lola: 3002 tries, 3001869124 fired transitions, 1370 secs || 157819539 markings, 257293443 edges, 106918 markings/sec, 1370 secs
lola: 3013 tries, 3012281435 fired transitions, 1375 secs || 158349886 markings, 258158008 edges, 106069 markings/sec, 1375 secs
lola: 3023 tries, 3022708644 fired transitions, 1380 secs || 158915768 markings, 259080826 edges, 113176 markings/sec, 1380 secs
lola: 3034 tries, 3033834401 fired transitions, 1385 secs || 159468364 markings, 259981329 edges, 110519 markings/sec, 1385 secs
lola: 3044 tries, 3043900271 fired transitions, 1390 secs || 160007546 markings, 260860927 edges, 107836 markings/sec, 1390 secs
lola: 3055 tries, 3054049187 fired transitions, 1395 secs || 160551628 markings, 261747808 edges, 108816 markings/sec, 1395 secs
lola: 3065 tries, 3064297025 fired transitions, 1400 secs || 161095579 markings, 262634674 edges, 108790 markings/sec, 1400 secs
lola: 3076 tries, 3075005584 fired transitions, 1405 secs || 161635145 markings, 263514032 edges, 107913 markings/sec, 1405 secs
lola: 3086 tries, 3085689536 fired transitions, 1410 secs || 162182479 markings, 264406497 edges, 109467 markings/sec, 1410 secs
lola: 3097 tries, 3096482431 fired transitions, 1415 secs || 162725848 markings, 265292187 edges, 108674 markings/sec, 1415 secs
lola: 3107 tries, 3106832735 fired transitions, 1420 secs || 163265432 markings, 266172200 edges, 107917 markings/sec, 1420 secs
lola: 3118 tries, 3117029657 fired transitions, 1425 secs || 163806877 markings, 267054766 edges, 108289 markings/sec, 1425 secs
lola: 3128 tries, 3127658274 fired transitions, 1430 secs || 164355434 markings, 267948949 edges, 109711 markings/sec, 1430 secs
lola: 3139 tries, 3138410250 fired transitions, 1435 secs || 164908584 markings, 268850582 edges, 110630 markings/sec, 1435 secs
lola: 3149 tries, 3148891027 fired transitions, 1440 secs || 165444587 markings, 269724554 edges, 107201 markings/sec, 1440 secs
lola: 3161 tries, 3160012651 fired transitions, 1445 secs || 165985827 markings, 270606819 edges, 108248 markings/sec, 1445 secs
lola: 3171 tries, 3170636496 fired transitions, 1450 secs || 166514974 markings, 271469461 edges, 105829 markings/sec, 1450 secs
lola: 3181 tries, 3180887840 fired transitions, 1455 secs || 167057460 markings, 272354168 edges, 108497 markings/sec, 1455 secs
lola: 3192 tries, 3191356213 fired transitions, 1460 secs || 167592499 markings, 273226086 edges, 107008 markings/sec, 1460 secs
lola: 3202 tries, 3201717438 fired transitions, 1465 secs || 168136005 markings, 274112601 edges, 108701 markings/sec, 1465 secs
lola: 3213 tries, 3212181403 fired transitions, 1470 secs || 168669574 markings, 274982047 edges, 106714 markings/sec, 1470 secs
lola: 3223 tries, 3222807773 fired transitions, 1475 secs || 169201666 markings, 275849929 edges, 106418 markings/sec, 1475 secs
lola: 3233 tries, 3232733933 fired transitions, 1480 secs || 169740679 markings, 276728481 edges, 107803 markings/sec, 1480 secs
lola: 3244 tries, 3243192071 fired transitions, 1485 secs || 170273134 markings, 277596596 edges, 106491 markings/sec, 1485 secs
lola: 3254 tries, 3253969238 fired transitions, 1490 secs || 170814219 markings, 278478450 edges, 108217 markings/sec, 1490 secs
lola: 3266 tries, 3265281045 fired transitions, 1495 secs || 171389020 markings, 279415621 edges, 114960 markings/sec, 1495 secs
lola: 3276 tries, 3275930157 fired transitions, 1500 secs || 171927685 markings, 280293653 edges, 107733 markings/sec, 1500 secs
lola: 3287 tries, 3286570975 fired transitions, 1505 secs || 172471515 markings, 281180417 edges, 108766 markings/sec, 1505 secs
lola: 3298 tries, 3297310043 fired transitions, 1510 secs || 173009335 markings, 282057096 edges, 107564 markings/sec, 1510 secs
lola: 3309 tries, 3308071109 fired transitions, 1515 secs || 173526809 markings, 282900721 edges, 103495 markings/sec, 1515 secs
lola: 3319 tries, 3318249707 fired transitions, 1520 secs || 174021056 markings, 283706683 edges, 98849 markings/sec, 1520 secs
lola: 3329 tries, 3328565982 fired transitions, 1525 secs || 174515193 markings, 284512265 edges, 98827 markings/sec, 1525 secs
lola: 3339 tries, 3338439850 fired transitions, 1530 secs || 175025502 markings, 285343836 edges, 102062 markings/sec, 1530 secs
lola: 3350 tries, 3349551182 fired transitions, 1535 secs || 175586092 markings, 286258160 edges, 112118 markings/sec, 1535 secs
lola: 3361 tries, 3360471069 fired transitions, 1540 secs || 176127159 markings, 287140199 edges, 108213 markings/sec, 1540 secs
lola: 3372 tries, 3371781046 fired transitions, 1545 secs || 176691310 markings, 288059946 edges, 112830 markings/sec, 1545 secs
lola: 3384 tries, 3383661123 fired transitions, 1550 secs || 177279591 markings, 289019272 edges, 117656 markings/sec, 1550 secs
lola: 3396 tries, 3395664833 fired transitions, 1555 secs || 177872392 markings, 289985563 edges, 118560 markings/sec, 1555 secs
lola: 3407 tries, 3406506100 fired transitions, 1560 secs || 178465140 markings, 290951749 edges, 118550 markings/sec, 1560 secs
lola: 3418 tries, 3417794098 fired transitions, 1565 secs || 179057248 markings, 291917056 edges, 118422 markings/sec, 1565 secs
lola: 3429 tries, 3428707890 fired transitions, 1570 secs || 179648632 markings, 292881348 edges, 118277 markings/sec, 1570 secs
lola: 3441 tries, 3440500044 fired transitions, 1575 secs || 180235816 markings, 293838460 edges, 117437 markings/sec, 1575 secs
lola: 3453 tries, 3452023592 fired transitions, 1580 secs || 180823780 markings, 294796700 edges, 117593 markings/sec, 1580 secs
lola: 3464 tries, 3463114394 fired transitions, 1585 secs || 181413709 markings, 295758767 edges, 117986 markings/sec, 1585 secs
lola: 3475 tries, 3474574258 fired transitions, 1590 secs || 181963114 markings, 296654357 edges, 109881 markings/sec, 1590 secs
lola: 3486 tries, 3485011475 fired transitions, 1595 secs || 182492280 markings, 297517049 edges, 105833 markings/sec, 1595 secs
lola: 3496 tries, 3495511498 fired transitions, 1600 secs || 183021103 markings, 298379114 edges, 105765 markings/sec, 1600 secs
lola: 3507 tries, 3506236287 fired transitions, 1605 secs || 183546762 markings, 299236459 edges, 105132 markings/sec, 1605 secs
lola: 3518 tries, 3517306846 fired transitions, 1610 secs || 184069331 markings, 300088289 edges, 104514 markings/sec, 1610 secs
lola: 3529 tries, 3528007887 fired transitions, 1615 secs || 184588251 markings, 300934490 edges, 103784 markings/sec, 1615 secs
lola: 3539 tries, 3538074435 fired transitions, 1620 secs || 185106351 markings, 301778927 edges, 103620 markings/sec, 1620 secs
lola: 3549 tries, 3548446791 fired transitions, 1625 secs || 185624830 markings, 302624248 edges, 103696 markings/sec, 1625 secs
lola: 3559 tries, 3558521250 fired transitions, 1630 secs || 186137051 markings, 303459163 edges, 102444 markings/sec, 1630 secs
lola: 3570 tries, 3569226608 fired transitions, 1635 secs || 186618943 markings, 304245379 edges, 96378 markings/sec, 1635 secs
lola: 3580 tries, 3579777825 fired transitions, 1640 secs || 187099330 markings, 305028604 edges, 96077 markings/sec, 1640 secs
lola: 3591 tries, 3590305498 fired transitions, 1645 secs || 187578093 markings, 305808821 edges, 95753 markings/sec, 1645 secs
lola: 3602 tries, 3601628620 fired transitions, 1650 secs || 188058083 markings, 306591318 edges, 95998 markings/sec, 1650 secs
lola: 3612 tries, 3611667654 fired transitions, 1655 secs || 188563455 markings, 307414969 edges, 101074 markings/sec, 1655 secs
lola: 3622 tries, 3621045185 fired transitions, 1660 secs || 189049613 markings, 308208197 edges, 97232 markings/sec, 1660 secs
lola: 3631 tries, 3630945531 fired transitions, 1665 secs || 189519201 markings, 308972975 edges, 93918 markings/sec, 1665 secs
lola: 3641 tries, 3640993154 fired transitions, 1670 secs || 190025474 markings, 309798964 edges, 101255 markings/sec, 1670 secs
lola: 3652 tries, 3651459393 fired transitions, 1675 secs || 190546290 markings, 310648021 edges, 104163 markings/sec, 1675 secs
lola: 3662 tries, 3661713300 fired transitions, 1680 secs || 191060187 markings, 311485842 edges, 102779 markings/sec, 1680 secs
lola: 3672 tries, 3671295193 fired transitions, 1685 secs || 191561238 markings, 312302347 edges, 100210 markings/sec, 1685 secs
lola: 3681 tries, 3680999657 fired transitions, 1690 secs || 192066088 markings, 313125752 edges, 100970 markings/sec, 1690 secs
lola: 3691 tries, 3690751102 fired transitions, 1695 secs || 192593481 markings, 313985427 edges, 105479 markings/sec, 1695 secs
lola: 3703 tries, 3702139687 fired transitions, 1700 secs || 193165217 markings, 314917799 edges, 114347 markings/sec, 1700 secs
lola: 3713 tries, 3712663134 fired transitions, 1705 secs || 193707930 markings, 315802569 edges, 108543 markings/sec, 1705 secs
lola: 3724 tries, 3723969389 fired transitions, 1710 secs || 194245962 markings, 316679605 edges, 107606 markings/sec, 1710 secs
lola: 3735 tries, 3734592231 fired transitions, 1715 secs || 194785832 markings, 317560003 edges, 107974 markings/sec, 1715 secs
lola: 3746 tries, 3745458974 fired transitions, 1720 secs || 195320295 markings, 318431151 edges, 106893 markings/sec, 1720 secs
lola: 3756 tries, 3755981871 fired transitions, 1725 secs || 195857825 markings, 319307192 edges, 107506 markings/sec, 1725 secs
lola: 3767 tries, 3766936105 fired transitions, 1730 secs || 196400676 markings, 320192392 edges, 108570 markings/sec, 1730 secs
lola: 3779 tries, 3778153097 fired transitions, 1735 secs || 196925581 markings, 321048068 edges, 104981 markings/sec, 1735 secs
lola: 3789 tries, 3788895550 fired transitions, 1740 secs || 197457438 markings, 321915386 edges, 106371 markings/sec, 1740 secs
lola: 3800 tries, 3799213374 fired transitions, 1745 secs || 197991016 markings, 322784998 edges, 106716 markings/sec, 1745 secs
lola: 3810 tries, 3809840706 fired transitions, 1750 secs || 198535158 markings, 323672370 edges, 108828 markings/sec, 1750 secs
lola: 3821 tries, 3820744633 fired transitions, 1755 secs || 199076906 markings, 324555270 edges, 108350 markings/sec, 1755 secs
lola: 3832 tries, 3831831883 fired transitions, 1760 secs || 199627683 markings, 325453974 edges, 110155 markings/sec, 1760 secs
lola: 3843 tries, 3842662960 fired transitions, 1765 secs || 200174113 markings, 326344860 edges, 109286 markings/sec, 1765 secs
lola: 3854 tries, 3853819488 fired transitions, 1770 secs || 200717765 markings, 327230963 edges, 108730 markings/sec, 1770 secs
lola: 3865 tries, 3864551677 fired transitions, 1775 secs || 201256452 markings, 328109212 edges, 107737 markings/sec, 1775 secs
lola: 3876 tries, 3875434783 fired transitions, 1780 secs || 201793531 markings, 328984629 edges, 107416 markings/sec, 1780 secs
lola: 3887 tries, 3886253281 fired transitions, 1785 secs || 202334486 markings, 329866541 edges, 108191 markings/sec, 1785 secs
lola: 3898 tries, 3897005362 fired transitions, 1790 secs || 202887095 markings, 330767866 edges, 110522 markings/sec, 1790 secs
lola: 3909 tries, 3908459726 fired transitions, 1795 secs || 203458460 markings, 331699119 edges, 114273 markings/sec, 1795 secs
lola: 3921 tries, 3920230798 fired transitions, 1800 secs || 204006101 markings, 332591656 edges, 109528 markings/sec, 1800 secs
lola: 3932 tries, 3931584794 fired transitions, 1805 secs || 204581203 markings, 333529862 edges, 115020 markings/sec, 1805 secs
lola: 3943 tries, 3942576994 fired transitions, 1810 secs || 205168440 markings, 334486853 edges, 117447 markings/sec, 1810 secs
lola: 3954 tries, 3953410610 fired transitions, 1815 secs || 205740590 markings, 335419708 edges, 114430 markings/sec, 1815 secs
lola: 3965 tries, 3964256396 fired transitions, 1820 secs || 206291126 markings, 336317283 edges, 110107 markings/sec, 1820 secs
lola: 3975 tries, 3974603607 fired transitions, 1825 secs || 206837735 markings, 337208523 edges, 109322 markings/sec, 1825 secs
lola: 3986 tries, 3985323647 fired transitions, 1830 secs || 207387686 markings, 338104841 edges, 109990 markings/sec, 1830 secs
lola: 3997 tries, 3996645614 fired transitions, 1835 secs || 207954602 markings, 339029105 edges, 113383 markings/sec, 1835 secs
lola: 4009 tries, 4008121010 fired transitions, 1840 secs || 208510998 markings, 339936198 edges, 111279 markings/sec, 1840 secs
lola: 4019 tries, 4018290233 fired transitions, 1845 secs || 209032640 markings, 340786855 edges, 104328 markings/sec, 1845 secs
lola: 4029 tries, 4028462282 fired transitions, 1850 secs || 209550828 markings, 341631680 edges, 103638 markings/sec, 1850 secs
lola: 4040 tries, 4039074508 fired transitions, 1855 secs || 210071405 markings, 342480329 edges, 104115 markings/sec, 1855 secs
lola: 4050 tries, 4049875466 fired transitions, 1860 secs || 210591285 markings, 343327833 edges, 103976 markings/sec, 1860 secs
lola: 4060 tries, 4059691278 fired transitions, 1865 secs || 211109970 markings, 344173478 edges, 103737 markings/sec, 1865 secs
lola: 4071 tries, 4070004119 fired transitions, 1870 secs || 211633452 markings, 345026849 edges, 104696 markings/sec, 1870 secs
lola: 4081 tries, 4080157828 fired transitions, 1875 secs || 212162865 markings, 345890499 edges, 105883 markings/sec, 1875 secs
lola: 4090 tries, 4089370225 fired transitions, 1880 secs || 212693042 markings, 346754581 edges, 106035 markings/sec, 1880 secs
lola: 4099 tries, 4098941785 fired transitions, 1885 secs || 213210190 markings, 347597740 edges, 103430 markings/sec, 1885 secs
lola: 4109 tries, 4108677490 fired transitions, 1890 secs || 213741472 markings, 348463817 edges, 106256 markings/sec, 1890 secs
lola: 4120 tries, 4119936439 fired transitions, 1895 secs || 214306077 markings, 349384225 edges, 112921 markings/sec, 1895 secs
lola: 4131 tries, 4130682522 fired transitions, 1900 secs || 214837667 markings, 350251155 edges, 106318 markings/sec, 1900 secs
lola: 4142 tries, 4141405149 fired transitions, 1905 secs || 215397090 markings, 351163280 edges, 111885 markings/sec, 1905 secs
lola: 4152 tries, 4151894314 fired transitions, 1910 secs || 215953379 markings, 352069818 edges, 111258 markings/sec, 1910 secs
lola: 4164 tries, 4163017100 fired transitions, 1915 secs || 216533661 markings, 353015743 edges, 116056 markings/sec, 1915 secs
lola: 4175 tries, 4174025214 fired transitions, 1920 secs || 217116836 markings, 353966943 edges, 116635 markings/sec, 1920 secs
lola: 4186 tries, 4185633456 fired transitions, 1925 secs || 217705849 markings, 354926841 edges, 117803 markings/sec, 1925 secs
lola: 4197 tries, 4196598367 fired transitions, 1930 secs || 218296961 markings, 355890766 edges, 118222 markings/sec, 1930 secs
lola: 4208 tries, 4207533355 fired transitions, 1935 secs || 218878057 markings, 356837924 edges, 116219 markings/sec, 1935 secs
lola: 4219 tries, 4218952463 fired transitions, 1940 secs || 219449979 markings, 357770662 edges, 114384 markings/sec, 1940 secs
lola: 4231 tries, 4230933522 fired transitions, 1945 secs || 220025171 markings, 358708354 edges, 115038 markings/sec, 1945 secs
lola: 4243 tries, 4242739138 fired transitions, 1950 secs || 220590990 markings, 359630633 edges, 113164 markings/sec, 1950 secs
lola: 4255 tries, 4254001486 fired transitions, 1955 secs || 221134741 markings, 360517506 edges, 108750 markings/sec, 1955 secs
lola: 4265 tries, 4264430013 fired transitions, 1960 secs || 221672925 markings, 361394677 edges, 107637 markings/sec, 1960 secs
lola: 4276 tries, 4275250523 fired transitions, 1965 secs || 222204871 markings, 362261880 edges, 106389 markings/sec, 1965 secs
lola: 4288 tries, 4287071418 fired transitions, 1970 secs || 222769622 markings, 363182539 edges, 112950 markings/sec, 1970 secs
lola: 4299 tries, 4298539728 fired transitions, 1975 secs || 223333262 markings, 364101716 edges, 112728 markings/sec, 1975 secs
lola: 4311 tries, 4310004623 fired transitions, 1980 secs || 223901765 markings, 365028426 edges, 113701 markings/sec, 1980 secs
lola: 4322 tries, 4321153266 fired transitions, 1985 secs || 224469199 markings, 365953577 edges, 113487 markings/sec, 1985 secs
lola: 4333 tries, 4332410936 fired transitions, 1990 secs || 225043272 markings, 366889711 edges, 114815 markings/sec, 1990 secs
lola: 4345 tries, 4344481649 fired transitions, 1995 secs || 225619892 markings, 367829376 edges, 115324 markings/sec, 1995 secs
lola: 4356 tries, 4355626168 fired transitions, 2000 secs || 226190886 markings, 368760370 edges, 114199 markings/sec, 2000 secs
lola: 4367 tries, 4366991743 fired transitions, 2005 secs || 226751972 markings, 369674975 edges, 112217 markings/sec, 2005 secs
lola: 4379 tries, 4378054287 fired transitions, 2010 secs || 227320429 markings, 370601767 edges, 113691 markings/sec, 2010 secs
lola: 4390 tries, 4389843316 fired transitions, 2015 secs || 227906963 markings, 371558469 edges, 117307 markings/sec, 2015 secs
lola: 4400 tries, 4399871976 fired transitions, 2020 secs || 228415390 markings, 372387150 edges, 101685 markings/sec, 2020 secs
lola: 4411 tries, 4410069015 fired transitions, 2025 secs || 228902036 markings, 373180403 edges, 97329 markings/sec, 2025 secs
lola: 4421 tries, 4420890054 fired transitions, 2030 secs || 229387694 markings, 373972031 edges, 97132 markings/sec, 2030 secs
lola: 4432 tries, 4431190019 fired transitions, 2035 secs || 229891973 markings, 374794318 edges, 100856 markings/sec, 2035 secs
lola: 4442 tries, 4441230895 fired transitions, 2040 secs || 230422264 markings, 375658954 edges, 106058 markings/sec, 2040 secs
lola: 4452 tries, 4451712330 fired transitions, 2045 secs || 230948461 markings, 376516987 edges, 105239 markings/sec, 2045 secs
lola: 4463 tries, 4462567677 fired transitions, 2050 secs || 231461070 markings, 377352525 edges, 102522 markings/sec, 2050 secs
lola: 4474 tries, 4473201363 fired transitions, 2055 secs || 231953248 markings, 378155010 edges, 98436 markings/sec, 2055 secs
lola: 4483 tries, 4482746010 fired transitions, 2060 secs || 232434600 markings, 378939516 edges, 96270 markings/sec, 2060 secs
lola: 4494 tries, 4493122622 fired transitions, 2065 secs || 232931516 markings, 379749634 edges, 99383 markings/sec, 2065 secs
lola: 4503 tries, 4502823971 fired transitions, 2070 secs || 233405459 markings, 380521969 edges, 94789 markings/sec, 2070 secs
lola: 4513 tries, 4512265923 fired transitions, 2075 secs || 233901909 markings, 381332320 edges, 99290 markings/sec, 2075 secs
lola: 4522 tries, 4521853781 fired transitions, 2080 secs || 234400454 markings, 382144721 edges, 99709 markings/sec, 2080 secs
lola: 4533 tries, 4532533548 fired transitions, 2085 secs || 234920111 markings, 382992210 edges, 103931 markings/sec, 2085 secs
lola: 4544 tries, 4543226686 fired transitions, 2090 secs || 235436792 markings, 383834325 edges, 103336 markings/sec, 2090 secs
lola: 4554 tries, 4553378183 fired transitions, 2095 secs || 235961307 markings, 384689562 edges, 104903 markings/sec, 2095 secs
lola: 4565 tries, 4564088112 fired transitions, 2100 secs || 236479334 markings, 385533879 edges, 103605 markings/sec, 2100 secs
lola: 4575 tries, 4574296274 fired transitions, 2105 secs || 237007099 markings, 386394654 edges, 105553 markings/sec, 2105 secs
lola: 4585 tries, 4584983960 fired transitions, 2110 secs || 237500856 markings, 387199275 edges, 98751 markings/sec, 2110 secs
lola: 4596 tries, 4595553722 fired transitions, 2115 secs || 238030441 markings, 388063159 edges, 105917 markings/sec, 2115 secs
lola: 4607 tries, 4606410950 fired transitions, 2120 secs || 238572011 markings, 388946032 edges, 108314 markings/sec, 2120 secs
lola: 4619 tries, 4618037524 fired transitions, 2125 secs || 239142343 markings, 389875568 edges, 114066 markings/sec, 2125 secs
lola: 4631 tries, 4630370399 fired transitions, 2130 secs || 239742491 markings, 390853784 edges, 120030 markings/sec, 2130 secs
lola: 4643 tries, 4642509856 fired transitions, 2135 secs || 240345637 markings, 391837175 edges, 120629 markings/sec, 2135 secs
lola: 4654 tries, 4653768799 fired transitions, 2140 secs || 240938485 markings, 392804002 edges, 118570 markings/sec, 2140 secs
lola: 4666 tries, 4665001844 fired transitions, 2145 secs || 241533661 markings, 393773900 edges, 119035 markings/sec, 2145 secs
lola: 4676 tries, 4675988763 fired transitions, 2150 secs || 242090187 markings, 394681440 edges, 111305 markings/sec, 2150 secs
lola: 4687 tries, 4686669683 fired transitions, 2155 secs || 242647280 markings, 395589473 edges, 111419 markings/sec, 2155 secs
lola: 4698 tries, 4697266780 fired transitions, 2160 secs || 243194984 markings, 396482849 edges, 109541 markings/sec, 2160 secs
lola: 4708 tries, 4707955327 fired transitions, 2165 secs || 243753920 markings, 397393702 edges, 111787 markings/sec, 2165 secs
lola: 4719 tries, 4718653280 fired transitions, 2170 secs || 244316361 markings, 398310975 edges, 112488 markings/sec, 2170 secs
lola: 4730 tries, 4729459285 fired transitions, 2175 secs || 244863197 markings, 399202182 edges, 109367 markings/sec, 2175 secs
lola: 4741 tries, 4740006684 fired transitions, 2180 secs || 245357220 markings, 400007755 edges, 98805 markings/sec, 2180 secs
lola: 4751 tries, 4750262304 fired transitions, 2185 secs || 245848176 markings, 400808034 edges, 98191 markings/sec, 2185 secs
lola: 4760 tries, 4759631817 fired transitions, 2190 secs || 246330671 markings, 401594658 edges, 96499 markings/sec, 2190 secs
lola: 4770 tries, 4769344710 fired transitions, 2195 secs || 246827706 markings, 402404994 edges, 99407 markings/sec, 2195 secs
lola: 4780 tries, 4779603557 fired transitions, 2200 secs || 247331046 markings, 403225630 edges, 100668 markings/sec, 2200 secs
lola: 4791 tries, 4790356712 fired transitions, 2205 secs || 247832154 markings, 404042493 edges, 100222 markings/sec, 2205 secs
lola: 4801 tries, 4800434850 fired transitions, 2210 secs || 248336908 markings, 404864977 edges, 100951 markings/sec, 2210 secs
lola: 4812 tries, 4811145227 fired transitions, 2215 secs || 248834402 markings, 405676336 edges, 99499 markings/sec, 2215 secs
lola: 4822 tries, 4821232290 fired transitions, 2220 secs || 249329418 markings, 406483321 edges, 99003 markings/sec, 2220 secs
lola: 4832 tries, 4831204338 fired transitions, 2225 secs || 249825073 markings, 407291242 edges, 99131 markings/sec, 2225 secs
lola: 4842 tries, 4841490117 fired transitions, 2230 secs || 250324354 markings, 408105746 edges, 99856 markings/sec, 2230 secs
lola: 4852 tries, 4851730953 fired transitions, 2235 secs || 250822589 markings, 408917911 edges, 99647 markings/sec, 2235 secs
lola: 4862 tries, 4861954141 fired transitions, 2240 secs || 251323593 markings, 409734625 edges, 100201 markings/sec, 2240 secs
lola: 4873 tries, 4872160813 fired transitions, 2245 secs || 251825857 markings, 410553366 edges, 100453 markings/sec, 2245 secs
lola: 4883 tries, 4882450241 fired transitions, 2250 secs || 252326951 markings, 411370459 edges, 100219 markings/sec, 2250 secs
lola: 4894 tries, 4893115971 fired transitions, 2255 secs || 252839851 markings, 412206552 edges, 102580 markings/sec, 2255 secs
lola: 4904 tries, 4903703482 fired transitions, 2260 secs || 253349987 markings, 413038248 edges, 102027 markings/sec, 2260 secs
lola: 4915 tries, 4914002746 fired transitions, 2265 secs || 253853626 markings, 413859200 edges, 100728 markings/sec, 2265 secs
lola: 4925 tries, 4924261675 fired transitions, 2270 secs || 254358539 markings, 414682662 edges, 100983 markings/sec, 2270 secs
lola: 4935 tries, 4934268866 fired transitions, 2275 secs || 254872518 markings, 415520497 edges, 102796 markings/sec, 2275 secs
lola: 4946 tries, 4945335175 fired transitions, 2280 secs || 255380864 markings, 416349430 edges, 101669 markings/sec, 2280 secs
lola: 4955 tries, 4954620043 fired transitions, 2285 secs || 255878463 markings, 417160120 edges, 99520 markings/sec, 2285 secs
lola: 4965 tries, 4964578984 fired transitions, 2290 secs || 256377424 markings, 417973700 edges, 99792 markings/sec, 2290 secs
lola: 4974 tries, 4973788597 fired transitions, 2295 secs || 256877121 markings, 418788337 edges, 99939 markings/sec, 2295 secs
lola: 4984 tries, 4983836179 fired transitions, 2300 secs || 257391435 markings, 419626696 edges, 102863 markings/sec, 2300 secs
lola: 4995 tries, 4994194022 fired transitions, 2305 secs || 257879299 markings, 420422163 edges, 97573 markings/sec, 2305 secs
lola: 5005 tries, 5004518233 fired transitions, 2310 secs || 258377075 markings, 421233626 edges, 99555 markings/sec, 2310 secs
lola: 5015 tries, 5014466336 fired transitions, 2315 secs || 258900655 markings, 422087469 edges, 104716 markings/sec, 2315 secs
lola: 5025 tries, 5024705826 fired transitions, 2320 secs || 259417206 markings, 422929569 edges, 103310 markings/sec, 2320 secs
lola: 5035 tries, 5034792553 fired transitions, 2325 secs || 259933012 markings, 423770396 edges, 103161 markings/sec, 2325 secs
lola: 5045 tries, 5044308637 fired transitions, 2330 secs || 260450837 markings, 424614356 edges, 103565 markings/sec, 2330 secs
lola: 5055 tries, 5054112478 fired transitions, 2335 secs || 261007092 markings, 425521452 edges, 111251 markings/sec, 2335 secs
lola: 5064 tries, 5063874529 fired transitions, 2340 secs || 261528381 markings, 426371215 edges, 104258 markings/sec, 2340 secs
lola: 5075 tries, 5074100822 fired transitions, 2345 secs || 262095430 markings, 427295647 edges, 113410 markings/sec, 2345 secs
lola: 5085 tries, 5084926933 fired transitions, 2350 secs || 262659678 markings, 428215316 edges, 112850 markings/sec, 2350 secs
lola: 5096 tries, 5095036538 fired transitions, 2355 secs || 263170947 markings, 429049161 edges, 102254 markings/sec, 2355 secs
lola: 5106 tries, 5105247430 fired transitions, 2360 secs || 263661748 markings, 429848907 edges, 98160 markings/sec, 2360 secs
lola: 5116 tries, 5115268491 fired transitions, 2365 secs || 264182748 markings, 430698293 edges, 104200 markings/sec, 2365 secs
lola: 5126 tries, 5125162813 fired transitions, 2370 secs || 264696349 markings, 431535695 edges, 102720 markings/sec, 2370 secs
lola: 5136 tries, 5135467531 fired transitions, 2375 secs || 265196121 markings, 432350643 edges, 99954 markings/sec, 2375 secs
lola: 5146 tries, 5145386098 fired transitions, 2380 secs || 265699608 markings, 433171548 edges, 100697 markings/sec, 2380 secs
lola: 5157 tries, 5156508092 fired transitions, 2385 secs || 266228119 markings, 434032943 edges, 105702 markings/sec, 2385 secs
lola: 5169 tries, 5168258157 fired transitions, 2390 secs || 266779943 markings, 434932309 edges, 110365 markings/sec, 2390 secs
lola: 5180 tries, 5179568875 fired transitions, 2395 secs || 267330614 markings, 435830675 edges, 110134 markings/sec, 2395 secs
lola: 5191 tries, 5190514985 fired transitions, 2400 secs || 267888571 markings, 436740596 edges, 111591 markings/sec, 2400 secs
lola: 5201 tries, 5200648886 fired transitions, 2405 secs || 268401126 markings, 437575646 edges, 102511 markings/sec, 2405 secs
lola: 5212 tries, 5211443658 fired transitions, 2410 secs || 268897418 markings, 438384808 edges, 99258 markings/sec, 2410 secs
lola: 5222 tries, 5221681284 fired transitions, 2415 secs || 269395795 markings, 439197293 edges, 99675 markings/sec, 2415 secs
lola: 5233 tries, 5232029108 fired transitions, 2420 secs || 269891350 markings, 440005473 edges, 99111 markings/sec, 2420 secs
lola: 5242 tries, 5241490228 fired transitions, 2425 secs || 270381284 markings, 440804348 edges, 97987 markings/sec, 2425 secs
lola: 5253 tries, 5252273181 fired transitions, 2430 secs || 270874170 markings, 441607531 edges, 98577 markings/sec, 2430 secs
lola: 5263 tries, 5262229491 fired transitions, 2435 secs || 271373852 markings, 442422350 edges, 99936 markings/sec, 2435 secs
lola: 5272 tries, 5271947658 fired transitions, 2440 secs || 271867699 markings, 443227305 edges, 98769 markings/sec, 2440 secs
lola: 5283 tries, 5282029485 fired transitions, 2445 secs || 272362963 markings, 444035072 edges, 99053 markings/sec, 2445 secs
lola: 5292 tries, 5291967582 fired transitions, 2450 secs || 272858799 markings, 444843114 edges, 99167 markings/sec, 2450 secs
lola: 5303 tries, 5302471284 fired transitions, 2455 secs || 273369285 markings, 445675506 edges, 102097 markings/sec, 2455 secs
lola: 5314 tries, 5313238715 fired transitions, 2460 secs || 273879967 markings, 446507971 edges, 102136 markings/sec, 2460 secs
lola: 5324 tries, 5323522861 fired transitions, 2465 secs || 274111000 markings, 446884381 edges, 46207 markings/sec, 2465 secs
lola: 5334 tries, 5333466958 fired transitions, 2470 secs || 274334414 markings, 447248706 edges, 44683 markings/sec, 2470 secs
lola: 5344 tries, 5343960735 fired transitions, 2475 secs || 274541652 markings, 447586726 edges, 41448 markings/sec, 2475 secs
lola: 5349 tries, 5348238132 fired transitions, 2480 secs || 274618731 markings, 447712307 edges, 15416 markings/sec, 2480 secs
lola: 5353 tries, 5352860591 fired transitions, 2485 secs || 274656242 markings, 447773525 edges, 7502 markings/sec, 2485 secs
lola: 5356 tries, 5355246548 fired transitions, 2490 secs || 274692257 markings, 447832202 edges, 7203 markings/sec, 2490 secs
lola: 5360 tries, 5358999999 fired transitions, 2495 secs || 274696572 markings, 447839124 edges, 863 markings/sec, 2495 secs
lola: 5363 tries, 5362862272 fired transitions, 2500 secs || 274765024 markings, 447950976 edges, 13690 markings/sec, 2500 secs
Killed
rslt: finished
BK_STOP 1552687627915
--------------------
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="JoinFreeModules-PT-0050"
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 JoinFreeModules-PT-0050, 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 r082-csrt-155246550200939"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/JoinFreeModules-PT-0050.tgz
mv JoinFreeModules-PT-0050 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 '
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 ;