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

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

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15919.150 2385187.00 4803717.00 4750.80 [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-155234404900336.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-04b, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-oct2-155234404900336
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 700K
-rw-r--r-- 1 mcc users 3.4K Feb 10 05:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 10 05:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 6 04:24 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 6 04:24 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.6K Feb 4 23:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K Feb 4 23:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.7K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K Feb 2 22:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Feb 2 22:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Jan 30 12:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 30 12:05 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 547K 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-04b-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552451171384

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ DLCround-PT-04b @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 1185
rslt: Output for GlobalProperties @ DLCround-PT-04b
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: 4044/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1680
lola: finding significant places
lola: 1680 places, 2364 transitions, 1611 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 9 generators (9 in search tree, 0 by composition)
lola: representing 512 symmetries
lola: 0 dead branches visited in search tree
lola: 4 tries, 3381529 fired transitions, 0 secs || 208628 markings, 228088 edges, 41726 markings/sec, 0 secs
lola: 7 tries, 6527278 fired transitions, 5 secs || 371117 markings, 404835 edges, 32498 markings/sec, 5 secs
lola: 10 tries, 9683725 fired transitions, 10 secs || 531776 markings, 579922 edges, 32132 markings/sec, 10 secs
lola: 13 tries, 12837566 fired transitions, 15 secs || 694523 markings, 757682 edges, 32549 markings/sec, 15 secs
lola: 16 tries, 15977252 fired transitions, 20 secs || 855168 markings, 932618 edges, 32129 markings/sec, 20 secs
lola: 20 tries, 19346866 fired transitions, 25 secs || 1028239 markings, 1121715 edges, 34614 markings/sec, 25 secs
lola: 24 tries, 23767462 fired transitions, 30 secs || 1264247 markings, 1380782 edges, 47202 markings/sec, 30 secs
lola: 28 tries, 27052304 fired transitions, 35 secs || 1453988 markings, 1589017 edges, 37948 markings/sec, 35 secs
lola: 31 tries, 30333957 fired transitions, 40 secs || 1642112 markings, 1795204 edges, 37625 markings/sec, 40 secs
lola: 34 tries, 33582527 fired transitions, 45 secs || 1828624 markings, 1999650 edges, 37302 markings/sec, 45 secs
lola: 37 tries, 36831229 fired transitions, 50 secs || 2015728 markings, 2204334 edges, 37421 markings/sec, 50 secs
lola: 41 tries, 40959350 fired transitions, 55 secs || 2237841 markings, 2448338 edges, 44423 markings/sec, 55 secs
lola: 46 tries, 45595866 fired transitions, 60 secs || 2484267 markings, 2718850 edges, 49285 markings/sec, 60 secs
lola: 51 tries, 50178315 fired transitions, 65 secs || 2726036 markings, 2984550 edges, 48354 markings/sec, 65 secs
lola: 55 tries, 54789832 fired transitions, 70 secs || 2972957 markings, 3256114 edges, 49384 markings/sec, 70 secs
lola: 60 tries, 59420058 fired transitions, 75 secs || 3224166 markings, 3533024 edges, 50242 markings/sec, 75 secs
lola: 65 tries, 64044916 fired transitions, 80 secs || 3472076 markings, 3805825 edges, 49582 markings/sec, 80 secs
lola: 69 tries, 68668181 fired transitions, 85 secs || 3720455 markings, 4078825 edges, 49676 markings/sec, 85 secs
lola: 74 tries, 73288345 fired transitions, 90 secs || 3967349 markings, 4350876 edges, 49379 markings/sec, 90 secs
lola: 78 tries, 77853307 fired transitions, 95 secs || 4215387 markings, 4624172 edges, 49608 markings/sec, 95 secs
lola: 83 tries, 82431101 fired transitions, 100 secs || 4457474 markings, 4890913 edges, 48417 markings/sec, 100 secs
lola: 88 tries, 87016008 fired transitions, 105 secs || 4702217 markings, 5160988 edges, 48949 markings/sec, 105 secs
lola: 92 tries, 91707927 fired transitions, 110 secs || 4950808 markings, 5435448 edges, 49718 markings/sec, 110 secs
lola: 97 tries, 96318005 fired transitions, 115 secs || 5198276 markings, 5707831 edges, 49494 markings/sec, 115 secs
lola: 101 tries, 100956675 fired transitions, 120 secs || 5445827 markings, 5981043 edges, 49510 markings/sec, 120 secs
lola: 106 tries, 105591457 fired transitions, 125 secs || 5692024 markings, 6252875 edges, 49239 markings/sec, 125 secs
lola: 111 tries, 110239238 fired transitions, 130 secs || 5938541 markings, 6524184 edges, 49303 markings/sec, 130 secs
lola: 115 tries, 114939435 fired transitions, 135 secs || 6188615 markings, 6801122 edges, 50015 markings/sec, 135 secs
lola: 120 tries, 119624169 fired transitions, 140 secs || 6437008 markings, 7075559 edges, 49679 markings/sec, 140 secs
lola: 125 tries, 124324374 fired transitions, 145 secs || 6682345 markings, 7345223 edges, 49067 markings/sec, 145 secs
lola: 130 tries, 129047167 fired transitions, 150 secs || 6930112 markings, 7619117 edges, 49553 markings/sec, 150 secs
lola: 134 tries, 133757493 fired transitions, 155 secs || 7179025 markings, 7894308 edges, 49783 markings/sec, 155 secs
lola: 139 tries, 138467518 fired transitions, 160 secs || 7421649 markings, 8162479 edges, 48525 markings/sec, 160 secs
lola: 144 tries, 143169779 fired transitions, 165 secs || 7666026 markings, 8432436 edges, 48875 markings/sec, 165 secs
lola: 148 tries, 147863549 fired transitions, 170 secs || 7912553 markings, 8704489 edges, 49305 markings/sec, 170 secs
lola: 153 tries, 152531315 fired transitions, 175 secs || 8160705 markings, 8978917 edges, 49630 markings/sec, 175 secs
lola: 158 tries, 157183140 fired transitions, 180 secs || 8404304 markings, 9247567 edges, 48720 markings/sec, 180 secs
lola: 162 tries, 161839793 fired transitions, 185 secs || 8649284 markings, 9518608 edges, 48996 markings/sec, 185 secs
lola: 167 tries, 166491671 fired transitions, 190 secs || 8891378 markings, 9785615 edges, 48419 markings/sec, 190 secs
lola: 172 tries, 171152786 fired transitions, 195 secs || 9139658 markings, 10060416 edges, 49656 markings/sec, 195 secs
lola: 176 tries, 175847348 fired transitions, 200 secs || 9386004 markings, 10332932 edges, 49269 markings/sec, 200 secs
lola: 181 tries, 180570181 fired transitions, 205 secs || 9636197 markings, 10609938 edges, 50039 markings/sec, 205 secs
lola: 186 tries, 185308179 fired transitions, 210 secs || 9884449 markings, 10885054 edges, 49650 markings/sec, 210 secs
lola: 190 tries, 189987692 fired transitions, 215 secs || 10130658 markings, 11157605 edges, 49242 markings/sec, 215 secs
lola: 195 tries, 194652478 fired transitions, 220 secs || 10377026 markings, 11430777 edges, 49274 markings/sec, 220 secs
lola: 200 tries, 199270030 fired transitions, 225 secs || 10619917 markings, 11700231 edges, 48578 markings/sec, 225 secs
lola: 204 tries, 203911163 fired transitions, 230 secs || 10862951 markings, 11969506 edges, 48607 markings/sec, 230 secs
lola: 209 tries, 208557575 fired transitions, 235 secs || 11108975 markings, 12241691 edges, 49205 markings/sec, 235 secs
lola: 214 tries, 213211632 fired transitions, 240 secs || 11352208 markings, 12511041 edges, 48647 markings/sec, 240 secs
lola: 218 tries, 217885070 fired transitions, 245 secs || 11597409 markings, 12783826 edges, 49040 markings/sec, 245 secs
lola: 223 tries, 222557092 fired transitions, 250 secs || 11841069 markings, 13053471 edges, 48732 markings/sec, 250 secs
lola: 228 tries, 227229540 fired transitions, 255 secs || 12086367 markings, 13325573 edges, 49060 markings/sec, 255 secs
lola: 232 tries, 231906786 fired transitions, 260 secs || 12330212 markings, 13595465 edges, 48769 markings/sec, 260 secs
lola: 237 tries, 236588665 fired transitions, 265 secs || 12574858 markings, 13866393 edges, 48929 markings/sec, 265 secs
lola: 242 tries, 241259552 fired transitions, 270 secs || 12817761 markings, 14135175 edges, 48581 markings/sec, 270 secs
lola: 246 tries, 245945975 fired transitions, 275 secs || 13063004 markings, 14407688 edges, 49049 markings/sec, 275 secs
lola: 251 tries, 250629917 fired transitions, 280 secs || 13308328 markings, 14679544 edges, 49065 markings/sec, 280 secs
lola: 256 tries, 255307729 fired transitions, 285 secs || 13553207 markings, 14951849 edges, 48976 markings/sec, 285 secs
lola: 260 tries, 259980346 fired transitions, 290 secs || 13799540 markings, 15225589 edges, 49267 markings/sec, 290 secs
lola: 265 tries, 264659913 fired transitions, 295 secs || 14042093 markings, 15495087 edges, 48511 markings/sec, 295 secs
lola: 270 tries, 269339150 fired transitions, 300 secs || 14286906 markings, 15766393 edges, 48963 markings/sec, 300 secs
lola: 275 tries, 274017655 fired transitions, 305 secs || 14531366 markings, 16037748 edges, 48892 markings/sec, 305 secs
lola: 279 tries, 278694963 fired transitions, 310 secs || 14775747 markings, 16308586 edges, 48876 markings/sec, 310 secs
lola: 284 tries, 283347216 fired transitions, 315 secs || 15017079 markings, 16576438 edges, 48266 markings/sec, 315 secs
lola: 289 tries, 288000605 fired transitions, 320 secs || 15261262 markings, 16848333 edges, 48837 markings/sec, 320 secs
lola: 293 tries, 292634601 fired transitions, 325 secs || 15501527 markings, 17115397 edges, 48053 markings/sec, 325 secs
lola: 298 tries, 297310233 fired transitions, 330 secs || 15744475 markings, 17384113 edges, 48590 markings/sec, 330 secs
lola: 302 tries, 301975300 fired transitions, 335 secs || 15990867 markings, 17657353 edges, 49278 markings/sec, 335 secs
lola: 307 tries, 306648595 fired transitions, 340 secs || 16234659 markings, 17927666 edges, 48758 markings/sec, 340 secs
lola: 312 tries, 311317823 fired transitions, 345 secs || 16474405 markings, 18193156 edges, 47949 markings/sec, 345 secs
lola: 316 tries, 315988746 fired transitions, 350 secs || 16716862 markings, 18461306 edges, 48491 markings/sec, 350 secs
lola: 321 tries, 320672115 fired transitions, 355 secs || 16960211 markings, 18732037 edges, 48670 markings/sec, 355 secs
lola: 326 tries, 325348372 fired transitions, 360 secs || 17203549 markings, 19002120 edges, 48668 markings/sec, 360 secs
lola: 331 tries, 330021563 fired transitions, 365 secs || 17448400 markings, 19273676 edges, 48970 markings/sec, 365 secs
lola: 335 tries, 334716210 fired transitions, 370 secs || 17692571 markings, 19545134 edges, 48834 markings/sec, 370 secs
lola: 340 tries, 339400997 fired transitions, 375 secs || 17933969 markings, 19812759 edges, 48280 markings/sec, 375 secs
lola: 345 tries, 344083296 fired transitions, 380 secs || 18178834 markings, 20084373 edges, 48973 markings/sec, 380 secs
lola: 349 tries, 348755421 fired transitions, 385 secs || 18422175 markings, 20353779 edges, 48668 markings/sec, 385 secs
lola: 354 tries, 353444151 fired transitions, 390 secs || 18664725 markings, 20623054 edges, 48510 markings/sec, 390 secs
lola: 359 tries, 358135677 fired transitions, 395 secs || 18908112 markings, 20893876 edges, 48677 markings/sec, 395 secs
lola: 363 tries, 362815535 fired transitions, 400 secs || 19151826 markings, 21163792 edges, 48743 markings/sec, 400 secs
lola: 368 tries, 367512824 fired transitions, 405 secs || 19398371 markings, 21437328 edges, 49309 markings/sec, 405 secs
lola: 373 tries, 372194774 fired transitions, 410 secs || 19641009 markings, 21706182 edges, 48528 markings/sec, 410 secs
lola: 377 tries, 376874261 fired transitions, 415 secs || 19883036 markings, 21974975 edges, 48405 markings/sec, 415 secs
lola: 382 tries, 381553185 fired transitions, 420 secs || 20126679 markings, 22244989 edges, 48729 markings/sec, 420 secs
lola: 387 tries, 386233393 fired transitions, 425 secs || 20368343 markings, 22512961 edges, 48333 markings/sec, 425 secs
lola: 391 tries, 390918387 fired transitions, 430 secs || 20610561 markings, 22782373 edges, 48444 markings/sec, 430 secs
lola: 396 tries, 395593340 fired transitions, 435 secs || 20855810 markings, 23055058 edges, 49050 markings/sec, 435 secs
lola: 401 tries, 400284033 fired transitions, 440 secs || 21100006 markings, 23327205 edges, 48839 markings/sec, 440 secs
lola: 405 tries, 404965173 fired transitions, 445 secs || 21342110 markings, 23596487 edges, 48421 markings/sec, 445 secs
lola: 410 tries, 409659540 fired transitions, 450 secs || 21583726 markings, 23865954 edges, 48323 markings/sec, 450 secs
lola: 415 tries, 414341741 fired transitions, 455 secs || 21828789 markings, 24137800 edges, 49013 markings/sec, 455 secs
lola: 420 tries, 419029431 fired transitions, 460 secs || 22072845 markings, 24409794 edges, 48811 markings/sec, 460 secs
lola: 424 tries, 423711100 fired transitions, 465 secs || 22315315 markings, 24678224 edges, 48494 markings/sec, 465 secs
lola: 429 tries, 428404357 fired transitions, 470 secs || 22556476 markings, 24946652 edges, 48232 markings/sec, 470 secs
lola: 434 tries, 433103187 fired transitions, 475 secs || 22798291 markings, 25216070 edges, 48363 markings/sec, 475 secs
lola: 438 tries, 437791588 fired transitions, 480 secs || 23039044 markings, 25483199 edges, 48151 markings/sec, 480 secs
lola: 443 tries, 442488573 fired transitions, 485 secs || 23280558 markings, 25751442 edges, 48303 markings/sec, 485 secs
lola: 448 tries, 447175399 fired transitions, 490 secs || 23523423 markings, 26021462 edges, 48573 markings/sec, 490 secs
lola: 452 tries, 451855657 fired transitions, 495 secs || 23766004 markings, 26290856 edges, 48516 markings/sec, 495 secs
lola: 457 tries, 456563142 fired transitions, 500 secs || 24009760 markings, 26562899 edges, 48751 markings/sec, 500 secs
lola: 462 tries, 461246211 fired transitions, 505 secs || 24251805 markings, 26832360 edges, 48409 markings/sec, 505 secs
lola: 466 tries, 465941634 fired transitions, 510 secs || 24497683 markings, 27105758 edges, 49176 markings/sec, 510 secs
lola: 471 tries, 470634332 fired transitions, 515 secs || 24739326 markings, 27374606 edges, 48329 markings/sec, 515 secs
lola: 476 tries, 475329175 fired transitions, 520 secs || 24981492 markings, 27644594 edges, 48433 markings/sec, 520 secs
lola: 481 tries, 480025018 fired transitions, 525 secs || 25224163 markings, 27914721 edges, 48534 markings/sec, 525 secs
lola: 485 tries, 484725533 fired transitions, 530 secs || 25468839 markings, 28187293 edges, 48935 markings/sec, 530 secs
lola: 490 tries, 489417967 fired transitions, 535 secs || 25712563 markings, 28458532 edges, 48745 markings/sec, 535 secs
lola: 495 tries, 494113724 fired transitions, 540 secs || 25956389 markings, 28729167 edges, 48765 markings/sec, 540 secs
lola: 499 tries, 498819042 fired transitions, 545 secs || 26199096 markings, 29000144 edges, 48541 markings/sec, 545 secs
lola: 504 tries, 503535034 fired transitions, 550 secs || 26444084 markings, 29274490 edges, 48998 markings/sec, 550 secs
lola: 509 tries, 508238923 fired transitions, 555 secs || 26683434 markings, 29538126 edges, 47870 markings/sec, 555 secs
lola: 513 tries, 512584994 fired transitions, 560 secs || 26911846 markings, 29791890 edges, 45682 markings/sec, 560 secs
lola: 517 tries, 516051570 fired transitions, 565 secs || 27103637 markings, 30004127 edges, 38358 markings/sec, 565 secs
lola: 520 tries, 519519080 fired transitions, 570 secs || 27294519 markings, 30215863 edges, 38176 markings/sec, 570 secs
lola: 524 tries, 523010946 fired transitions, 575 secs || 27484769 markings, 30427552 edges, 38050 markings/sec, 575 secs
lola: 527 tries, 526472031 fired transitions, 580 secs || 27676642 markings, 30641056 edges, 38375 markings/sec, 580 secs
lola: 530 tries, 529936353 fired transitions, 585 secs || 27866312 markings, 30851303 edges, 37934 markings/sec, 585 secs
lola: 534 tries, 533418482 fired transitions, 590 secs || 28058011 markings, 31064256 edges, 38340 markings/sec, 590 secs
lola: 538 tries, 537200099 fired transitions, 595 secs || 28264393 markings, 31293282 edges, 41276 markings/sec, 595 secs
lola: 542 tries, 541936887 fired transitions, 600 secs || 28509977 markings, 31567189 edges, 49117 markings/sec, 600 secs
lola: 547 tries, 546676493 fired transitions, 605 secs || 28752483 markings, 31837333 edges, 48501 markings/sec, 605 secs
lola: 552 tries, 551414669 fired transitions, 610 secs || 28997223 markings, 32110454 edges, 48948 markings/sec, 610 secs
lola: 557 tries, 556151151 fired transitions, 615 secs || 29242201 markings, 32383040 edges, 48996 markings/sec, 615 secs
lola: 561 tries, 560892374 fired transitions, 620 secs || 29487162 markings, 32655583 edges, 48992 markings/sec, 620 secs
lola: 566 tries, 565619810 fired transitions, 625 secs || 29732231 markings, 32926935 edges, 49014 markings/sec, 625 secs
lola: 571 tries, 570077439 fired transitions, 630 secs || 29960550 markings, 33180892 edges, 45664 markings/sec, 630 secs
lola: 574 tries, 573549883 fired transitions, 635 secs || 30150892 markings, 33392449 edges, 38068 markings/sec, 635 secs
lola: 578 tries, 577023121 fired transitions, 640 secs || 30340426 markings, 33602629 edges, 37907 markings/sec, 640 secs
lola: 581 tries, 580508294 fired transitions, 645 secs || 30530019 markings, 33813417 edges, 37919 markings/sec, 645 secs
lola: 585 tries, 584255838 fired transitions, 650 secs || 30732957 markings, 34038607 edges, 40588 markings/sec, 650 secs
lola: 589 tries, 588429293 fired transitions, 655 secs || 30953194 markings, 34283716 edges, 44047 markings/sec, 655 secs
lola: 592 tries, 591901853 fired transitions, 660 secs || 31145791 markings, 34498363 edges, 38519 markings/sec, 660 secs
lola: 596 tries, 595389934 fired transitions, 665 secs || 31334596 markings, 34708647 edges, 37761 markings/sec, 665 secs
lola: 599 tries, 598866496 fired transitions, 670 secs || 31526086 markings, 34921076 edges, 38298 markings/sec, 670 secs
lola: 603 tries, 602349730 fired transitions, 675 secs || 31717263 markings, 35133586 edges, 38235 markings/sec, 675 secs
lola: 606 tries, 605833653 fired transitions, 680 secs || 31909331 markings, 35346420 edges, 38414 markings/sec, 680 secs
lola: 610 tries, 609536204 fired transitions, 685 secs || 32108470 markings, 35567073 edges, 39828 markings/sec, 685 secs
lola: 615 tries, 614182940 fired transitions, 690 secs || 32351195 markings, 35836525 edges, 48545 markings/sec, 690 secs
lola: 619 tries, 618908347 fired transitions, 695 secs || 32594670 markings, 36108041 edges, 48695 markings/sec, 695 secs
lola: 624 tries, 623469052 fired transitions, 700 secs || 32839091 markings, 36380495 edges, 48884 markings/sec, 700 secs
lola: 629 tries, 628208158 fired transitions, 705 secs || 33083759 markings, 36652749 edges, 48934 markings/sec, 705 secs
lola: 633 tries, 632949423 fired transitions, 710 secs || 33330180 markings, 36926440 edges, 49284 markings/sec, 710 secs
lola: 638 tries, 637645806 fired transitions, 715 secs || 33576544 markings, 37197693 edges, 49273 markings/sec, 715 secs
lola: 643 tries, 642367870 fired transitions, 720 secs || 33825923 markings, 37473009 edges, 49876 markings/sec, 720 secs
lola: 648 tries, 647094179 fired transitions, 725 secs || 34077870 markings, 37753336 edges, 50389 markings/sec, 725 secs
lola: 652 tries, 651827663 fired transitions, 730 secs || 34328217 markings, 38032325 edges, 50069 markings/sec, 730 secs
lola: 657 tries, 656566049 fired transitions, 735 secs || 34584506 markings, 38319579 edges, 51258 markings/sec, 735 secs
lola: 662 tries, 661298982 fired transitions, 740 secs || 34835453 markings, 38598885 edges, 50189 markings/sec, 740 secs
lola: 667 tries, 666038964 fired transitions, 745 secs || 35082819 markings, 38873082 edges, 49473 markings/sec, 745 secs
lola: 671 tries, 670781924 fired transitions, 750 secs || 35334473 markings, 39154183 edges, 50331 markings/sec, 750 secs
lola: 676 tries, 675527116 fired transitions, 755 secs || 35583749 markings, 39432018 edges, 49855 markings/sec, 755 secs
lola: 680 tries, 679062153 fired transitions, 760 secs || 35776272 markings, 39645324 edges, 38505 markings/sec, 760 secs
lola: 683 tries, 682565649 fired transitions, 765 secs || 35971480 markings, 39861984 edges, 39042 markings/sec, 765 secs
lola: 687 tries, 686084661 fired transitions, 770 secs || 36168489 markings, 40081769 edges, 39402 markings/sec, 770 secs
lola: 691 tries, 690793234 fired transitions, 775 secs || 36414951 markings, 40357053 edges, 49292 markings/sec, 775 secs
lola: 695 tries, 694337313 fired transitions, 780 secs || 36616195 markings, 40581982 edges, 40249 markings/sec, 780 secs
lola: 699 tries, 698545207 fired transitions, 785 secs || 36841254 markings, 40832408 edges, 45012 markings/sec, 785 secs
lola: 704 tries, 703248301 fired transitions, 790 secs || 37087649 markings, 41107548 edges, 49279 markings/sec, 790 secs
lola: 708 tries, 707955107 fired transitions, 795 secs || 37331844 markings, 41379944 edges, 48839 markings/sec, 795 secs
lola: 713 tries, 712663360 fired transitions, 800 secs || 37577236 markings, 41654051 edges, 49078 markings/sec, 800 secs
lola: 718 tries, 717362027 fired transitions, 805 secs || 37821749 markings, 41926034 edges, 48903 markings/sec, 805 secs
lola: 723 tries, 722071689 fired transitions, 810 secs || 38068832 markings, 42202815 edges, 49417 markings/sec, 810 secs
lola: 727 tries, 726789540 fired transitions, 815 secs || 38311535 markings, 42472749 edges, 48541 markings/sec, 815 secs
lola: 732 tries, 731495952 fired transitions, 820 secs || 38557523 markings, 42746613 edges, 49198 markings/sec, 820 secs
lola: 737 tries, 736206271 fired transitions, 825 secs || 38804875 markings, 43022718 edges, 49470 markings/sec, 825 secs
lola: 741 tries, 740921392 fired transitions, 830 secs || 39048894 markings, 43294223 edges, 48804 markings/sec, 830 secs
lola: 746 tries, 745641526 fired transitions, 835 secs || 39294549 markings, 43569065 edges, 49131 markings/sec, 835 secs
lola: 751 tries, 750357029 fired transitions, 840 secs || 39538415 markings, 43840568 edges, 48773 markings/sec, 840 secs
lola: 756 tries, 755074316 fired transitions, 845 secs || 39784695 markings, 44115726 edges, 49256 markings/sec, 845 secs
lola: 760 tries, 759798419 fired transitions, 850 secs || 40029033 markings, 44388456 edges, 48868 markings/sec, 850 secs
lola: 765 tries, 764514707 fired transitions, 855 secs || 40274118 markings, 44661760 edges, 49017 markings/sec, 855 secs
lola: 770 tries, 769233688 fired transitions, 860 secs || 40519638 markings, 44936014 edges, 49104 markings/sec, 860 secs
lola: 774 tries, 773949194 fired transitions, 865 secs || 40768010 markings, 45214800 edges, 49674 markings/sec, 865 secs
lola: 779 tries, 778668166 fired transitions, 870 secs || 41013004 markings, 45488778 edges, 48999 markings/sec, 870 secs
lola: 784 tries, 783391112 fired transitions, 875 secs || 41257132 markings, 45761480 edges, 48826 markings/sec, 875 secs
lola: 789 tries, 788101345 fired transitions, 880 secs || 41501445 markings, 46033448 edges, 48863 markings/sec, 880 secs
lola: 793 tries, 792820395 fired transitions, 885 secs || 41748526 markings, 46310321 edges, 49416 markings/sec, 885 secs
lola: 798 tries, 797534730 fired transitions, 890 secs || 41998108 markings, 46590325 edges, 49916 markings/sec, 890 secs
lola: 803 tries, 802253423 fired transitions, 895 secs || 42244306 markings, 46866036 edges, 49240 markings/sec, 895 secs
lola: 807 tries, 806981369 fired transitions, 900 secs || 42491369 markings, 47143726 edges, 49413 markings/sec, 900 secs
lola: 812 tries, 811678235 fired transitions, 905 secs || 42734002 markings, 47414237 edges, 48527 markings/sec, 905 secs
lola: 817 tries, 816400923 fired transitions, 910 secs || 42980459 markings, 47690075 edges, 49291 markings/sec, 910 secs
lola: 822 tries, 821130364 fired transitions, 915 secs || 43229015 markings, 47969563 edges, 49711 markings/sec, 915 secs
lola: 826 tries, 825851110 fired transitions, 920 secs || 43473055 markings, 48241693 edges, 48808 markings/sec, 920 secs
lola: 831 tries, 830572583 fired transitions, 925 secs || 43718775 markings, 48517366 edges, 49144 markings/sec, 925 secs
lola: 836 tries, 835265112 fired transitions, 930 secs || 43963215 markings, 48790953 edges, 48888 markings/sec, 930 secs
lola: 840 tries, 839966142 fired transitions, 935 secs || 44209700 markings, 49066906 edges, 49297 markings/sec, 935 secs
lola: 845 tries, 844689663 fired transitions, 940 secs || 44453566 markings, 49339839 edges, 48773 markings/sec, 940 secs
lola: 850 tries, 849406132 fired transitions, 945 secs || 44700279 markings, 49615772 edges, 49343 markings/sec, 945 secs
lola: 855 tries, 854131297 fired transitions, 950 secs || 44947779 markings, 49893379 edges, 49500 markings/sec, 950 secs
lola: 859 tries, 858848507 fired transitions, 955 secs || 45190504 markings, 50164239 edges, 48545 markings/sec, 955 secs
lola: 864 tries, 863577438 fired transitions, 960 secs || 45436019 markings, 50438832 edges, 49103 markings/sec, 960 secs
lola: 869 tries, 868295183 fired transitions, 965 secs || 45680555 markings, 50711763 edges, 48907 markings/sec, 965 secs
lola: 873 tries, 872978564 fired transitions, 970 secs || 45924499 markings, 50985019 edges, 48789 markings/sec, 970 secs
lola: 878 tries, 877707893 fired transitions, 975 secs || 46169498 markings, 51259050 edges, 49000 markings/sec, 975 secs
lola: 883 tries, 882436280 fired transitions, 980 secs || 46414314 markings, 51532979 edges, 48963 markings/sec, 980 secs
lola: 888 tries, 887163181 fired transitions, 985 secs || 46660879 markings, 51809288 edges, 49313 markings/sec, 985 secs
lola: 892 tries, 891897904 fired transitions, 990 secs || 46908903 markings, 52088275 edges, 49605 markings/sec, 990 secs
lola: 897 tries, 896623858 fired transitions, 995 secs || 47152890 markings, 52360625 edges, 48797 markings/sec, 995 secs
lola: 902 tries, 901347684 fired transitions, 1000 secs || 47400297 markings, 52637745 edges, 49481 markings/sec, 1000 secs
lola: 907 tries, 906070050 fired transitions, 1005 secs || 47645022 markings, 52911528 edges, 48945 markings/sec, 1005 secs
lola: 911 tries, 910788550 fired transitions, 1010 secs || 47892082 markings, 53187976 edges, 49412 markings/sec, 1010 secs
lola: 916 tries, 915507340 fired transitions, 1015 secs || 48133622 markings, 53457590 edges, 48308 markings/sec, 1015 secs
lola: 921 tries, 920244394 fired transitions, 1020 secs || 48378179 markings, 53731321 edges, 48911 markings/sec, 1020 secs
lola: 925 tries, 924973575 fired transitions, 1025 secs || 48623553 markings, 54005854 edges, 49075 markings/sec, 1025 secs
lola: 930 tries, 929705146 fired transitions, 1030 secs || 48871941 markings, 54285056 edges, 49678 markings/sec, 1030 secs
lola: 935 tries, 934428474 fired transitions, 1035 secs || 49116862 markings, 54559126 edges, 48984 markings/sec, 1035 secs
lola: 940 tries, 939167217 fired transitions, 1040 secs || 49368310 markings, 54841547 edges, 50290 markings/sec, 1040 secs
lola: 944 tries, 943901775 fired transitions, 1045 secs || 49617216 markings, 55121335 edges, 49781 markings/sec, 1045 secs
lola: 949 tries, 948630460 fired transitions, 1050 secs || 49865357 markings, 55400177 edges, 49628 markings/sec, 1050 secs
lola: 954 tries, 953369657 fired transitions, 1055 secs || 50111038 markings, 55675585 edges, 49136 markings/sec, 1055 secs
lola: 959 tries, 958103748 fired transitions, 1060 secs || 50355733 markings, 55949789 edges, 48939 markings/sec, 1060 secs
lola: 963 tries, 962823548 fired transitions, 1065 secs || 50600586 markings, 56223777 edges, 48971 markings/sec, 1065 secs
lola: 968 tries, 967552058 fired transitions, 1070 secs || 50847500 markings, 56500982 edges, 49383 markings/sec, 1070 secs
lola: 973 tries, 972276530 fired transitions, 1075 secs || 51093454 markings, 56776727 edges, 49191 markings/sec, 1075 secs
lola: 978 tries, 977009220 fired transitions, 1080 secs || 51339942 markings, 57053335 edges, 49298 markings/sec, 1080 secs
lola: 982 tries, 981733121 fired transitions, 1085 secs || 51587429 markings, 57331116 edges, 49497 markings/sec, 1085 secs
lola: 987 tries, 986477022 fired transitions, 1090 secs || 51835940 markings, 57610982 edges, 49702 markings/sec, 1090 secs
lola: 992 tries, 991207185 fired transitions, 1095 secs || 52082721 markings, 57887796 edges, 49356 markings/sec, 1095 secs
lola: 996 tries, 995943686 fired transitions, 1100 secs || 52328270 markings, 58163440 edges, 49110 markings/sec, 1100 secs
lola: 1001 tries, 1000670547 fired transitions, 1105 secs || 52571962 markings, 58435646 edges, 48738 markings/sec, 1105 secs
lola: 1006 tries, 1005403931 fired transitions, 1110 secs || 52818025 markings, 58712225 edges, 49213 markings/sec, 1110 secs
lola: 1011 tries, 1010145377 fired transitions, 1115 secs || 53062315 markings, 58986201 edges, 48858 markings/sec, 1115 secs
lola: 1015 tries, 1014873892 fired transitions, 1120 secs || 53310124 markings, 59264968 edges, 49562 markings/sec, 1120 secs
lola: 1020 tries, 1019615349 fired transitions, 1125 secs || 53557785 markings, 59543248 edges, 49532 markings/sec, 1125 secs
lola: 1025 tries, 1024352761 fired transitions, 1130 secs || 53806128 markings, 59823300 edges, 49669 markings/sec, 1130 secs
lola: 1030 tries, 1029089059 fired transitions, 1135 secs || 54052013 markings, 60099170 edges, 49177 markings/sec, 1135 secs
lola: 1034 tries, 1033815561 fired transitions, 1140 secs || 54296176 markings, 60372651 edges, 48833 markings/sec, 1140 secs
lola: 1039 tries, 1038551160 fired transitions, 1145 secs || 54541421 markings, 60647686 edges, 49049 markings/sec, 1145 secs
lola: 1044 tries, 1043285208 fired transitions, 1150 secs || 54789944 markings, 60927424 edges, 49705 markings/sec, 1150 secs
lola: 1049 tries, 1048024024 fired transitions, 1155 secs || 55034459 markings, 61201246 edges, 48903 markings/sec, 1155 secs
lola: 1053 tries, 1052749030 fired transitions, 1160 secs || 55278914 markings, 61475035 edges, 48891 markings/sec, 1160 secs
lola: 1058 tries, 1057485490 fired transitions, 1165 secs || 55526079 markings, 61752036 edges, 49433 markings/sec, 1165 secs
lola: 1063 tries, 1062220030 fired transitions, 1170 secs || 55771496 markings, 62027347 edges, 49083 markings/sec, 1170 secs
lola: 1067 tries, 1066966466 fired transitions, 1175 secs || 56016515 markings, 62302453 edges, 49004 markings/sec, 1175 secs
lola: 1072 tries, 1071690738 fired transitions, 1180 secs || 56262998 markings, 62578501 edges, 49297 markings/sec, 1180 secs
lola: 1077 tries, 1076429878 fired transitions, 1185 secs || 56509512 markings, 62855479 edges, 49303 markings/sec, 1185 secs
lola: 1082 tries, 1081171341 fired transitions, 1190 secs || 56755595 markings, 63131928 edges, 49217 markings/sec, 1190 secs
lola: 1086 tries, 1085905437 fired transitions, 1195 secs || 57002211 markings, 63409031 edges, 49323 markings/sec, 1195 secs
lola: 1091 tries, 1090580113 fired transitions, 1200 secs || 57234680 markings, 63664188 edges, 46494 markings/sec, 1200 secs
lola: 1096 tries, 1095254545 fired transitions, 1205 secs || 57466545 markings, 63918892 edges, 46373 markings/sec, 1205 secs
lola: 1100 tries, 1099925679 fired transitions, 1210 secs || 57697119 markings, 64171386 edges, 46115 markings/sec, 1210 secs
lola: 1105 tries, 1104599884 fired transitions, 1215 secs || 57927776 markings, 64424480 edges, 46131 markings/sec, 1215 secs
lola: 1110 tries, 1109272082 fired transitions, 1220 secs || 58157976 markings, 64676862 edges, 46040 markings/sec, 1220 secs
lola: 1114 tries, 1113948649 fired transitions, 1225 secs || 58389208 markings, 64930912 edges, 46246 markings/sec, 1225 secs
lola: 1119 tries, 1118635856 fired transitions, 1230 secs || 58620306 markings, 65186474 edges, 46220 markings/sec, 1230 secs
lola: 1124 tries, 1123320894 fired transitions, 1235 secs || 58850061 markings, 65440122 edges, 45951 markings/sec, 1235 secs
lola: 1129 tries, 1128005864 fired transitions, 1240 secs || 59080571 markings, 65694623 edges, 46102 markings/sec, 1240 secs
lola: 1133 tries, 1132689481 fired transitions, 1245 secs || 59310398 markings, 65948245 edges, 45965 markings/sec, 1245 secs
lola: 1138 tries, 1137355978 fired transitions, 1250 secs || 59541080 markings, 66201132 edges, 46136 markings/sec, 1250 secs
lola: 1143 tries, 1142059662 fired transitions, 1255 secs || 59773568 markings, 66458782 edges, 46498 markings/sec, 1255 secs
lola: 1147 tries, 1146739907 fired transitions, 1260 secs || 60005734 markings, 66714846 edges, 46433 markings/sec, 1260 secs
lola: 1152 tries, 1151409803 fired transitions, 1265 secs || 60236670 markings, 66969422 edges, 46187 markings/sec, 1265 secs
lola: 1157 tries, 1156107054 fired transitions, 1270 secs || 60466944 markings, 67223846 edges, 46055 markings/sec, 1270 secs
lola: 1161 tries, 1160796115 fired transitions, 1275 secs || 60697499 markings, 67478956 edges, 46111 markings/sec, 1275 secs
lola: 1166 tries, 1165468764 fired transitions, 1280 secs || 60928886 markings, 67733441 edges, 46277 markings/sec, 1280 secs
lola: 1171 tries, 1170160093 fired transitions, 1285 secs || 61161704 markings, 67991585 edges, 46564 markings/sec, 1285 secs
lola: 1175 tries, 1174853269 fired transitions, 1290 secs || 61392312 markings, 68247154 edges, 46122 markings/sec, 1290 secs
lola: 1180 tries, 1179548543 fired transitions, 1295 secs || 61622598 markings, 68501690 edges, 46057 markings/sec, 1295 secs
lola: 1185 tries, 1184247247 fired transitions, 1300 secs || 61852045 markings, 68755465 edges, 45889 markings/sec, 1300 secs
lola: 1189 tries, 1188947894 fired transitions, 1305 secs || 62083739 markings, 69012043 edges, 46339 markings/sec, 1305 secs
lola: 1194 tries, 1193656087 fired transitions, 1310 secs || 62316503 markings, 69270557 edges, 46553 markings/sec, 1310 secs
lola: 1199 tries, 1198352900 fired transitions, 1315 secs || 62549036 markings, 69528171 edges, 46507 markings/sec, 1315 secs
lola: 1204 tries, 1203061078 fired transitions, 1320 secs || 62780085 markings, 69784335 edges, 46210 markings/sec, 1320 secs
lola: 1208 tries, 1207759319 fired transitions, 1325 secs || 63012377 markings, 70041411 edges, 46458 markings/sec, 1325 secs
lola: 1213 tries, 1212424718 fired transitions, 1330 secs || 63237886 markings, 70287024 edges, 45102 markings/sec, 1330 secs
lola: 1218 tries, 1217112398 fired transitions, 1335 secs || 63460482 markings, 70529790 edges, 44519 markings/sec, 1335 secs
lola: 1222 tries, 1221776125 fired transitions, 1340 secs || 63689843 markings, 70780428 edges, 45872 markings/sec, 1340 secs
lola: 1227 tries, 1226463417 fired transitions, 1345 secs || 63915673 markings, 71027601 edges, 45166 markings/sec, 1345 secs
lola: 1232 tries, 1231145497 fired transitions, 1350 secs || 64143330 markings, 71277367 edges, 45531 markings/sec, 1350 secs
lola: 1236 tries, 1235811786 fired transitions, 1355 secs || 64372985 markings, 71529661 edges, 45931 markings/sec, 1355 secs
lola: 1241 tries, 1240498677 fired transitions, 1360 secs || 64602523 markings, 71782244 edges, 45908 markings/sec, 1360 secs
lola: 1246 tries, 1245171837 fired transitions, 1365 secs || 64829063 markings, 72030612 edges, 45308 markings/sec, 1365 secs
lola: 1250 tries, 1249890489 fired transitions, 1370 secs || 65057212 markings, 72281396 edges, 45630 markings/sec, 1370 secs
lola: 1255 tries, 1254630207 fired transitions, 1375 secs || 65285228 markings, 72532462 edges, 45603 markings/sec, 1375 secs
lola: 1260 tries, 1259366575 fired transitions, 1380 secs || 65514288 markings, 72785118 edges, 45812 markings/sec, 1380 secs
lola: 1265 tries, 1264101093 fired transitions, 1385 secs || 65738436 markings, 73032490 edges, 44830 markings/sec, 1385 secs
lola: 1269 tries, 1268824794 fired transitions, 1390 secs || 65969580 markings, 73287036 edges, 46229 markings/sec, 1390 secs
lola: 1274 tries, 1273565031 fired transitions, 1395 secs || 66199573 markings, 73539851 edges, 45999 markings/sec, 1395 secs
lola: 1279 tries, 1278294031 fired transitions, 1400 secs || 66431477 markings, 73795952 edges, 46381 markings/sec, 1400 secs
lola: 1284 tries, 1283030464 fired transitions, 1405 secs || 66663097 markings, 74051315 edges, 46324 markings/sec, 1405 secs
lola: 1288 tries, 1287766334 fired transitions, 1410 secs || 66894382 markings, 74306248 edges, 46257 markings/sec, 1410 secs
lola: 1293 tries, 1292508499 fired transitions, 1415 secs || 67125651 markings, 74561845 edges, 46254 markings/sec, 1415 secs
lola: 1298 tries, 1297238865 fired transitions, 1420 secs || 67355942 markings, 74813184 edges, 46058 markings/sec, 1420 secs
lola: 1302 tries, 1301953929 fired transitions, 1425 secs || 67584660 markings, 75062643 edges, 45744 markings/sec, 1425 secs
lola: 1307 tries, 1306643638 fired transitions, 1430 secs || 67807095 markings, 75305351 edges, 44487 markings/sec, 1430 secs
lola: 1312 tries, 1311316354 fired transitions, 1435 secs || 68032140 markings, 75551284 edges, 45009 markings/sec, 1435 secs
lola: 1316 tries, 1315990391 fired transitions, 1440 secs || 68259011 markings, 75799647 edges, 45374 markings/sec, 1440 secs
lola: 1321 tries, 1320688511 fired transitions, 1445 secs || 68483950 markings, 76046379 edges, 44988 markings/sec, 1445 secs
lola: 1326 tries, 1325383642 fired transitions, 1450 secs || 68706834 markings, 76291003 edges, 44577 markings/sec, 1450 secs
lola: 1331 tries, 1330089386 fired transitions, 1455 secs || 68933704 markings, 76540794 edges, 45374 markings/sec, 1455 secs
lola: 1335 tries, 1334780530 fired transitions, 1460 secs || 69157711 markings, 76786655 edges, 44801 markings/sec, 1460 secs
lola: 1340 tries, 1339485386 fired transitions, 1465 secs || 69385280 markings, 77038080 edges, 45514 markings/sec, 1465 secs
lola: 1345 tries, 1344182708 fired transitions, 1470 secs || 69610579 markings, 77285739 edges, 45060 markings/sec, 1470 secs
lola: 1349 tries, 1348865422 fired transitions, 1475 secs || 69834191 markings, 77530906 edges, 44722 markings/sec, 1475 secs
lola: 1354 tries, 1353566300 fired transitions, 1480 secs || 70061160 markings, 77780087 edges, 45394 markings/sec, 1480 secs
lola: 1359 tries, 1358299306 fired transitions, 1485 secs || 70290892 markings, 78032676 edges, 45946 markings/sec, 1485 secs
lola: 1364 tries, 1363024867 fired transitions, 1490 secs || 70521646 markings, 78286577 edges, 46151 markings/sec, 1490 secs
lola: 1368 tries, 1367754891 fired transitions, 1495 secs || 70750125 markings, 78537875 edges, 45696 markings/sec, 1495 secs
lola: 1373 tries, 1372497470 fired transitions, 1500 secs || 70979066 markings, 78789720 edges, 45788 markings/sec, 1500 secs
lola: 1378 tries, 1377229975 fired transitions, 1505 secs || 71210080 markings, 79045020 edges, 46203 markings/sec, 1505 secs
lola: 1382 tries, 1381956579 fired transitions, 1510 secs || 71437760 markings, 79296562 edges, 45536 markings/sec, 1510 secs
lola: 1387 tries, 1386711844 fired transitions, 1515 secs || 71669608 markings, 79553111 edges, 46370 markings/sec, 1515 secs
lola: 1392 tries, 1391475042 fired transitions, 1520 secs || 71901898 markings, 79809867 edges, 46458 markings/sec, 1520 secs
lola: 1397 tries, 1396173471 fired transitions, 1525 secs || 72133811 markings, 80065152 edges, 46383 markings/sec, 1525 secs
lola: 1401 tries, 1400825294 fired transitions, 1530 secs || 72363066 markings, 80316463 edges, 45851 markings/sec, 1530 secs
lola: 1406 tries, 1405479480 fired transitions, 1535 secs || 72582857 markings, 80559050 edges, 43958 markings/sec, 1535 secs
lola: 1411 tries, 1410200883 fired transitions, 1540 secs || 72810834 markings, 80811928 edges, 45595 markings/sec, 1540 secs
lola: 1415 tries, 1414906375 fired transitions, 1545 secs || 73039608 markings, 81065282 edges, 45755 markings/sec, 1545 secs
lola: 1420 tries, 1419592984 fired transitions, 1550 secs || 73265856 markings, 81314240 edges, 45250 markings/sec, 1550 secs
lola: 1425 tries, 1424280819 fired transitions, 1555 secs || 73493972 markings, 81564685 edges, 45623 markings/sec, 1555 secs
lola: 1429 tries, 1428974211 fired transitions, 1560 secs || 73726852 markings, 81821758 edges, 46576 markings/sec, 1560 secs
lola: 1434 tries, 1433653017 fired transitions, 1565 secs || 73955555 markings, 82072567 edges, 45741 markings/sec, 1565 secs
lola: 1439 tries, 1438360450 fired transitions, 1570 secs || 74183525 markings, 82324595 edges, 45594 markings/sec, 1570 secs
lola: 1444 tries, 1443075242 fired transitions, 1575 secs || 74415797 markings, 82581556 edges, 46454 markings/sec, 1575 secs
lola: 1448 tries, 1447780403 fired transitions, 1580 secs || 74645739 markings, 82835396 edges, 45988 markings/sec, 1580 secs
lola: 1453 tries, 1452544436 fired transitions, 1585 secs || 74866852 markings, 83078322 edges, 44223 markings/sec, 1585 secs
lola: 1458 tries, 1457289917 fired transitions, 1590 secs || 75087330 markings, 83322996 edges, 44096 markings/sec, 1590 secs
lola: 1463 tries, 1462049898 fired transitions, 1595 secs || 75305164 markings, 83563441 edges, 43567 markings/sec, 1595 secs
lola: 1467 tries, 1466806183 fired transitions, 1600 secs || 75538497 markings, 83822830 edges, 46667 markings/sec, 1600 secs
lola: 1472 tries, 1471538972 fired transitions, 1605 secs || 75772975 markings, 84082209 edges, 46896 markings/sec, 1605 secs
lola: 1477 tries, 1476283301 fired transitions, 1610 secs || 76005943 markings, 84339339 edges, 46594 markings/sec, 1610 secs
lola: 1482 tries, 1481053904 fired transitions, 1615 secs || 76239664 markings, 84598820 edges, 46744 markings/sec, 1615 secs
lola: 1486 tries, 1485792385 fired transitions, 1620 secs || 76473433 markings, 84857302 edges, 46754 markings/sec, 1620 secs
lola: 1491 tries, 1490544642 fired transitions, 1625 secs || 76707081 markings, 85116403 edges, 46730 markings/sec, 1625 secs
lola: 1496 tries, 1495275953 fired transitions, 1630 secs || 76937810 markings, 85371601 edges, 46146 markings/sec, 1630 secs
lola: 1501 tries, 1500008028 fired transitions, 1635 secs || 77169558 markings, 85627084 edges, 46350 markings/sec, 1635 secs
lola: 1505 tries, 1504758848 fired transitions, 1640 secs || 77403113 markings, 85886693 edges, 46711 markings/sec, 1640 secs
lola: 1510 tries, 1509500173 fired transitions, 1645 secs || 77638008 markings, 86146677 edges, 46979 markings/sec, 1645 secs
lola: 1515 tries, 1514253530 fired transitions, 1650 secs || 77870109 markings, 86403916 edges, 46420 markings/sec, 1650 secs
lola: 1520 tries, 1519014309 fired transitions, 1655 secs || 78102182 markings, 86661323 edges, 46415 markings/sec, 1655 secs
lola: 1524 tries, 1523752480 fired transitions, 1660 secs || 78336013 markings, 86919429 edges, 46766 markings/sec, 1660 secs
lola: 1529 tries, 1528490979 fired transitions, 1665 secs || 78567906 markings, 87175239 edges, 46379 markings/sec, 1665 secs
lola: 1534 tries, 1533226931 fired transitions, 1670 secs || 78804486 markings, 87437159 edges, 47316 markings/sec, 1670 secs
lola: 1538 tries, 1537974733 fired transitions, 1675 secs || 79037352 markings, 87695324 edges, 46573 markings/sec, 1675 secs
lola: 1543 tries, 1542713136 fired transitions, 1680 secs || 79268321 markings, 87949629 edges, 46194 markings/sec, 1680 secs
lola: 1548 tries, 1547460086 fired transitions, 1685 secs || 79501551 markings, 88207685 edges, 46646 markings/sec, 1685 secs
lola: 1553 tries, 1552203755 fired transitions, 1690 secs || 79740482 markings, 88472635 edges, 47786 markings/sec, 1690 secs
lola: 1557 tries, 1556982978 fired transitions, 1695 secs || 79988806 markings, 88751451 edges, 49665 markings/sec, 1695 secs
lola: 1562 tries, 1561760999 fired transitions, 1700 secs || 80234289 markings, 89026605 edges, 49097 markings/sec, 1700 secs
lola: 1567 tries, 1566544593 fired transitions, 1705 secs || 80477500 markings, 89298706 edges, 48642 markings/sec, 1705 secs
lola: 1572 tries, 1571325855 fired transitions, 1710 secs || 80724156 markings, 89575611 edges, 49331 markings/sec, 1710 secs
lola: 1577 tries, 1576111348 fired transitions, 1715 secs || 80975721 markings, 89859117 edges, 50313 markings/sec, 1715 secs
lola: 1581 tries, 1580886169 fired transitions, 1720 secs || 81223093 markings, 90137207 edges, 49474 markings/sec, 1720 secs
lola: 1586 tries, 1585656018 fired transitions, 1725 secs || 81468888 markings, 90413761 edges, 49159 markings/sec, 1725 secs
lola: 1591 tries, 1590422474 fired transitions, 1730 secs || 81713681 markings, 90689246 edges, 48959 markings/sec, 1730 secs
lola: 1596 tries, 1595160600 fired transitions, 1735 secs || 81958802 markings, 90965335 edges, 49024 markings/sec, 1735 secs
lola: 1600 tries, 1599899911 fired transitions, 1740 secs || 82203272 markings, 91239519 edges, 48894 markings/sec, 1740 secs
lola: 1605 tries, 1604667126 fired transitions, 1745 secs || 82441552 markings, 91507353 edges, 47656 markings/sec, 1745 secs
lola: 1610 tries, 1609441365 fired transitions, 1750 secs || 82687472 markings, 91783103 edges, 49184 markings/sec, 1750 secs
lola: 1615 tries, 1614215555 fired transitions, 1755 secs || 82937870 markings, 92064762 edges, 50080 markings/sec, 1755 secs
lola: 1620 tries, 1619000665 fired transitions, 1760 secs || 83184067 markings, 92340976 edges, 49239 markings/sec, 1760 secs
lola: 1624 tries, 1623772586 fired transitions, 1765 secs || 83430161 markings, 92617145 edges, 49219 markings/sec, 1765 secs
lola: 1629 tries, 1628544379 fired transitions, 1770 secs || 83675416 markings, 92892071 edges, 49051 markings/sec, 1770 secs
lola: 1634 tries, 1633321320 fired transitions, 1775 secs || 83920957 markings, 93167163 edges, 49108 markings/sec, 1775 secs
lola: 1639 tries, 1638102154 fired transitions, 1780 secs || 84167280 markings, 93443214 edges, 49265 markings/sec, 1780 secs
lola: 1643 tries, 1642880122 fired transitions, 1785 secs || 84412344 markings, 93717896 edges, 49013 markings/sec, 1785 secs
lola: 1648 tries, 1647661401 fired transitions, 1790 secs || 84657183 markings, 93992610 edges, 48968 markings/sec, 1790 secs
lola: 1653 tries, 1652436547 fired transitions, 1795 secs || 84904618 markings, 94270337 edges, 49487 markings/sec, 1795 secs
lola: 1658 tries, 1657217709 fired transitions, 1800 secs || 85151441 markings, 94547748 edges, 49365 markings/sec, 1800 secs
lola: 1662 tries, 1661992448 fired transitions, 1805 secs || 85398016 markings, 94824580 edges, 49315 markings/sec, 1805 secs
lola: 1667 tries, 1666778127 fired transitions, 1810 secs || 85644801 markings, 95101562 edges, 49357 markings/sec, 1810 secs
lola: 1672 tries, 1671564372 fired transitions, 1815 secs || 85888914 markings, 95375623 edges, 48823 markings/sec, 1815 secs
lola: 1677 tries, 1676343511 fired transitions, 1820 secs || 86137217 markings, 95655114 edges, 49661 markings/sec, 1820 secs
lola: 1682 tries, 1681132188 fired transitions, 1825 secs || 86380359 markings, 95927228 edges, 48628 markings/sec, 1825 secs
lola: 1686 tries, 1685910871 fired transitions, 1830 secs || 86628305 markings, 96205555 edges, 49589 markings/sec, 1830 secs
lola: 1691 tries, 1690703375 fired transitions, 1835 secs || 86876620 markings, 96485598 edges, 49663 markings/sec, 1835 secs
lola: 1696 tries, 1695490895 fired transitions, 1840 secs || 87119856 markings, 96758059 edges, 48647 markings/sec, 1840 secs
lola: 1701 tries, 1700274465 fired transitions, 1845 secs || 87368136 markings, 97037585 edges, 49656 markings/sec, 1845 secs
lola: 1706 tries, 1705053363 fired transitions, 1850 secs || 87614690 markings, 97314127 edges, 49311 markings/sec, 1850 secs
lola: 1710 tries, 1709833363 fired transitions, 1855 secs || 87861983 markings, 97591858 edges, 49459 markings/sec, 1855 secs
lola: 1715 tries, 1714615890 fired transitions, 1860 secs || 88109226 markings, 97869114 edges, 49449 markings/sec, 1860 secs
lola: 1720 tries, 1719388025 fired transitions, 1865 secs || 88354379 markings, 98144028 edges, 49031 markings/sec, 1865 secs
lola: 1725 tries, 1724174621 fired transitions, 1870 secs || 88599632 markings, 98419073 edges, 49051 markings/sec, 1870 secs
lola: 1729 tries, 1728662272 fired transitions, 1875 secs || 88837064 markings, 98686009 edges, 47486 markings/sec, 1875 secs
lola: 1733 tries, 1732937772 fired transitions, 1880 secs || 89063854 markings, 98940435 edges, 45358 markings/sec, 1880 secs
lola: 1738 tries, 1737727362 fired transitions, 1885 secs || 89311130 markings, 99218258 edges, 49455 markings/sec, 1885 secs
lola: 1743 tries, 1742434706 fired transitions, 1890 secs || 89555112 markings, 99492627 edges, 48796 markings/sec, 1890 secs
lola: 1748 tries, 1747168396 fired transitions, 1895 secs || 89800263 markings, 99768402 edges, 49030 markings/sec, 1895 secs
lola: 1752 tries, 1751673420 fired transitions, 1900 secs || 90034003 markings, 100030234 edges, 46748 markings/sec, 1900 secs
lola: 1757 tries, 1756457610 fired transitions, 1905 secs || 90282364 markings, 100309815 edges, 49672 markings/sec, 1905 secs
lola: 1762 tries, 1761243808 fired transitions, 1910 secs || 90529875 markings, 100588513 edges, 49502 markings/sec, 1910 secs
lola: 1767 tries, 1766027632 fired transitions, 1915 secs || 90776223 markings, 100865571 edges, 49270 markings/sec, 1915 secs
lola: 1771 tries, 1770805656 fired transitions, 1920 secs || 91020679 markings, 101139508 edges, 48891 markings/sec, 1920 secs
lola: 1776 tries, 1775594254 fired transitions, 1925 secs || 91266987 markings, 101416267 edges, 49262 markings/sec, 1925 secs
lola: 1781 tries, 1780381597 fired transitions, 1930 secs || 91514682 markings, 101694478 edges, 49539 markings/sec, 1930 secs
lola: 1786 tries, 1785166894 fired transitions, 1935 secs || 91761698 markings, 101971486 edges, 49403 markings/sec, 1935 secs
lola: 1790 tries, 1789950275 fired transitions, 1940 secs || 92009730 markings, 102249931 edges, 49606 markings/sec, 1940 secs
lola: 1795 tries, 1794746116 fired transitions, 1945 secs || 92256365 markings, 102526926 edges, 49327 markings/sec, 1945 secs
lola: 1800 tries, 1799380484 fired transitions, 1950 secs || 92495326 markings, 102795841 edges, 47792 markings/sec, 1950 secs
lola: 1805 tries, 1804167639 fired transitions, 1955 secs || 92742994 markings, 103074751 edges, 49534 markings/sec, 1955 secs
lola: 1809 tries, 1808948404 fired transitions, 1960 secs || 92986973 markings, 103348205 edges, 48796 markings/sec, 1960 secs
lola: 1814 tries, 1813733446 fired transitions, 1965 secs || 93235913 markings, 103628301 edges, 49788 markings/sec, 1965 secs
lola: 1819 tries, 1818519479 fired transitions, 1970 secs || 93484355 markings, 103908136 edges, 49688 markings/sec, 1970 secs
lola: 1824 tries, 1823306140 fired transitions, 1975 secs || 93733568 markings, 104189052 edges, 49843 markings/sec, 1975 secs
lola: 1829 tries, 1828088488 fired transitions, 1980 secs || 93982617 markings, 104469503 edges, 49810 markings/sec, 1980 secs
lola: 1833 tries, 1832870786 fired transitions, 1985 secs || 94228883 markings, 104746075 edges, 49253 markings/sec, 1985 secs
lola: 1838 tries, 1837655254 fired transitions, 1990 secs || 94475903 markings, 105023886 edges, 49404 markings/sec, 1990 secs
lola: 1843 tries, 1842447400 fired transitions, 1995 secs || 94723576 markings, 105303134 edges, 49535 markings/sec, 1995 secs
lola: 1848 tries, 1847233137 fired transitions, 2000 secs || 94967651 markings, 105576301 edges, 48815 markings/sec, 2000 secs
lola: 1853 tries, 1852019456 fired transitions, 2005 secs || 95210735 markings, 105848613 edges, 48617 markings/sec, 2005 secs
lola: 1857 tries, 1856800967 fired transitions, 2010 secs || 95455620 markings, 106123581 edges, 48977 markings/sec, 2010 secs
lola: 1862 tries, 1861591042 fired transitions, 2015 secs || 95703123 markings, 106402787 edges, 49501 markings/sec, 2015 secs
lola: 1867 tries, 1866373131 fired transitions, 2020 secs || 95950387 markings, 106680683 edges, 49453 markings/sec, 2020 secs
lola: 1872 tries, 1871101425 fired transitions, 2025 secs || 96196618 markings, 106958006 edges, 49246 markings/sec, 2025 secs
lola: 1876 tries, 1875849199 fired transitions, 2030 secs || 96441708 markings, 107233777 edges, 49018 markings/sec, 2030 secs
lola: 1881 tries, 1880591218 fired transitions, 2035 secs || 96682098 markings, 107502567 edges, 48078 markings/sec, 2035 secs
lola: 1886 tries, 1885330769 fired transitions, 2040 secs || 96921847 markings, 107770276 edges, 47950 markings/sec, 2040 secs
lola: 1891 tries, 1890065547 fired transitions, 2045 secs || 97169055 markings, 108048739 edges, 49442 markings/sec, 2045 secs
lola: 1895 tries, 1894802255 fired transitions, 2050 secs || 97415879 markings, 108326466 edges, 49365 markings/sec, 2050 secs
lola: 1900 tries, 1899535926 fired transitions, 2055 secs || 97659865 markings, 108600304 edges, 48797 markings/sec, 2055 secs
lola: 1905 tries, 1904287770 fired transitions, 2060 secs || 97903330 markings, 108873810 edges, 48693 markings/sec, 2060 secs
lola: 1910 tries, 1909044688 fired transitions, 2065 secs || 98149919 markings, 109152701 edges, 49318 markings/sec, 2065 secs
lola: 1914 tries, 1913783779 fired transitions, 2070 secs || 98394385 markings, 109428074 edges, 48893 markings/sec, 2070 secs
lola: 1919 tries, 1918519003 fired transitions, 2075 secs || 98634746 markings, 109697008 edges, 48072 markings/sec, 2075 secs
lola: 1924 tries, 1923269815 fired transitions, 2080 secs || 98875870 markings, 109966554 edges, 48225 markings/sec, 2080 secs
lola: 1929 tries, 1928005536 fired transitions, 2085 secs || 99118180 markings, 110238123 edges, 48462 markings/sec, 2085 secs
lola: 1933 tries, 1932731931 fired transitions, 2090 secs || 99364997 markings, 110516070 edges, 49363 markings/sec, 2090 secs
lola: 1938 tries, 1937485153 fired transitions, 2095 secs || 99613625 markings, 110797248 edges, 49726 markings/sec, 2095 secs
lola: 1943 tries, 1942229708 fired transitions, 2100 secs || 99858729 markings, 111072782 edges, 49021 markings/sec, 2100 secs
lola: 1947 tries, 1946972649 fired transitions, 2105 secs || 100103609 markings, 111348240 edges, 48976 markings/sec, 2105 secs
lola: 1952 tries, 1951716413 fired transitions, 2110 secs || 100352191 markings, 111628461 edges, 49716 markings/sec, 2110 secs
lola: 1957 tries, 1956466351 fired transitions, 2115 secs || 100597779 markings, 111904481 edges, 49118 markings/sec, 2115 secs
lola: 1962 tries, 1961211223 fired transitions, 2120 secs || 100842478 markings, 112179223 edges, 48940 markings/sec, 2120 secs
lola: 1966 tries, 1965947134 fired transitions, 2125 secs || 101077146 markings, 112439779 edges, 46934 markings/sec, 2125 secs
lola: 1971 tries, 1970696042 fired transitions, 2130 secs || 101322998 markings, 112716397 edges, 49170 markings/sec, 2130 secs
lola: 1976 tries, 1975447846 fired transitions, 2135 secs || 101568269 markings, 112992431 edges, 49054 markings/sec, 2135 secs
lola: 1981 tries, 1980197208 fired transitions, 2140 secs || 101815679 markings, 113271531 edges, 49482 markings/sec, 2140 secs
lola: 1985 tries, 1984936971 fired transitions, 2145 secs || 102062778 markings, 113550003 edges, 49420 markings/sec, 2145 secs
lola: 1990 tries, 1989686955 fired transitions, 2150 secs || 102309066 markings, 113827324 edges, 49258 markings/sec, 2150 secs
lola: 1995 tries, 1994434417 fired transitions, 2155 secs || 102555173 markings, 114104847 edges, 49221 markings/sec, 2155 secs
lola: 2000 tries, 1999165696 fired transitions, 2160 secs || 102793939 markings, 114371321 edges, 47753 markings/sec, 2160 secs
lola: 2004 tries, 2003912020 fired transitions, 2165 secs || 103041011 markings, 114649827 edges, 49414 markings/sec, 2165 secs
lola: 2009 tries, 2008645974 fired transitions, 2170 secs || 103283716 markings, 114922332 edges, 48541 markings/sec, 2170 secs
lola: 2014 tries, 2013398273 fired transitions, 2175 secs || 103527543 markings, 115196154 edges, 48765 markings/sec, 2175 secs
lola: 2019 tries, 2018145736 fired transitions, 2180 secs || 103771736 markings, 115470485 edges, 48839 markings/sec, 2180 secs
lola: 2023 tries, 2022890955 fired transitions, 2185 secs || 104015359 markings, 115743901 edges, 48725 markings/sec, 2185 secs
lola: 2028 tries, 2027636895 fired transitions, 2190 secs || 104261019 markings, 116020511 edges, 49132 markings/sec, 2190 secs
lola: 2033 tries, 2032380459 fired transitions, 2195 secs || 104505679 markings, 116295629 edges, 48932 markings/sec, 2195 secs
lola: 2038 tries, 2037122854 fired transitions, 2200 secs || 104748168 markings, 116567384 edges, 48498 markings/sec, 2200 secs
lola: 2042 tries, 2041867746 fired transitions, 2205 secs || 104995456 markings, 116846675 edges, 49458 markings/sec, 2205 secs
lola: 2047 tries, 2046610600 fired transitions, 2210 secs || 105239584 markings, 117120575 edges, 48826 markings/sec, 2210 secs
lola: 2052 tries, 2051357316 fired transitions, 2215 secs || 105483087 markings, 117393968 edges, 48701 markings/sec, 2215 secs
lola: 2057 tries, 2056101593 fired transitions, 2220 secs || 105727965 markings, 117669218 edges, 48976 markings/sec, 2220 secs
lola: 2061 tries, 2060846950 fired transitions, 2225 secs || 105972878 markings, 117944555 edges, 48983 markings/sec, 2225 secs
lola: 2066 tries, 2065599722 fired transitions, 2230 secs || 106217317 markings, 118219771 edges, 48888 markings/sec, 2230 secs
lola: 2071 tries, 2070349085 fired transitions, 2235 secs || 106462473 markings, 118495212 edges, 49031 markings/sec, 2235 secs
lola: 2076 tries, 2075098727 fired transitions, 2240 secs || 106706194 markings, 118769250 edges, 48744 markings/sec, 2240 secs
lola: 2080 tries, 2079840368 fired transitions, 2245 secs || 106951090 markings, 119044518 edges, 48979 markings/sec, 2245 secs
lola: 2085 tries, 2084596020 fired transitions, 2250 secs || 107196080 markings, 119320697 edges, 48998 markings/sec, 2250 secs
lola: 2090 tries, 2089338857 fired transitions, 2255 secs || 107440037 markings, 119595359 edges, 48791 markings/sec, 2255 secs
lola: 2095 tries, 2094077742 fired transitions, 2260 secs || 107684669 markings, 119870006 edges, 48926 markings/sec, 2260 secs
lola: 2099 tries, 2098819940 fired transitions, 2265 secs || 107930500 markings, 120147033 edges, 49166 markings/sec, 2265 secs
lola: 2104 tries, 2103559699 fired transitions, 2270 secs || 108174747 markings, 120421260 edges, 48849 markings/sec, 2270 secs
lola: 2109 tries, 2108314166 fired transitions, 2275 secs || 108418051 markings, 120695215 edges, 48661 markings/sec, 2275 secs
lola: 2114 tries, 2113074723 fired transitions, 2280 secs || 108662836 markings, 120971396 edges, 48957 markings/sec, 2280 secs
lola: 2118 tries, 2117825470 fired transitions, 2285 secs || 108904748 markings, 121242951 edges, 48382 markings/sec, 2285 secs
lola: 2123 tries, 2122570067 fired transitions, 2290 secs || 109150253 markings, 121519208 edges, 49101 markings/sec, 2290 secs
lola: 2128 tries, 2127321105 fired transitions, 2295 secs || 109396156 markings, 121796465 edges, 49181 markings/sec, 2295 secs
lola: 2133 tries, 2132070570 fired transitions, 2300 secs || 109642566 markings, 122074167 edges, 49282 markings/sec, 2300 secs
lola: 2137 tries, 2136820641 fired transitions, 2305 secs || 109887222 markings, 122349342 edges, 48931 markings/sec, 2305 secs
lola: 2142 tries, 2141571431 fired transitions, 2310 secs || 110133796 markings, 122627837 edges, 49315 markings/sec, 2310 secs
lola: 2147 tries, 2146311211 fired transitions, 2315 secs || 110376707 markings, 122900697 edges, 48582 markings/sec, 2315 secs
lola: 2152 tries, 2151046344 fired transitions, 2320 secs || 110622731 markings, 123177904 edges, 49205 markings/sec, 2320 secs
lola: 2156 tries, 2155792783 fired transitions, 2325 secs || 110866568 markings, 123451981 edges, 48767 markings/sec, 2325 secs
lola: 2161 tries, 2160582967 fired transitions, 2330 secs || 111110906 markings, 123726593 edges, 48868 markings/sec, 2330 secs
lola: 2166 tries, 2165381977 fired transitions, 2335 secs || 111350071 markings, 123995239 edges, 47833 markings/sec, 2335 secs
lola: 2171 tries, 2170343691 fired transitions, 2340 secs || 111509525 markings, 124174396 edges, 31891 markings/sec, 2340 secs
lola: 2172 tries, 2171994470 fired transitions, 2345 secs || 111553150 markings, 124223608 edges, 8725 markings/sec, 2345 secs
lola: 2173 tries, 2172284922 fired transitions, 2350 secs || 111559744 markings, 124230941 edges, 1319 markings/sec, 2350 secs
lola: 2173 tries, 2172502025 fired transitions, 2355 secs || 111567317 markings, 124239392 edges, 1515 markings/sec, 2355 secs
lola: 2175 tries, 2174818998 fired transitions, 2360 secs || 111636719 markings, 124317518 edges, 13880 markings/sec, 2360 secs
lola: 2176 tries, 2175852859 fired transitions, 2365 secs || 111655335 markings, 124338613 edges, 3723 markings/sec, 2365 secs
lola: 2177 tries, 2176088433 fired transitions, 2370 secs || 111660757 markings, 124344692 edges, 1084 markings/sec, 2370 secs
Killed
rslt: finished

BK_STOP 1552453556571

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

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