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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.1M
-rw-r--r-- 1 mcc users 3.6K Feb 10 07:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 10 07:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 6 06:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 6 06:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 102 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 340 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.3K Feb 4 23:22 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.9K Feb 4 23:22 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 11K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 2 23:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 2 23:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Jan 30 13:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Jan 30 13:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 1.9M 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 DLCround-PT-12b-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552458794749

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ DLCround-PT-12b @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 1480
rslt: Output for GlobalProperties @ DLCround-PT-12b
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: 12684/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 4848
lola: finding significant places
lola: 4848 places, 7836 transitions, 4571 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from GlobalProperties.xml
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning: workflow for reachability check: findpath||search (--findpath=par)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (DEADLOCK))
lola: processed formula length: 16
lola: 1 rewrites
lola: closed formula file GlobalProperties.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computed 17 generators (17 in search tree, 0 by composition)
lola: representing 131072 symmetries
lola: 0 dead branches visited in search tree
lola: 2 tries, 1040345 fired transitions, 0 secs || 72515 markings, 82118 edges, 14503 markings/sec, 0 secs
lola: 3 tries, 2077699 fired transitions, 5 secs || 146574 markings, 165998 edges, 14812 markings/sec, 5 secs
lola: 4 tries, 3121384 fired transitions, 10 secs || 221154 markings, 250915 edges, 14916 markings/sec, 10 secs
lola: 5 tries, 4165356 fired transitions, 15 secs || 296315 markings, 336758 edges, 15032 markings/sec, 15 secs
lola: 6 tries, 5281882 fired transitions, 20 secs || 374888 markings, 426384 edges, 15715 markings/sec, 20 secs
lola: 7 tries, 6620030 fired transitions, 25 secs || 465939 markings, 530697 edges, 18210 markings/sec, 25 secs
lola: 9 tries, 8003581 fired transitions, 30 secs || 561519 markings, 640748 edges, 19116 markings/sec, 30 secs
lola: 10 tries, 9397359 fired transitions, 35 secs || 656793 markings, 749824 edges, 19055 markings/sec, 35 secs
lola: 11 tries, 10798789 fired transitions, 40 secs || 753824 markings, 860963 edges, 19406 markings/sec, 40 secs
lola: 13 tries, 12150842 fired transitions, 45 secs || 844977 markings, 965370 edges, 18231 markings/sec, 45 secs
lola: 14 tries, 13527748 fired transitions, 50 secs || 941788 markings, 1076637 edges, 19362 markings/sec, 50 secs
lola: 15 tries, 14851241 fired transitions, 55 secs || 1034920 markings, 1183177 edges, 18626 markings/sec, 55 secs
lola: 17 tries, 16130317 fired transitions, 60 secs || 1122355 markings, 1283800 edges, 17487 markings/sec, 60 secs
lola: 18 tries, 17198333 fired transitions, 65 secs || 1199066 markings, 1371659 edges, 15342 markings/sec, 65 secs
lola: 19 tries, 18266827 fired transitions, 70 secs || 1275715 markings, 1459253 edges, 15330 markings/sec, 70 secs
lola: 20 tries, 19331746 fired transitions, 75 secs || 1353294 markings, 1547409 edges, 15516 markings/sec, 75 secs
lola: 21 tries, 20397283 fired transitions, 80 secs || 1430164 markings, 1634500 edges, 15374 markings/sec, 80 secs
lola: 22 tries, 21472150 fired transitions, 85 secs || 1506608 markings, 1721407 edges, 15289 markings/sec, 85 secs
lola: 23 tries, 22734409 fired transitions, 90 secs || 1592995 markings, 1819538 edges, 17277 markings/sec, 90 secs
lola: 24 tries, 23833246 fired transitions, 95 secs || 1673802 markings, 1910697 edges, 16161 markings/sec, 95 secs
lola: 26 tries, 25216385 fired transitions, 100 secs || 1766282 markings, 2015487 edges, 18496 markings/sec, 100 secs
lola: 27 tries, 26594264 fired transitions, 105 secs || 1856640 markings, 2118140 edges, 18072 markings/sec, 105 secs
lola: 29 tries, 28002943 fired transitions, 110 secs || 1953790 markings, 2227853 edges, 19430 markings/sec, 110 secs
lola: 30 tries, 29410858 fired transitions, 115 secs || 2047490 markings, 2334156 edges, 18740 markings/sec, 115 secs
lola: 31 tries, 30800659 fired transitions, 120 secs || 2141642 markings, 2441946 edges, 18830 markings/sec, 120 secs
lola: 32 tries, 31862516 fired transitions, 125 secs || 2218594 markings, 2529421 edges, 15390 markings/sec, 125 secs
lola: 33 tries, 32933663 fired transitions, 130 secs || 2296791 markings, 2618606 edges, 15639 markings/sec, 130 secs
lola: 35 tries, 34000269 fired transitions, 135 secs || 2373141 markings, 2706193 edges, 15270 markings/sec, 135 secs
lola: 36 tries, 35062716 fired transitions, 140 secs || 2449518 markings, 2794750 edges, 15275 markings/sec, 140 secs
lola: 37 tries, 36130742 fired transitions, 145 secs || 2526029 markings, 2882503 edges, 15302 markings/sec, 145 secs
lola: 38 tries, 37205510 fired transitions, 150 secs || 2603844 markings, 2971636 edges, 15563 markings/sec, 150 secs
lola: 39 tries, 38473283 fired transitions, 155 secs || 2691665 markings, 3072247 edges, 17564 markings/sec, 155 secs
lola: 40 tries, 39806915 fired transitions, 160 secs || 2783314 markings, 3176405 edges, 18330 markings/sec, 160 secs
lola: 41 tries, 40873624 fired transitions, 165 secs || 2859655 markings, 3263884 edges, 15268 markings/sec, 165 secs
lola: 42 tries, 41946993 fired transitions, 170 secs || 2937559 markings, 3352181 edges, 15581 markings/sec, 170 secs
lola: 44 tries, 43020876 fired transitions, 175 secs || 3015145 markings, 3441423 edges, 15517 markings/sec, 175 secs
lola: 45 tries, 44099544 fired transitions, 180 secs || 3093341 markings, 3530673 edges, 15639 markings/sec, 180 secs
lola: 46 tries, 45376910 fired transitions, 185 secs || 3180852 markings, 3630777 edges, 17502 markings/sec, 185 secs
lola: 47 tries, 46213828 fired transitions, 190 secs || 3239253 markings, 3699267 edges, 11680 markings/sec, 190 secs
lola: 47 tries, 46950505 fired transitions, 195 secs || 3290738 markings, 3760384 edges, 10297 markings/sec, 195 secs
lola: 48 tries, 47685027 fired transitions, 200 secs || 3341744 markings, 3820479 edges, 10201 markings/sec, 200 secs
lola: 49 tries, 48421710 fired transitions, 205 secs || 3392704 markings, 3880606 edges, 10192 markings/sec, 205 secs
lola: 50 tries, 49155951 fired transitions, 210 secs || 3443634 markings, 3940486 edges, 10186 markings/sec, 210 secs
lola: 50 tries, 49892380 fired transitions, 215 secs || 3494258 markings, 4000137 edges, 10125 markings/sec, 215 secs
lola: 51 tries, 50626613 fired transitions, 220 secs || 3544686 markings, 4059383 edges, 10086 markings/sec, 220 secs
lola: 52 tries, 51363606 fired transitions, 225 secs || 3594316 markings, 4117618 edges, 9926 markings/sec, 225 secs
lola: 53 tries, 52100447 fired transitions, 230 secs || 3644059 markings, 4176104 edges, 9949 markings/sec, 230 secs
lola: 53 tries, 52834455 fired transitions, 235 secs || 3694151 markings, 4234556 edges, 10018 markings/sec, 235 secs
lola: 54 tries, 53571285 fired transitions, 240 secs || 3745208 markings, 4295016 edges, 10211 markings/sec, 240 secs
lola: 55 tries, 54308208 fired transitions, 245 secs || 3795781 markings, 4354759 edges, 10115 markings/sec, 245 secs
lola: 56 tries, 55042375 fired transitions, 250 secs || 3846541 markings, 4414595 edges, 10152 markings/sec, 250 secs
lola: 56 tries, 55776314 fired transitions, 255 secs || 3896628 markings, 4473439 edges, 10017 markings/sec, 255 secs
lola: 57 tries, 56515101 fired transitions, 260 secs || 3946085 markings, 4531764 edges, 9891 markings/sec, 260 secs
lola: 58 tries, 57249396 fired transitions, 265 secs || 3995502 markings, 4589686 edges, 9883 markings/sec, 265 secs
lola: 58 tries, 57983476 fired transitions, 270 secs || 4045071 markings, 4647763 edges, 9914 markings/sec, 270 secs
lola: 60 tries, 59066395 fired transitions, 275 secs || 4116715 markings, 4730126 edges, 14329 markings/sec, 275 secs
lola: 61 tries, 60453854 fired transitions, 280 secs || 4210254 markings, 4835942 edges, 18708 markings/sec, 280 secs
lola: 62 tries, 61841108 fired transitions, 285 secs || 4303760 markings, 4941654 edges, 18701 markings/sec, 285 secs
lola: 64 tries, 63226001 fired transitions, 290 secs || 4397025 markings, 5047171 edges, 18653 markings/sec, 290 secs
lola: 65 tries, 64607820 fired transitions, 295 secs || 4489124 markings, 5152150 edges, 18420 markings/sec, 295 secs
lola: 66 tries, 65994518 fired transitions, 300 secs || 4582376 markings, 5258042 edges, 18650 markings/sec, 300 secs
lola: 68 tries, 67381885 fired transitions, 305 secs || 4674057 markings, 5362323 edges, 18336 markings/sec, 305 secs
lola: 69 tries, 68770276 fired transitions, 310 secs || 4767870 markings, 5469407 edges, 18763 markings/sec, 310 secs
lola: 71 tries, 70158843 fired transitions, 315 secs || 4862121 markings, 5576768 edges, 18850 markings/sec, 315 secs
lola: 72 tries, 71547736 fired transitions, 320 secs || 4956846 markings, 5685875 edges, 18945 markings/sec, 320 secs
lola: 73 tries, 72932755 fired transitions, 325 secs || 5050776 markings, 5792700 edges, 18786 markings/sec, 325 secs
lola: 75 tries, 74295727 fired transitions, 330 secs || 5143842 markings, 5899383 edges, 18613 markings/sec, 330 secs
lola: 76 tries, 75362865 fired transitions, 335 secs || 5220779 markings, 5986947 edges, 15387 markings/sec, 335 secs
lola: 77 tries, 76435973 fired transitions, 340 secs || 5297471 markings, 6076167 edges, 15338 markings/sec, 340 secs
lola: 78 tries, 77505013 fired transitions, 345 secs || 5373484 markings, 6164486 edges, 15203 markings/sec, 345 secs
lola: 79 tries, 78575086 fired transitions, 350 secs || 5450183 markings, 6252160 edges, 15340 markings/sec, 350 secs
lola: 80 tries, 79643977 fired transitions, 355 secs || 5527558 markings, 6340358 edges, 15475 markings/sec, 355 secs
lola: 81 tries, 80993086 fired transitions, 360 secs || 5620932 markings, 6446803 edges, 18675 markings/sec, 360 secs
lola: 83 tries, 82376809 fired transitions, 365 secs || 5712693 markings, 6551918 edges, 18352 markings/sec, 365 secs
lola: 84 tries, 83761533 fired transitions, 370 secs || 5804818 markings, 6656171 edges, 18425 markings/sec, 370 secs
lola: 86 tries, 85147327 fired transitions, 375 secs || 5899599 markings, 6761874 edges, 18956 markings/sec, 375 secs
lola: 87 tries, 86536081 fired transitions, 380 secs || 5994090 markings, 6868889 edges, 18898 markings/sec, 380 secs
lola: 88 tries, 87924792 fired transitions, 385 secs || 6088155 markings, 6976066 edges, 18813 markings/sec, 385 secs
lola: 90 tries, 89313157 fired transitions, 390 secs || 6182344 markings, 7082913 edges, 18838 markings/sec, 390 secs
lola: 91 tries, 90698925 fired transitions, 395 secs || 6275700 markings, 7188635 edges, 18671 markings/sec, 395 secs
lola: 93 tries, 92089668 fired transitions, 400 secs || 6369285 markings, 7296189 edges, 18717 markings/sec, 400 secs
lola: 94 tries, 93477785 fired transitions, 405 secs || 6462935 markings, 7403374 edges, 18730 markings/sec, 405 secs
lola: 95 tries, 94865802 fired transitions, 410 secs || 6557277 markings, 7511247 edges, 18868 markings/sec, 410 secs
lola: 97 tries, 96111558 fired transitions, 415 secs || 6643761 markings, 7608515 edges, 17297 markings/sec, 415 secs
lola: 98 tries, 97177994 fired transitions, 420 secs || 6721209 markings, 7695820 edges, 15490 markings/sec, 420 secs
lola: 99 tries, 98245933 fired transitions, 425 secs || 6798263 markings, 7783970 edges, 15411 markings/sec, 425 secs
lola: 100 tries, 99528346 fired transitions, 430 secs || 6885879 markings, 7884573 edges, 17523 markings/sec, 430 secs
lola: 101 tries, 100897330 fired transitions, 435 secs || 6981643 markings, 7995584 edges, 19153 markings/sec, 435 secs
lola: 103 tries, 102285017 fired transitions, 440 secs || 7076003 markings, 8103556 edges, 18872 markings/sec, 440 secs
lola: 104 tries, 103672852 fired transitions, 445 secs || 7170019 markings, 8211467 edges, 18803 markings/sec, 445 secs
lola: 106 tries, 105063672 fired transitions, 450 secs || 7266913 markings, 8323889 edges, 19379 markings/sec, 450 secs
lola: 107 tries, 106456311 fired transitions, 455 secs || 7361119 markings, 8432586 edges, 18841 markings/sec, 455 secs
lola: 108 tries, 107846081 fired transitions, 460 secs || 7455146 markings, 8539601 edges, 18805 markings/sec, 460 secs
lola: 110 tries, 109235110 fired transitions, 465 secs || 7548341 markings, 8645746 edges, 18639 markings/sec, 465 secs
lola: 111 tries, 110621561 fired transitions, 470 secs || 7641360 markings, 8753061 edges, 18604 markings/sec, 470 secs
lola: 113 tries, 112009496 fired transitions, 475 secs || 7735739 markings, 8860835 edges, 18876 markings/sec, 475 secs
lola: 114 tries, 113388383 fired transitions, 480 secs || 7825287 markings, 8961290 edges, 17910 markings/sec, 480 secs
lola: 115 tries, 114773577 fired transitions, 485 secs || 7921490 markings, 9071809 edges, 19241 markings/sec, 485 secs
lola: 117 tries, 116160062 fired transitions, 490 secs || 8017989 markings, 9182905 edges, 19300 markings/sec, 490 secs
lola: 118 tries, 117546027 fired transitions, 495 secs || 8113958 markings, 9292533 edges, 19194 markings/sec, 495 secs
lola: 119 tries, 118934009 fired transitions, 500 secs || 8210599 markings, 9402988 edges, 19328 markings/sec, 500 secs
lola: 121 tries, 120321794 fired transitions, 505 secs || 8306282 markings, 9512415 edges, 19137 markings/sec, 505 secs
lola: 122 tries, 121491493 fired transitions, 510 secs || 8389376 markings, 9606352 edges, 16619 markings/sec, 510 secs
lola: 123 tries, 122557769 fired transitions, 515 secs || 8468527 markings, 9697118 edges, 15830 markings/sec, 515 secs
lola: 124 tries, 123620204 fired transitions, 520 secs || 8545514 markings, 9786252 edges, 15397 markings/sec, 520 secs
lola: 125 tries, 124676907 fired transitions, 525 secs || 8622634 markings, 9874263 edges, 15424 markings/sec, 525 secs
lola: 126 tries, 125739860 fired transitions, 530 secs || 8701041 markings, 9963742 edges, 15681 markings/sec, 530 secs
lola: 127 tries, 126809822 fired transitions, 535 secs || 8779814 markings, 10054471 edges, 15755 markings/sec, 535 secs
lola: 128 tries, 127876482 fired transitions, 540 secs || 8856918 markings, 10143028 edges, 15421 markings/sec, 540 secs
lola: 129 tries, 128945514 fired transitions, 545 secs || 8935219 markings, 10233123 edges, 15660 markings/sec, 545 secs
lola: 131 tries, 130008565 fired transitions, 550 secs || 9011977 markings, 10321426 edges, 15352 markings/sec, 550 secs
lola: 132 tries, 131071113 fired transitions, 555 secs || 9089129 markings, 10410553 edges, 15430 markings/sec, 555 secs
lola: 133 tries, 132131112 fired transitions, 560 secs || 9165517 markings, 10498990 edges, 15278 markings/sec, 560 secs
lola: 134 tries, 133195315 fired transitions, 565 secs || 9242693 markings, 10588666 edges, 15435 markings/sec, 565 secs
lola: 135 tries, 134257960 fired transitions, 570 secs || 9318907 markings, 10676899 edges, 15243 markings/sec, 570 secs
lola: 136 tries, 135321928 fired transitions, 575 secs || 9396747 markings, 10766193 edges, 15568 markings/sec, 575 secs
lola: 137 tries, 136381012 fired transitions, 580 secs || 9474009 markings, 10855939 edges, 15452 markings/sec, 580 secs
lola: 138 tries, 137441087 fired transitions, 585 secs || 9549749 markings, 10941680 edges, 15148 markings/sec, 585 secs
lola: 139 tries, 138511053 fired transitions, 590 secs || 9626429 markings, 11029871 edges, 15336 markings/sec, 590 secs
lola: 140 tries, 139576254 fired transitions, 595 secs || 9702606 markings, 11117352 edges, 15235 markings/sec, 595 secs
lola: 141 tries, 140651758 fired transitions, 600 secs || 9781219 markings, 11207742 edges, 15723 markings/sec, 600 secs
lola: 142 tries, 141721535 fired transitions, 605 secs || 9857615 markings, 11297249 edges, 15279 markings/sec, 605 secs
lola: 143 tries, 142789120 fired transitions, 610 secs || 9934372 markings, 11386351 edges, 15351 markings/sec, 610 secs
lola: 144 tries, 143861276 fired transitions, 615 secs || 10011004 markings, 11474885 edges, 15326 markings/sec, 615 secs
lola: 145 tries, 144928897 fired transitions, 620 secs || 10090474 markings, 11566503 edges, 15894 markings/sec, 620 secs
lola: 146 tries, 145994166 fired transitions, 625 secs || 10167392 markings, 11654648 edges, 15384 markings/sec, 625 secs
lola: 148 tries, 147058006 fired transitions, 630 secs || 10245511 markings, 11743453 edges, 15624 markings/sec, 630 secs
lola: 149 tries, 148128562 fired transitions, 635 secs || 10322941 markings, 11833283 edges, 15486 markings/sec, 635 secs
lola: 150 tries, 149195754 fired transitions, 640 secs || 10398819 markings, 11919829 edges, 15176 markings/sec, 640 secs
lola: 151 tries, 150451994 fired transitions, 645 secs || 10487329 markings, 12022586 edges, 17702 markings/sec, 645 secs
lola: 152 tries, 151814384 fired transitions, 650 secs || 10581908 markings, 12130379 edges, 18916 markings/sec, 650 secs
lola: 154 tries, 153182191 fired transitions, 655 secs || 10677933 markings, 12241668 edges, 19205 markings/sec, 655 secs
lola: 155 tries, 154546693 fired transitions, 660 secs || 10773493 markings, 12351241 edges, 19112 markings/sec, 660 secs
lola: 156 tries, 155912958 fired transitions, 665 secs || 10867922 markings, 12460316 edges, 18886 markings/sec, 665 secs
lola: 158 tries, 157304691 fired transitions, 670 secs || 10964632 markings, 12571529 edges, 19342 markings/sec, 670 secs
lola: 159 tries, 158694077 fired transitions, 675 secs || 11060050 markings, 12681009 edges, 19084 markings/sec, 675 secs
lola: 161 tries, 160083346 fired transitions, 680 secs || 11156374 markings, 12792445 edges, 19265 markings/sec, 680 secs
lola: 162 tries, 161472851 fired transitions, 685 secs || 11250795 markings, 12901630 edges, 18884 markings/sec, 685 secs
lola: 163 tries, 162863194 fired transitions, 690 secs || 11345591 markings, 13010746 edges, 18959 markings/sec, 690 secs
lola: 165 tries, 164255103 fired transitions, 695 secs || 11441101 markings, 13121178 edges, 19102 markings/sec, 695 secs
lola: 166 tries, 165642233 fired transitions, 700 secs || 11538322 markings, 13231236 edges, 19444 markings/sec, 700 secs
lola: 168 tries, 167032689 fired transitions, 705 secs || 11634731 markings, 13343533 edges, 19282 markings/sec, 705 secs
lola: 169 tries, 168421404 fired transitions, 710 secs || 11730578 markings, 13454024 edges, 19169 markings/sec, 710 secs
lola: 170 tries, 169809869 fired transitions, 715 secs || 11825522 markings, 13563763 edges, 18989 markings/sec, 715 secs
lola: 172 tries, 171197484 fired transitions, 720 secs || 11920876 markings, 13672797 edges, 19071 markings/sec, 720 secs
lola: 173 tries, 172584516 fired transitions, 725 secs || 12018144 markings, 13783976 edges, 19454 markings/sec, 725 secs
lola: 174 tries, 173972634 fired transitions, 730 secs || 12112427 markings, 13891519 edges, 18857 markings/sec, 730 secs
lola: 176 tries, 175361662 fired transitions, 735 secs || 12207839 markings, 14000550 edges, 19082 markings/sec, 735 secs
lola: 177 tries, 176751086 fired transitions, 740 secs || 12304179 markings, 14111770 edges, 19268 markings/sec, 740 secs
lola: 179 tries, 178137872 fired transitions, 745 secs || 12400509 markings, 14220866 edges, 19266 markings/sec, 745 secs
lola: 180 tries, 179527461 fired transitions, 750 secs || 12496445 markings, 14329998 edges, 19187 markings/sec, 750 secs
lola: 181 tries, 180914843 fired transitions, 755 secs || 12592355 markings, 14440299 edges, 19182 markings/sec, 755 secs
lola: 183 tries, 182302535 fired transitions, 760 secs || 12687927 markings, 14549187 edges, 19114 markings/sec, 760 secs
lola: 184 tries, 183691326 fired transitions, 765 secs || 12784507 markings, 14658648 edges, 19316 markings/sec, 765 secs
lola: 186 tries, 185079376 fired transitions, 770 secs || 12879596 markings, 14766678 edges, 19018 markings/sec, 770 secs
lola: 187 tries, 186468980 fired transitions, 775 secs || 12974835 markings, 14876963 edges, 19048 markings/sec, 775 secs
lola: 188 tries, 187856185 fired transitions, 780 secs || 13070026 markings, 14985478 edges, 19038 markings/sec, 780 secs
lola: 190 tries, 189246329 fired transitions, 785 secs || 13166413 markings, 15096940 edges, 19277 markings/sec, 785 secs
lola: 191 tries, 190635610 fired transitions, 790 secs || 13262545 markings, 15207209 edges, 19226 markings/sec, 790 secs
lola: 193 tries, 192024585 fired transitions, 795 secs || 13358808 markings, 15317087 edges, 19253 markings/sec, 795 secs
lola: 194 tries, 193412125 fired transitions, 800 secs || 13451708 markings, 15422715 edges, 18580 markings/sec, 800 secs
lola: 195 tries, 194799976 fired transitions, 805 secs || 13546811 markings, 15530616 edges, 19021 markings/sec, 805 secs
lola: 197 tries, 196188897 fired transitions, 810 secs || 13641727 markings, 15640722 edges, 18983 markings/sec, 810 secs
lola: 198 tries, 197577647 fired transitions, 815 secs || 13737056 markings, 15750303 edges, 19066 markings/sec, 815 secs
lola: 199 tries, 198966049 fired transitions, 820 secs || 13832327 markings, 15859403 edges, 19054 markings/sec, 820 secs
lola: 201 tries, 200346746 fired transitions, 825 secs || 13926564 markings, 15968047 edges, 18847 markings/sec, 825 secs
lola: 202 tries, 201723418 fired transitions, 830 secs || 14021727 markings, 16078181 edges, 19033 markings/sec, 830 secs
lola: 204 tries, 203112939 fired transitions, 835 secs || 14118245 markings, 16190759 edges, 19304 markings/sec, 835 secs
lola: 205 tries, 204499589 fired transitions, 840 secs || 14213096 markings, 16298507 edges, 18970 markings/sec, 840 secs
lola: 206 tries, 205888254 fired transitions, 845 secs || 14308897 markings, 16408470 edges, 19160 markings/sec, 845 secs
lola: 208 tries, 207277410 fired transitions, 850 secs || 14403931 markings, 16518884 edges, 19007 markings/sec, 850 secs
lola: 209 tries, 208666717 fired transitions, 855 secs || 14498249 markings, 16627646 edges, 18864 markings/sec, 855 secs
lola: 211 tries, 210055726 fired transitions, 860 secs || 14591228 markings, 16734701 edges, 18596 markings/sec, 860 secs
lola: 212 tries, 211445498 fired transitions, 865 secs || 14686942 markings, 16845770 edges, 19143 markings/sec, 865 secs
lola: 213 tries, 212834256 fired transitions, 870 secs || 14782051 markings, 16955713 edges, 19022 markings/sec, 870 secs
lola: 215 tries, 214219836 fired transitions, 875 secs || 14876671 markings, 17062900 edges, 18924 markings/sec, 875 secs
lola: 216 tries, 215607557 fired transitions, 880 secs || 14971898 markings, 17172199 edges, 19045 markings/sec, 880 secs
lola: 217 tries, 216992778 fired transitions, 885 secs || 15065265 markings, 17277486 edges, 18673 markings/sec, 885 secs
lola: 219 tries, 218382325 fired transitions, 890 secs || 15159273 markings, 17386390 edges, 18802 markings/sec, 890 secs
lola: 220 tries, 219770911 fired transitions, 895 secs || 15253488 markings, 17493784 edges, 18843 markings/sec, 895 secs
lola: 222 tries, 221158782 fired transitions, 900 secs || 15348303 markings, 17603047 edges, 18963 markings/sec, 900 secs
lola: 223 tries, 222548069 fired transitions, 905 secs || 15443740 markings, 17713640 edges, 19087 markings/sec, 905 secs
lola: 224 tries, 223937834 fired transitions, 910 secs || 15539418 markings, 17822873 edges, 19136 markings/sec, 910 secs
lola: 226 tries, 225328021 fired transitions, 915 secs || 15635693 markings, 17933494 edges, 19255 markings/sec, 915 secs
lola: 227 tries, 226716845 fired transitions, 920 secs || 15730933 markings, 18042458 edges, 19048 markings/sec, 920 secs
lola: 229 tries, 228106661 fired transitions, 925 secs || 15826228 markings, 18152189 edges, 19059 markings/sec, 925 secs
lola: 230 tries, 229495626 fired transitions, 930 secs || 15920298 markings, 18259156 edges, 18814 markings/sec, 930 secs
lola: 231 tries, 230888067 fired transitions, 935 secs || 16017412 markings, 18372560 edges, 19423 markings/sec, 935 secs
lola: 233 tries, 232278073 fired transitions, 940 secs || 16113002 markings, 18483157 edges, 19118 markings/sec, 940 secs
lola: 234 tries, 233666470 fired transitions, 945 secs || 16207989 markings, 18593436 edges, 18997 markings/sec, 945 secs
lola: 236 tries, 235054597 fired transitions, 950 secs || 16302110 markings, 18701574 edges, 18824 markings/sec, 950 secs
lola: 237 tries, 236446535 fired transitions, 955 secs || 16398804 markings, 18814804 edges, 19339 markings/sec, 955 secs
lola: 238 tries, 237835850 fired transitions, 960 secs || 16493883 markings, 18924649 edges, 19016 markings/sec, 960 secs
lola: 240 tries, 239225916 fired transitions, 965 secs || 16587686 markings, 19032627 edges, 18761 markings/sec, 965 secs
lola: 241 tries, 240615295 fired transitions, 970 secs || 16682017 markings, 19141866 edges, 18866 markings/sec, 970 secs
lola: 243 tries, 242004961 fired transitions, 975 secs || 16776288 markings, 19250186 edges, 18854 markings/sec, 975 secs
lola: 244 tries, 243395329 fired transitions, 980 secs || 16872426 markings, 19361058 edges, 19228 markings/sec, 980 secs
lola: 245 tries, 244785997 fired transitions, 985 secs || 16968623 markings, 19472700 edges, 19239 markings/sec, 985 secs
lola: 247 tries, 246178271 fired transitions, 990 secs || 17065478 markings, 19585956 edges, 19371 markings/sec, 990 secs
lola: 248 tries, 247567708 fired transitions, 995 secs || 17161924 markings, 19698242 edges, 19289 markings/sec, 995 secs
lola: 249 tries, 248955104 fired transitions, 1000 secs || 17255565 markings, 19806354 edges, 18728 markings/sec, 1000 secs
lola: 251 tries, 250343115 fired transitions, 1005 secs || 17350930 markings, 19914985 edges, 19073 markings/sec, 1005 secs
lola: 252 tries, 251731410 fired transitions, 1010 secs || 17447635 markings, 20025641 edges, 19341 markings/sec, 1010 secs
lola: 254 tries, 253119076 fired transitions, 1015 secs || 17541958 markings, 20134344 edges, 18865 markings/sec, 1015 secs
lola: 255 tries, 254505586 fired transitions, 1020 secs || 17636796 markings, 20244479 edges, 18968 markings/sec, 1020 secs
lola: 256 tries, 255892605 fired transitions, 1025 secs || 17732169 markings, 20354097 edges, 19075 markings/sec, 1025 secs
lola: 258 tries, 257281643 fired transitions, 1030 secs || 17827568 markings, 20464199 edges, 19080 markings/sec, 1030 secs
lola: 259 tries, 258670814 fired transitions, 1035 secs || 17924017 markings, 20573226 edges, 19290 markings/sec, 1035 secs
lola: 261 tries, 260061199 fired transitions, 1040 secs || 18021042 markings, 20686735 edges, 19405 markings/sec, 1040 secs
lola: 262 tries, 261449966 fired transitions, 1045 secs || 18116921 markings, 20795498 edges, 19176 markings/sec, 1045 secs
lola: 263 tries, 262839710 fired transitions, 1050 secs || 18212857 markings, 20906348 edges, 19187 markings/sec, 1050 secs
lola: 265 tries, 264228470 fired transitions, 1055 secs || 18307867 markings, 21015552 edges, 19002 markings/sec, 1055 secs
lola: 266 tries, 265619628 fired transitions, 1060 secs || 18405678 markings, 21128657 edges, 19562 markings/sec, 1060 secs
lola: 268 tries, 267008923 fired transitions, 1065 secs || 18501151 markings, 21239546 edges, 19095 markings/sec, 1065 secs
lola: 269 tries, 268398155 fired transitions, 1070 secs || 18596008 markings, 21349203 edges, 18971 markings/sec, 1070 secs
lola: 270 tries, 269787272 fired transitions, 1075 secs || 18690125 markings, 21456459 edges, 18823 markings/sec, 1075 secs
lola: 272 tries, 271172352 fired transitions, 1080 secs || 18781802 markings, 21561022 edges, 18335 markings/sec, 1080 secs
lola: 273 tries, 272558807 fired transitions, 1085 secs || 18877434 markings, 21671252 edges, 19126 markings/sec, 1085 secs
lola: 274 tries, 273948689 fired transitions, 1090 secs || 18972557 markings, 21780629 edges, 19025 markings/sec, 1090 secs
lola: 276 tries, 275337423 fired transitions, 1095 secs || 19067551 markings, 21890404 edges, 18999 markings/sec, 1095 secs
lola: 277 tries, 276726042 fired transitions, 1100 secs || 19162941 markings, 22000919 edges, 19078 markings/sec, 1100 secs
lola: 279 tries, 278115944 fired transitions, 1105 secs || 19258293 markings, 22112269 edges, 19070 markings/sec, 1105 secs
lola: 280 tries, 279505256 fired transitions, 1110 secs || 19353916 markings, 22223828 edges, 19125 markings/sec, 1110 secs
lola: 281 tries, 280895934 fired transitions, 1115 secs || 19449467 markings, 22335139 edges, 19110 markings/sec, 1115 secs
lola: 283 tries, 282285875 fired transitions, 1120 secs || 19545026 markings, 22445896 edges, 19112 markings/sec, 1120 secs
lola: 284 tries, 283674064 fired transitions, 1125 secs || 19639122 markings, 22554851 edges, 18819 markings/sec, 1125 secs
lola: 286 tries, 285064173 fired transitions, 1130 secs || 19733976 markings, 22664817 edges, 18971 markings/sec, 1130 secs
lola: 287 tries, 286453707 fired transitions, 1135 secs || 19826001 markings, 22770722 edges, 18405 markings/sec, 1135 secs
lola: 288 tries, 287842847 fired transitions, 1140 secs || 19920159 markings, 22878314 edges, 18832 markings/sec, 1140 secs
lola: 290 tries, 289232581 fired transitions, 1145 secs || 20013974 markings, 22985978 edges, 18763 markings/sec, 1145 secs
lola: 291 tries, 290624100 fired transitions, 1150 secs || 20111182 markings, 23100324 edges, 19442 markings/sec, 1150 secs
lola: 293 tries, 292015604 fired transitions, 1155 secs || 20208712 markings, 23212939 edges, 19506 markings/sec, 1155 secs
lola: 294 tries, 293248495 fired transitions, 1160 secs || 20295988 markings, 23314347 edges, 17455 markings/sec, 1160 secs
lola: 295 tries, 294329507 fired transitions, 1165 secs || 20374688 markings, 23405783 edges, 15740 markings/sec, 1165 secs
lola: 296 tries, 295398505 fired transitions, 1170 secs || 20450266 markings, 23493124 edges, 15116 markings/sec, 1170 secs
lola: 297 tries, 296474984 fired transitions, 1175 secs || 20527038 markings, 23582776 edges, 15354 markings/sec, 1175 secs
lola: 298 tries, 297547019 fired transitions, 1180 secs || 20604647 markings, 23671402 edges, 15522 markings/sec, 1180 secs
lola: 299 tries, 298684856 fired transitions, 1185 secs || 20685870 markings, 23765121 edges, 16245 markings/sec, 1185 secs
lola: 301 tries, 300078157 fired transitions, 1190 secs || 20784227 markings, 23879547 edges, 19671 markings/sec, 1190 secs
lola: 302 tries, 301469667 fired transitions, 1195 secs || 20880746 markings, 23991668 edges, 19304 markings/sec, 1195 secs
lola: 303 tries, 302857579 fired transitions, 1200 secs || 20973874 markings, 24098877 edges, 18626 markings/sec, 1200 secs
lola: 305 tries, 304246599 fired transitions, 1205 secs || 21069080 markings, 24208630 edges, 19041 markings/sec, 1205 secs
lola: 306 tries, 305630551 fired transitions, 1210 secs || 21161781 markings, 24314233 edges, 18540 markings/sec, 1210 secs
lola: 308 tries, 307019581 fired transitions, 1215 secs || 21255626 markings, 24423105 edges, 18769 markings/sec, 1215 secs
lola: 309 tries, 308407643 fired transitions, 1220 secs || 21349840 markings, 24531790 edges, 18843 markings/sec, 1220 secs
lola: 310 tries, 309796873 fired transitions, 1225 secs || 21443944 markings, 24639753 edges, 18821 markings/sec, 1225 secs
lola: 312 tries, 311186569 fired transitions, 1230 secs || 21538028 markings, 24748169 edges, 18817 markings/sec, 1230 secs
lola: 313 tries, 312573979 fired transitions, 1235 secs || 21632313 markings, 24855969 edges, 18857 markings/sec, 1235 secs
lola: 314 tries, 313962704 fired transitions, 1240 secs || 21726678 markings, 24964640 edges, 18873 markings/sec, 1240 secs
lola: 316 tries, 315353490 fired transitions, 1245 secs || 21821609 markings, 25075827 edges, 18986 markings/sec, 1245 secs
lola: 317 tries, 316733195 fired transitions, 1250 secs || 21906465 markings, 25169606 edges, 16971 markings/sec, 1250 secs
lola: 319 tries, 318112122 fired transitions, 1255 secs || 21993687 markings, 25267475 edges, 17444 markings/sec, 1255 secs
lola: 320 tries, 319496850 fired transitions, 1260 secs || 22084244 markings, 25368513 edges, 18111 markings/sec, 1260 secs
lola: 321 tries, 320888605 fired transitions, 1265 secs || 22181135 markings, 25482178 edges, 19378 markings/sec, 1265 secs
lola: 323 tries, 322278432 fired transitions, 1270 secs || 22275927 markings, 25592171 edges, 18958 markings/sec, 1270 secs
lola: 324 tries, 323668442 fired transitions, 1275 secs || 22371782 markings, 25703169 edges, 19171 markings/sec, 1275 secs
lola: 326 tries, 325057176 fired transitions, 1280 secs || 22465135 markings, 25811749 edges, 18671 markings/sec, 1280 secs
lola: 327 tries, 326448050 fired transitions, 1285 secs || 22560501 markings, 25922858 edges, 19073 markings/sec, 1285 secs
lola: 328 tries, 327836778 fired transitions, 1290 secs || 22654906 markings, 26032352 edges, 18881 markings/sec, 1290 secs
lola: 330 tries, 329224231 fired transitions, 1295 secs || 22749701 markings, 26140878 edges, 18959 markings/sec, 1295 secs
lola: 331 tries, 330611779 fired transitions, 1300 secs || 22842517 markings, 26245220 edges, 18563 markings/sec, 1300 secs
lola: 333 tries, 332000584 fired transitions, 1305 secs || 22936482 markings, 26352330 edges, 18793 markings/sec, 1305 secs
lola: 334 tries, 333387130 fired transitions, 1310 secs || 23029058 markings, 26459757 edges, 18515 markings/sec, 1310 secs
lola: 335 tries, 334774493 fired transitions, 1315 secs || 23121798 markings, 26565044 edges, 18548 markings/sec, 1315 secs
lola: 337 tries, 336163962 fired transitions, 1320 secs || 23215167 markings, 26672511 edges, 18674 markings/sec, 1320 secs
lola: 338 tries, 337551373 fired transitions, 1325 secs || 23306125 markings, 26776002 edges, 18192 markings/sec, 1325 secs
lola: 339 tries, 338939167 fired transitions, 1330 secs || 23398970 markings, 26880746 edges, 18569 markings/sec, 1330 secs
lola: 341 tries, 340327351 fired transitions, 1335 secs || 23492439 markings, 26988328 edges, 18694 markings/sec, 1335 secs
lola: 342 tries, 341714775 fired transitions, 1340 secs || 23586669 markings, 27096136 edges, 18846 markings/sec, 1340 secs
lola: 344 tries, 343101154 fired transitions, 1345 secs || 23678724 markings, 27200866 edges, 18411 markings/sec, 1345 secs
lola: 345 tries, 344489279 fired transitions, 1350 secs || 23771788 markings, 27309024 edges, 18613 markings/sec, 1350 secs
lola: 346 tries, 345876664 fired transitions, 1355 secs || 23864740 markings, 27415319 edges, 18590 markings/sec, 1355 secs
lola: 348 tries, 347265196 fired transitions, 1360 secs || 23958001 markings, 27522951 edges, 18652 markings/sec, 1360 secs
lola: 349 tries, 348641434 fired transitions, 1365 secs || 24042093 markings, 27615916 edges, 16818 markings/sec, 1365 secs
lola: 351 tries, 350021241 fired transitions, 1370 secs || 24133183 markings, 27719608 edges, 18218 markings/sec, 1370 secs
lola: 352 tries, 351410928 fired transitions, 1375 secs || 24223865 markings, 27823082 edges, 18136 markings/sec, 1375 secs
lola: 353 tries, 352800780 fired transitions, 1380 secs || 24314967 markings, 27928708 edges, 18220 markings/sec, 1380 secs
lola: 355 tries, 354188544 fired transitions, 1385 secs || 24407789 markings, 28036986 edges, 18564 markings/sec, 1385 secs
lola: 356 tries, 355575514 fired transitions, 1390 secs || 24501596 markings, 28145029 edges, 18761 markings/sec, 1390 secs
lola: 357 tries, 356966557 fired transitions, 1395 secs || 24595473 markings, 28255111 edges, 18775 markings/sec, 1395 secs
lola: 359 tries, 358353449 fired transitions, 1400 secs || 24690156 markings, 28365379 edges, 18937 markings/sec, 1400 secs
lola: 360 tries, 359739685 fired transitions, 1405 secs || 24782822 markings, 28473392 edges, 18533 markings/sec, 1405 secs
lola: 362 tries, 361123953 fired transitions, 1410 secs || 24878377 markings, 28584243 edges, 19111 markings/sec, 1410 secs
lola: 363 tries, 362489690 fired transitions, 1415 secs || 24972237 markings, 28692236 edges, 18772 markings/sec, 1415 secs
lola: 364 tries, 363859750 fired transitions, 1420 secs || 25066095 markings, 28800779 edges, 18772 markings/sec, 1420 secs
lola: 366 tries, 365243543 fired transitions, 1425 secs || 25159680 markings, 28907627 edges, 18717 markings/sec, 1425 secs
lola: 367 tries, 366617376 fired transitions, 1430 secs || 25256229 markings, 29022137 edges, 19310 markings/sec, 1430 secs
lola: 369 tries, 368001688 fired transitions, 1435 secs || 25350114 markings, 29128867 edges, 18777 markings/sec, 1435 secs
lola: 370 tries, 369385836 fired transitions, 1440 secs || 25442375 markings, 29233962 edges, 18452 markings/sec, 1440 secs
lola: 371 tries, 370765876 fired transitions, 1445 secs || 25529292 markings, 29331455 edges, 17383 markings/sec, 1445 secs
lola: 373 tries, 372154912 fired transitions, 1450 secs || 25619958 markings, 29435630 edges, 18133 markings/sec, 1450 secs
lola: 374 tries, 373541725 fired transitions, 1455 secs || 25712681 markings, 29543035 edges, 18545 markings/sec, 1455 secs
lola: 375 tries, 374927730 fired transitions, 1460 secs || 25806839 markings, 29649401 edges, 18832 markings/sec, 1460 secs
lola: 377 tries, 376315252 fired transitions, 1465 secs || 25900812 markings, 29756141 edges, 18795 markings/sec, 1465 secs
lola: 378 tries, 377702102 fired transitions, 1470 secs || 25993021 markings, 29860468 edges, 18442 markings/sec, 1470 secs
lola: 380 tries, 379089814 fired transitions, 1475 secs || 26083526 markings, 29963807 edges, 18101 markings/sec, 1475 secs
lola: 381 tries, 380477737 fired transitions, 1480 secs || 26175780 markings, 30069554 edges, 18451 markings/sec, 1480 secs
lola: 382 tries, 381865405 fired transitions, 1485 secs || 26269035 markings, 30176009 edges, 18651 markings/sec, 1485 secs
lola: 384 tries, 383253184 fired transitions, 1490 secs || 26359911 markings, 30279798 edges, 18175 markings/sec, 1490 secs
lola: 385 tries, 384640539 fired transitions, 1495 secs || 26452470 markings, 30384270 edges, 18512 markings/sec, 1495 secs
lola: 387 tries, 386028244 fired transitions, 1500 secs || 26544848 markings, 30489314 edges, 18476 markings/sec, 1500 secs
lola: 388 tries, 387415422 fired transitions, 1505 secs || 26637790 markings, 30594669 edges, 18588 markings/sec, 1505 secs
lola: 389 tries, 388804055 fired transitions, 1510 secs || 26730368 markings, 30700936 edges, 18516 markings/sec, 1510 secs
lola: 391 tries, 390192086 fired transitions, 1515 secs || 26824415 markings, 30808162 edges, 18809 markings/sec, 1515 secs
lola: 392 tries, 391579814 fired transitions, 1520 secs || 26917551 markings, 30914575 edges, 18627 markings/sec, 1520 secs
lola: 393 tries, 392963991 fired transitions, 1525 secs || 27007421 markings, 31016119 edges, 17974 markings/sec, 1525 secs
lola: 395 tries, 394350857 fired transitions, 1530 secs || 27098825 markings, 31120003 edges, 18281 markings/sec, 1530 secs
lola: 396 tries, 395739567 fired transitions, 1535 secs || 27191756 markings, 31226712 edges, 18586 markings/sec, 1535 secs
lola: 398 tries, 397129518 fired transitions, 1540 secs || 27288312 markings, 31339332 edges, 19311 markings/sec, 1540 secs
lola: 399 tries, 398519326 fired transitions, 1545 secs || 27382826 markings, 31448631 edges, 18903 markings/sec, 1545 secs
lola: 400 tries, 399910171 fired transitions, 1550 secs || 27477510 markings, 31558375 edges, 18937 markings/sec, 1550 secs
lola: 402 tries, 401301468 fired transitions, 1555 secs || 27573413 markings, 31670041 edges, 19181 markings/sec, 1555 secs
lola: 403 tries, 402692780 fired transitions, 1560 secs || 27668507 markings, 31780956 edges, 19019 markings/sec, 1560 secs
lola: 405 tries, 404081294 fired transitions, 1565 secs || 27761467 markings, 31887784 edges, 18592 markings/sec, 1565 secs
lola: 406 tries, 405473469 fired transitions, 1570 secs || 27856871 markings, 32000501 edges, 19081 markings/sec, 1570 secs
lola: 407 tries, 406860842 fired transitions, 1575 secs || 27950748 markings, 32110404 edges, 18775 markings/sec, 1575 secs
lola: 409 tries, 408251249 fired transitions, 1580 secs || 28044878 markings, 32218812 edges, 18826 markings/sec, 1580 secs
lola: 410 tries, 409639340 fired transitions, 1585 secs || 28138589 markings, 32325890 edges, 18742 markings/sec, 1585 secs
lola: 411 tries, 410969812 fired transitions, 1590 secs || 28226814 markings, 32426504 edges, 17645 markings/sec, 1590 secs
lola: 413 tries, 412133846 fired transitions, 1595 secs || 28305955 markings, 32518326 edges, 15828 markings/sec, 1595 secs
lola: 414 tries, 413519622 fired transitions, 1600 secs || 28399720 markings, 32627398 edges, 18753 markings/sec, 1600 secs
lola: 415 tries, 414902304 fired transitions, 1605 secs || 28492920 markings, 32734415 edges, 18640 markings/sec, 1605 secs
lola: 417 tries, 416281853 fired transitions, 1610 secs || 28586040 markings, 32840329 edges, 18624 markings/sec, 1610 secs
lola: 418 tries, 417571341 fired transitions, 1615 secs || 28674639 markings, 32942807 edges, 17720 markings/sec, 1615 secs
lola: 419 tries, 418717823 fired transitions, 1620 secs || 28754033 markings, 33035062 edges, 15879 markings/sec, 1620 secs
lola: 420 tries, 419858064 fired transitions, 1625 secs || 28833039 markings, 33126584 edges, 15801 markings/sec, 1625 secs
lola: 422 tries, 421002317 fired transitions, 1630 secs || 28912724 markings, 33219394 edges, 15937 markings/sec, 1630 secs
lola: 423 tries, 422149555 fired transitions, 1635 secs || 28992725 markings, 33312661 edges, 16000 markings/sec, 1635 secs
lola: 424 tries, 423293701 fired transitions, 1640 secs || 29072492 markings, 33405075 edges, 15953 markings/sec, 1640 secs
lola: 425 tries, 424435431 fired transitions, 1645 secs || 29151424 markings, 33496421 edges, 15786 markings/sec, 1645 secs
lola: 426 tries, 425583917 fired transitions, 1650 secs || 29231793 markings, 33588978 edges, 16074 markings/sec, 1650 secs
lola: 427 tries, 426727447 fired transitions, 1655 secs || 29310527 markings, 33680388 edges, 15747 markings/sec, 1655 secs
lola: 428 tries, 427873210 fired transitions, 1660 secs || 29390328 markings, 33773537 edges, 15960 markings/sec, 1660 secs
lola: 430 tries, 429016835 fired transitions, 1665 secs || 29469796 markings, 33865957 edges, 15894 markings/sec, 1665 secs
lola: 431 tries, 430162396 fired transitions, 1670 secs || 29548254 markings, 33957406 edges, 15692 markings/sec, 1670 secs
lola: 432 tries, 431311515 fired transitions, 1675 secs || 29628274 markings, 34051235 edges, 16004 markings/sec, 1675 secs
lola: 433 tries, 432453872 fired transitions, 1680 secs || 29707946 markings, 34142832 edges, 15934 markings/sec, 1680 secs
lola: 434 tries, 433576110 fired transitions, 1685 secs || 29787123 markings, 34234085 edges, 15835 markings/sec, 1685 secs
lola: 435 tries, 434699495 fired transitions, 1690 secs || 29867201 markings, 34326668 edges, 16016 markings/sec, 1690 secs
lola: 436 tries, 435830125 fired transitions, 1695 secs || 29945909 markings, 34417633 edges, 15742 markings/sec, 1695 secs
lola: 437 tries, 436967451 fired transitions, 1700 secs || 30024928 markings, 34509433 edges, 15804 markings/sec, 1700 secs
lola: 439 tries, 438089656 fired transitions, 1705 secs || 30104470 markings, 34600748 edges, 15908 markings/sec, 1705 secs
lola: 440 tries, 439229657 fired transitions, 1710 secs || 30182826 markings, 34690790 edges, 15671 markings/sec, 1710 secs
lola: 441 tries, 440373980 fired transitions, 1715 secs || 30258669 markings, 34777545 edges, 15169 markings/sec, 1715 secs
lola: 442 tries, 441508872 fired transitions, 1720 secs || 30336117 markings, 34865788 edges, 15490 markings/sec, 1720 secs
lola: 443 tries, 442650100 fired transitions, 1725 secs || 30413646 markings, 34954271 edges, 15506 markings/sec, 1725 secs
lola: 444 tries, 443793555 fired transitions, 1730 secs || 30492818 markings, 35046436 edges, 15834 markings/sec, 1730 secs
lola: 445 tries, 444922489 fired transitions, 1735 secs || 30571976 markings, 35138246 edges, 15832 markings/sec, 1735 secs
lola: 447 tries, 446064641 fired transitions, 1740 secs || 30651137 markings, 35228207 edges, 15832 markings/sec, 1740 secs
lola: 448 tries, 447216671 fired transitions, 1745 secs || 30730133 markings, 35319790 edges, 15799 markings/sec, 1745 secs
lola: 449 tries, 448363711 fired transitions, 1750 secs || 30807626 markings, 35407965 edges, 15499 markings/sec, 1750 secs
lola: 450 tries, 449508284 fired transitions, 1755 secs || 30884878 markings, 35496386 edges, 15450 markings/sec, 1755 secs
lola: 451 tries, 450668380 fired transitions, 1760 secs || 30964624 markings, 35589548 edges, 15949 markings/sec, 1760 secs
lola: 452 tries, 451833232 fired transitions, 1765 secs || 31046129 markings, 35685106 edges, 16301 markings/sec, 1765 secs
lola: 453 tries, 452993036 fired transitions, 1770 secs || 31126135 markings, 35778748 edges, 16001 markings/sec, 1770 secs
lola: 455 tries, 454145298 fired transitions, 1775 secs || 31204587 markings, 35868038 edges, 15690 markings/sec, 1775 secs
lola: 456 tries, 455297407 fired transitions, 1780 secs || 31282759 markings, 35958636 edges, 15634 markings/sec, 1780 secs
lola: 457 tries, 456438766 fired transitions, 1785 secs || 31361002 markings, 36048944 edges, 15649 markings/sec, 1785 secs
lola: 458 tries, 457587531 fired transitions, 1790 secs || 31439143 markings, 36139641 edges, 15628 markings/sec, 1790 secs
lola: 459 tries, 458736496 fired transitions, 1795 secs || 31516276 markings, 36229178 edges, 15427 markings/sec, 1795 secs
lola: 460 tries, 459883102 fired transitions, 1800 secs || 31594104 markings, 36319543 edges, 15566 markings/sec, 1800 secs
lola: 462 tries, 461036163 fired transitions, 1805 secs || 31672470 markings, 36409991 edges, 15673 markings/sec, 1805 secs
lola: 463 tries, 462220451 fired transitions, 1810 secs || 31752608 markings, 36501472 edges, 16028 markings/sec, 1810 secs
lola: 464 tries, 463609687 fired transitions, 1815 secs || 31846197 markings, 36608961 edges, 18718 markings/sec, 1815 secs
lola: 465 tries, 464997555 fired transitions, 1820 secs || 31939691 markings, 36716865 edges, 18699 markings/sec, 1820 secs
lola: 467 tries, 466386333 fired transitions, 1825 secs || 32032411 markings, 36822900 edges, 18544 markings/sec, 1825 secs
lola: 468 tries, 467775391 fired transitions, 1830 secs || 32126400 markings, 36928961 edges, 18798 markings/sec, 1830 secs
lola: 470 tries, 469167488 fired transitions, 1835 secs || 32221926 markings, 37040551 edges, 19105 markings/sec, 1835 secs
lola: 471 tries, 470557458 fired transitions, 1840 secs || 32315844 markings, 37148308 edges, 18784 markings/sec, 1840 secs
lola: 472 tries, 471945651 fired transitions, 1845 secs || 32410116 markings, 37255260 edges, 18854 markings/sec, 1845 secs
lola: 474 tries, 473337607 fired transitions, 1850 secs || 32503460 markings, 37361995 edges, 18669 markings/sec, 1850 secs
lola: 475 tries, 474727825 fired transitions, 1855 secs || 32598529 markings, 37470456 edges, 19014 markings/sec, 1855 secs
lola: 477 tries, 476116129 fired transitions, 1860 secs || 32691072 markings, 37575117 edges, 18509 markings/sec, 1860 secs
lola: 478 tries, 477503708 fired transitions, 1865 secs || 32784844 markings, 37682996 edges, 18754 markings/sec, 1865 secs
lola: 479 tries, 478888514 fired transitions, 1870 secs || 32882333 markings, 37791167 edges, 19498 markings/sec, 1870 secs
lola: 481 tries, 480271149 fired transitions, 1875 secs || 32978280 markings, 37898947 edges, 19189 markings/sec, 1875 secs
lola: 482 tries, 481618914 fired transitions, 1880 secs || 33073308 markings, 38006266 edges, 19006 markings/sec, 1880 secs
lola: 483 tries, 482921283 fired transitions, 1885 secs || 33169538 markings, 38112949 edges, 19246 markings/sec, 1885 secs
lola: 485 tries, 484243110 fired transitions, 1890 secs || 33264710 markings, 38221143 edges, 19034 markings/sec, 1890 secs
lola: 486 tries, 485510115 fired transitions, 1895 secs || 33355212 markings, 38323732 edges, 18100 markings/sec, 1895 secs
lola: 487 tries, 486881987 fired transitions, 1900 secs || 33448762 markings, 38429897 edges, 18710 markings/sec, 1900 secs
lola: 489 tries, 488246490 fired transitions, 1905 secs || 33544913 markings, 38537303 edges, 19230 markings/sec, 1905 secs
lola: 490 tries, 489609926 fired transitions, 1910 secs || 33641157 markings, 38645684 edges, 19249 markings/sec, 1910 secs
lola: 491 tries, 490979562 fired transitions, 1915 secs || 33739024 markings, 38760362 edges, 19573 markings/sec, 1915 secs
lola: 493 tries, 492347754 fired transitions, 1920 secs || 33836450 markings, 38873555 edges, 19485 markings/sec, 1920 secs
lola: 494 tries, 493653185 fired transitions, 1925 secs || 33922246 markings, 38972740 edges, 17159 markings/sec, 1925 secs
lola: 496 tries, 495006025 fired transitions, 1930 secs || 34013271 markings, 39075777 edges, 18205 markings/sec, 1930 secs
lola: 497 tries, 496392280 fired transitions, 1935 secs || 34108359 markings, 39182698 edges, 19018 markings/sec, 1935 secs
lola: 498 tries, 497779385 fired transitions, 1940 secs || 34203261 markings, 39289013 edges, 18980 markings/sec, 1940 secs
lola: 500 tries, 499167113 fired transitions, 1945 secs || 34297482 markings, 39396947 edges, 18844 markings/sec, 1945 secs
lola: 501 tries, 500552126 fired transitions, 1950 secs || 34390399 markings, 39502654 edges, 18583 markings/sec, 1950 secs
lola: 502 tries, 501938392 fired transitions, 1955 secs || 34483934 markings, 39608287 edges, 18707 markings/sec, 1955 secs
lola: 504 tries, 503325201 fired transitions, 1960 secs || 34579862 markings, 39714998 edges, 19186 markings/sec, 1960 secs
lola: 505 tries, 504710836 fired transitions, 1965 secs || 34673898 markings, 39819571 edges, 18807 markings/sec, 1965 secs
lola: 507 tries, 506098099 fired transitions, 1970 secs || 34768845 markings, 39926395 edges, 18989 markings/sec, 1970 secs
lola: 508 tries, 507485571 fired transitions, 1975 secs || 34864322 markings, 40032442 edges, 19095 markings/sec, 1975 secs
lola: 509 tries, 508874164 fired transitions, 1980 secs || 34958713 markings, 40139848 edges, 18878 markings/sec, 1980 secs
lola: 511 tries, 510261219 fired transitions, 1985 secs || 35051721 markings, 40246149 edges, 18602 markings/sec, 1985 secs
lola: 512 tries, 511649183 fired transitions, 1990 secs || 35145288 markings, 40353114 edges, 18713 markings/sec, 1990 secs
lola: 514 tries, 513037156 fired transitions, 1995 secs || 35241683 markings, 40461860 edges, 19279 markings/sec, 1995 secs
lola: 515 tries, 514423801 fired transitions, 2000 secs || 35334573 markings, 40567590 edges, 18578 markings/sec, 2000 secs
lola: 516 tries, 515811632 fired transitions, 2005 secs || 35428895 markings, 40674155 edges, 18864 markings/sec, 2005 secs
lola: 518 tries, 517202166 fired transitions, 2010 secs || 35524188 markings, 40783810 edges, 19059 markings/sec, 2010 secs
lola: 519 tries, 518588996 fired transitions, 2015 secs || 35617490 markings, 40888798 edges, 18660 markings/sec, 2015 secs
lola: 520 tries, 519973916 fired transitions, 2020 secs || 35713960 markings, 40995682 edges, 19294 markings/sec, 2020 secs
lola: 522 tries, 521358907 fired transitions, 2025 secs || 35807669 markings, 41102799 edges, 18742 markings/sec, 2025 secs
lola: 523 tries, 522745180 fired transitions, 2030 secs || 35901361 markings, 41209010 edges, 18738 markings/sec, 2030 secs
lola: 525 tries, 524135339 fired transitions, 2035 secs || 35996411 markings, 41318434 edges, 19010 markings/sec, 2035 secs
lola: 526 tries, 525525938 fired transitions, 2040 secs || 36092612 markings, 41428491 edges, 19240 markings/sec, 2040 secs
lola: 527 tries, 526915001 fired transitions, 2045 secs || 36187610 markings, 41536307 edges, 19000 markings/sec, 2045 secs
lola: 529 tries, 528303033 fired transitions, 2050 secs || 36283270 markings, 41643574 edges, 19132 markings/sec, 2050 secs
lola: 530 tries, 529669015 fired transitions, 2055 secs || 36374528 markings, 41745209 edges, 18252 markings/sec, 2055 secs
lola: 532 tries, 531028473 fired transitions, 2060 secs || 36467275 markings, 41848492 edges, 18549 markings/sec, 2060 secs
lola: 533 tries, 532222901 fired transitions, 2065 secs || 36534176 markings, 41923694 edges, 13380 markings/sec, 2065 secs
lola: 533 tries, 532703559 fired transitions, 2070 secs || 36549779 markings, 41941048 edges, 3121 markings/sec, 2070 secs
lola: 533 tries, 532933991 fired transitions, 2075 secs || 36558463 markings, 41950723 edges, 1737 markings/sec, 2075 secs
Killed
rslt: finished

BK_STOP 1552460884307

--------------------
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="DLCround-PT-12b"
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 DLCround-PT-12b, 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-155234405100480"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-12b.tgz
mv DLCround-PT-12b 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 ;