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-155234405600786.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-20, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-oct2-155234405600786
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 196K
-rw-r--r-- 1 mcc users 3.8K Feb 10 20:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 10 20:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 6 15:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 6 15:59 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.1K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 10K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 3 06:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 3 06:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Jan 30 23:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Jan 30 23:01 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 38K 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-20-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552485050963

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ DatabaseWithMutex-COL-20 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 1532
rslt: Output for GlobalProperties @ DatabaseWithMutex-COL-20
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: 3260, Transitions: 3200
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: 6460/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 104320
lola: finding significant places
lola: 3260 places, 3200 transitions, 2800 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 741 generators (43 in search tree, 698 by composition)
lola: representing 5.91901E+36 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 221758 fired transitions, 0 secs || 94472 markings, 95451 edges, 18894 markings/sec, 0 secs
lola: 1 tries, 383355 fired transitions, 5 secs || 175909 markings, 177703 edges, 16287 markings/sec, 5 secs
lola: 1 tries, 545337 fired transitions, 10 secs || 257480 markings, 259932 edges, 16314 markings/sec, 10 secs
lola: 1 tries, 707269 fired transitions, 15 secs || 341413 markings, 346419 edges, 16787 markings/sec, 15 secs
lola: 1 tries, 868574 fired transitions, 20 secs || 422978 markings, 428454 edges, 16313 markings/sec, 20 secs
lola: 2 tries, 1043135 fired transitions, 25 secs || 508348 markings, 515951 edges, 17074 markings/sec, 25 secs
lola: 2 tries, 1291005 fired transitions, 30 secs || 619686 markings, 629537 edges, 22268 markings/sec, 30 secs
lola: 2 tries, 1539091 fired transitions, 35 secs || 729750 markings, 740459 edges, 22013 markings/sec, 35 secs
lola: 2 tries, 1771838 fired transitions, 40 secs || 831622 markings, 843772 edges, 20374 markings/sec, 40 secs
lola: 2 tries, 1944735 fired transitions, 45 secs || 902792 markings, 915492 edges, 14234 markings/sec, 45 secs
lola: 3 tries, 2117897 fired transitions, 50 secs || 974112 markings, 987847 edges, 14264 markings/sec, 50 secs
lola: 3 tries, 2304759 fired transitions, 55 secs || 1052843 markings, 1067291 edges, 15746 markings/sec, 55 secs
lola: 3 tries, 2483882 fired transitions, 60 secs || 1126091 markings, 1141091 edges, 14650 markings/sec, 60 secs
lola: 3 tries, 2655278 fired transitions, 65 secs || 1197664 markings, 1213117 edges, 14315 markings/sec, 65 secs
lola: 3 tries, 2866561 fired transitions, 70 secs || 1288176 markings, 1304197 edges, 18102 markings/sec, 70 secs
lola: 4 tries, 3114285 fired transitions, 75 secs || 1397343 markings, 1414494 edges, 21833 markings/sec, 75 secs
lola: 4 tries, 3361613 fired transitions, 80 secs || 1506679 markings, 1524907 edges, 21867 markings/sec, 80 secs
lola: 4 tries, 3609446 fired transitions, 85 secs || 1613412 markings, 1632431 edges, 21347 markings/sec, 85 secs
lola: 4 tries, 3855770 fired transitions, 90 secs || 1724827 markings, 1746454 edges, 22283 markings/sec, 90 secs
lola: 5 tries, 4076472 fired transitions, 95 secs || 1821174 markings, 1843794 edges, 19269 markings/sec, 95 secs
lola: 5 tries, 4319047 fired transitions, 100 secs || 1927408 markings, 1951080 edges, 21247 markings/sec, 100 secs
lola: 5 tries, 4567334 fired transitions, 105 secs || 2036472 markings, 2061105 edges, 21813 markings/sec, 105 secs
lola: 5 tries, 4815482 fired transitions, 110 secs || 2145330 markings, 2170970 edges, 21772 markings/sec, 110 secs
lola: 6 tries, 5061396 fired transitions, 115 secs || 2253602 markings, 2280107 edges, 21654 markings/sec, 115 secs
lola: 6 tries, 5240759 fired transitions, 120 secs || 2335868 markings, 2363048 edges, 16453 markings/sec, 120 secs
lola: 6 tries, 5487684 fired transitions, 125 secs || 2441401 markings, 2469693 edges, 21107 markings/sec, 125 secs
lola: 6 tries, 5734335 fired transitions, 130 secs || 2546395 markings, 2575472 edges, 20999 markings/sec, 130 secs
lola: 6 tries, 5953761 fired transitions, 135 secs || 2644063 markings, 2673995 edges, 19534 markings/sec, 135 secs
lola: 7 tries, 6120250 fired transitions, 140 secs || 2715301 markings, 2746142 edges, 14248 markings/sec, 140 secs
lola: 7 tries, 6265595 fired transitions, 145 secs || 2778120 markings, 2809426 edges, 12564 markings/sec, 145 secs
lola: 7 tries, 6410903 fired transitions, 150 secs || 2839889 markings, 2871621 edges, 12354 markings/sec, 150 secs
lola: 7 tries, 6561130 fired transitions, 155 secs || 2904814 markings, 2937173 edges, 12985 markings/sec, 155 secs
lola: 7 tries, 6705105 fired transitions, 160 secs || 2967737 markings, 3000595 edges, 12585 markings/sec, 160 secs
lola: 7 tries, 6850534 fired transitions, 165 secs || 3030639 markings, 3063841 edges, 12580 markings/sec, 165 secs
lola: 7 tries, 6995495 fired transitions, 170 secs || 3094001 markings, 3127664 edges, 12672 markings/sec, 170 secs
lola: 8 tries, 7113009 fired transitions, 175 secs || 3154892 markings, 3188950 edges, 12178 markings/sec, 175 secs
lola: 8 tries, 7254852 fired transitions, 180 secs || 3217120 markings, 3251603 edges, 12446 markings/sec, 180 secs
lola: 8 tries, 7398591 fired transitions, 185 secs || 3279624 markings, 3314566 edges, 12501 markings/sec, 185 secs
lola: 8 tries, 7542121 fired transitions, 190 secs || 3341625 markings, 3377045 edges, 12400 markings/sec, 190 secs
lola: 8 tries, 7686070 fired transitions, 195 secs || 3403993 markings, 3439940 edges, 12474 markings/sec, 195 secs
lola: 8 tries, 7830591 fired transitions, 200 secs || 3465820 markings, 3502163 edges, 12365 markings/sec, 200 secs
lola: 8 tries, 7974849 fired transitions, 205 secs || 3528665 markings, 3565659 edges, 12569 markings/sec, 205 secs
lola: 9 tries, 8118556 fired transitions, 210 secs || 3591233 markings, 3628873 edges, 12514 markings/sec, 210 secs
lola: 9 tries, 8262455 fired transitions, 215 secs || 3654535 markings, 3692846 edges, 12660 markings/sec, 215 secs
lola: 9 tries, 8407000 fired transitions, 220 secs || 3716419 markings, 3755148 edges, 12377 markings/sec, 220 secs
lola: 9 tries, 8550918 fired transitions, 225 secs || 3778705 markings, 3818004 edges, 12457 markings/sec, 225 secs
lola: 9 tries, 8693418 fired transitions, 230 secs || 3841222 markings, 3881209 edges, 12503 markings/sec, 230 secs
lola: 9 tries, 8838405 fired transitions, 235 secs || 3904099 markings, 3944694 edges, 12575 markings/sec, 235 secs
lola: 9 tries, 8982437 fired transitions, 240 secs || 3967964 markings, 4008873 edges, 12773 markings/sec, 240 secs
lola: 10 tries, 9126301 fired transitions, 245 secs || 4030394 markings, 4071690 edges, 12486 markings/sec, 245 secs
lola: 10 tries, 9270911 fired transitions, 250 secs || 4092165 markings, 4133824 edges, 12354 markings/sec, 250 secs
lola: 10 tries, 9414959 fired transitions, 255 secs || 4155290 markings, 4197530 edges, 12625 markings/sec, 255 secs
lola: 10 tries, 9561418 fired transitions, 260 secs || 4221262 markings, 4263805 edges, 13194 markings/sec, 260 secs
lola: 10 tries, 9803432 fired transitions, 265 secs || 4328365 markings, 4371902 edges, 21421 markings/sec, 265 secs
lola: 11 tries, 10012735 fired transitions, 270 secs || 4420688 markings, 4465172 edges, 18465 markings/sec, 270 secs
lola: 11 tries, 10224854 fired transitions, 275 secs || 4509879 markings, 4555443 edges, 17838 markings/sec, 275 secs
lola: 11 tries, 10471719 fired transitions, 280 secs || 4615787 markings, 4662068 edges, 21182 markings/sec, 280 secs
lola: 11 tries, 10721823 fired transitions, 285 secs || 4725263 markings, 4772385 edges, 21895 markings/sec, 285 secs
lola: 11 tries, 10971826 fired transitions, 290 secs || 4835496 markings, 4885070 edges, 22047 markings/sec, 290 secs
lola: 12 tries, 11219580 fired transitions, 295 secs || 4943699 markings, 4993950 edges, 21641 markings/sec, 295 secs
lola: 12 tries, 11468368 fired transitions, 300 secs || 5052956 markings, 5104500 edges, 21851 markings/sec, 300 secs
lola: 12 tries, 11706158 fired transitions, 305 secs || 5160120 markings, 5212626 edges, 21433 markings/sec, 305 secs
lola: 12 tries, 11954848 fired transitions, 310 secs || 5269397 markings, 5323207 edges, 21855 markings/sec, 310 secs
lola: 13 tries, 12203607 fired transitions, 315 secs || 5377986 markings, 5432831 edges, 21718 markings/sec, 315 secs
lola: 13 tries, 12453201 fired transitions, 320 secs || 5486906 markings, 5542740 edges, 21784 markings/sec, 320 secs
lola: 13 tries, 12702398 fired transitions, 325 secs || 5596201 markings, 5652919 edges, 21859 markings/sec, 325 secs
lola: 13 tries, 12951989 fired transitions, 330 secs || 5705127 markings, 5763021 edges, 21785 markings/sec, 330 secs
lola: 14 tries, 13197880 fired transitions, 335 secs || 5814658 markings, 5873510 edges, 21906 markings/sec, 335 secs
lola: 14 tries, 13443427 fired transitions, 340 secs || 5922562 markings, 5982220 edges, 21581 markings/sec, 340 secs
lola: 14 tries, 13687981 fired transitions, 345 secs || 6031395 markings, 6092008 edges, 21767 markings/sec, 345 secs
lola: 14 tries, 13926680 fired transitions, 350 secs || 6141443 markings, 6203776 edges, 22010 markings/sec, 350 secs
lola: 15 tries, 14175918 fired transitions, 355 secs || 6247718 markings, 6311649 edges, 21255 markings/sec, 355 secs
lola: 15 tries, 14425577 fired transitions, 360 secs || 6353669 markings, 6418780 edges, 21190 markings/sec, 360 secs
lola: 15 tries, 14674635 fired transitions, 365 secs || 6461492 markings, 6527952 edges, 21565 markings/sec, 365 secs
lola: 15 tries, 14923666 fired transitions, 370 secs || 6567459 markings, 6634708 edges, 21193 markings/sec, 370 secs
lola: 16 tries, 15167424 fired transitions, 375 secs || 6674658 markings, 6742521 edges, 21440 markings/sec, 375 secs
lola: 16 tries, 15411423 fired transitions, 380 secs || 6783002 markings, 6851722 edges, 21669 markings/sec, 380 secs
lola: 16 tries, 15662063 fired transitions, 385 secs || 6891191 markings, 6960753 edges, 21638 markings/sec, 385 secs
lola: 16 tries, 15915586 fired transitions, 390 secs || 6996436 markings, 7066867 edges, 21049 markings/sec, 390 secs
lola: 17 tries, 16163382 fired transitions, 395 secs || 7102715 markings, 7173797 edges, 21256 markings/sec, 395 secs
lola: 17 tries, 16415503 fired transitions, 400 secs || 7209285 markings, 7281373 edges, 21314 markings/sec, 400 secs
lola: 17 tries, 16668007 fired transitions, 405 secs || 7314046 markings, 7386814 edges, 20952 markings/sec, 405 secs
lola: 17 tries, 16920175 fired transitions, 410 secs || 7419820 markings, 7494180 edges, 21155 markings/sec, 410 secs
lola: 18 tries, 17169823 fired transitions, 415 secs || 7526233 markings, 7602144 edges, 21283 markings/sec, 415 secs
lola: 18 tries, 17421503 fired transitions, 420 secs || 7630849 markings, 7707586 edges, 20923 markings/sec, 420 secs
lola: 18 tries, 17674063 fired transitions, 425 secs || 7735440 markings, 7813101 edges, 20918 markings/sec, 425 secs
lola: 18 tries, 17927479 fired transitions, 430 secs || 7841996 markings, 7920419 edges, 21311 markings/sec, 430 secs
lola: 19 tries, 18176232 fired transitions, 435 secs || 7946576 markings, 8025683 edges, 20916 markings/sec, 435 secs
lola: 19 tries, 18423881 fired transitions, 440 secs || 8052075 markings, 8132394 edges, 21100 markings/sec, 440 secs
lola: 19 tries, 18672132 fired transitions, 445 secs || 8156883 markings, 8238203 edges, 20962 markings/sec, 445 secs
lola: 19 tries, 18918213 fired transitions, 450 secs || 8265624 markings, 8348291 edges, 21748 markings/sec, 450 secs
lola: 20 tries, 19159400 fired transitions, 455 secs || 8374410 markings, 8458019 edges, 21757 markings/sec, 455 secs
lola: 20 tries, 19400490 fired transitions, 460 secs || 8482551 markings, 8566804 edges, 21628 markings/sec, 460 secs
lola: 20 tries, 19640890 fired transitions, 465 secs || 8591818 markings, 8677709 edges, 21853 markings/sec, 465 secs
lola: 20 tries, 19879818 fired transitions, 470 secs || 8700836 markings, 8787686 edges, 21804 markings/sec, 470 secs
lola: 21 tries, 20121773 fired transitions, 475 secs || 8809005 markings, 8896529 edges, 21634 markings/sec, 475 secs
lola: 21 tries, 20367599 fired transitions, 480 secs || 8915294 markings, 9003794 edges, 21258 markings/sec, 480 secs
lola: 21 tries, 20610700 fired transitions, 485 secs || 9021893 markings, 9111268 edges, 21320 markings/sec, 485 secs
lola: 21 tries, 20852722 fired transitions, 490 secs || 9129224 markings, 9219617 edges, 21466 markings/sec, 490 secs
lola: 22 tries, 21097030 fired transitions, 495 secs || 9236832 markings, 9327797 edges, 21522 markings/sec, 495 secs
lola: 22 tries, 21337989 fired transitions, 500 secs || 9344630 markings, 9436484 edges, 21560 markings/sec, 500 secs
lola: 22 tries, 21583827 fired transitions, 505 secs || 9450573 markings, 9543427 edges, 21189 markings/sec, 505 secs
lola: 22 tries, 21827241 fired transitions, 510 secs || 9558182 markings, 9651888 edges, 21522 markings/sec, 510 secs
lola: 23 tries, 22072890 fired transitions, 515 secs || 9666341 markings, 9761070 edges, 21632 markings/sec, 515 secs
lola: 23 tries, 22319113 fired transitions, 520 secs || 9774462 markings, 9870390 edges, 21624 markings/sec, 520 secs
lola: 23 tries, 22568487 fired transitions, 525 secs || 9883265 markings, 9980709 edges, 21761 markings/sec, 525 secs
lola: 23 tries, 22819820 fired transitions, 530 secs || 9990895 markings, 10089229 edges, 21526 markings/sec, 530 secs
lola: 24 tries, 23069403 fired transitions, 535 secs || 10101316 markings, 10201970 edges, 22084 markings/sec, 535 secs
lola: 24 tries, 23317079 fired transitions, 540 secs || 10209548 markings, 10311026 edges, 21646 markings/sec, 540 secs
lola: 24 tries, 23567325 fired transitions, 545 secs || 10318290 markings, 10420976 edges, 21748 markings/sec, 545 secs
lola: 24 tries, 23818549 fired transitions, 550 secs || 10426097 markings, 10529786 edges, 21561 markings/sec, 550 secs
lola: 25 tries, 24068129 fired transitions, 555 secs || 10535378 markings, 10639808 edges, 21856 markings/sec, 555 secs
lola: 25 tries, 24313714 fired transitions, 560 secs || 10643729 markings, 10749021 edges, 21670 markings/sec, 560 secs
lola: 25 tries, 24559930 fired transitions, 565 secs || 10752078 markings, 10858417 edges, 21670 markings/sec, 565 secs
lola: 25 tries, 24806099 fired transitions, 570 secs || 10858810 markings, 10965894 edges, 21346 markings/sec, 570 secs
lola: 26 tries, 25050779 fired transitions, 575 secs || 10965453 markings, 11073386 edges, 21329 markings/sec, 575 secs
lola: 26 tries, 25294601 fired transitions, 580 secs || 11074719 markings, 11184257 edges, 21853 markings/sec, 580 secs
lola: 26 tries, 25538318 fired transitions, 585 secs || 11189564 markings, 11302135 edges, 22969 markings/sec, 585 secs
lola: 26 tries, 25784623 fired transitions, 590 secs || 11297746 markings, 11411178 edges, 21636 markings/sec, 590 secs
lola: 27 tries, 26030372 fired transitions, 595 secs || 11405820 markings, 11520003 edges, 21615 markings/sec, 595 secs
lola: 27 tries, 26276623 fired transitions, 600 secs || 11513261 markings, 11628397 edges, 21488 markings/sec, 600 secs
lola: 27 tries, 26523924 fired transitions, 605 secs || 11619256 markings, 11735207 edges, 21199 markings/sec, 605 secs
lola: 27 tries, 26735535 fired transitions, 610 secs || 11707039 markings, 11824433 edges, 17557 markings/sec, 610 secs
lola: 27 tries, 26983992 fired transitions, 615 secs || 11814508 markings, 11932502 edges, 21494 markings/sec, 615 secs
lola: 28 tries, 27231909 fired transitions, 620 secs || 11922651 markings, 12041620 edges, 21629 markings/sec, 620 secs
lola: 28 tries, 27481112 fired transitions, 625 secs || 12032294 markings, 12152287 edges, 21929 markings/sec, 625 secs
lola: 28 tries, 27730652 fired transitions, 630 secs || 12141561 markings, 12262944 edges, 21853 markings/sec, 630 secs
lola: 28 tries, 27980451 fired transitions, 635 secs || 12250740 markings, 12373820 edges, 21836 markings/sec, 635 secs
lola: 29 tries, 28226958 fired transitions, 640 secs || 12357353 markings, 12481044 edges, 21323 markings/sec, 640 secs
lola: 29 tries, 28472818 fired transitions, 645 secs || 12465418 markings, 12590023 edges, 21613 markings/sec, 645 secs
lola: 29 tries, 28718485 fired transitions, 650 secs || 12573159 markings, 12698723 edges, 21548 markings/sec, 650 secs
lola: 29 tries, 28964117 fired transitions, 655 secs || 12681476 markings, 12807880 edges, 21663 markings/sec, 655 secs
lola: 30 tries, 29210134 fired transitions, 660 secs || 12789935 markings, 12916969 edges, 21692 markings/sec, 660 secs
lola: 30 tries, 29458175 fired transitions, 665 secs || 12898218 markings, 13026116 edges, 21657 markings/sec, 665 secs
lola: 30 tries, 29709361 fired transitions, 670 secs || 13005392 markings, 13134135 edges, 21435 markings/sec, 670 secs
lola: 30 tries, 29961334 fired transitions, 675 secs || 13111794 markings, 13241100 edges, 21280 markings/sec, 675 secs
lola: 31 tries, 30208703 fired transitions, 680 secs || 13216156 markings, 13346046 edges, 20872 markings/sec, 680 secs
lola: 31 tries, 30454609 fired transitions, 685 secs || 13323499 markings, 13454439 edges, 21469 markings/sec, 685 secs
lola: 31 tries, 30701288 fired transitions, 690 secs || 13429007 markings, 13560961 edges, 21102 markings/sec, 690 secs
lola: 31 tries, 30948929 fired transitions, 695 secs || 13532467 markings, 13665596 edges, 20692 markings/sec, 695 secs
lola: 32 tries, 31195652 fired transitions, 700 secs || 13640175 markings, 13775191 edges, 21542 markings/sec, 700 secs
lola: 32 tries, 31442999 fired transitions, 705 secs || 13746598 markings, 13882461 edges, 21285 markings/sec, 705 secs
lola: 32 tries, 31693672 fired transitions, 710 secs || 13852944 markings, 13989992 edges, 21269 markings/sec, 710 secs
lola: 32 tries, 31943524 fired transitions, 715 secs || 13962593 markings, 14100764 edges, 21930 markings/sec, 715 secs
lola: 33 tries, 32191311 fired transitions, 720 secs || 14067454 markings, 14206298 edges, 20972 markings/sec, 720 secs
lola: 33 tries, 32438804 fired transitions, 725 secs || 14170645 markings, 14310069 edges, 20638 markings/sec, 725 secs
lola: 33 tries, 32669242 fired transitions, 730 secs || 14267558 markings, 14407678 edges, 19383 markings/sec, 730 secs
lola: 33 tries, 32847663 fired transitions, 735 secs || 14339016 markings, 14479799 edges, 14292 markings/sec, 735 secs
lola: 34 tries, 33076443 fired transitions, 740 secs || 14436522 markings, 14578550 edges, 19501 markings/sec, 740 secs
lola: 34 tries, 33253672 fired transitions, 745 secs || 14506500 markings, 14649160 edges, 13996 markings/sec, 745 secs
lola: 34 tries, 33421530 fired transitions, 750 secs || 14586418 markings, 14729736 edges, 15984 markings/sec, 750 secs
lola: 34 tries, 33617909 fired transitions, 755 secs || 14675287 markings, 14819372 edges, 17774 markings/sec, 755 secs
lola: 34 tries, 33862371 fired transitions, 760 secs || 14780820 markings, 14925750 edges, 21107 markings/sec, 760 secs
lola: 35 tries, 34107323 fired transitions, 765 secs || 14886362 markings, 15032219 edges, 21108 markings/sec, 765 secs
lola: 35 tries, 34350473 fired transitions, 770 secs || 14993525 markings, 15139965 edges, 21433 markings/sec, 770 secs
lola: 35 tries, 34595922 fired transitions, 775 secs || 15098481 markings, 15245777 edges, 20991 markings/sec, 775 secs
lola: 35 tries, 34840070 fired transitions, 780 secs || 15203442 markings, 15351631 edges, 20992 markings/sec, 780 secs
lola: 36 tries, 35083486 fired transitions, 785 secs || 15310420 markings, 15459468 edges, 21396 markings/sec, 785 secs
lola: 36 tries, 35328040 fired transitions, 790 secs || 15418053 markings, 15568450 edges, 21527 markings/sec, 790 secs
lola: 36 tries, 35572840 fired transitions, 795 secs || 15525121 markings, 15676578 edges, 21414 markings/sec, 795 secs
lola: 36 tries, 35817845 fired transitions, 800 secs || 15632325 markings, 15784843 edges, 21441 markings/sec, 800 secs
lola: 37 tries, 36012472 fired transitions, 805 secs || 15714630 markings, 15867771 edges, 16461 markings/sec, 805 secs
lola: 37 tries, 36259450 fired transitions, 810 secs || 15818791 markings, 15972741 edges, 20832 markings/sec, 810 secs
lola: 37 tries, 36502066 fired transitions, 815 secs || 15924012 markings, 16079019 edges, 21044 markings/sec, 815 secs
lola: 37 tries, 36746218 fired transitions, 820 secs || 16031201 markings, 16187222 edges, 21438 markings/sec, 820 secs
lola: 37 tries, 36987435 fired transitions, 825 secs || 16137421 markings, 16294373 edges, 21244 markings/sec, 825 secs
lola: 38 tries, 37229290 fired transitions, 830 secs || 16243533 markings, 16401365 edges, 21222 markings/sec, 830 secs
lola: 38 tries, 37474979 fired transitions, 835 secs || 16348613 markings, 16507265 edges, 21016 markings/sec, 835 secs
lola: 38 tries, 37719210 fired transitions, 840 secs || 16455782 markings, 16615286 edges, 21434 markings/sec, 840 secs
lola: 38 tries, 37968866 fired transitions, 845 secs || 16563357 markings, 16723767 edges, 21515 markings/sec, 845 secs
lola: 39 tries, 38215596 fired transitions, 850 secs || 16670127 markings, 16831093 edges, 21354 markings/sec, 850 secs
lola: 39 tries, 38461663 fired transitions, 855 secs || 16777270 markings, 16939028 edges, 21429 markings/sec, 855 secs
lola: 39 tries, 38708517 fired transitions, 860 secs || 16884647 markings, 17047422 edges, 21475 markings/sec, 860 secs
lola: 39 tries, 38955314 fired transitions, 865 secs || 16990918 markings, 17154546 edges, 21254 markings/sec, 865 secs
lola: 40 tries, 39203859 fired transitions, 870 secs || 17094569 markings, 17259292 edges, 20730 markings/sec, 870 secs
lola: 40 tries, 39451895 fired transitions, 875 secs || 17199753 markings, 17365734 edges, 21037 markings/sec, 875 secs
lola: 40 tries, 39700235 fired transitions, 880 secs || 17303701 markings, 17470552 edges, 20790 markings/sec, 880 secs
lola: 40 tries, 39951817 fired transitions, 885 secs || 17411449 markings, 17579405 edges, 21550 markings/sec, 885 secs
lola: 41 tries, 40198520 fired transitions, 890 secs || 17518087 markings, 17686858 edges, 21328 markings/sec, 890 secs
lola: 41 tries, 40444810 fired transitions, 895 secs || 17626395 markings, 17796271 edges, 21662 markings/sec, 895 secs
lola: 41 tries, 40691258 fired transitions, 900 secs || 17733054 markings, 17903664 edges, 21332 markings/sec, 900 secs
lola: 41 tries, 40938804 fired transitions, 905 secs || 17839520 markings, 18010992 edges, 21293 markings/sec, 905 secs
lola: 42 tries, 41186947 fired transitions, 910 secs || 17943744 markings, 18116052 edges, 20845 markings/sec, 910 secs
lola: 42 tries, 41435569 fired transitions, 915 secs || 18047689 markings, 18220960 edges, 20789 markings/sec, 915 secs
lola: 42 tries, 41677886 fired transitions, 920 secs || 18148336 markings, 18322432 edges, 20129 markings/sec, 920 secs
lola: 42 tries, 41823024 fired transitions, 925 secs || 18210244 markings, 18384863 edges, 12382 markings/sec, 925 secs
lola: 42 tries, 41968588 fired transitions, 930 secs || 18271257 markings, 18446411 edges, 12203 markings/sec, 930 secs
lola: 43 tries, 42112889 fired transitions, 935 secs || 18331969 markings, 18507546 edges, 12142 markings/sec, 935 secs
lola: 43 tries, 42257175 fired transitions, 940 secs || 18391410 markings, 18567263 edges, 11888 markings/sec, 940 secs
lola: 43 tries, 42401104 fired transitions, 945 secs || 18451761 markings, 18627985 edges, 12070 markings/sec, 945 secs
lola: 43 tries, 42545240 fired transitions, 950 secs || 18512224 markings, 18688834 edges, 12093 markings/sec, 950 secs
lola: 43 tries, 42689421 fired transitions, 955 secs || 18575146 markings, 18752068 edges, 12584 markings/sec, 955 secs
lola: 43 tries, 42833812 fired transitions, 960 secs || 18635704 markings, 18813363 edges, 12112 markings/sec, 960 secs
lola: 43 tries, 42977365 fired transitions, 965 secs || 18697077 markings, 18875204 edges, 12275 markings/sec, 965 secs
lola: 44 tries, 43121775 fired transitions, 970 secs || 18757705 markings, 18936122 edges, 12126 markings/sec, 970 secs
lola: 44 tries, 43265892 fired transitions, 975 secs || 18818960 markings, 18997938 edges, 12251 markings/sec, 975 secs
lola: 44 tries, 43411423 fired transitions, 980 secs || 18879478 markings, 19058887 edges, 12104 markings/sec, 980 secs
lola: 44 tries, 43556463 fired transitions, 985 secs || 18940891 markings, 19120762 edges, 12283 markings/sec, 985 secs
lola: 44 tries, 43701763 fired transitions, 990 secs || 19001586 markings, 19181810 edges, 12139 markings/sec, 990 secs
lola: 44 tries, 43847565 fired transitions, 995 secs || 19062728 markings, 19243402 edges, 12228 markings/sec, 995 secs
lola: 44 tries, 43993248 fired transitions, 1000 secs || 19122369 markings, 19303549 edges, 11928 markings/sec, 1000 secs
lola: 45 tries, 44142668 fired transitions, 1005 secs || 19184837 markings, 19366768 edges, 12494 markings/sec, 1005 secs
lola: 45 tries, 44287909 fired transitions, 1010 secs || 19245596 markings, 19428165 edges, 12152 markings/sec, 1010 secs
lola: 45 tries, 44433916 fired transitions, 1015 secs || 19305896 markings, 19488856 edges, 12060 markings/sec, 1015 secs
lola: 45 tries, 44588149 fired transitions, 1020 secs || 19368194 markings, 19551682 edges, 12460 markings/sec, 1020 secs
lola: 45 tries, 44764875 fired transitions, 1025 secs || 19438639 markings, 19622990 edges, 14089 markings/sec, 1025 secs
lola: 45 tries, 44942017 fired transitions, 1030 secs || 19507989 markings, 19692856 edges, 13870 markings/sec, 1030 secs
lola: 46 tries, 45118366 fired transitions, 1035 secs || 19577963 markings, 19763303 edges, 13995 markings/sec, 1035 secs
lola: 46 tries, 45295095 fired transitions, 1040 secs || 19648312 markings, 19834327 edges, 14070 markings/sec, 1040 secs
lola: 46 tries, 45493892 fired transitions, 1045 secs || 19730217 markings, 19917050 edges, 16381 markings/sec, 1045 secs
lola: 46 tries, 45738096 fired transitions, 1050 secs || 19835057 markings, 20022923 edges, 20968 markings/sec, 1050 secs
lola: 46 tries, 45981033 fired transitions, 1055 secs || 19939376 markings, 20128084 edges, 20864 markings/sec, 1055 secs
lola: 47 tries, 46231180 fired transitions, 1060 secs || 20043720 markings, 20233339 edges, 20869 markings/sec, 1060 secs
lola: 47 tries, 46484116 fired transitions, 1065 secs || 20145918 markings, 20336847 edges, 20440 markings/sec, 1065 secs
lola: 47 tries, 46735364 fired transitions, 1070 secs || 20248752 markings, 20440534 edges, 20567 markings/sec, 1070 secs
lola: 47 tries, 46982780 fired transitions, 1075 secs || 20353842 markings, 20546992 edges, 21018 markings/sec, 1075 secs
lola: 48 tries, 47233876 fired transitions, 1080 secs || 20458452 markings, 20652629 edges, 20922 markings/sec, 1080 secs
lola: 48 tries, 47483802 fired transitions, 1085 secs || 20563527 markings, 20758971 edges, 21015 markings/sec, 1085 secs
lola: 48 tries, 47733556 fired transitions, 1090 secs || 20670342 markings, 20866566 edges, 21363 markings/sec, 1090 secs
lola: 48 tries, 47984463 fired transitions, 1095 secs || 20778017 markings, 20975676 edges, 21535 markings/sec, 1095 secs
lola: 49 tries, 48233024 fired transitions, 1100 secs || 20881688 markings, 21080013 edges, 20734 markings/sec, 1100 secs
lola: 49 tries, 48480716 fired transitions, 1105 secs || 20986069 markings, 21185177 edges, 20876 markings/sec, 1105 secs
lola: 49 tries, 48728360 fired transitions, 1110 secs || 21090537 markings, 21290556 edges, 20894 markings/sec, 1110 secs
lola: 49 tries, 48974239 fired transitions, 1115 secs || 21198158 markings, 21398883 edges, 21524 markings/sec, 1115 secs
lola: 50 tries, 49220286 fired transitions, 1120 secs || 21304453 markings, 21505883 edges, 21259 markings/sec, 1120 secs
lola: 50 tries, 49466034 fired transitions, 1125 secs || 21411448 markings, 21613699 edges, 21399 markings/sec, 1125 secs
lola: 50 tries, 49712114 fired transitions, 1130 secs || 21519057 markings, 21722585 edges, 21522 markings/sec, 1130 secs
lola: 50 tries, 49957723 fired transitions, 1135 secs || 21627308 markings, 21831989 edges, 21650 markings/sec, 1135 secs
lola: 51 tries, 50204638 fired transitions, 1140 secs || 21734466 markings, 21940082 edges, 21432 markings/sec, 1140 secs
lola: 51 tries, 50454605 fired transitions, 1145 secs || 21842524 markings, 22049219 edges, 21612 markings/sec, 1145 secs
lola: 51 tries, 50704697 fired transitions, 1150 secs || 21949819 markings, 22157611 edges, 21459 markings/sec, 1150 secs
lola: 51 tries, 50889521 fired transitions, 1155 secs || 22021724 markings, 22229882 edges, 14381 markings/sec, 1155 secs
lola: 52 tries, 51068508 fired transitions, 1160 secs || 22090868 markings, 22299400 edges, 13829 markings/sec, 1160 secs
lola: 52 tries, 51246872 fired transitions, 1165 secs || 22160862 markings, 22370055 edges, 13999 markings/sec, 1165 secs
lola: 52 tries, 51427687 fired transitions, 1170 secs || 22231005 markings, 22440867 edges, 14029 markings/sec, 1170 secs
lola: 52 tries, 51610395 fired transitions, 1175 secs || 22299244 markings, 22509860 edges, 13648 markings/sec, 1175 secs
lola: 52 tries, 51791977 fired transitions, 1180 secs || 22367758 markings, 22578736 edges, 13703 markings/sec, 1180 secs
lola: 52 tries, 51970718 fired transitions, 1185 secs || 22438091 markings, 22649394 edges, 14067 markings/sec, 1185 secs
lola: 53 tries, 52151497 fired transitions, 1190 secs || 22507935 markings, 22719989 edges, 13969 markings/sec, 1190 secs
lola: 53 tries, 52332359 fired transitions, 1195 secs || 22578049 markings, 22790764 edges, 14023 markings/sec, 1195 secs
lola: 53 tries, 52511095 fired transitions, 1200 secs || 22648116 markings, 22861217 edges, 14013 markings/sec, 1200 secs
lola: 53 tries, 52657657 fired transitions, 1205 secs || 22704216 markings, 22918018 edges, 11220 markings/sec, 1205 secs
lola: 53 tries, 52803562 fired transitions, 1210 secs || 22761290 markings, 22975600 edges, 11415 markings/sec, 1210 secs
lola: 53 tries, 52950226 fired transitions, 1215 secs || 22820424 markings, 23035056 edges, 11827 markings/sec, 1215 secs
lola: 54 tries, 53094858 fired transitions, 1220 secs || 22881825 markings, 23097078 edges, 12280 markings/sec, 1220 secs
lola: 54 tries, 53238905 fired transitions, 1225 secs || 22942822 markings, 23158455 edges, 12199 markings/sec, 1225 secs
lola: 54 tries, 53382861 fired transitions, 1230 secs || 23004914 markings, 23221150 edges, 12418 markings/sec, 1230 secs
lola: 54 tries, 53527003 fired transitions, 1235 secs || 23065074 markings, 23281738 edges, 12032 markings/sec, 1235 secs
lola: 54 tries, 53669960 fired transitions, 1240 secs || 23125349 markings, 23342574 edges, 12055 markings/sec, 1240 secs
lola: 54 tries, 53814218 fired transitions, 1245 secs || 23186718 markings, 23404479 edges, 12274 markings/sec, 1245 secs
lola: 54 tries, 53978885 fired transitions, 1250 secs || 23252473 markings, 23470762 edges, 13151 markings/sec, 1250 secs
lola: 55 tries, 54158120 fired transitions, 1255 secs || 23324254 markings, 23542970 edges, 14356 markings/sec, 1255 secs
lola: 55 tries, 54399033 fired transitions, 1260 secs || 23430362 markings, 23650121 edges, 21222 markings/sec, 1260 secs
lola: 55 tries, 54639421 fired transitions, 1265 secs || 23536636 markings, 23757416 edges, 21255 markings/sec, 1265 secs
lola: 55 tries, 54851030 fired transitions, 1270 secs || 23620572 markings, 23842131 edges, 16787 markings/sec, 1270 secs
lola: 56 tries, 55006316 fired transitions, 1275 secs || 23682669 markings, 23904781 edges, 12419 markings/sec, 1275 secs
lola: 56 tries, 55169513 fired transitions, 1280 secs || 23745762 markings, 23968191 edges, 12619 markings/sec, 1280 secs
lola: 56 tries, 55326769 fired transitions, 1285 secs || 23807613 markings, 24030329 edges, 12370 markings/sec, 1285 secs
lola: 56 tries, 55470114 fired transitions, 1290 secs || 23868878 markings, 24092387 edges, 12253 markings/sec, 1290 secs
lola: 56 tries, 55669092 fired transitions, 1295 secs || 23954204 markings, 24178589 edges, 17065 markings/sec, 1295 secs
lola: 56 tries, 55866965 fired transitions, 1300 secs || 24038152 markings, 24263095 edges, 16790 markings/sec, 1300 secs
lola: 57 tries, 56010286 fired transitions, 1305 secs || 24098722 markings, 24324227 edges, 12114 markings/sec, 1305 secs
lola: 57 tries, 56169637 fired transitions, 1310 secs || 24167953 markings, 24393945 edges, 13846 markings/sec, 1310 secs
lola: 57 tries, 56364556 fired transitions, 1315 secs || 24254442 markings, 24481120 edges, 17298 markings/sec, 1315 secs
lola: 57 tries, 56510926 fired transitions, 1320 secs || 24318232 markings, 24545700 edges, 12758 markings/sec, 1320 secs
lola: 57 tries, 56723999 fired transitions, 1325 secs || 24414478 markings, 24642686 edges, 19249 markings/sec, 1325 secs
lola: 57 tries, 56938766 fired transitions, 1330 secs || 24510331 markings, 24739059 edges, 19171 markings/sec, 1330 secs
lola: 58 tries, 57075910 fired transitions, 1335 secs || 24569324 markings, 24798582 edges, 11799 markings/sec, 1335 secs
lola: 58 tries, 57219335 fired transitions, 1340 secs || 24630502 markings, 24860362 edges, 12236 markings/sec, 1340 secs
lola: 58 tries, 57363551 fired transitions, 1345 secs || 24690754 markings, 24921350 edges, 12050 markings/sec, 1345 secs
lola: 58 tries, 57507012 fired transitions, 1350 secs || 24750878 markings, 24982251 edges, 12025 markings/sec, 1350 secs
lola: 58 tries, 57651341 fired transitions, 1355 secs || 24809787 markings, 25041536 edges, 11782 markings/sec, 1355 secs
lola: 58 tries, 57824197 fired transitions, 1360 secs || 24881975 markings, 25114213 edges, 14438 markings/sec, 1360 secs
lola: 59 tries, 58070956 fired transitions, 1365 secs || 24987113 markings, 25220054 edges, 21028 markings/sec, 1365 secs
lola: 59 tries, 58317254 fired transitions, 1370 secs || 25093434 markings, 25327212 edges, 21264 markings/sec, 1370 secs
lola: 59 tries, 58561331 fired transitions, 1375 secs || 25201479 markings, 25436205 edges, 21609 markings/sec, 1375 secs
lola: 59 tries, 58811426 fired transitions, 1380 secs || 25307355 markings, 25542935 edges, 21175 markings/sec, 1380 secs
lola: 60 tries, 59061281 fired transitions, 1385 secs || 25412391 markings, 25648824 edges, 21007 markings/sec, 1385 secs
lola: 60 tries, 59311402 fired transitions, 1390 secs || 25517456 markings, 25754710 edges, 21013 markings/sec, 1390 secs
lola: 60 tries, 59560807 fired transitions, 1395 secs || 25622469 markings, 25861000 edges, 21003 markings/sec, 1395 secs
lola: 60 tries, 59811879 fired transitions, 1400 secs || 25729546 markings, 25969328 edges, 21415 markings/sec, 1400 secs
lola: 61 tries, 60060123 fired transitions, 1405 secs || 25836746 markings, 26077754 edges, 21440 markings/sec, 1405 secs
lola: 61 tries, 60305192 fired transitions, 1410 secs || 25942172 markings, 26184029 edges, 21085 markings/sec, 1410 secs
lola: 61 tries, 60483831 fired transitions, 1415 secs || 26018239 markings, 26260963 edges, 15213 markings/sec, 1415 secs
lola: 61 tries, 60630608 fired transitions, 1420 secs || 26079024 markings, 26322331 edges, 12157 markings/sec, 1420 secs
lola: 61 tries, 60779254 fired transitions, 1425 secs || 26142518 markings, 26386300 edges, 12699 markings/sec, 1425 secs
lola: 62 tries, 61006117 fired transitions, 1430 secs || 26230324 markings, 26475367 edges, 17561 markings/sec, 1430 secs
lola: 62 tries, 61223802 fired transitions, 1435 secs || 26316452 markings, 26562538 edges, 17226 markings/sec, 1435 secs
lola: 62 tries, 61476161 fired transitions, 1440 secs || 26420041 markings, 26666749 edges, 20718 markings/sec, 1440 secs
lola: 62 tries, 61729343 fired transitions, 1445 secs || 26522932 markings, 26770664 edges, 20578 markings/sec, 1445 secs
lola: 62 tries, 61975876 fired transitions, 1450 secs || 26628257 markings, 26877618 edges, 21065 markings/sec, 1450 secs
lola: 63 tries, 62222777 fired transitions, 1455 secs || 26732430 markings, 26982588 edges, 20835 markings/sec, 1455 secs
lola: 63 tries, 62461358 fired transitions, 1460 secs || 26830424 markings, 27081411 edges, 19599 markings/sec, 1460 secs
lola: 63 tries, 62634226 fired transitions, 1465 secs || 26900647 markings, 27152102 edges, 14045 markings/sec, 1465 secs
lola: 63 tries, 62780691 fired transitions, 1470 secs || 26960537 markings, 27212703 edges, 11978 markings/sec, 1470 secs
lola: 63 tries, 62927168 fired transitions, 1475 secs || 27019452 markings, 27272010 edges, 11783 markings/sec, 1475 secs
lola: 64 tries, 63089326 fired transitions, 1480 secs || 27086733 markings, 27339980 edges, 13456 markings/sec, 1480 secs
lola: 64 tries, 63233551 fired transitions, 1485 secs || 27146976 markings, 27400871 edges, 12049 markings/sec, 1485 secs
lola: 64 tries, 63377335 fired transitions, 1490 secs || 27207828 markings, 27462524 edges, 12170 markings/sec, 1490 secs
lola: 64 tries, 63545498 fired transitions, 1495 secs || 27278924 markings, 27534292 edges, 14219 markings/sec, 1495 secs
lola: 64 tries, 63784442 fired transitions, 1500 secs || 27385562 markings, 27641989 edges, 21328 markings/sec, 1500 secs
lola: 65 tries, 64029604 fired transitions, 1505 secs || 27492421 markings, 27750049 edges, 21372 markings/sec, 1505 secs
lola: 65 tries, 64269829 fired transitions, 1510 secs || 27597999 markings, 27856379 edges, 21116 markings/sec, 1510 secs
lola: 65 tries, 64431913 fired transitions, 1515 secs || 27666404 markings, 27925564 edges, 13681 markings/sec, 1515 secs
lola: 65 tries, 64576559 fired transitions, 1520 secs || 27727738 markings, 27987424 edges, 12267 markings/sec, 1520 secs
lola: 65 tries, 64793085 fired transitions, 1525 secs || 27824236 markings, 28084993 edges, 19300 markings/sec, 1525 secs
lola: 66 tries, 65037365 fired transitions, 1530 secs || 27930401 markings, 28192258 edges, 21233 markings/sec, 1530 secs
lola: 66 tries, 65220775 fired transitions, 1535 secs || 28004644 markings, 28267320 edges, 14849 markings/sec, 1535 secs
lola: 66 tries, 65462511 fired transitions, 1540 secs || 28108979 markings, 28372402 edges, 20867 markings/sec, 1540 secs
lola: 66 tries, 65702766 fired transitions, 1545 secs || 28212770 markings, 28477067 edges, 20758 markings/sec, 1545 secs
lola: 66 tries, 65943190 fired transitions, 1550 secs || 28313924 markings, 28578792 edges, 20231 markings/sec, 1550 secs
lola: 67 tries, 66188645 fired transitions, 1555 secs || 28412732 markings, 28678789 edges, 19762 markings/sec, 1555 secs
lola: 67 tries, 66427509 fired transitions, 1560 secs || 28516322 markings, 28783269 edges, 20718 markings/sec, 1560 secs
lola: 67 tries, 66616771 fired transitions, 1565 secs || 28595773 markings, 28863343 edges, 15890 markings/sec, 1565 secs
lola: 67 tries, 66794460 fired transitions, 1570 secs || 28667762 markings, 28935998 edges, 14398 markings/sec, 1570 secs
lola: 67 tries, 66943482 fired transitions, 1575 secs || 28729509 markings, 28998238 edges, 12349 markings/sec, 1575 secs
lola: 68 tries, 67155282 fired transitions, 1580 secs || 28820600 markings, 29090040 edges, 18218 markings/sec, 1580 secs
lola: 68 tries, 67395491 fired transitions, 1585 secs || 28926050 markings, 29196172 edges, 21090 markings/sec, 1585 secs
lola: 68 tries, 67637489 fired transitions, 1590 secs || 29029794 markings, 29300999 edges, 20749 markings/sec, 1590 secs
lola: 68 tries, 67879930 fired transitions, 1595 secs || 29132527 markings, 29404580 edges, 20547 markings/sec, 1595 secs
lola: 69 tries, 68127186 fired transitions, 1600 secs || 29236718 markings, 29509490 edges, 20838 markings/sec, 1600 secs
lola: 69 tries, 68374161 fired transitions, 1605 secs || 29340326 markings, 29613594 edges, 20722 markings/sec, 1605 secs
lola: 69 tries, 68621050 fired transitions, 1610 secs || 29445311 markings, 29719315 edges, 20997 markings/sec, 1610 secs
lola: 69 tries, 68867717 fired transitions, 1615 secs || 29551381 markings, 29826659 edges, 21214 markings/sec, 1615 secs
lola: 70 tries, 69113775 fired transitions, 1620 secs || 29656642 markings, 29932908 edges, 21052 markings/sec, 1620 secs
lola: 70 tries, 69359337 fired transitions, 1625 secs || 29765360 markings, 30043331 edges, 21744 markings/sec, 1625 secs
lola: 70 tries, 69605697 fired transitions, 1630 secs || 29871043 markings, 30150000 edges, 21137 markings/sec, 1630 secs
lola: 70 tries, 69852371 fired transitions, 1635 secs || 29975215 markings, 30254910 edges, 20834 markings/sec, 1635 secs
lola: 71 tries, 70096645 fired transitions, 1640 secs || 30080421 markings, 30360788 edges, 21041 markings/sec, 1640 secs
lola: 71 tries, 70338552 fired transitions, 1645 secs || 30184310 markings, 30465522 edges, 20778 markings/sec, 1645 secs
lola: 71 tries, 70585011 fired transitions, 1650 secs || 30289227 markings, 30571037 edges, 20983 markings/sec, 1650 secs
lola: 71 tries, 70832211 fired transitions, 1655 secs || 30395058 markings, 30677914 edges, 21166 markings/sec, 1655 secs
lola: 72 tries, 71077584 fired transitions, 1660 secs || 30501342 markings, 30785263 edges, 21257 markings/sec, 1660 secs
lola: 72 tries, 71318369 fired transitions, 1665 secs || 30607593 markings, 30892301 edges, 21250 markings/sec, 1665 secs
lola: 72 tries, 71556994 fired transitions, 1670 secs || 30709711 markings, 30995350 edges, 20424 markings/sec, 1670 secs
lola: 72 tries, 71799181 fired transitions, 1675 secs || 30814356 markings, 31101058 edges, 20929 markings/sec, 1675 secs
lola: 73 tries, 72042366 fired transitions, 1680 secs || 30917579 markings, 31205504 edges, 20645 markings/sec, 1680 secs
lola: 73 tries, 72284644 fired transitions, 1685 secs || 31022386 markings, 31310891 edges, 20961 markings/sec, 1685 secs
lola: 73 tries, 72528575 fired transitions, 1690 secs || 31129713 markings, 31420292 edges, 21465 markings/sec, 1690 secs
lola: 73 tries, 72772294 fired transitions, 1695 secs || 31236666 markings, 31527952 edges, 21391 markings/sec, 1695 secs
lola: 74 tries, 73010434 fired transitions, 1700 secs || 31338374 markings, 31630131 edges, 20342 markings/sec, 1700 secs
lola: 74 tries, 73147163 fired transitions, 1705 secs || 31400892 markings, 31693116 edges, 12504 markings/sec, 1705 secs
lola: 74 tries, 73301895 fired transitions, 1710 secs || 31471294 markings, 31764141 edges, 14080 markings/sec, 1710 secs
lola: 74 tries, 73530769 fired transitions, 1715 secs || 31575931 markings, 31869647 edges, 20927 markings/sec, 1715 secs
lola: 74 tries, 73760082 fired transitions, 1720 secs || 31680005 markings, 31974490 edges, 20815 markings/sec, 1720 secs
lola: 74 tries, 73989415 fired transitions, 1725 secs || 31785486 markings, 32080559 edges, 21096 markings/sec, 1725 secs
lola: 75 tries, 74226538 fired transitions, 1730 secs || 31891337 markings, 32187131 edges, 21170 markings/sec, 1730 secs
lola: 75 tries, 74463000 fired transitions, 1735 secs || 31997548 markings, 32294446 edges, 21242 markings/sec, 1735 secs
lola: 75 tries, 74700947 fired transitions, 1740 secs || 32102880 markings, 32401061 edges, 21066 markings/sec, 1740 secs
lola: 75 tries, 74910603 fired transitions, 1745 secs || 32193656 markings, 32492139 edges, 18155 markings/sec, 1745 secs
lola: 76 tries, 75054686 fired transitions, 1750 secs || 32254474 markings, 32553710 edges, 12164 markings/sec, 1750 secs
lola: 76 tries, 75204962 fired transitions, 1755 secs || 32319112 markings, 32618918 edges, 12928 markings/sec, 1755 secs
lola: 76 tries, 75440764 fired transitions, 1760 secs || 32424116 markings, 32724659 edges, 21001 markings/sec, 1760 secs
lola: 76 tries, 75681228 fired transitions, 1765 secs || 32528099 markings, 32829434 edges, 20797 markings/sec, 1765 secs
lola: 76 tries, 75914128 fired transitions, 1770 secs || 32633664 markings, 32935902 edges, 21113 markings/sec, 1770 secs
lola: 77 tries, 76159482 fired transitions, 1775 secs || 32736195 markings, 33039287 edges, 20506 markings/sec, 1775 secs
lola: 77 tries, 76401927 fired transitions, 1780 secs || 32841889 markings, 33146051 edges, 21139 markings/sec, 1780 secs
lola: 77 tries, 76642297 fired transitions, 1785 secs || 32947110 markings, 33252758 edges, 21044 markings/sec, 1785 secs
lola: 77 tries, 76885438 fired transitions, 1790 secs || 33053082 markings, 33359804 edges, 21194 markings/sec, 1790 secs
lola: 78 tries, 77130005 fired transitions, 1795 secs || 33155048 markings, 33462772 edges, 20393 markings/sec, 1795 secs
lola: 78 tries, 77370712 fired transitions, 1800 secs || 33258578 markings, 33567009 edges, 20706 markings/sec, 1800 secs
lola: 78 tries, 77615109 fired transitions, 1805 secs || 33362216 markings, 33671817 edges, 20728 markings/sec, 1805 secs
lola: 78 tries, 77860872 fired transitions, 1810 secs || 33462933 markings, 33773671 edges, 20143 markings/sec, 1810 secs
lola: 79 tries, 78104876 fired transitions, 1815 secs || 33565986 markings, 33877239 edges, 20611 markings/sec, 1815 secs
lola: 79 tries, 78342310 fired transitions, 1820 secs || 33671007 markings, 33982980 edges, 21004 markings/sec, 1820 secs
lola: 79 tries, 78580330 fired transitions, 1825 secs || 33775987 markings, 34088850 edges, 20996 markings/sec, 1825 secs
lola: 79 tries, 78817652 fired transitions, 1830 secs || 33882308 markings, 34196134 edges, 21264 markings/sec, 1830 secs
lola: 80 tries, 79055272 fired transitions, 1835 secs || 33988118 markings, 34302881 edges, 21162 markings/sec, 1835 secs
lola: 80 tries, 79294970 fired transitions, 1840 secs || 34093709 markings, 34409476 edges, 21118 markings/sec, 1840 secs
lola: 80 tries, 79538165 fired transitions, 1845 secs || 34199040 markings, 34515753 edges, 21066 markings/sec, 1845 secs
lola: 80 tries, 79780706 fired transitions, 1850 secs || 34304502 markings, 34622332 edges, 21092 markings/sec, 1850 secs
lola: 81 tries, 80022719 fired transitions, 1855 secs || 34410383 markings, 34728859 edges, 21176 markings/sec, 1855 secs
lola: 81 tries, 80265029 fired transitions, 1860 secs || 34515223 markings, 34834832 edges, 20968 markings/sec, 1860 secs
lola: 81 tries, 80509592 fired transitions, 1865 secs || 34620195 markings, 34940915 edges, 20994 markings/sec, 1865 secs
lola: 81 tries, 80753325 fired transitions, 1870 secs || 34723811 markings, 35045158 edges, 20723 markings/sec, 1870 secs
lola: 81 tries, 80996786 fired transitions, 1875 secs || 34827775 markings, 35149783 edges, 20793 markings/sec, 1875 secs
lola: 82 tries, 81239026 fired transitions, 1880 secs || 34931664 markings, 35254068 edges, 20778 markings/sec, 1880 secs
lola: 82 tries, 81483503 fired transitions, 1885 secs || 35034794 markings, 35358103 edges, 20626 markings/sec, 1885 secs
lola: 82 tries, 81731832 fired transitions, 1890 secs || 35137911 markings, 35462204 edges, 20623 markings/sec, 1890 secs
lola: 82 tries, 81976620 fired transitions, 1895 secs || 35243115 markings, 35568326 edges, 21041 markings/sec, 1895 secs
lola: 83 tries, 82216754 fired transitions, 1900 secs || 35346518 markings, 35672409 edges, 20681 markings/sec, 1900 secs
lola: 83 tries, 82455504 fired transitions, 1905 secs || 35450390 markings, 35777308 edges, 20774 markings/sec, 1905 secs
lola: 83 tries, 82698147 fired transitions, 1910 secs || 35554433 markings, 35882269 edges, 20809 markings/sec, 1910 secs
lola: 83 tries, 82936058 fired transitions, 1915 secs || 35659900 markings, 35988817 edges, 21093 markings/sec, 1915 secs
lola: 84 tries, 83172628 fired transitions, 1920 secs || 35766048 markings, 36096028 edges, 21230 markings/sec, 1920 secs
lola: 84 tries, 83412861 fired transitions, 1925 secs || 35871444 markings, 36202578 edges, 21079 markings/sec, 1925 secs
lola: 84 tries, 83656046 fired transitions, 1930 secs || 35976380 markings, 36308623 edges, 20987 markings/sec, 1930 secs
lola: 84 tries, 83901521 fired transitions, 1935 secs || 36080499 markings, 36413753 edges, 20824 markings/sec, 1935 secs
lola: 85 tries, 84147363 fired transitions, 1940 secs || 36184716 markings, 36518784 edges, 20843 markings/sec, 1940 secs
lola: 85 tries, 84391048 fired transitions, 1945 secs || 36289337 markings, 36624358 edges, 20924 markings/sec, 1945 secs
lola: 85 tries, 84635106 fired transitions, 1950 secs || 36393124 markings, 36728935 edges, 20757 markings/sec, 1950 secs
lola: 85 tries, 84883817 fired transitions, 1955 secs || 36497853 markings, 36834270 edges, 20946 markings/sec, 1955 secs
lola: 86 tries, 85131888 fired transitions, 1960 secs || 36602298 markings, 36939594 edges, 20889 markings/sec, 1960 secs
lola: 86 tries, 85380780 fired transitions, 1965 secs || 36708178 markings, 37046599 edges, 21176 markings/sec, 1965 secs
lola: 86 tries, 85629488 fired transitions, 1970 secs || 36812634 markings, 37151653 edges, 20891 markings/sec, 1970 secs
lola: 86 tries, 85878007 fired transitions, 1975 secs || 36917401 markings, 37257342 edges, 20953 markings/sec, 1975 secs
lola: 87 tries, 86123871 fired transitions, 1980 secs || 37022790 markings, 37363868 edges, 21078 markings/sec, 1980 secs
lola: 87 tries, 86365960 fired transitions, 1985 secs || 37127185 markings, 37468862 edges, 20879 markings/sec, 1985 secs
lola: 87 tries, 86608686 fired transitions, 1990 secs || 37233368 markings, 37576230 edges, 21237 markings/sec, 1990 secs
lola: 87 tries, 86829605 fired transitions, 1995 secs || 37330184 markings, 37673654 edges, 19363 markings/sec, 1995 secs
lola: 87 tries, 86995234 fired transitions, 2000 secs || 37407133 markings, 37751428 edges, 15390 markings/sec, 2000 secs
lola: 88 tries, 87179439 fired transitions, 2005 secs || 37471919 markings, 37816792 edges, 12957 markings/sec, 2005 secs
lola: 88 tries, 87379257 fired transitions, 2010 secs || 37518122 markings, 37863565 edges, 9241 markings/sec, 2010 secs
lola: 88 tries, 87698205 fired transitions, 2015 secs || 37538320 markings, 37884559 edges, 4040 markings/sec, 2015 secs
lola: 88 tries, 87773912 fired transitions, 2020 secs || 37538447 markings, 37884688 edges, 25 markings/sec, 2020 secs
Killed
rslt: finished

BK_STOP 1552487088497

--------------------
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-20"
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-20, 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-155234405600786"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DatabaseWithMutex-COL-20.tgz
mv DatabaseWithMutex-COL-20 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 ;