fond
Model Checking Contest 2019
9th edition, Prague, Czech Republic, April 7, 2019 (TOOLympics)
Execution of r049-oct2-155234405000372
Last Updated
Apr 15, 2019

About the Execution of LoLA for DLCround-PT-06b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15918.970 2761896.00 5599524.00 4054.30 [undef] Cannot compute

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 980K
-rw-r--r-- 1 mcc users 4.2K Feb 10 06:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 10 06:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 6 04:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 6 04:39 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.4K Feb 4 23:21 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:21 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.2K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.8K Feb 2 22:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K Feb 2 22:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Jan 30 12:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Jan 30 12:18 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 813K 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-06b-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552453844009

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ DLCround-PT-06b @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 809
rslt: Output for GlobalProperties @ DLCround-PT-06b
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: 5796/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2340
lola: finding significant places
lola: 2340 places, 3456 transitions, 2231 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 11 generators (11 in search tree, 0 by composition)
lola: representing 2048 symmetries
lola: 0 dead branches visited in search tree
lola: 3 tries, 2825750 fired transitions, 0 secs || 214167 markings, 242543 edges, 42833 markings/sec, 0 secs
lola: 6 tries, 5713411 fired transitions, 5 secs || 435184 markings, 492619 edges, 44203 markings/sec, 5 secs
lola: 9 tries, 8407252 fired transitions, 10 secs || 636107 markings, 722079 edges, 40185 markings/sec, 10 secs
lola: 12 tries, 11290963 fired transitions, 15 secs || 856112 markings, 970857 edges, 44001 markings/sec, 15 secs
lola: 15 tries, 14173303 fired transitions, 20 secs || 1075613 markings, 1221767 edges, 43900 markings/sec, 20 secs
lola: 18 tries, 17030333 fired transitions, 25 secs || 1290175 markings, 1468443 edges, 42912 markings/sec, 25 secs
lola: 20 tries, 19806042 fired transitions, 30 secs || 1500488 markings, 1710615 edges, 42063 markings/sec, 30 secs
lola: 23 tries, 22025533 fired transitions, 35 secs || 1679245 markings, 1916666 edges, 35751 markings/sec, 35 secs
lola: 25 tries, 24265313 fired transitions, 40 secs || 1858414 markings, 2124361 edges, 35834 markings/sec, 40 secs
lola: 27 tries, 26471767 fired transitions, 45 secs || 2038329 markings, 2331218 edges, 35983 markings/sec, 45 secs
lola: 29 tries, 28655362 fired transitions, 50 secs || 2213674 markings, 2529852 edges, 35069 markings/sec, 50 secs
lola: 31 tries, 30876817 fired transitions, 55 secs || 2391493 markings, 2732682 edges, 35564 markings/sec, 55 secs
lola: 34 tries, 33089748 fired transitions, 60 secs || 2569860 markings, 2936326 edges, 35673 markings/sec, 60 secs
lola: 36 tries, 35282853 fired transitions, 65 secs || 2746546 markings, 3136052 edges, 35337 markings/sec, 65 secs
lola: 38 tries, 37484602 fired transitions, 70 secs || 2923026 markings, 3336430 edges, 35296 markings/sec, 70 secs
lola: 40 tries, 39689984 fired transitions, 75 secs || 3099698 markings, 3538125 edges, 35334 markings/sec, 75 secs
lola: 42 tries, 41854628 fired transitions, 80 secs || 3273867 markings, 3734707 edges, 34834 markings/sec, 80 secs
lola: 45 tries, 44031448 fired transitions, 85 secs || 3444600 markings, 3926650 edges, 34147 markings/sec, 85 secs
lola: 47 tries, 46269308 fired transitions, 90 secs || 3616065 markings, 4122822 edges, 34293 markings/sec, 90 secs
lola: 49 tries, 48517768 fired transitions, 95 secs || 3787653 markings, 4319356 edges, 34318 markings/sec, 95 secs
lola: 51 tries, 50769830 fired transitions, 100 secs || 3961233 markings, 4518546 edges, 34716 markings/sec, 100 secs
lola: 54 tries, 53020363 fired transitions, 105 secs || 4137433 markings, 4721657 edges, 35240 markings/sec, 105 secs
lola: 56 tries, 55280740 fired transitions, 110 secs || 4313587 markings, 4924917 edges, 35231 markings/sec, 110 secs
lola: 58 tries, 57542274 fired transitions, 115 secs || 4490683 markings, 5129488 edges, 35419 markings/sec, 115 secs
lola: 60 tries, 59811730 fired transitions, 120 secs || 4667240 markings, 5334046 edges, 35311 markings/sec, 120 secs
lola: 63 tries, 62085494 fired transitions, 125 secs || 4844125 markings, 5539096 edges, 35377 markings/sec, 125 secs
lola: 65 tries, 64365671 fired transitions, 130 secs || 5021907 markings, 5746100 edges, 35556 markings/sec, 130 secs
lola: 67 tries, 66652032 fired transitions, 135 secs || 5199732 markings, 5952907 edges, 35565 markings/sec, 135 secs
lola: 69 tries, 68947797 fired transitions, 140 secs || 5378152 markings, 6161323 edges, 35684 markings/sec, 140 secs
lola: 72 tries, 71241529 fired transitions, 145 secs || 5555812 markings, 6369159 edges, 35532 markings/sec, 145 secs
lola: 74 tries, 73544132 fired transitions, 150 secs || 5733892 markings, 6577346 edges, 35616 markings/sec, 150 secs
lola: 76 tries, 75842177 fired transitions, 155 secs || 5912087 markings, 6785949 edges, 35639 markings/sec, 155 secs
lola: 79 tries, 78107790 fired transitions, 160 secs || 6089972 markings, 6993493 edges, 35577 markings/sec, 160 secs
lola: 81 tries, 80389333 fired transitions, 165 secs || 6267684 markings, 7201460 edges, 35542 markings/sec, 165 secs
lola: 83 tries, 82680766 fired transitions, 170 secs || 6446037 markings, 7411425 edges, 35671 markings/sec, 170 secs
lola: 85 tries, 84967388 fired transitions, 175 secs || 6624749 markings, 7621156 edges, 35742 markings/sec, 175 secs
lola: 88 tries, 87273479 fired transitions, 180 secs || 6804211 markings, 7831667 edges, 35892 markings/sec, 180 secs
lola: 90 tries, 89600538 fired transitions, 185 secs || 6984290 markings, 8043509 edges, 36016 markings/sec, 185 secs
lola: 92 tries, 91911402 fired transitions, 190 secs || 7163765 markings, 8253618 edges, 35895 markings/sec, 190 secs
lola: 95 tries, 94237728 fired transitions, 195 secs || 7343926 markings, 8465430 edges, 36032 markings/sec, 195 secs
lola: 97 tries, 96568344 fired transitions, 200 secs || 7524899 markings, 8678851 edges, 36195 markings/sec, 200 secs
lola: 99 tries, 98883961 fired transitions, 205 secs || 7706283 markings, 8891807 edges, 36277 markings/sec, 205 secs
lola: 102 tries, 101201680 fired transitions, 210 secs || 7889869 markings, 9108046 edges, 36717 markings/sec, 210 secs
lola: 104 tries, 103538441 fired transitions, 215 secs || 8073975 markings, 9325807 edges, 36821 markings/sec, 215 secs
lola: 106 tries, 105872266 fired transitions, 220 secs || 8257770 markings, 9542798 edges, 36759 markings/sec, 220 secs
lola: 109 tries, 108208774 fired transitions, 225 secs || 8441444 markings, 9759864 edges, 36735 markings/sec, 225 secs
lola: 111 tries, 110541351 fired transitions, 230 secs || 8625003 markings, 9976409 edges, 36712 markings/sec, 230 secs
lola: 113 tries, 112881703 fired transitions, 235 secs || 8810373 markings, 10196480 edges, 37074 markings/sec, 235 secs
lola: 116 tries, 115121730 fired transitions, 240 secs || 8988844 markings, 10401335 edges, 35694 markings/sec, 240 secs
lola: 118 tries, 117337084 fired transitions, 245 secs || 9164675 markings, 10602172 edges, 35166 markings/sec, 245 secs
lola: 120 tries, 119565523 fired transitions, 250 secs || 9339476 markings, 10802171 edges, 34960 markings/sec, 250 secs
lola: 122 tries, 121810150 fired transitions, 255 secs || 9516289 markings, 11006092 edges, 35363 markings/sec, 255 secs
lola: 125 tries, 124060466 fired transitions, 260 secs || 9691437 markings, 11208002 edges, 35030 markings/sec, 260 secs
lola: 127 tries, 126391528 fired transitions, 265 secs || 9869925 markings, 11417930 edges, 35698 markings/sec, 265 secs
lola: 129 tries, 128733059 fired transitions, 270 secs || 10051863 markings, 11633195 edges, 36388 markings/sec, 270 secs
lola: 132 tries, 131088188 fired transitions, 275 secs || 10234256 markings, 11849669 edges, 36479 markings/sec, 275 secs
lola: 134 tries, 133431942 fired transitions, 280 secs || 10415805 markings, 12063739 edges, 36310 markings/sec, 280 secs
lola: 136 tries, 135783453 fired transitions, 285 secs || 10598548 markings, 12280143 edges, 36549 markings/sec, 285 secs
lola: 139 tries, 138104944 fired transitions, 290 secs || 10778476 markings, 12491696 edges, 35986 markings/sec, 290 secs
lola: 141 tries, 140340712 fired transitions, 295 secs || 10952227 markings, 12690740 edges, 34750 markings/sec, 295 secs
lola: 143 tries, 142647137 fired transitions, 300 secs || 11130844 markings, 12899540 edges, 35723 markings/sec, 300 secs
lola: 146 tries, 145005897 fired transitions, 305 secs || 11313084 markings, 13116085 edges, 36448 markings/sec, 305 secs
lola: 148 tries, 147360037 fired transitions, 310 secs || 11495311 markings, 13331836 edges, 36445 markings/sec, 310 secs
lola: 150 tries, 149714673 fired transitions, 315 secs || 11677825 markings, 13548135 edges, 36503 markings/sec, 315 secs
lola: 153 tries, 152073927 fired transitions, 320 secs || 11860994 markings, 13765281 edges, 36634 markings/sec, 320 secs
lola: 155 tries, 154441524 fired transitions, 325 secs || 12045108 markings, 13984625 edges, 36823 markings/sec, 325 secs
lola: 157 tries, 156786269 fired transitions, 330 secs || 12226613 markings, 14199761 edges, 36301 markings/sec, 330 secs
lola: 160 tries, 159059601 fired transitions, 335 secs || 12403730 markings, 14405029 edges, 35423 markings/sec, 335 secs
lola: 162 tries, 161324153 fired transitions, 340 secs || 12580631 markings, 14610163 edges, 35380 markings/sec, 340 secs
lola: 164 tries, 163684692 fired transitions, 345 secs || 12761872 markings, 14824454 edges, 36248 markings/sec, 345 secs
lola: 167 tries, 166048150 fired transitions, 350 secs || 12943265 markings, 15040353 edges, 36279 markings/sec, 350 secs
lola: 169 tries, 168420179 fired transitions, 355 secs || 13127312 markings, 15259073 edges, 36809 markings/sec, 355 secs
lola: 171 tries, 170755977 fired transitions, 360 secs || 13306546 markings, 15469728 edges, 35847 markings/sec, 360 secs
lola: 174 tries, 173040105 fired transitions, 365 secs || 13483220 markings, 15674770 edges, 35335 markings/sec, 365 secs
lola: 176 tries, 175293347 fired transitions, 370 secs || 13655710 markings, 15872684 edges, 34498 markings/sec, 370 secs
lola: 178 tries, 177541585 fired transitions, 375 secs || 13826847 markings, 16068758 edges, 34227 markings/sec, 375 secs
lola: 180 tries, 179785116 fired transitions, 380 secs || 13995100 markings, 16260648 edges, 33651 markings/sec, 380 secs
lola: 183 tries, 182039320 fired transitions, 385 secs || 14166315 markings, 16457404 edges, 34243 markings/sec, 385 secs
lola: 185 tries, 184303225 fired transitions, 390 secs || 14338411 markings, 16655039 edges, 34419 markings/sec, 390 secs
lola: 187 tries, 186582190 fired transitions, 395 secs || 14511824 markings, 16855522 edges, 34683 markings/sec, 395 secs
lola: 189 tries, 188819890 fired transitions, 400 secs || 14686968 markings, 17055972 edges, 35029 markings/sec, 400 secs
lola: 191 tries, 190987701 fired transitions, 405 secs || 14863986 markings, 17256991 edges, 35404 markings/sec, 405 secs
lola: 194 tries, 193210212 fired transitions, 410 secs || 15040825 markings, 17460186 edges, 35368 markings/sec, 410 secs
lola: 196 tries, 195418829 fired transitions, 415 secs || 15216451 markings, 17661496 edges, 35125 markings/sec, 415 secs
lola: 198 tries, 197650806 fired transitions, 420 secs || 15389232 markings, 17859731 edges, 34556 markings/sec, 420 secs
lola: 200 tries, 199907652 fired transitions, 425 secs || 15565527 markings, 18063191 edges, 35259 markings/sec, 425 secs
lola: 203 tries, 202177600 fired transitions, 430 secs || 15737978 markings, 18262120 edges, 34490 markings/sec, 430 secs
lola: 205 tries, 204798002 fired transitions, 435 secs || 15929043 markings, 18483037 edges, 38213 markings/sec, 435 secs
lola: 208 tries, 207691837 fired transitions, 440 secs || 16130799 markings, 18711852 edges, 40351 markings/sec, 440 secs
lola: 211 tries, 210564941 fired transitions, 445 secs || 16341300 markings, 18951458 edges, 42100 markings/sec, 445 secs
lola: 214 tries, 213384851 fired transitions, 450 secs || 16553496 markings, 19192353 edges, 42439 markings/sec, 450 secs
lola: 217 tries, 216265226 fired transitions, 455 secs || 16766101 markings, 19433390 edges, 42521 markings/sec, 455 secs
lola: 220 tries, 219147184 fired transitions, 460 secs || 16977594 markings, 19672509 edges, 42299 markings/sec, 460 secs
lola: 223 tries, 222017390 fired transitions, 465 secs || 17187783 markings, 19911471 edges, 42038 markings/sec, 465 secs
lola: 225 tries, 224901208 fired transitions, 470 secs || 17396802 markings, 20147555 edges, 41804 markings/sec, 470 secs
lola: 228 tries, 227750110 fired transitions, 475 secs || 17603567 markings, 20382688 edges, 41353 markings/sec, 475 secs
lola: 231 tries, 230639979 fired transitions, 480 secs || 17816405 markings, 20627232 edges, 42568 markings/sec, 480 secs
lola: 234 tries, 233531220 fired transitions, 485 secs || 18029133 markings, 20870745 edges, 42546 markings/sec, 485 secs
lola: 237 tries, 236424380 fired transitions, 490 secs || 18240347 markings, 21114427 edges, 42243 markings/sec, 490 secs
lola: 240 tries, 239321266 fired transitions, 495 secs || 18452074 markings, 21357402 edges, 42345 markings/sec, 495 secs
lola: 243 tries, 242218014 fired transitions, 500 secs || 18664169 markings, 21601806 edges, 42419 markings/sec, 500 secs
lola: 246 tries, 245105566 fired transitions, 505 secs || 18876727 markings, 21845380 edges, 42512 markings/sec, 505 secs
lola: 248 tries, 247994161 fired transitions, 510 secs || 19089063 markings, 22088118 edges, 42467 markings/sec, 510 secs
lola: 251 tries, 250889254 fired transitions, 515 secs || 19301411 markings, 22332128 edges, 42470 markings/sec, 515 secs
lola: 254 tries, 253784578 fired transitions, 520 secs || 19510396 markings, 22571928 edges, 41797 markings/sec, 520 secs
lola: 257 tries, 256679385 fired transitions, 525 secs || 19719748 markings, 22811356 edges, 41870 markings/sec, 525 secs
lola: 260 tries, 259572484 fired transitions, 530 secs || 19928743 markings, 23050101 edges, 41799 markings/sec, 530 secs
lola: 263 tries, 262466368 fired transitions, 535 secs || 20136316 markings, 23288309 edges, 41515 markings/sec, 535 secs
lola: 266 tries, 265357061 fired transitions, 540 secs || 20347222 markings, 23529685 edges, 42181 markings/sec, 540 secs
lola: 269 tries, 268240412 fired transitions, 545 secs || 20559632 markings, 23772188 edges, 42482 markings/sec, 545 secs
lola: 272 tries, 271132479 fired transitions, 550 secs || 20771297 markings, 24014142 edges, 42333 markings/sec, 550 secs
lola: 274 tries, 273989063 fired transitions, 555 secs || 20975745 markings, 24248567 edges, 40890 markings/sec, 555 secs
lola: 277 tries, 276851382 fired transitions, 560 secs || 21181311 markings, 24482830 edges, 41113 markings/sec, 560 secs
lola: 280 tries, 279717769 fired transitions, 565 secs || 21382986 markings, 24715187 edges, 40335 markings/sec, 565 secs
lola: 283 tries, 282616537 fired transitions, 570 secs || 21593866 markings, 24958749 edges, 42176 markings/sec, 570 secs
lola: 286 tries, 285514244 fired transitions, 575 secs || 21803265 markings, 25199781 edges, 41880 markings/sec, 575 secs
lola: 289 tries, 288413169 fired transitions, 580 secs || 22012884 markings, 25441959 edges, 41924 markings/sec, 580 secs
lola: 292 tries, 291306830 fired transitions, 585 secs || 22223199 markings, 25682459 edges, 42063 markings/sec, 585 secs
lola: 295 tries, 294203416 fired transitions, 590 secs || 22434197 markings, 25926473 edges, 42200 markings/sec, 590 secs
lola: 298 tries, 297093028 fired transitions, 595 secs || 22643805 markings, 26165948 edges, 41922 markings/sec, 595 secs
lola: 300 tries, 299968371 fired transitions, 600 secs || 22844087 markings, 26394950 edges, 40056 markings/sec, 600 secs
lola: 303 tries, 302847861 fired transitions, 605 secs || 23046103 markings, 26623962 edges, 40403 markings/sec, 605 secs
lola: 306 tries, 305735288 fired transitions, 610 secs || 23245268 markings, 26849628 edges, 39833 markings/sec, 610 secs
lola: 309 tries, 308550956 fired transitions, 615 secs || 23451795 markings, 27082853 edges, 41305 markings/sec, 615 secs
lola: 312 tries, 311440646 fired transitions, 620 secs || 23653593 markings, 27310240 edges, 40360 markings/sec, 620 secs
lola: 315 tries, 314332244 fired transitions, 625 secs || 23852801 markings, 27535885 edges, 39842 markings/sec, 625 secs
lola: 318 tries, 317218273 fired transitions, 630 secs || 24056045 markings, 27766687 edges, 40649 markings/sec, 630 secs
lola: 321 tries, 320085001 fired transitions, 635 secs || 24260568 markings, 27997554 edges, 40905 markings/sec, 635 secs
lola: 323 tries, 322977619 fired transitions, 640 secs || 24464177 markings, 28226995 edges, 40722 markings/sec, 640 secs
lola: 326 tries, 325707966 fired transitions, 645 secs || 24651858 markings, 28440202 edges, 37536 markings/sec, 645 secs
lola: 328 tries, 327931329 fired transitions, 650 secs || 24796403 markings, 28602782 edges, 28909 markings/sec, 650 secs
lola: 331 tries, 330149382 fired transitions, 655 secs || 24938144 markings, 28762998 edges, 28348 markings/sec, 655 secs
lola: 333 tries, 332386767 fired transitions, 660 secs || 25080988 markings, 28923960 edges, 28569 markings/sec, 660 secs
lola: 335 tries, 334626498 fired transitions, 665 secs || 25226605 markings, 29088461 edges, 29123 markings/sec, 665 secs
lola: 337 tries, 336928482 fired transitions, 670 secs || 25374855 markings, 29256040 edges, 29650 markings/sec, 670 secs
lola: 340 tries, 339233625 fired transitions, 675 secs || 25524131 markings, 29424798 edges, 29855 markings/sec, 675 secs
lola: 342 tries, 341538809 fired transitions, 680 secs || 25667844 markings, 29589187 edges, 28743 markings/sec, 680 secs
lola: 344 tries, 343764341 fired transitions, 685 secs || 25829589 markings, 29772872 edges, 32349 markings/sec, 685 secs
lola: 346 tries, 345981895 fired transitions, 690 secs || 25999136 markings, 29964209 edges, 33909 markings/sec, 690 secs
lola: 349 tries, 348180316 fired transitions, 695 secs || 26166652 markings, 30153036 edges, 33503 markings/sec, 695 secs
lola: 351 tries, 350400532 fired transitions, 700 secs || 26337458 markings, 30345466 edges, 34161 markings/sec, 700 secs
lola: 353 tries, 352626622 fired transitions, 705 secs || 26507730 markings, 30537991 edges, 34054 markings/sec, 705 secs
lola: 355 tries, 354822777 fired transitions, 710 secs || 26677995 markings, 30729654 edges, 34053 markings/sec, 710 secs
lola: 358 tries, 357012384 fired transitions, 715 secs || 26848073 markings, 30920904 edges, 34016 markings/sec, 715 secs
lola: 360 tries, 359186892 fired transitions, 720 secs || 27015562 markings, 31108046 edges, 33498 markings/sec, 720 secs
lola: 362 tries, 361371826 fired transitions, 725 secs || 27183502 markings, 31296881 edges, 33588 markings/sec, 725 secs
lola: 364 tries, 363587811 fired transitions, 730 secs || 27349741 markings, 31486140 edges, 33248 markings/sec, 730 secs
lola: 366 tries, 365839602 fired transitions, 735 secs || 27518272 markings, 31680276 edges, 33706 markings/sec, 735 secs
lola: 369 tries, 368083863 fired transitions, 740 secs || 27686024 markings, 31872902 edges, 33550 markings/sec, 740 secs
lola: 371 tries, 370311113 fired transitions, 745 secs || 27853536 markings, 32061730 edges, 33502 markings/sec, 745 secs
lola: 373 tries, 372531767 fired transitions, 750 secs || 28020472 markings, 32250554 edges, 33387 markings/sec, 750 secs
lola: 375 tries, 374751751 fired transitions, 755 secs || 28187042 markings, 32437948 edges, 33314 markings/sec, 755 secs
lola: 377 tries, 376962672 fired transitions, 760 secs || 28354404 markings, 32626625 edges, 33472 markings/sec, 760 secs
lola: 380 tries, 379185609 fired transitions, 765 secs || 28520668 markings, 32815912 edges, 33253 markings/sec, 765 secs
lola: 382 tries, 381443253 fired transitions, 770 secs || 28691250 markings, 33012254 edges, 34116 markings/sec, 770 secs
lola: 384 tries, 383659593 fired transitions, 775 secs || 28858261 markings, 33201971 edges, 33402 markings/sec, 775 secs
lola: 386 tries, 385871742 fired transitions, 780 secs || 29025365 markings, 33391355 edges, 33421 markings/sec, 780 secs
lola: 389 tries, 388093167 fired transitions, 785 secs || 29192616 markings, 33582395 edges, 33450 markings/sec, 785 secs
lola: 391 tries, 390293284 fired transitions, 790 secs || 29362719 markings, 33773553 edges, 34021 markings/sec, 790 secs
lola: 393 tries, 392489188 fired transitions, 795 secs || 29530534 markings, 33961270 edges, 33563 markings/sec, 795 secs
lola: 395 tries, 394705532 fired transitions, 800 secs || 29696264 markings, 34147462 edges, 33146 markings/sec, 800 secs
lola: 397 tries, 396927224 fired transitions, 805 secs || 29864201 markings, 34338997 edges, 33587 markings/sec, 805 secs
lola: 400 tries, 399153467 fired transitions, 810 secs || 30030903 markings, 34529949 edges, 33340 markings/sec, 810 secs
lola: 402 tries, 401389474 fired transitions, 815 secs || 30199530 markings, 34724126 edges, 33725 markings/sec, 815 secs
lola: 404 tries, 403631471 fired transitions, 820 secs || 30367010 markings, 34916623 edges, 33496 markings/sec, 820 secs
lola: 406 tries, 405896742 fired transitions, 825 secs || 30532668 markings, 35108246 edges, 33132 markings/sec, 825 secs
lola: 409 tries, 408120269 fired transitions, 830 secs || 30695860 markings, 35294551 edges, 32638 markings/sec, 830 secs
lola: 411 tries, 410325901 fired transitions, 835 secs || 30863785 markings, 35483436 edges, 33585 markings/sec, 835 secs
lola: 413 tries, 412536761 fired transitions, 840 secs || 31030819 markings, 35671690 edges, 33407 markings/sec, 840 secs
lola: 415 tries, 414751517 fired transitions, 845 secs || 31196279 markings, 35858900 edges, 33092 markings/sec, 845 secs
lola: 417 tries, 416955833 fired transitions, 850 secs || 31363385 markings, 36047574 edges, 33421 markings/sec, 850 secs
lola: 420 tries, 419170532 fired transitions, 855 secs || 31534605 markings, 36241831 edges, 34244 markings/sec, 855 secs
lola: 422 tries, 421396638 fired transitions, 860 secs || 31709845 markings, 36442232 edges, 35048 markings/sec, 860 secs
lola: 424 tries, 423589939 fired transitions, 865 secs || 31877244 markings, 36631908 edges, 33480 markings/sec, 865 secs
lola: 426 tries, 425811461 fired transitions, 870 secs || 32045148 markings, 36821557 edges, 33581 markings/sec, 870 secs
lola: 429 tries, 428015260 fired transitions, 875 secs || 32213100 markings, 37010706 edges, 33590 markings/sec, 875 secs
lola: 431 tries, 430235126 fired transitions, 880 secs || 32380608 markings, 37201067 edges, 33502 markings/sec, 880 secs
lola: 433 tries, 432432613 fired transitions, 885 secs || 32547670 markings, 37390480 edges, 33412 markings/sec, 885 secs
lola: 435 tries, 434632482 fired transitions, 890 secs || 32710809 markings, 37575324 edges, 32628 markings/sec, 890 secs
lola: 437 tries, 436898126 fired transitions, 895 secs || 32879959 markings, 37771749 edges, 33830 markings/sec, 895 secs
lola: 440 tries, 439139333 fired transitions, 900 secs || 33042190 markings, 37959590 edges, 32446 markings/sec, 900 secs
lola: 442 tries, 441340648 fired transitions, 905 secs || 33210598 markings, 38148635 edges, 33682 markings/sec, 905 secs
lola: 444 tries, 443551167 fired transitions, 910 secs || 33377518 markings, 38336340 edges, 33384 markings/sec, 910 secs
lola: 446 tries, 445768235 fired transitions, 915 secs || 33542439 markings, 38523503 edges, 32984 markings/sec, 915 secs
lola: 448 tries, 447996002 fired transitions, 920 secs || 33709600 markings, 38714741 edges, 33432 markings/sec, 920 secs
lola: 451 tries, 450231569 fired transitions, 925 secs || 33873605 markings, 38901008 edges, 32801 markings/sec, 925 secs
lola: 453 tries, 452436578 fired transitions, 930 secs || 34041963 markings, 39090172 edges, 33672 markings/sec, 930 secs
lola: 455 tries, 454652982 fired transitions, 935 secs || 34206124 markings, 39273989 edges, 32832 markings/sec, 935 secs
lola: 457 tries, 456870351 fired transitions, 940 secs || 34371932 markings, 39461992 edges, 33162 markings/sec, 940 secs
lola: 460 tries, 459097168 fired transitions, 945 secs || 34537463 markings, 39649182 edges, 33106 markings/sec, 945 secs
lola: 462 tries, 461312482 fired transitions, 950 secs || 34703827 markings, 39838107 edges, 33273 markings/sec, 950 secs
lola: 464 tries, 463546314 fired transitions, 955 secs || 34868223 markings, 40026790 edges, 32879 markings/sec, 955 secs
lola: 466 tries, 465767512 fired transitions, 960 secs || 35033723 markings, 40214895 edges, 33100 markings/sec, 960 secs
lola: 468 tries, 467991682 fired transitions, 965 secs || 35198620 markings, 40401544 edges, 32979 markings/sec, 965 secs
lola: 471 tries, 470239346 fired transitions, 970 secs || 35363827 markings, 40590852 edges, 33041 markings/sec, 970 secs
lola: 473 tries, 472465897 fired transitions, 975 secs || 35533915 markings, 40786182 edges, 34018 markings/sec, 975 secs
lola: 475 tries, 474665854 fired transitions, 980 secs || 35702868 markings, 40976181 edges, 33791 markings/sec, 980 secs
lola: 477 tries, 476877849 fired transitions, 985 secs || 35870393 markings, 41165129 edges, 33505 markings/sec, 985 secs
lola: 480 tries, 479093603 fired transitions, 990 secs || 36035576 markings, 41352684 edges, 33037 markings/sec, 990 secs
lola: 482 tries, 481326450 fired transitions, 995 secs || 36201885 markings, 41542955 edges, 33262 markings/sec, 995 secs
lola: 484 tries, 483540456 fired transitions, 1000 secs || 36370835 markings, 41733260 edges, 33790 markings/sec, 1000 secs
lola: 486 tries, 485762633 fired transitions, 1005 secs || 36537419 markings, 41921215 edges, 33317 markings/sec, 1005 secs
lola: 488 tries, 487976937 fired transitions, 1010 secs || 36705360 markings, 42110365 edges, 33588 markings/sec, 1010 secs
lola: 491 tries, 490212001 fired transitions, 1015 secs || 36872939 markings, 42299788 edges, 33516 markings/sec, 1015 secs
lola: 493 tries, 492446554 fired transitions, 1020 secs || 37039443 markings, 42487824 edges, 33301 markings/sec, 1020 secs
lola: 495 tries, 494675675 fired transitions, 1025 secs || 37207614 markings, 42678660 edges, 33634 markings/sec, 1025 secs
lola: 497 tries, 496910937 fired transitions, 1030 secs || 37375117 markings, 42867707 edges, 33501 markings/sec, 1030 secs
lola: 500 tries, 499121366 fired transitions, 1035 secs || 37538928 markings, 43052530 edges, 32762 markings/sec, 1035 secs
lola: 502 tries, 501359319 fired transitions, 1040 secs || 37705073 markings, 43242067 edges, 33229 markings/sec, 1040 secs
lola: 504 tries, 503580910 fired transitions, 1045 secs || 37869342 markings, 43428436 edges, 32854 markings/sec, 1045 secs
lola: 506 tries, 505817865 fired transitions, 1050 secs || 38033465 markings, 43615339 edges, 32825 markings/sec, 1050 secs
lola: 509 tries, 508058027 fired transitions, 1055 secs || 38201610 markings, 43808457 edges, 33629 markings/sec, 1055 secs
lola: 511 tries, 510293252 fired transitions, 1060 secs || 38367995 markings, 43999854 edges, 33277 markings/sec, 1060 secs
lola: 513 tries, 512555490 fired transitions, 1065 secs || 38536807 markings, 44194787 edges, 33762 markings/sec, 1065 secs
lola: 515 tries, 514809082 fired transitions, 1070 secs || 38705538 markings, 44389301 edges, 33746 markings/sec, 1070 secs
lola: 518 tries, 517061215 fired transitions, 1075 secs || 38871327 markings, 44580386 edges, 33158 markings/sec, 1075 secs
lola: 520 tries, 519357478 fired transitions, 1080 secs || 39039004 markings, 44779064 edges, 33535 markings/sec, 1080 secs
lola: 522 tries, 521593973 fired transitions, 1085 secs || 39206997 markings, 44970164 edges, 33599 markings/sec, 1085 secs
lola: 524 tries, 523818098 fired transitions, 1090 secs || 39376665 markings, 45162303 edges, 33934 markings/sec, 1090 secs
lola: 527 tries, 526034583 fired transitions, 1095 secs || 39545584 markings, 45353107 edges, 33784 markings/sec, 1095 secs
lola: 529 tries, 528262173 fired transitions, 1100 secs || 39712427 markings, 45541335 edges, 33369 markings/sec, 1100 secs
lola: 531 tries, 530500959 fired transitions, 1105 secs || 39874215 markings, 45724789 edges, 32358 markings/sec, 1105 secs
lola: 533 tries, 532726156 fired transitions, 1110 secs || 40038128 markings, 45909149 edges, 32783 markings/sec, 1110 secs
lola: 535 tries, 534978194 fired transitions, 1115 secs || 40201013 markings, 46096075 edges, 32577 markings/sec, 1115 secs
lola: 538 tries, 537264358 fired transitions, 1120 secs || 40367176 markings, 46288065 edges, 33233 markings/sec, 1120 secs
lola: 540 tries, 539536133 fired transitions, 1125 secs || 40531402 markings, 46477961 edges, 32845 markings/sec, 1125 secs
lola: 542 tries, 541814233 fired transitions, 1130 secs || 40695795 markings, 46670965 edges, 32879 markings/sec, 1130 secs
lola: 545 tries, 544037340 fired transitions, 1135 secs || 40863864 markings, 46862711 edges, 33614 markings/sec, 1135 secs
lola: 547 tries, 546294900 fired transitions, 1140 secs || 41029674 markings, 47053395 edges, 33162 markings/sec, 1140 secs
lola: 549 tries, 548533596 fired transitions, 1145 secs || 41193103 markings, 47239542 edges, 32686 markings/sec, 1145 secs
lola: 551 tries, 550769386 fired transitions, 1150 secs || 41356807 markings, 47423395 edges, 32741 markings/sec, 1150 secs
lola: 553 tries, 552998598 fired transitions, 1155 secs || 41520672 markings, 47609118 edges, 32773 markings/sec, 1155 secs
lola: 556 tries, 555236290 fired transitions, 1160 secs || 41686269 markings, 47795629 edges, 33119 markings/sec, 1160 secs
lola: 558 tries, 557448756 fired transitions, 1165 secs || 41853291 markings, 47983710 edges, 33404 markings/sec, 1165 secs
lola: 560 tries, 559675581 fired transitions, 1170 secs || 42019150 markings, 48171312 edges, 33172 markings/sec, 1170 secs
lola: 562 tries, 561890493 fired transitions, 1175 secs || 42185961 markings, 48361601 edges, 33362 markings/sec, 1175 secs
lola: 565 tries, 564206081 fired transitions, 1180 secs || 42349498 markings, 48559355 edges, 32707 markings/sec, 1180 secs
lola: 567 tries, 566524166 fired transitions, 1185 secs || 42514843 markings, 48758429 edges, 33069 markings/sec, 1185 secs
lola: 569 tries, 568847168 fired transitions, 1190 secs || 42680405 markings, 48958264 edges, 33112 markings/sec, 1190 secs
lola: 572 tries, 571190970 fired transitions, 1195 secs || 42846818 markings, 49160269 edges, 33283 markings/sec, 1195 secs
lola: 574 tries, 573547517 fired transitions, 1200 secs || 43014106 markings, 49364108 edges, 33458 markings/sec, 1200 secs
lola: 576 tries, 575904406 fired transitions, 1205 secs || 43181934 markings, 49568197 edges, 33566 markings/sec, 1205 secs
lola: 579 tries, 578264106 fired transitions, 1210 secs || 43350301 markings, 49772755 edges, 33673 markings/sec, 1210 secs
lola: 581 tries, 580613688 fired transitions, 1215 secs || 43517396 markings, 49976058 edges, 33419 markings/sec, 1215 secs
lola: 583 tries, 582974690 fired transitions, 1220 secs || 43684053 markings, 50179254 edges, 33331 markings/sec, 1220 secs
lola: 586 tries, 585293948 fired transitions, 1225 secs || 43854600 markings, 50387889 edges, 34109 markings/sec, 1225 secs
lola: 588 tries, 587633401 fired transitions, 1230 secs || 44022679 markings, 50592898 edges, 33616 markings/sec, 1230 secs
lola: 590 tries, 589969445 fired transitions, 1235 secs || 44186863 markings, 50791974 edges, 32837 markings/sec, 1235 secs
lola: 593 tries, 592327929 fired transitions, 1240 secs || 44353356 markings, 50993813 edges, 33299 markings/sec, 1240 secs
lola: 595 tries, 594692793 fired transitions, 1245 secs || 44520909 markings, 51197357 edges, 33511 markings/sec, 1245 secs
lola: 598 tries, 597049514 fired transitions, 1250 secs || 44688866 markings, 51401392 edges, 33591 markings/sec, 1250 secs
lola: 600 tries, 599415587 fired transitions, 1255 secs || 44855169 markings, 51603532 edges, 33261 markings/sec, 1255 secs
lola: 602 tries, 601779343 fired transitions, 1260 secs || 45022811 markings, 51807652 edges, 33528 markings/sec, 1260 secs
lola: 605 tries, 604150172 fired transitions, 1265 secs || 45188210 markings, 52008967 edges, 33080 markings/sec, 1265 secs
lola: 607 tries, 606509899 fired transitions, 1270 secs || 45354161 markings, 52210307 edges, 33190 markings/sec, 1270 secs
lola: 609 tries, 608895592 fired transitions, 1275 secs || 45521291 markings, 52414320 edges, 33426 markings/sec, 1275 secs
lola: 612 tries, 611286019 fired transitions, 1280 secs || 45689468 markings, 52619887 edges, 33635 markings/sec, 1280 secs
lola: 614 tries, 613678938 fired transitions, 1285 secs || 45856582 markings, 52824135 edges, 33423 markings/sec, 1285 secs
lola: 617 tries, 616088487 fired transitions, 1290 secs || 46026157 markings, 53032641 edges, 33915 markings/sec, 1290 secs
lola: 619 tries, 618480837 fired transitions, 1295 secs || 46195193 markings, 53240246 edges, 33807 markings/sec, 1295 secs
lola: 621 tries, 620864273 fired transitions, 1300 secs || 46364830 markings, 53447772 edges, 33927 markings/sec, 1300 secs
lola: 624 tries, 623263369 fired transitions, 1305 secs || 46533902 markings, 53654529 edges, 33814 markings/sec, 1305 secs
lola: 626 tries, 625649655 fired transitions, 1310 secs || 46701160 markings, 53858982 edges, 33452 markings/sec, 1310 secs
lola: 629 tries, 628023081 fired transitions, 1315 secs || 46868759 markings, 54062605 edges, 33520 markings/sec, 1315 secs
lola: 631 tries, 630406372 fired transitions, 1320 secs || 47036020 markings, 54266847 edges, 33452 markings/sec, 1320 secs
lola: 633 tries, 632815343 fired transitions, 1325 secs || 47204987 markings, 54474373 edges, 33793 markings/sec, 1325 secs
lola: 636 tries, 635203662 fired transitions, 1330 secs || 47373439 markings, 54680100 edges, 33690 markings/sec, 1330 secs
lola: 638 tries, 637582784 fired transitions, 1335 secs || 47540263 markings, 54883895 edges, 33365 markings/sec, 1335 secs
lola: 640 tries, 639982707 fired transitions, 1340 secs || 47708605 markings, 55090604 edges, 33668 markings/sec, 1340 secs
lola: 643 tries, 642326420 fired transitions, 1345 secs || 47873748 markings, 55292199 edges, 33029 markings/sec, 1345 secs
lola: 645 tries, 644699619 fired transitions, 1350 secs || 48037602 markings, 55491235 edges, 32771 markings/sec, 1350 secs
lola: 648 tries, 647061411 fired transitions, 1355 secs || 48194280 markings, 55680316 edges, 31336 markings/sec, 1355 secs
lola: 650 tries, 649433421 fired transitions, 1360 secs || 48353984 markings, 55873650 edges, 31941 markings/sec, 1360 secs
lola: 652 tries, 651810144 fired transitions, 1365 secs || 48515579 markings, 56069916 edges, 32319 markings/sec, 1365 secs
lola: 655 tries, 654165581 fired transitions, 1370 secs || 48675853 markings, 56262930 edges, 32055 markings/sec, 1370 secs
lola: 657 tries, 656529052 fired transitions, 1375 secs || 48837492 markings, 56458190 edges, 32328 markings/sec, 1375 secs
lola: 659 tries, 658894367 fired transitions, 1380 secs || 48998714 markings, 56653447 edges, 32244 markings/sec, 1380 secs
lola: 662 tries, 661282390 fired transitions, 1385 secs || 49162404 markings, 56853178 edges, 32738 markings/sec, 1385 secs
lola: 664 tries, 663648970 fired transitions, 1390 secs || 49324168 markings, 57049682 edges, 32353 markings/sec, 1390 secs
lola: 667 tries, 666031112 fired transitions, 1395 secs || 49486060 markings, 57246948 edges, 32378 markings/sec, 1395 secs
lola: 669 tries, 668428792 fired transitions, 1400 secs || 49652620 markings, 57450749 edges, 33312 markings/sec, 1400 secs
lola: 671 tries, 670818672 fired transitions, 1405 secs || 49816538 markings, 57650607 edges, 32784 markings/sec, 1405 secs
lola: 674 tries, 673191439 fired transitions, 1410 secs || 49979746 markings, 57848764 edges, 32642 markings/sec, 1410 secs
lola: 676 tries, 675572935 fired transitions, 1415 secs || 50145271 markings, 58049771 edges, 33105 markings/sec, 1415 secs
lola: 678 tries, 677967809 fired transitions, 1420 secs || 50310969 markings, 58252077 edges, 33140 markings/sec, 1420 secs
lola: 681 tries, 680357528 fired transitions, 1425 secs || 50476237 markings, 58454116 edges, 33054 markings/sec, 1425 secs
lola: 683 tries, 682737413 fired transitions, 1430 secs || 50640604 markings, 58654236 edges, 32873 markings/sec, 1430 secs
lola: 686 tries, 685116844 fired transitions, 1435 secs || 50805353 markings, 58854295 edges, 32950 markings/sec, 1435 secs
lola: 688 tries, 687521692 fired transitions, 1440 secs || 50972006 markings, 59058226 edges, 33331 markings/sec, 1440 secs
lola: 690 tries, 689928320 fired transitions, 1445 secs || 51139534 markings, 59263753 edges, 33506 markings/sec, 1445 secs
lola: 693 tries, 692318098 fired transitions, 1450 secs || 51306056 markings, 59466720 edges, 33304 markings/sec, 1450 secs
lola: 695 tries, 694713433 fired transitions, 1455 secs || 51470567 markings, 59667021 edges, 32902 markings/sec, 1455 secs
lola: 698 tries, 697108676 fired transitions, 1460 secs || 51637181 markings, 59870540 edges, 33323 markings/sec, 1460 secs
lola: 700 tries, 699495401 fired transitions, 1465 secs || 51801203 markings, 60070020 edges, 32804 markings/sec, 1465 secs
lola: 702 tries, 701876489 fired transitions, 1470 secs || 51963626 markings, 60267185 edges, 32485 markings/sec, 1470 secs
lola: 705 tries, 704275367 fired transitions, 1475 secs || 52130748 markings, 60471893 edges, 33424 markings/sec, 1475 secs
lola: 707 tries, 706673991 fired transitions, 1480 secs || 52296548 markings, 60674486 edges, 33160 markings/sec, 1480 secs
lola: 710 tries, 709079660 fired transitions, 1485 secs || 52461550 markings, 60876599 edges, 33000 markings/sec, 1485 secs
lola: 712 tries, 711456672 fired transitions, 1490 secs || 52626883 markings, 61077156 edges, 33067 markings/sec, 1490 secs
lola: 714 tries, 713850172 fired transitions, 1495 secs || 52793690 markings, 61281042 edges, 33361 markings/sec, 1495 secs
lola: 717 tries, 716237852 fired transitions, 1500 secs || 52958606 markings, 61481565 edges, 32983 markings/sec, 1500 secs
lola: 719 tries, 718641062 fired transitions, 1505 secs || 53123164 markings, 61682894 edges, 32912 markings/sec, 1505 secs
lola: 722 tries, 721037137 fired transitions, 1510 secs || 53289216 markings, 61885674 edges, 33210 markings/sec, 1510 secs
lola: 724 tries, 723448966 fired transitions, 1515 secs || 53455766 markings, 62089522 edges, 33310 markings/sec, 1515 secs
lola: 726 tries, 725842197 fired transitions, 1520 secs || 53621252 markings, 62291682 edges, 33097 markings/sec, 1520 secs
lola: 729 tries, 728251549 fired transitions, 1525 secs || 53786959 markings, 62495231 edges, 33141 markings/sec, 1525 secs
lola: 731 tries, 730662239 fired transitions, 1530 secs || 53952317 markings, 62697383 edges, 33072 markings/sec, 1530 secs
lola: 734 tries, 733043153 fired transitions, 1535 secs || 54116887 markings, 62897855 edges, 32914 markings/sec, 1535 secs
lola: 736 tries, 735442259 fired transitions, 1540 secs || 54284026 markings, 63102074 edges, 33428 markings/sec, 1540 secs
lola: 738 tries, 737835333 fired transitions, 1545 secs || 54449603 markings, 63304031 edges, 33115 markings/sec, 1545 secs
lola: 741 tries, 740228437 fired transitions, 1550 secs || 54615877 markings, 63506736 edges, 33255 markings/sec, 1550 secs
lola: 743 tries, 742615087 fired transitions, 1555 secs || 54782739 markings, 63709914 edges, 33372 markings/sec, 1555 secs
lola: 746 tries, 745026315 fired transitions, 1560 secs || 54952029 markings, 63917152 edges, 33858 markings/sec, 1560 secs
lola: 748 tries, 747437428 fired transitions, 1565 secs || 55119210 markings, 64121789 edges, 33436 markings/sec, 1565 secs
lola: 750 tries, 749808338 fired transitions, 1570 secs || 55284492 markings, 64321931 edges, 33056 markings/sec, 1570 secs
lola: 753 tries, 752202338 fired transitions, 1575 secs || 55450327 markings, 64524794 edges, 33167 markings/sec, 1575 secs
lola: 755 tries, 754589914 fired transitions, 1580 secs || 55617085 markings, 64728044 edges, 33352 markings/sec, 1580 secs
lola: 757 tries, 756995492 fired transitions, 1585 secs || 55782995 markings, 64931205 edges, 33182 markings/sec, 1585 secs
lola: 760 tries, 759412175 fired transitions, 1590 secs || 55950283 markings, 65136486 edges, 33458 markings/sec, 1590 secs
lola: 762 tries, 761824298 fired transitions, 1595 secs || 56117484 markings, 65341875 edges, 33440 markings/sec, 1595 secs
lola: 765 tries, 764239743 fired transitions, 1600 secs || 56284902 markings, 65547269 edges, 33484 markings/sec, 1600 secs
lola: 767 tries, 766644377 fired transitions, 1605 secs || 56452123 markings, 65751613 edges, 33444 markings/sec, 1605 secs
lola: 770 tries, 769008479 fired transitions, 1610 secs || 56619029 markings, 65953415 edges, 33381 markings/sec, 1610 secs
lola: 772 tries, 771409207 fired transitions, 1615 secs || 56785954 markings, 66157196 edges, 33385 markings/sec, 1615 secs
lola: 774 tries, 773824620 fired transitions, 1620 secs || 56950998 markings, 66359248 edges, 33009 markings/sec, 1620 secs
lola: 777 tries, 776231725 fired transitions, 1625 secs || 57119488 markings, 66565405 edges, 33698 markings/sec, 1625 secs
lola: 779 tries, 778638528 fired transitions, 1630 secs || 57285961 markings, 66768893 edges, 33295 markings/sec, 1630 secs
lola: 782 tries, 781032720 fired transitions, 1635 secs || 57451313 markings, 66970480 edges, 33070 markings/sec, 1635 secs
lola: 784 tries, 783433872 fired transitions, 1640 secs || 57618533 markings, 67174931 edges, 33444 markings/sec, 1640 secs
lola: 786 tries, 785851867 fired transitions, 1645 secs || 57786656 markings, 67381116 edges, 33625 markings/sec, 1645 secs
lola: 789 tries, 788270962 fired transitions, 1650 secs || 57955501 markings, 67588113 edges, 33769 markings/sec, 1650 secs
lola: 791 tries, 790680056 fired transitions, 1655 secs || 58122261 markings, 67792041 edges, 33352 markings/sec, 1655 secs
lola: 794 tries, 793074032 fired transitions, 1660 secs || 58289865 markings, 67996795 edges, 33521 markings/sec, 1660 secs
lola: 796 tries, 795456167 fired transitions, 1665 secs || 58455668 markings, 68198669 edges, 33161 markings/sec, 1665 secs
lola: 798 tries, 797871483 fired transitions, 1670 secs || 58623353 markings, 68404095 edges, 33537 markings/sec, 1670 secs
lola: 801 tries, 800259028 fired transitions, 1675 secs || 58789277 markings, 68606490 edges, 33185 markings/sec, 1675 secs
lola: 803 tries, 802667437 fired transitions, 1680 secs || 58955095 markings, 68809208 edges, 33164 markings/sec, 1680 secs
lola: 806 tries, 805088349 fired transitions, 1685 secs || 59121852 markings, 69014381 edges, 33351 markings/sec, 1685 secs
lola: 808 tries, 807485704 fired transitions, 1690 secs || 59287598 markings, 69217257 edges, 33149 markings/sec, 1690 secs
lola: 810 tries, 809835928 fired transitions, 1695 secs || 59453388 markings, 69418155 edges, 33158 markings/sec, 1695 secs
lola: 813 tries, 812267859 fired transitions, 1700 secs || 59620237 markings, 69623278 edges, 33370 markings/sec, 1700 secs
lola: 815 tries, 814677907 fired transitions, 1705 secs || 59789588 markings, 69830667 edges, 33870 markings/sec, 1705 secs
lola: 818 tries, 817053390 fired transitions, 1710 secs || 59954093 markings, 70029883 edges, 32901 markings/sec, 1710 secs
lola: 820 tries, 819446769 fired transitions, 1715 secs || 60118883 markings, 70230303 edges, 32958 markings/sec, 1715 secs
lola: 822 tries, 821867282 fired transitions, 1720 secs || 60284528 markings, 70433042 edges, 33129 markings/sec, 1720 secs
lola: 825 tries, 824283580 fired transitions, 1725 secs || 60451500 markings, 70637519 edges, 33394 markings/sec, 1725 secs
lola: 827 tries, 826715628 fired transitions, 1730 secs || 60618488 markings, 70842540 edges, 33398 markings/sec, 1730 secs
lola: 830 tries, 829119032 fired transitions, 1735 secs || 60784871 markings, 71046237 edges, 33277 markings/sec, 1735 secs
lola: 832 tries, 831522403 fired transitions, 1740 secs || 60951636 markings, 71249889 edges, 33353 markings/sec, 1740 secs
lola: 834 tries, 833939001 fired transitions, 1745 secs || 61120914 markings, 71457400 edges, 33856 markings/sec, 1745 secs
lola: 837 tries, 836356626 fired transitions, 1750 secs || 61286379 markings, 71660091 edges, 33093 markings/sec, 1750 secs
lola: 839 tries, 838756926 fired transitions, 1755 secs || 61452922 markings, 71864058 edges, 33309 markings/sec, 1755 secs
lola: 842 tries, 841156349 fired transitions, 1760 secs || 61620062 markings, 72068109 edges, 33428 markings/sec, 1760 secs
lola: 844 tries, 843575924 fired transitions, 1765 secs || 61787666 markings, 72274353 edges, 33521 markings/sec, 1765 secs
lola: 846 tries, 845983578 fired transitions, 1770 secs || 61954763 markings, 72479388 edges, 33419 markings/sec, 1770 secs
lola: 849 tries, 848393351 fired transitions, 1775 secs || 62120742 markings, 72683265 edges, 33196 markings/sec, 1775 secs
lola: 851 tries, 850801270 fired transitions, 1780 secs || 62286930 markings, 72886562 edges, 33238 markings/sec, 1780 secs
lola: 854 tries, 853186519 fired transitions, 1785 secs || 62453847 markings, 73089302 edges, 33383 markings/sec, 1785 secs
lola: 856 tries, 855631890 fired transitions, 1790 secs || 62622212 markings, 73297186 edges, 33673 markings/sec, 1790 secs
lola: 859 tries, 858044783 fired transitions, 1795 secs || 62787906 markings, 73500137 edges, 33139 markings/sec, 1795 secs
lola: 861 tries, 860460810 fired transitions, 1800 secs || 62954859 markings, 73704661 edges, 33391 markings/sec, 1800 secs
lola: 863 tries, 862866681 fired transitions, 1805 secs || 63121214 markings, 73907801 edges, 33271 markings/sec, 1805 secs
lola: 866 tries, 865254561 fired transitions, 1810 secs || 63286035 markings, 74107596 edges, 32964 markings/sec, 1810 secs
lola: 868 tries, 867683831 fired transitions, 1815 secs || 63453125 markings, 74312599 edges, 33418 markings/sec, 1815 secs
lola: 871 tries, 870084127 fired transitions, 1820 secs || 63619265 markings, 74515963 edges, 33228 markings/sec, 1820 secs
lola: 873 tries, 872504453 fired transitions, 1825 secs || 63785975 markings, 74720779 edges, 33342 markings/sec, 1825 secs
lola: 875 tries, 874920233 fired transitions, 1830 secs || 63954834 markings, 74927715 edges, 33772 markings/sec, 1830 secs
lola: 878 tries, 877352546 fired transitions, 1835 secs || 64122613 markings, 75133817 edges, 33556 markings/sec, 1835 secs
lola: 880 tries, 879769230 fired transitions, 1840 secs || 64291660 markings, 75340792 edges, 33809 markings/sec, 1840 secs
lola: 883 tries, 882179605 fired transitions, 1845 secs || 64456367 markings, 75541989 edges, 32941 markings/sec, 1845 secs
lola: 885 tries, 884561620 fired transitions, 1850 secs || 64621100 markings, 75742080 edges, 32947 markings/sec, 1850 secs
lola: 887 tries, 886952319 fired transitions, 1855 secs || 64784653 markings, 75941289 edges, 32711 markings/sec, 1855 secs
lola: 890 tries, 889374744 fired transitions, 1860 secs || 64949026 markings, 76142771 edges, 32875 markings/sec, 1860 secs
lola: 892 tries, 891806052 fired transitions, 1865 secs || 65116915 markings, 76349945 edges, 33578 markings/sec, 1865 secs
lola: 895 tries, 894208072 fired transitions, 1870 secs || 65280532 markings, 76549383 edges, 32723 markings/sec, 1870 secs
lola: 897 tries, 896662677 fired transitions, 1875 secs || 65449590 markings, 76758226 edges, 33812 markings/sec, 1875 secs
lola: 900 tries, 899074918 fired transitions, 1880 secs || 65618505 markings, 76964870 edges, 33783 markings/sec, 1880 secs
lola: 902 tries, 901500997 fired transitions, 1885 secs || 65788264 markings, 77173892 edges, 33952 markings/sec, 1885 secs
lola: 904 tries, 903907874 fired transitions, 1890 secs || 65953898 markings, 77376244 edges, 33127 markings/sec, 1890 secs
lola: 907 tries, 906316641 fired transitions, 1895 secs || 66121294 markings, 77581005 edges, 33479 markings/sec, 1895 secs
lola: 909 tries, 908738263 fired transitions, 1900 secs || 66288749 markings, 77786599 edges, 33491 markings/sec, 1900 secs
lola: 912 tries, 911160105 fired transitions, 1905 secs || 66457200 markings, 77993151 edges, 33690 markings/sec, 1905 secs
lola: 914 tries, 913541933 fired transitions, 1910 secs || 66624935 markings, 78197764 edges, 33547 markings/sec, 1910 secs
lola: 916 tries, 915945663 fired transitions, 1915 secs || 66792625 markings, 78403984 edges, 33538 markings/sec, 1915 secs
lola: 919 tries, 918346247 fired transitions, 1920 secs || 66959138 markings, 78609186 edges, 33303 markings/sec, 1920 secs
lola: 921 tries, 920745647 fired transitions, 1925 secs || 67122931 markings, 78808933 edges, 32759 markings/sec, 1925 secs
lola: 924 tries, 923149823 fired transitions, 1930 secs || 67289536 markings, 79013325 edges, 33321 markings/sec, 1930 secs
lola: 926 tries, 925604606 fired transitions, 1935 secs || 67458057 markings, 79221635 edges, 33704 markings/sec, 1935 secs
lola: 929 tries, 928005283 fired transitions, 1940 secs || 67625240 markings, 79426114 edges, 33437 markings/sec, 1940 secs
lola: 931 tries, 930405207 fired transitions, 1945 secs || 67791751 markings, 79630034 edges, 33302 markings/sec, 1945 secs
lola: 933 tries, 932833238 fired transitions, 1950 secs || 67961269 markings, 79838839 edges, 33904 markings/sec, 1950 secs
lola: 936 tries, 935243361 fired transitions, 1955 secs || 68128795 markings, 80043852 edges, 33505 markings/sec, 1955 secs
lola: 938 tries, 937652848 fired transitions, 1960 secs || 68293587 markings, 80245073 edges, 32958 markings/sec, 1960 secs
lola: 941 tries, 940068010 fired transitions, 1965 secs || 68461180 markings, 80450508 edges, 33519 markings/sec, 1965 secs
lola: 943 tries, 942488321 fired transitions, 1970 secs || 68627678 markings, 80654827 edges, 33300 markings/sec, 1970 secs
lola: 945 tries, 944902542 fired transitions, 1975 secs || 68794875 markings, 80859987 edges, 33439 markings/sec, 1975 secs
lola: 948 tries, 947305093 fired transitions, 1980 secs || 68960950 markings, 81061529 edges, 33215 markings/sec, 1980 secs
lola: 950 tries, 949746334 fired transitions, 1985 secs || 69128083 markings, 81267498 edges, 33427 markings/sec, 1985 secs
lola: 953 tries, 952169043 fired transitions, 1990 secs || 69295001 markings, 81472300 edges, 33384 markings/sec, 1990 secs
lola: 955 tries, 954567217 fired transitions, 1995 secs || 69461566 markings, 81675584 edges, 33313 markings/sec, 1995 secs
lola: 957 tries, 956935187 fired transitions, 2000 secs || 69625784 markings, 81874151 edges, 32844 markings/sec, 2000 secs
lola: 960 tries, 959340474 fired transitions, 2005 secs || 69793387 markings, 82078661 edges, 33521 markings/sec, 2005 secs
lola: 962 tries, 961782343 fired transitions, 2010 secs || 69959254 markings, 82283208 edges, 33173 markings/sec, 2010 secs
lola: 965 tries, 964209223 fired transitions, 2015 secs || 70124189 markings, 82485846 edges, 32987 markings/sec, 2015 secs
lola: 967 tries, 966625756 fired transitions, 2020 secs || 70289860 markings, 82689300 edges, 33134 markings/sec, 2020 secs
lola: 970 tries, 969029866 fired transitions, 2025 secs || 70455865 markings, 82893115 edges, 33201 markings/sec, 2025 secs
lola: 972 tries, 971363563 fired transitions, 2030 secs || 70623825 markings, 83097902 edges, 33592 markings/sec, 2030 secs
lola: 974 tries, 973728605 fired transitions, 2035 secs || 70793404 markings, 83306513 edges, 33916 markings/sec, 2035 secs
lola: 977 tries, 976132737 fired transitions, 2040 secs || 70956924 markings, 83506205 edges, 32704 markings/sec, 2040 secs
lola: 979 tries, 978564105 fired transitions, 2045 secs || 71121821 markings, 83709208 edges, 32979 markings/sec, 2045 secs
lola: 981 tries, 980983393 fired transitions, 2050 secs || 71289871 markings, 83916290 edges, 33610 markings/sec, 2050 secs
lola: 984 tries, 983427401 fired transitions, 2055 secs || 71457371 markings, 84122387 edges, 33500 markings/sec, 2055 secs
lola: 986 tries, 985830294 fired transitions, 2060 secs || 71623227 markings, 84325023 edges, 33171 markings/sec, 2060 secs
lola: 989 tries, 988266221 fired transitions, 2065 secs || 71790602 markings, 84531370 edges, 33475 markings/sec, 2065 secs
lola: 991 tries, 990696214 fired transitions, 2070 secs || 71957899 markings, 84737372 edges, 33459 markings/sec, 2070 secs
lola: 994 tries, 993120092 fired transitions, 2075 secs || 72124241 markings, 84942019 edges, 33268 markings/sec, 2075 secs
lola: 996 tries, 995533306 fired transitions, 2080 secs || 72291067 markings, 85146341 edges, 33365 markings/sec, 2080 secs
lola: 998 tries, 997933204 fired transitions, 2085 secs || 72456528 markings, 85347697 edges, 33092 markings/sec, 2085 secs
lola: 1001 tries, 1000326340 fired transitions, 2090 secs || 72623048 markings, 85550394 edges, 33304 markings/sec, 2090 secs
lola: 1003 tries, 1002756075 fired transitions, 2095 secs || 72788327 markings, 85754099 edges, 33056 markings/sec, 2095 secs
lola: 1006 tries, 1005181001 fired transitions, 2100 secs || 72954358 markings, 85957848 edges, 33206 markings/sec, 2100 secs
lola: 1008 tries, 1007604650 fired transitions, 2105 secs || 73121371 markings, 86163427 edges, 33403 markings/sec, 2105 secs
lola: 1010 tries, 1009975136 fired transitions, 2110 secs || 73284889 markings, 86360781 edges, 32704 markings/sec, 2110 secs
lola: 1013 tries, 1012378176 fired transitions, 2115 secs || 73452878 markings, 86566179 edges, 33598 markings/sec, 2115 secs
lola: 1015 tries, 1014759729 fired transitions, 2120 secs || 73617394 markings, 86765850 edges, 32903 markings/sec, 2120 secs
lola: 1018 tries, 1017168333 fired transitions, 2125 secs || 73781228 markings, 86965985 edges, 32767 markings/sec, 2125 secs
lola: 1020 tries, 1019562965 fired transitions, 2130 secs || 73945221 markings, 87166309 edges, 32799 markings/sec, 2130 secs
lola: 1023 tries, 1022011894 fired transitions, 2135 secs || 74111686 markings, 87372224 edges, 33293 markings/sec, 2135 secs
lola: 1025 tries, 1024425972 fired transitions, 2140 secs || 74278728 markings, 87576735 edges, 33408 markings/sec, 2140 secs
lola: 1027 tries, 1026820056 fired transitions, 2145 secs || 74441366 markings, 87774060 edges, 32528 markings/sec, 2145 secs
lola: 1030 tries, 1029232316 fired transitions, 2150 secs || 74606474 markings, 87976629 edges, 33022 markings/sec, 2150 secs
lola: 1032 tries, 1031667535 fired transitions, 2155 secs || 74773121 markings, 88182044 edges, 33329 markings/sec, 2155 secs
lola: 1035 tries, 1034073015 fired transitions, 2160 secs || 74937923 markings, 88383676 edges, 32960 markings/sec, 2160 secs
lola: 1037 tries, 1036518785 fired transitions, 2165 secs || 75106347 markings, 88591620 edges, 33685 markings/sec, 2165 secs
lola: 1039 tries, 1038946376 fired transitions, 2170 secs || 75274980 markings, 88798589 edges, 33727 markings/sec, 2170 secs
lola: 1042 tries, 1041388434 fired transitions, 2175 secs || 75443443 markings, 89006243 edges, 33693 markings/sec, 2175 secs
lola: 1044 tries, 1043812358 fired transitions, 2180 secs || 75609668 markings, 89210043 edges, 33245 markings/sec, 2180 secs
lola: 1047 tries, 1046251021 fired transitions, 2185 secs || 75776101 markings, 89415248 edges, 33287 markings/sec, 2185 secs
lola: 1049 tries, 1048648771 fired transitions, 2190 secs || 75939919 markings, 89615360 edges, 32764 markings/sec, 2190 secs
lola: 1052 tries, 1051078718 fired transitions, 2195 secs || 76105808 markings, 89819586 edges, 33178 markings/sec, 2195 secs
lola: 1054 tries, 1053501188 fired transitions, 2200 secs || 76274478 markings, 90027178 edges, 33734 markings/sec, 2200 secs
lola: 1056 tries, 1055917552 fired transitions, 2205 secs || 76441276 markings, 90231312 edges, 33360 markings/sec, 2205 secs
lola: 1059 tries, 1058324095 fired transitions, 2210 secs || 76609904 markings, 90437819 edges, 33726 markings/sec, 2210 secs
lola: 1061 tries, 1060775887 fired transitions, 2215 secs || 76776375 markings, 90642949 edges, 33294 markings/sec, 2215 secs
lola: 1064 tries, 1063201824 fired transitions, 2220 secs || 76942939 markings, 90847265 edges, 33313 markings/sec, 2220 secs
lola: 1066 tries, 1065634178 fired transitions, 2225 secs || 77110622 markings, 91053362 edges, 33537 markings/sec, 2225 secs
lola: 1069 tries, 1068046887 fired transitions, 2230 secs || 77278183 markings, 91258740 edges, 33512 markings/sec, 2230 secs
lola: 1071 tries, 1070448934 fired transitions, 2235 secs || 77443005 markings, 91460014 edges, 32964 markings/sec, 2235 secs
lola: 1073 tries, 1072843034 fired transitions, 2240 secs || 77603448 markings, 91656629 edges, 32089 markings/sec, 2240 secs
lola: 1076 tries, 1075247611 fired transitions, 2245 secs || 77768294 markings, 91857629 edges, 32969 markings/sec, 2245 secs
lola: 1078 tries, 1077658122 fired transitions, 2250 secs || 77933977 markings, 92059330 edges, 33137 markings/sec, 2250 secs
lola: 1081 tries, 1080071417 fired transitions, 2255 secs || 78101339 markings, 92264530 edges, 33472 markings/sec, 2255 secs
lola: 1083 tries, 1082482342 fired transitions, 2260 secs || 78266341 markings, 92466655 edges, 33000 markings/sec, 2260 secs
lola: 1085 tries, 1084874851 fired transitions, 2265 secs || 78429976 markings, 92665399 edges, 32727 markings/sec, 2265 secs
lola: 1088 tries, 1087300147 fired transitions, 2270 secs || 78597000 markings, 92869692 edges, 33405 markings/sec, 2270 secs
lola: 1090 tries, 1089730710 fired transitions, 2275 secs || 78765852 markings, 93076506 edges, 33770 markings/sec, 2275 secs
lola: 1093 tries, 1092166603 fired transitions, 2280 secs || 78931254 markings, 93280184 edges, 33080 markings/sec, 2280 secs
lola: 1095 tries, 1094596686 fired transitions, 2285 secs || 79098214 markings, 93486057 edges, 33392 markings/sec, 2285 secs
lola: 1098 tries, 1097034649 fired transitions, 2290 secs || 79264867 markings, 93691016 edges, 33331 markings/sec, 2290 secs
lola: 1100 tries, 1099422570 fired transitions, 2295 secs || 79428457 markings, 93889646 edges, 32718 markings/sec, 2295 secs
lola: 1102 tries, 1101852129 fired transitions, 2300 secs || 79595976 markings, 94095840 edges, 33504 markings/sec, 2300 secs
lola: 1105 tries, 1104278736 fired transitions, 2305 secs || 79762276 markings, 94299461 edges, 33260 markings/sec, 2305 secs
lola: 1107 tries, 1106693290 fired transitions, 2310 secs || 79927616 markings, 94501423 edges, 33068 markings/sec, 2310 secs
lola: 1110 tries, 1109108198 fired transitions, 2315 secs || 80093286 markings, 94704410 edges, 33134 markings/sec, 2315 secs
lola: 1112 tries, 1111524941 fired transitions, 2320 secs || 80259179 markings, 94907815 edges, 33179 markings/sec, 2320 secs
lola: 1114 tries, 1113933705 fired transitions, 2325 secs || 80425661 markings, 95111055 edges, 33296 markings/sec, 2325 secs
lola: 1117 tries, 1116366964 fired transitions, 2330 secs || 80592122 markings, 95316037 edges, 33292 markings/sec, 2330 secs
lola: 1119 tries, 1118775495 fired transitions, 2335 secs || 80755618 markings, 95515433 edges, 32699 markings/sec, 2335 secs
lola: 1122 tries, 1121204498 fired transitions, 2340 secs || 80921198 markings, 95718266 edges, 33116 markings/sec, 2340 secs
lola: 1124 tries, 1123653009 fired transitions, 2345 secs || 81090302 markings, 95926674 edges, 33821 markings/sec, 2345 secs
lola: 1127 tries, 1126085198 fired transitions, 2350 secs || 81258309 markings, 96133314 edges, 33601 markings/sec, 2350 secs
lola: 1129 tries, 1128525341 fired transitions, 2355 secs || 81426233 markings, 96340631 edges, 33585 markings/sec, 2355 secs
lola: 1131 tries, 1130966026 fired transitions, 2360 secs || 81594517 markings, 96548716 edges, 33657 markings/sec, 2360 secs
lola: 1134 tries, 1133381829 fired transitions, 2365 secs || 81761752 markings, 96753784 edges, 33447 markings/sec, 2365 secs
lola: 1136 tries, 1135802250 fired transitions, 2370 secs || 81927538 markings, 96956575 edges, 33157 markings/sec, 2370 secs
lola: 1139 tries, 1138240144 fired transitions, 2375 secs || 82096034 markings, 97164407 edges, 33699 markings/sec, 2375 secs
lola: 1141 tries, 1140684259 fired transitions, 2380 secs || 82263301 markings, 97370525 edges, 33453 markings/sec, 2380 secs
lola: 1144 tries, 1143130032 fired transitions, 2385 secs || 82430300 markings, 97576565 edges, 33400 markings/sec, 2385 secs
lola: 1146 tries, 1145539653 fired transitions, 2390 secs || 82594509 markings, 97777603 edges, 32842 markings/sec, 2390 secs
lola: 1148 tries, 1147985026 fired transitions, 2395 secs || 82762142 markings, 97984750 edges, 33527 markings/sec, 2395 secs
lola: 1151 tries, 1150388167 fired transitions, 2400 secs || 82927790 markings, 98187698 edges, 33130 markings/sec, 2400 secs
lola: 1153 tries, 1152808341 fired transitions, 2405 secs || 83093953 markings, 98390865 edges, 33233 markings/sec, 2405 secs
lola: 1156 tries, 1155231980 fired transitions, 2410 secs || 83260299 markings, 98594495 edges, 33269 markings/sec, 2410 secs
lola: 1158 tries, 1157663279 fired transitions, 2415 secs || 83426053 markings, 98798433 edges, 33151 markings/sec, 2415 secs
lola: 1161 tries, 1160071047 fired transitions, 2420 secs || 83593500 markings, 99003202 edges, 33489 markings/sec, 2420 secs
lola: 1163 tries, 1162426134 fired transitions, 2425 secs || 83760347 markings, 99205759 edges, 33369 markings/sec, 2425 secs
lola: 1165 tries, 1164866926 fired transitions, 2430 secs || 83927580 markings, 99411970 edges, 33447 markings/sec, 2430 secs
lola: 1168 tries, 1167275222 fired transitions, 2435 secs || 84094455 markings, 99615905 edges, 33375 markings/sec, 2435 secs
lola: 1170 tries, 1169717084 fired transitions, 2440 secs || 84260632 markings, 99820341 edges, 33235 markings/sec, 2440 secs
lola: 1173 tries, 1172137517 fired transitions, 2445 secs || 84427033 markings, 100024159 edges, 33280 markings/sec, 2445 secs
lola: 1175 tries, 1174555092 fired transitions, 2450 secs || 84592768 markings, 100226898 edges, 33147 markings/sec, 2450 secs
lola: 1178 tries, 1177000882 fired transitions, 2455 secs || 84759383 markings, 100432732 edges, 33323 markings/sec, 2455 secs
lola: 1180 tries, 1179421446 fired transitions, 2460 secs || 84925478 markings, 100635957 edges, 33219 markings/sec, 2460 secs
lola: 1182 tries, 1181864589 fired transitions, 2465 secs || 85094552 markings, 100843455 edges, 33815 markings/sec, 2465 secs
lola: 1185 tries, 1184308262 fired transitions, 2470 secs || 85260452 markings, 101047952 edges, 33180 markings/sec, 2470 secs
lola: 1187 tries, 1186752481 fired transitions, 2475 secs || 85429290 markings, 101255251 edges, 33768 markings/sec, 2475 secs
lola: 1190 tries, 1189165761 fired transitions, 2480 secs || 85595920 markings, 101459715 edges, 33326 markings/sec, 2480 secs
lola: 1192 tries, 1191572421 fired transitions, 2485 secs || 85764249 markings, 101665586 edges, 33666 markings/sec, 2485 secs
lola: 1195 tries, 1194010883 fired transitions, 2490 secs || 85932048 markings, 101872206 edges, 33560 markings/sec, 2490 secs
lola: 1197 tries, 1196461228 fired transitions, 2495 secs || 86100326 markings, 102079553 edges, 33656 markings/sec, 2495 secs
lola: 1199 tries, 1198904072 fired transitions, 2500 secs || 86267553 markings, 102286093 edges, 33445 markings/sec, 2500 secs
lola: 1202 tries, 1201333676 fired transitions, 2505 secs || 86436505 markings, 102493636 edges, 33790 markings/sec, 2505 secs
lola: 1204 tries, 1203776039 fired transitions, 2510 secs || 86606120 markings, 102702983 edges, 33923 markings/sec, 2510 secs
lola: 1207 tries, 1206211392 fired transitions, 2515 secs || 86773592 markings, 102908407 edges, 33494 markings/sec, 2515 secs
lola: 1209 tries, 1208636955 fired transitions, 2520 secs || 86941134 markings, 103114086 edges, 33508 markings/sec, 2520 secs
lola: 1212 tries, 1211041134 fired transitions, 2525 secs || 87104038 markings, 103312779 edges, 32581 markings/sec, 2525 secs
lola: 1214 tries, 1213479033 fired transitions, 2530 secs || 87271576 markings, 103519496 edges, 33508 markings/sec, 2530 secs
lola: 1216 tries, 1215909772 fired transitions, 2535 secs || 87437886 markings, 103723686 edges, 33262 markings/sec, 2535 secs
lola: 1219 tries, 1218362928 fired transitions, 2540 secs || 87603922 markings, 103927985 edges, 33207 markings/sec, 2540 secs
lola: 1221 tries, 1220811527 fired transitions, 2545 secs || 87771134 markings, 104134077 edges, 33442 markings/sec, 2545 secs
lola: 1224 tries, 1223227383 fired transitions, 2550 secs || 87937976 markings, 104338239 edges, 33368 markings/sec, 2550 secs
lola: 1226 tries, 1225690161 fired transitions, 2555 secs || 88104610 markings, 104544504 edges, 33327 markings/sec, 2555 secs
lola: 1229 tries, 1228130943 fired transitions, 2560 secs || 88272018 markings, 104750989 edges, 33482 markings/sec, 2560 secs
lola: 1231 tries, 1230576966 fired transitions, 2565 secs || 88441587 markings, 104960632 edges, 33914 markings/sec, 2565 secs
lola: 1234 tries, 1233027478 fired transitions, 2570 secs || 88609542 markings, 105167783 edges, 33591 markings/sec, 2570 secs
lola: 1236 tries, 1235458070 fired transitions, 2575 secs || 88774530 markings, 105370371 edges, 32998 markings/sec, 2575 secs
lola: 1238 tries, 1237885903 fired transitions, 2580 secs || 88941415 markings, 105575420 edges, 33377 markings/sec, 2580 secs
lola: 1241 tries, 1240325982 fired transitions, 2585 secs || 89108097 markings, 105780890 edges, 33336 markings/sec, 2585 secs
lola: 1243 tries, 1242748212 fired transitions, 2590 secs || 89275445 markings, 105985985 edges, 33470 markings/sec, 2590 secs
lola: 1246 tries, 1245204547 fired transitions, 2595 secs || 89441157 markings, 106190776 edges, 33142 markings/sec, 2595 secs
lola: 1248 tries, 1247630397 fired transitions, 2600 secs || 89607412 markings, 106394205 edges, 33251 markings/sec, 2600 secs
lola: 1251 tries, 1250050366 fired transitions, 2605 secs || 89773680 markings, 106597772 edges, 33254 markings/sec, 2605 secs
lola: 1253 tries, 1252472764 fired transitions, 2610 secs || 89937949 markings, 106798670 edges, 32854 markings/sec, 2610 secs
lola: 1255 tries, 1254893650 fired transitions, 2615 secs || 90102496 markings, 107000072 edges, 32909 markings/sec, 2615 secs
lola: 1258 tries, 1257347634 fired transitions, 2620 secs || 90269341 markings, 107206274 edges, 33369 markings/sec, 2620 secs
lola: 1260 tries, 1259765560 fired transitions, 2625 secs || 90434945 markings, 107409424 edges, 33121 markings/sec, 2625 secs
lola: 1263 tries, 1262198380 fired transitions, 2630 secs || 90601714 markings, 107614368 edges, 33354 markings/sec, 2630 secs
lola: 1265 tries, 1264657853 fired transitions, 2635 secs || 90764992 markings, 107815738 edges, 32656 markings/sec, 2635 secs
lola: 1268 tries, 1267085088 fired transitions, 2640 secs || 90930861 markings, 108018881 edges, 33174 markings/sec, 2640 secs
lola: 1270 tries, 1269512431 fired transitions, 2645 secs || 91097748 markings, 108223548 edges, 33377 markings/sec, 2645 secs
lola: 1272 tries, 1271925154 fired transitions, 2650 secs || 91263272 markings, 108425816 edges, 33105 markings/sec, 2650 secs
lola: 1275 tries, 1274345559 fired transitions, 2655 secs || 91430421 markings, 108630222 edges, 33430 markings/sec, 2655 secs
lola: 1277 tries, 1276792163 fired transitions, 2660 secs || 91597008 markings, 108835775 edges, 33317 markings/sec, 2660 secs
lola: 1280 tries, 1279219153 fired transitions, 2665 secs || 91763736 markings, 109040491 edges, 33346 markings/sec, 2665 secs
lola: 1282 tries, 1281618710 fired transitions, 2670 secs || 91930812 markings, 109245381 edges, 33415 markings/sec, 2670 secs
lola: 1285 tries, 1284078566 fired transitions, 2675 secs || 92097803 markings, 109451674 edges, 33398 markings/sec, 2675 secs
lola: 1287 tries, 1286475174 fired transitions, 2680 secs || 92261271 markings, 109650151 edges, 32694 markings/sec, 2680 secs
lola: 1289 tries, 1288927924 fired transitions, 2685 secs || 92429692 markings, 109857782 edges, 33684 markings/sec, 2685 secs
lola: 1292 tries, 1291372525 fired transitions, 2690 secs || 92594353 markings, 110060363 edges, 32932 markings/sec, 2690 secs
lola: 1294 tries, 1293782270 fired transitions, 2695 secs || 92759763 markings, 110262657 edges, 33082 markings/sec, 2695 secs
lola: 1297 tries, 1296214365 fired transitions, 2700 secs || 92926154 markings, 110468176 edges, 33278 markings/sec, 2700 secs
lola: 1299 tries, 1298653692 fired transitions, 2705 secs || 93091036 markings, 110671257 edges, 32976 markings/sec, 2705 secs
lola: 1302 tries, 1301131502 fired transitions, 2710 secs || 93257286 markings, 110877760 edges, 33250 markings/sec, 2710 secs
lola: 1304 tries, 1303692543 fired transitions, 2715 secs || 93383822 markings, 111033919 edges, 25307 markings/sec, 2715 secs
lola: 1306 tries, 1305664295 fired transitions, 2720 secs || 93473287 markings, 111144185 edges, 17893 markings/sec, 2720 secs
lola: 1307 tries, 1306203366 fired transitions, 2725 secs || 93473330 markings, 111144239 edges, 9 markings/sec, 2725 secs
lola: 1308 tries, 1307231172 fired transitions, 2730 secs || 93473386 markings, 111144307 edges, 11 markings/sec, 2730 secs
lola: 1309 tries, 1308523457 fired transitions, 2735 secs || 93475153 markings, 111146528 edges, 353 markings/sec, 2735 secs
lola: 1311 tries, 1310521834 fired transitions, 2740 secs || 93492289 markings, 111167560 edges, 3427 markings/sec, 2740 secs
lola: 1312 tries, 1311216253 fired transitions, 2745 secs || 93503121 markings, 111180147 edges, 2166 markings/sec, 2745 secs
Killed
rslt: finished

BK_STOP 1552456605905

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

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