MCC'2019 - Execution of r104-oct2-155272226100570

About the Execution of LoLA for Peterson-PT-7

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
10886.460	3570405.00	7283939.00	358.00	[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.r104-oct2-155272226100570.qcow2', fmt=qcow2 size=4294967296 backing_file=/data
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is Peterson-PT-7, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r104-oct2-155272226100570
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.7M
-rw-r--r-- 1 mcc users 71K Feb 12 04:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 198K Feb 12 04:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 93K Feb 8 03:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 317K Feb 8 03:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 100 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 338 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 60K Feb 5 00:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 144K Feb 5 00:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 49K Feb 4 22:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 162K Feb 4 22:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 157K Feb 4 08:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 419K Feb 4 08:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 160K Feb 1 02:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 526K Feb 1 02:32 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 45K Feb 4 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 92K Feb 4 22:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 2 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 2.3M 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 Peterson-PT-7-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552807512139

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ Peterson-PT-7 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: 0
rslt: Output for GlobalProperties @ Peterson-PT-7
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: 5088/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 63744
lola: finding significant places
lola: 1992 places, 3096 transitions, 1961 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=
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tar
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 0 generators (0 in search tree, 0 by composition)
lola: representing 1 symmetries
lola: 0 dead branches visited in search tree
lola: 1 tries, 95883 fired transitions, 0 secs || 66383 markings, 105664 edges,
lola: 1 tries, 194581 fired transitions, 5 secs || 141119 markings, 224924 edges,
lola: 1 tries, 289286 fired transitions, 10 secs || 220606 markings, 353693 edges,
lola: 1 tries, 383028 fired transitions, 15 secs || 301378 markings, 486180 edges,
lola: 1 tries, 476183 fired transitions, 20 secs || 381815 markings, 618222 edges,
lola: 1 tries, 568844 fired transitions, 25 secs || 460652 markings, 745422 edges,
lola: 1 tries, 655043 fired transitions, 30 secs || 534042 markings, 868175 edges,
lola: 1 tries, 751250 fired transitions, 35 secs || 603826 markings, 979641 edges,
lola: 1 tries, 885344 fired transitions, 40 secs || 714383 markings, 1159164 edges,
lola: 1 tries, 987529 fired transitions, 45 secs || 785192 markings, 1274243 edges,
lola: 2 tries, 1081146 fired transitions, 50 secs || 855465 markings, 1392695 edges,
lola: 2 tries, 1178398 fired transitions, 55 secs || 924326 markings, 1510557 edges,
lola: 2 tries, 1274003 fired transitions, 60 secs || 995543 markings, 1628769 edges,
lola: 2 tries, 1369101 fired transitions, 65 secs || 1065529 markings, 1746444 edges,
lola: 2 tries, 1465874 fired transitions, 70 secs || 1139921 markings, 1870576 edges,
lola: 2 tries, 1587511 fired transitions, 75 secs || 1241232 markings, 2038805 edges,
lola: 2 tries, 1716986 fired transitions, 80 secs || 1341602 markings, 2205280 edges,
lola: 2 tries, 1828784 fired transitions, 85 secs || 1432155 markings, 2347865 edges,
lola: 2 tries, 1961035 fired transitions, 90 secs || 1542495 markings, 2522895 edges,
lola: 3 tries, 2102526 fired transitions, 95 secs || 1641504 markings, 2683248 edges,
lola: 3 tries, 2266640 fired transitions, 100 secs || 1749407 markings, 2859432 edges,
lola: 3 tries, 2432073 fired transitions, 105 secs || 1849424 markings, 3018306 edges,
lola: 3 tries, 2597541 fired transitions, 110 secs || 1955166 markings, 3192771 edges,
lola: 3 tries, 2759061 fired transitions, 115 secs || 2051998 markings, 3354664 edges,
lola: 3 tries, 2921275 fired transitions, 120 secs || 2158980 markings, 3540550 edges,
lola: 4 tries, 3055797 fired transitions, 125 secs || 2259010 markings, 3702459 edges,
lola: 4 tries, 3182717 fired transitions, 130 secs || 2367218 markings, 3881081 edges,
lola: 4 tries, 3307362 fired transitions, 135 secs || 2461284 markings, 4035350 edges,
lola: 4 tries, 3435875 fired transitions, 140 secs || 2565266 markings, 4199225 edges,
lola: 4 tries, 3570280 fired transitions, 145 secs || 2677742 markings, 4387299 edges,
lola: 4 tries, 3700878 fired transitions, 150 secs || 2786877 markings, 4561823 edges,
lola: 4 tries, 3834145 fired transitions, 155 secs || 2897393 markings, 4744578 edges,
lola: 4 tries, 3966777 fired transitions, 160 secs || 3013092 markings, 4933906 edges,
lola: 5 tries, 4098126 fired transitions, 165 secs || 3117903 markings, 5104140 edges,
lola: 5 tries, 4232937 fired transitions, 170 secs || 3214932 markings, 5270514 edges,
lola: 5 tries, 4365858 fired transitions, 175 secs || 3317566 markings, 5432721 edges,
lola: 5 tries, 4495687 fired transitions, 180 secs || 3427070 markings, 5615642 edges,
lola: 5 tries, 4612682 fired transitions, 185 secs || 3519126 markings, 5765219 edges,
lola: 5 tries, 4732750 fired transitions, 190 secs || 3613053 markings, 5921424 edges,
lola: 5 tries, 4862787 fired transitions, 195 secs || 3720615 markings, 6107980 edges,
lola: 5 tries, 4991422 fired transitions, 200 secs || 3821572 markings, 6279767 edges,
lola: 6 tries, 5140202 fired transitions, 205 secs || 3912171 markings, 6438216 edges,
lola: 6 tries, 5292582 fired transitions, 210 secs || 4021895 markings, 6618676 edges,
lola: 6 tries, 5454226 fired transitions, 215 secs || 4134284 markings, 6808166 edges,
lola: 6 tries, 5614210 fired transitions, 220 secs || 4248031 markings, 6998844 edges,
lola: 6 tries, 5772919 fired transitions, 225 secs || 4362602 markings, 7196938 edges,
lola: 6 tries, 5931872 fired transitions, 230 secs || 4476620 markings, 7387064 edges,
lola: 7 tries, 6061950 fired transitions, 235 secs || 4572530 markings, 7558129 edges,
lola: 7 tries, 6189246 fired transitions, 240 secs || 4666296 markings, 7728096 edges,
lola: 7 tries, 6343188 fired transitions, 245 secs || 4764252 markings, 7889591 edges,
lola: 7 tries, 6505552 fired transitions, 250 secs || 4859411 markings, 8045795 edges,
lola: 7 tries, 6669166 fired transitions, 255 secs || 4955371 markings, 8208569 edges,
lola: 7 tries, 6833969 fired transitions, 260 secs || 5058816 markings, 8385508 edges,
lola: 8 tries, 7000162 fired transitions, 265 secs || 5143333 markings, 8552346 edges,
lola: 8 tries, 7133566 fired transitions, 270 secs || 5250417 markings, 8727132 edges,
lola: 8 tries, 7262464 fired transitions, 275 secs || 5362928 markings, 8906977 edges,
lola: 8 tries, 7392339 fired transitions, 280 secs || 5473186 markings, 9089477 edges,
lola: 8 tries, 7524360 fired transitions, 285 secs || 5592949 markings, 9284108 edges,
lola: 8 tries, 7655981 fired transitions, 290 secs || 5703806 markings, 9466904 edges,
lola: 8 tries, 7786473 fired transitions, 295 secs || 5809965 markings, 9637979 edges,
lola: 8 tries, 7917753 fired transitions, 300 secs || 5922651 markings, 9815973 edges,
lola: 9 tries, 8054553 fired transitions, 305 secs || 6033844 markings, 9991593 edges,
lola: 9 tries, 8185557 fired transitions, 310 secs || 6138980 markings, 10159622 edges,
lola: 9 tries, 8290861 fired transitions, 315 secs || 6231127 markings, 10305001 edges,
lola: 9 tries, 8424772 fired transitions, 320 secs || 6340077 markings, 10503313 edges,
lola: 9 tries, 8556867 fired transitions, 325 secs || 6433986 markings, 10670781 edges,
lola: 9 tries, 8688619 fired transitions, 330 secs || 6542909 markings, 10849952 edges,
lola: 9 tries, 8823523 fired transitions, 335 secs || 6654910 markings, 11030395 edges,
lola: 9 tries, 8953431 fired transitions, 340 secs || 6762622 markings, 11203020 edges,
lola: 10 tries, 9077966 fired transitions, 345 secs || 6874882 markings, 11385883 edges,
lola: 10 tries, 9218126 fired transitions, 350 secs || 6985552 markings, 11564878 edges,
lola: 10 tries, 9326041 fired transitions, 355 secs || 7075025 markings, 11709485 edges,
lola: 10 tries, 9466790 fired transitions, 360 secs || 7188786 markings, 11895486 edges,
lola: 10 tries, 9605467 fired transitions, 365 secs || 7301337 markings, 12072216 edges,
lola: 10 tries, 9747253 fired transitions, 370 secs || 7418905 markings, 12261994 edges,
lola: 10 tries, 9889553 fired transitions, 375 secs || 7534171 markings, 12443727 edges,
lola: 11 tries, 10030309 fired transitions, 380 secs || 7637904 markings, 12634699 edges,
lola: 11 tries, 10160962 fired transitions, 385 secs || 7743195 markings, 12806774 edges,
lola: 11 tries, 10292369 fired transitions, 390 secs || 7846763 markings, 12977605 edges,
lola: 11 tries, 10424259 fired transitions, 395 secs || 7958581 markings, 13163845 edges,
lola: 11 tries, 10552607 fired transitions, 400 secs || 8059230 markings, 13343008 edges,
lola: 11 tries, 10682109 fired transitions, 405 secs || 8172769 markings, 13525660 edges,
lola: 11 tries, 10829546 fired transitions, 410 secs || 8272001 markings, 13689391 edges,
lola: 11 tries, 10972371 fired transitions, 415 secs || 8382293 markings, 13873466 edges,
lola: 12 tries, 11106563 fired transitions, 420 secs || 8478517 markings, 14030082 edges,
lola: 12 tries, 11243236 fired transitions, 425 secs || 8587550 markings, 14213651 edges,
lola: 12 tries, 11372336 fired transitions, 430 secs || 8685154 markings, 14377013 edges,
lola: 12 tries, 11498276 fired transitions, 435 secs || 8782255 markings, 14537115 edges,
lola: 12 tries, 11626396 fired transitions, 440 secs || 8892953 markings, 14723883 edges,
lola: 12 tries, 11747693 fired transitions, 445 secs || 8994022 markings, 14892755 edges,
lola: 12 tries, 11871733 fired transitions, 450 secs || 9094554 markings, 15058776 edges,
lola: 12 tries, 11999355 fired transitions, 455 secs || 9200407 markings, 15237797 edges,
lola: 13 tries, 12105886 fired transitions, 460 secs || 9312375 markings, 15415993 edges,
lola: 13 tries, 12208813 fired transitions, 465 secs || 9421737 markings, 15606287 edges,
lola: 13 tries, 12312676 fired transitions, 470 secs || 9519735 markings, 15794327 edges,
lola: 13 tries, 12416925 fired transitions, 475 secs || 9619884 markings, 15984081 edges,
lola: 13 tries, 12520590 fired transitions, 480 secs || 9716700 markings, 16167082 edges,
lola: 13 tries, 12625259 fired transitions, 485 secs || 9812912 markings, 16357049 edges,
lola: 13 tries, 12728338 fired transitions, 490 secs || 9920049 markings, 16539934 edges,
lola: 13 tries, 12831353 fired transitions, 495 secs || 10034033 markings, 16725342 edges,
lola: 13 tries, 12945741 fired transitions, 500 secs || 10143692 markings, 16903532 edges,
lola: 14 tries, 13083818 fired transitions, 505 secs || 10244525 markings, 17069934 edges,
lola: 14 tries, 13221039 fired transitions, 510 secs || 10355868 markings, 17252099 edges,
lola: 14 tries, 13352470 fired transitions, 515 secs || 10464561 markings, 17429105 edges,
lola: 14 tries, 13490155 fired transitions, 520 secs || 10577157 markings, 17610253 edges,
lola: 14 tries, 13625890 fired transitions, 525 secs || 10680827 markings, 17777042 edges,
lola: 14 tries, 13763173 fired transitions, 530 secs || 10789441 markings, 17957822 edges,
lola: 14 tries, 13897228 fired transitions, 535 secs || 10897932 markings, 18135348 edges,
lola: 15 tries, 14031316 fired transitions, 540 secs || 11001596 markings, 18302943 edges,
lola: 15 tries, 14163362 fired transitions, 545 secs || 11108735 markings, 18482054 edges,
lola: 15 tries, 14298952 fired transitions, 550 secs || 11202701 markings, 18643317 edges,
lola: 15 tries, 14433638 fired transitions, 555 secs || 11302347 markings, 18805885 edges,
lola: 15 tries, 14568424 fired transitions, 560 secs || 11408404 markings, 18980273 edges,
lola: 15 tries, 14705958 fired transitions, 565 secs || 11507811 markings, 19145540 edges,
lola: 15 tries, 14827286 fired transitions, 570 secs || 11599028 markings, 19295773 edges,
lola: 15 tries, 14910840 fired transitions, 575 secs || 11673469 markings, 19419791 edges,
lola: 15 tries, 14992340 fired transitions, 580 secs || 11747659 markings, 19543506 edges,
lola: 16 tries, 15079737 fired transitions, 585 secs || 11821616 markings, 19661731 edges,
lola: 16 tries, 15160631 fired transitions, 590 secs || 11894772 markings, 19780871 edges,
lola: 16 tries, 15242257 fired transitions, 595 secs || 11969499 markings, 19899446 edges,
lola: 16 tries, 15327245 fired transitions, 600 secs || 12052767 markings, 20031997 edges,
lola: 16 tries, 15411980 fired transitions, 605 secs || 12129915 markings, 20156918 edges,
lola: 16 tries, 15495347 fired transitions, 610 secs || 12208885 markings, 20287305 edges,
lola: 16 tries, 15579596 fired transitions, 615 secs || 12284983 markings, 20410225 edges,
lola: 16 tries, 15663266 fired transitions, 620 secs || 12358376 markings, 20527441 edges,
lola: 16 tries, 15749325 fired transitions, 625 secs || 12438524 markings, 20666532 edges,
lola: 16 tries, 15833334 fired transitions, 630 secs || 12510034 markings, 20782870 edges,
lola: 16 tries, 15919915 fired transitions, 635 secs || 12591510 markings, 20916905 edges,
lola: 17 tries, 16005239 fired transitions, 640 secs || 12672153 markings, 21049780 edges,
lola: 17 tries, 16088913 fired transitions, 645 secs || 12752744 markings, 21174722 edges,
lola: 17 tries, 16170803 fired transitions, 650 secs || 12829649 markings, 21301720 edges,
lola: 17 tries, 16252783 fired transitions, 655 secs || 12896119 markings, 21405537 edges,
lola: 17 tries, 16335791 fired transitions, 660 secs || 12974822 markings, 21530624 edges,
lola: 17 tries, 16420312 fired transitions, 665 secs || 13055349 markings, 21660992 edges,
lola: 17 tries, 16503794 fired transitions, 670 secs || 13135685 markings, 21791074 edges,
lola: 17 tries, 16588166 fired transitions, 675 secs || 13205466 markings, 21901721 edges,
lola: 17 tries, 16706837 fired transitions, 680 secs || 13309096 markings, 22072080 edges,
lola: 17 tries, 16833141 fired transitions, 685 secs || 13416421 markings, 22241131 edges,
lola: 17 tries, 16966378 fired transitions, 690 secs || 13521768 markings, 22408551 edges,
lola: 18 tries, 17066343 fired transitions, 695 secs || 13601990 markings, 22540783 edges,
lola: 18 tries, 17165976 fired transitions, 700 secs || 13678602 markings, 22667857 edges,
lola: 18 tries, 17278116 fired transitions, 705 secs || 13760160 markings, 22800677 edges,
lola: 18 tries, 17389444 fired transitions, 710 secs || 13839861 markings, 22931729 edges,
lola: 18 tries, 17497811 fired transitions, 715 secs || 13913675 markings, 23065360 edges,
lola: 18 tries, 17608734 fired transitions, 720 secs || 13995468 markings, 23212891 edges,
lola: 18 tries, 17717223 fired transitions, 725 secs || 14070717 markings, 23357825 edges,
lola: 18 tries, 17823858 fired transitions, 730 secs || 14148591 markings, 23483369 edges,
lola: 18 tries, 17933591 fired transitions, 735 secs || 14231309 markings, 23615985 edges,
lola: 19 tries, 18035315 fired transitions, 740 secs || 14313855 markings, 23749136 edges,
lola: 19 tries, 18120877 fired transitions, 745 secs || 14394676 markings, 23881890 edges,
lola: 19 tries, 18207070 fired transitions, 750 secs || 14477738 markings, 24021064 edges,
lola: 19 tries, 18288754 fired transitions, 755 secs || 14548378 markings, 24132965 edges,
lola: 19 tries, 18373174 fired transitions, 760 secs || 14629845 markings, 24264541 edges,
lola: 19 tries, 18461651 fired transitions, 765 secs || 14714570 markings, 24410752 edges,
lola: 19 tries, 18592327 fired transitions, 770 secs || 14821956 markings, 24587141 edges,
lola: 19 tries, 18723087 fired transitions, 775 secs || 14928693 markings, 24764920 edges,
lola: 19 tries, 18854504 fired transitions, 780 secs || 15036236 markings, 24944707 edges,
lola: 19 tries, 18986478 fired transitions, 785 secs || 15146546 markings, 25132602 edges,
lola: 20 tries, 19123180 fired transitions, 790 secs || 15252846 markings, 25311987 edges,
lola: 20 tries, 19255240 fired transitions, 795 secs || 15347625 markings, 25480699 edges,
lola: 20 tries, 19384970 fired transitions, 800 secs || 15452994 markings, 25654760 edges,
lola: 20 tries, 19512879 fired transitions, 805 secs || 15559032 markings, 25834604 edges,
lola: 20 tries, 19640199 fired transitions, 810 secs || 15661028 markings, 26006879 edges,
lola: 20 tries, 19768335 fired transitions, 815 secs || 15761032 markings, 26182197 edges,
lola: 20 tries, 19895738 fired transitions, 820 secs || 15859642 markings, 26344582 edges,
lola: 21 tries, 20018882 fired transitions, 825 secs || 15963428 markings, 26518080 edges,
lola: 21 tries, 20104963 fired transitions, 830 secs || 16061990 markings, 26679592 edges,
lola: 21 tries, 20169635 fired transitions, 835 secs || 16136988 markings, 26801417 edges,
lola: 21 tries, 20237571 fired transitions, 840 secs || 16220597 markings, 26939593 edges,
lola: 21 tries, 20305102 fired transitions, 845 secs || 16298626 markings, 27074616 edges,
lola: 21 tries, 20370894 fired transitions, 850 secs || 16360818 markings, 27189078 edges,
lola: 21 tries, 20435711 fired transitions, 855 secs || 16424539 markings, 27306654 edges,
lola: 21 tries, 20502514 fired transitions, 860 secs || 16494805 markings, 27440440 edges,
lola: 21 tries, 20569493 fired transitions, 865 secs || 16560768 markings, 27559415 edges,
lola: 21 tries, 20637759 fired transitions, 870 secs || 16641606 markings, 27693633 edges,
lola: 21 tries, 20725027 fired transitions, 875 secs || 16737340 markings, 27854728 edges,
lola: 21 tries, 20806804 fired transitions, 880 secs || 16830191 markings, 28000042 edges,
lola: 21 tries, 20875018 fired transitions, 885 secs || 16911431 markings, 28133650 edges,
lola: 21 tries, 20943076 fired transitions, 890 secs || 16990861 markings, 28262967 edges,
lola: 22 tries, 21011856 fired transitions, 895 secs || 17062998 markings, 28376207 edges,
lola: 22 tries, 21097345 fired transitions, 900 secs || 17144422 markings, 28507224 edges,
lola: 22 tries, 21181276 fired transitions, 905 secs || 17224210 markings, 28634968 edges,
lola: 22 tries, 21266119 fired transitions, 910 secs || 17305230 markings, 28767851 edges,
lola: 22 tries, 21350065 fired transitions, 915 secs || 17376805 markings, 28881380 edges,
lola: 22 tries, 21434971 fired transitions, 920 secs || 17456043 markings, 29006076 edges,
lola: 22 tries, 21521138 fired transitions, 925 secs || 17536817 markings, 29136332 edges,
lola: 22 tries, 21606579 fired transitions, 930 secs || 17613457 markings, 29260467 edges,
lola: 22 tries, 21696478 fired transitions, 935 secs || 17696941 markings, 29409487 edges,
lola: 22 tries, 21790138 fired transitions, 940 secs || 17769553 markings, 29531613 edges,
lola: 22 tries, 21890152 fired transitions, 945 secs || 17855253 markings, 29673804 edges,
lola: 22 tries, 21992351 fired transitions, 950 secs || 17944372 markings, 29816917 edges,
lola: 23 tries, 22118438 fired transitions, 955 secs || 18049738 markings, 29996169 edges,
lola: 23 tries, 22210952 fired transitions, 960 secs || 18125568 markings, 30120437 edges,
lola: 23 tries, 22302946 fired transitions, 965 secs || 18205277 markings, 30252499 edges,
lola: 23 tries, 22395432 fired transitions, 970 secs || 18276730 markings, 30376851 edges,
lola: 23 tries, 22486972 fired transitions, 975 secs || 18360841 markings, 30513868 edges,
lola: 23 tries, 22577451 fired transitions, 980 secs || 18437214 markings, 30636688 edges,
lola: 23 tries, 22669629 fired transitions, 985 secs || 18514603 markings, 30760702 edges,
lola: 23 tries, 22763611 fired transitions, 990 secs || 18598165 markings, 30893725 edges,
lola: 23 tries, 22889291 fired transitions, 995 secs || 18693507 markings, 31045329 edges,
lola: 24 tries, 23022389 fired transitions, 1000 secs || 18798980 markings, 31217103 edges,
lola: 24 tries, 23154076 fired transitions, 1005 secs || 18900124 markings, 31387044 edges,
lola: 24 tries, 23288793 fired transitions, 1010 secs || 19005090 markings, 31555111 edges,
lola: 24 tries, 23421777 fired transitions, 1015 secs || 19106627 markings, 31725043 edges,
lola: 24 tries, 23555584 fired transitions, 1020 secs || 19212630 markings, 31900037 edges,
lola: 24 tries, 23687850 fired transitions, 1025 secs || 19316394 markings, 32072189 edges,
lola: 24 tries, 23821632 fired transitions, 1030 secs || 19420692 markings, 32247254 edges,
lola: 24 tries, 23956415 fired transitions, 1035 secs || 19513864 markings, 32426677 edges,
lola: 25 tries, 24094747 fired transitions, 1040 secs || 19602476 markings, 32588559 edges,
lola: 25 tries, 24248920 fired transitions, 1045 secs || 19706614 markings, 32760501 edges,
lola: 25 tries, 24345964 fired transitions, 1050 secs || 19814772 markings, 32938321 edges,
lola: 25 tries, 24442555 fired transitions, 1055 secs || 19921343 markings, 33109863 edges,
lola: 25 tries, 24541217 fired transitions, 1060 secs || 20029975 markings, 33291842 edges,
lola: 25 tries, 24645142 fired transitions, 1065 secs || 20138808 markings, 33468096 edges,
lola: 25 tries, 24742607 fired transitions, 1070 secs || 20226102 markings, 33609434 edges,
lola: 25 tries, 24841358 fired transitions, 1075 secs || 20307908 markings, 33741740 edges,
lola: 25 tries, 24943106 fired transitions, 1080 secs || 20395335 markings, 33883810 edges,
lola: 26 tries, 25032556 fired transitions, 1085 secs || 20467205 markings, 33999510 edges,
lola: 26 tries, 25135620 fired transitions, 1090 secs || 20542581 markings, 34121687 edges,
lola: 26 tries, 25227456 fired transitions, 1095 secs || 20619631 markings, 34248654 edges,
lola: 26 tries, 25310158 fired transitions, 1100 secs || 20698669 markings, 34376886 edges,
lola: 26 tries, 25391510 fired transitions, 1105 secs || 20771847 markings, 34495948 edges,
lola: 26 tries, 25473056 fired transitions, 1110 secs || 20845933 markings, 34613823 edges,
lola: 26 tries, 25556026 fired transitions, 1115 secs || 20918127 markings, 34736615 edges,
lola: 26 tries, 25638312 fired transitions, 1120 secs || 20991972 markings, 34858973 edges,
lola: 26 tries, 25749555 fired transitions, 1125 secs || 21079859 markings, 35007814 edges,
lola: 26 tries, 25879228 fired transitions, 1130 secs || 21186237 markings, 35187541 edges,
lola: 26 tries, 25983586 fired transitions, 1135 secs || 21275833 markings, 35337350 edges,
lola: 27 tries, 26070683 fired transitions, 1140 secs || 21349204 markings, 35456757 edges,
lola: 27 tries, 26158825 fired transitions, 1145 secs || 21423521 markings, 35577143 edges,
lola: 27 tries, 26248518 fired transitions, 1150 secs || 21497206 markings, 35705349 edges,
lola: 27 tries, 26335042 fired transitions, 1155 secs || 21561881 markings, 35811251 edges,
lola: 27 tries, 26422680 fired transitions, 1160 secs || 21635359 markings, 35930199 edges,
lola: 27 tries, 26511971 fired transitions, 1165 secs || 21714150 markings, 36056446 edges,
lola: 27 tries, 26599573 fired transitions, 1170 secs || 21784458 markings, 36168213 edges,
lola: 27 tries, 26688814 fired transitions, 1175 secs || 21862020 markings, 36294205 edges,
lola: 27 tries, 26775338 fired transitions, 1180 secs || 21934894 markings, 36413703 edges,
lola: 27 tries, 26861376 fired transitions, 1185 secs || 21998753 markings, 36525256 edges,
lola: 27 tries, 26970350 fired transitions, 1190 secs || 22076878 markings, 36650662 edges,
lola: 28 tries, 27076858 fired transitions, 1195 secs || 22160536 markings, 36786481 edges,
lola: 28 tries, 27171354 fired transitions, 1200 secs || 22235592 markings, 36903300 edges,
lola: 28 tries, 27254847 fired transitions, 1205 secs || 22309729 markings, 37022665 edges,
lola: 28 tries, 27340333 fired transitions, 1210 secs || 22382763 markings, 37151106 edges,
lola: 28 tries, 27425398 fired transitions, 1215 secs || 22444710 markings, 37270484 edges,
lola: 28 tries, 27510212 fired transitions, 1220 secs || 22512617 markings, 37384481 edges,
lola: 28 tries, 27595522 fired transitions, 1225 secs || 22590868 markings, 37512216 edges,
lola: 28 tries, 27698079 fired transitions, 1230 secs || 22664516 markings, 37629230 edges,
lola: 28 tries, 27804336 fired transitions, 1235 secs || 22736345 markings, 37746793 edges,
lola: 28 tries, 27916298 fired transitions, 1240 secs || 22814313 markings, 37871538 edges,
lola: 29 tries, 28021251 fired transitions, 1245 secs || 22895383 markings, 38001596 edges,
lola: 29 tries, 28106687 fired transitions, 1250 secs || 22968707 markings, 38118156 edges,
lola: 29 tries, 28190567 fired transitions, 1255 secs || 23041569 markings, 38237991 edges,
lola: 29 tries, 28275173 fired transitions, 1260 secs || 23114135 markings, 38356879 edges,
lola: 29 tries, 28360071 fired transitions, 1265 secs || 23188430 markings, 38477350 edges,
lola: 29 tries, 28447406 fired transitions, 1270 secs || 23259428 markings, 38608358 edges,
lola: 29 tries, 28532283 fired transitions, 1275 secs || 23331856 markings, 38723889 edges,
lola: 29 tries, 28614078 fired transitions, 1280 secs || 23403590 markings, 38841508 edges,
lola: 29 tries, 28694981 fired transitions, 1285 secs || 23476447 markings, 38958059 edges,
lola: 29 tries, 28777036 fired transitions, 1290 secs || 23549777 markings, 39078537 edges,
lola: 29 tries, 28858079 fired transitions, 1295 secs || 23622458 markings, 39195467 edges,
lola: 29 tries, 28941344 fired transitions, 1300 secs || 23694723 markings, 39322011 edges,
lola: 30 tries, 29027316 fired transitions, 1305 secs || 23759355 markings, 39450949 edges,
lola: 30 tries, 29113853 fired transitions, 1310 secs || 23821600 markings, 39575470 edges,
lola: 30 tries, 29207323 fired transitions, 1315 secs || 23891593 markings, 39714381 edges,
lola: 30 tries, 29295465 fired transitions, 1320 secs || 23963823 markings, 39835580 edges,
lola: 30 tries, 29382049 fired transitions, 1325 secs || 24037379 markings, 39957635 edges,
lola: 30 tries, 29469708 fired transitions, 1330 secs || 24111390 markings, 40075569 edges,
lola: 30 tries, 29557477 fired transitions, 1335 secs || 24183542 markings, 40193951 edges,
lola: 30 tries, 29643531 fired transitions, 1340 secs || 24255827 markings, 40310780 edges,
lola: 30 tries, 29729000 fired transitions, 1345 secs || 24327656 markings, 40429543 edges,
lola: 30 tries, 29814223 fired transitions, 1350 secs || 24401269 markings, 40545712 edges,
lola: 30 tries, 29898890 fired transitions, 1355 secs || 24471672 markings, 40660329 edges,
lola: 30 tries, 29987424 fired transitions, 1360 secs || 24544806 markings, 40778989 edges,
lola: 31 tries, 30073968 fired transitions, 1365 secs || 24617484 markings, 40896396 edges,
lola: 31 tries, 30162016 fired transitions, 1370 secs || 24689418 markings, 41011446 edges,
lola: 31 tries, 30286940 fired transitions, 1375 secs || 24784023 markings, 41167828 edges,
lola: 31 tries, 30426993 fired transitions, 1380 secs || 24886458 markings, 41336186 edges,
lola: 31 tries, 30565101 fired transitions, 1385 secs || 24992563 markings, 41514605 edges,
lola: 31 tries, 30702146 fired transitions, 1390 secs || 25089374 markings, 41678835 edges,
lola: 31 tries, 30845954 fired transitions, 1395 secs || 25189198 markings, 41844801 edges,
lola: 31 tries, 30987778 fired transitions, 1400 secs || 25295284 markings, 42016905 edges,
lola: 32 tries, 31126759 fired transitions, 1405 secs || 25391938 markings, 42179189 edges,
lola: 32 tries, 31260583 fired transitions, 1410 secs || 25490509 markings, 42345348 edges,
lola: 32 tries, 31394966 fired transitions, 1415 secs || 25596003 markings, 42528559 edges,
lola: 32 tries, 31530382 fired transitions, 1420 secs || 25677466 markings, 42694548 edges,
lola: 32 tries, 31664012 fired transitions, 1425 secs || 25764030 markings, 42850337 edges,
lola: 32 tries, 31801686 fired transitions, 1430 secs || 25869386 markings, 43033490 edges,
lola: 32 tries, 31934767 fired transitions, 1435 secs || 25967920 markings, 43190405 edges,
lola: 33 tries, 32072418 fired transitions, 1440 secs || 26067913 markings, 43350231 edges,
lola: 33 tries, 32207200 fired transitions, 1445 secs || 26177571 markings, 43527458 edges,
lola: 33 tries, 32343770 fired transitions, 1450 secs || 26284602 markings, 43719815 edges,
lola: 33 tries, 32480077 fired transitions, 1455 secs || 26390405 markings, 43891040 edges,
lola: 33 tries, 32616692 fired transitions, 1460 secs || 26502337 markings, 44073783 edges,
lola: 33 tries, 32750537 fired transitions, 1465 secs || 26607924 markings, 44241852 edges,
lola: 33 tries, 32878771 fired transitions, 1470 secs || 26707627 markings, 44404348 edges,
lola: 34 tries, 33011353 fired transitions, 1475 secs || 26812177 markings, 44595432 edges,
lola: 34 tries, 33121172 fired transitions, 1480 secs || 26908458 markings, 44778615 edges,
lola: 34 tries, 33226398 fired transitions, 1485 secs || 27014623 markings, 44959570 edges,
lola: 34 tries, 33331161 fired transitions, 1490 secs || 27128394 markings, 45143806 edges,
lola: 34 tries, 33435507 fired transitions, 1495 secs || 27238306 markings, 45318463 edges,
lola: 34 tries, 33542120 fired transitions, 1500 secs || 27353699 markings, 45507800 edges,
lola: 34 tries, 33658238 fired transitions, 1505 secs || 27467997 markings, 45691173 edges,
lola: 34 tries, 33814360 fired transitions, 1510 secs || 27577696 markings, 45881513 edges,
lola: 34 tries, 33967418 fired transitions, 1515 secs || 27696035 markings, 46073975 edges,
lola: 35 tries, 34103768 fired transitions, 1520 secs || 27794178 markings, 46233623 edges,
lola: 35 tries, 34236430 fired transitions, 1525 secs || 27893952 markings, 46402147 edges,
lola: 35 tries, 34356472 fired transitions, 1530 secs || 27990904 markings, 46566676 edges,
lola: 35 tries, 34452891 fired transitions, 1535 secs || 28064027 markings, 46682404 edges,
lola: 35 tries, 34534519 fired transitions, 1540 secs || 28136545 markings, 46800093 edges,
lola: 35 tries, 34615991 fired transitions, 1545 secs || 28209030 markings, 46918601 edges,
lola: 35 tries, 34697167 fired transitions, 1550 secs || 28282499 markings, 47038848 edges,
lola: 35 tries, 34779615 fired transitions, 1555 secs || 28354856 markings, 47162366 edges,
lola: 35 tries, 34863304 fired transitions, 1560 secs || 28415131 markings, 47283761 edges,
lola: 35 tries, 34947105 fired transitions, 1565 secs || 28480763 markings, 47410114 edges,
lola: 36 tries, 35037447 fired transitions, 1570 secs || 28545900 markings, 47537166 edges,
lola: 36 tries, 35117388 fired transitions, 1575 secs || 28614461 markings, 47664282 edges,
lola: 36 tries, 35210249 fired transitions, 1580 secs || 28686723 markings, 47801399 edges,
lola: 36 tries, 35310509 fired transitions, 1585 secs || 28755531 markings, 47934904 edges,
lola: 36 tries, 35412448 fired transitions, 1590 secs || 28825902 markings, 48070574 edges,
lola: 36 tries, 35510994 fired transitions, 1595 secs || 28891495 markings, 48197388 edges,
lola: 36 tries, 35619175 fired transitions, 1600 secs || 28966473 markings, 48330775 edges,
lola: 36 tries, 35769920 fired transitions, 1605 secs || 29062464 markings, 48512346 edges,
lola: 36 tries, 35925830 fired transitions, 1610 secs || 29163322 markings, 48702741 edges,
lola: 37 tries, 36083225 fired transitions, 1615 secs || 29255550 markings, 48876351 edges,
lola: 37 tries, 36234153 fired transitions, 1620 secs || 29350946 markings, 49067682 edges,
lola: 37 tries, 36380383 fired transitions, 1625 secs || 29450368 markings, 49261720 edges,
lola: 37 tries, 36530103 fired transitions, 1630 secs || 29548644 markings, 49454224 edges,
lola: 37 tries, 36675974 fired transitions, 1635 secs || 29646946 markings, 49650107 edges,
lola: 37 tries, 36824130 fired transitions, 1640 secs || 29746420 markings, 49846956 edges,
lola: 37 tries, 36970772 fired transitions, 1645 secs || 29852272 markings, 50034466 edges,
lola: 38 tries, 37130399 fired transitions, 1650 secs || 29957875 markings, 50207369 edges,
lola: 38 tries, 37308844 fired transitions, 1655 secs || 30067215 markings, 50384562 edges,
lola: 38 tries, 37488346 fired transitions, 1660 secs || 30182880 markings, 50576747 edges,
lola: 38 tries, 37665774 fired transitions, 1665 secs || 30299831 markings, 50768416 edges,
lola: 38 tries, 37842378 fired transitions, 1670 secs || 30412747 markings, 50947638 edges,
lola: 38 tries, 37975484 fired transitions, 1675 secs || 30494281 markings, 51087950 edges,
lola: 39 tries, 38078676 fired transitions, 1680 secs || 30585770 markings, 51238877 edges,
lola: 39 tries, 38147459 fired transitions, 1685 secs || 30658626 markings, 51355979 edges,
lola: 39 tries, 38215265 fired transitions, 1690 secs || 30741072 markings, 51487617 edges,
lola: 39 tries, 38282982 fired transitions, 1695 secs || 30821676 markings, 51620133 edges,
lola: 39 tries, 38351183 fired transitions, 1700 secs || 30897464 markings, 51738972 edges,
lola: 39 tries, 38420734 fired transitions, 1705 secs || 30973964 markings, 51862096 edges,
lola: 39 tries, 38488941 fired transitions, 1710 secs || 31052450 markings, 51986239 edges,
lola: 39 tries, 38572253 fired transitions, 1715 secs || 31147537 markings, 52138502 edges,
lola: 39 tries, 38678496 fired transitions, 1720 secs || 31266900 markings, 52329490 edges,
lola: 39 tries, 38775771 fired transitions, 1725 secs || 31369376 markings, 52494553 edges,
lola: 39 tries, 38844856 fired transitions, 1730 secs || 31444458 markings, 52615556 edges,
lola: 39 tries, 38915938 fired transitions, 1735 secs || 31519884 markings, 52738564 edges,
lola: 40 tries, 39013577 fired transitions, 1740 secs || 31619304 markings, 52898931 edges,
lola: 40 tries, 39142853 fired transitions, 1745 secs || 31721779 markings, 53067257 edges,
lola: 40 tries, 39271840 fired transitions, 1750 secs || 31822748 markings, 53237647 edges,
lola: 40 tries, 39398894 fired transitions, 1755 secs || 31926526 markings, 53408768 edges,
lola: 40 tries, 39526547 fired transitions, 1760 secs || 32026070 markings, 53577414 edges,
lola: 40 tries, 39655097 fired transitions, 1765 secs || 32137811 markings, 53769709 edges,
lola: 40 tries, 39783493 fired transitions, 1770 secs || 32236953 markings, 53928648 edges,
lola: 40 tries, 39910779 fired transitions, 1775 secs || 32334816 markings, 54089128 edges,
lola: 41 tries, 40026889 fired transitions, 1780 secs || 32428901 markings, 54244492 edges,
lola: 41 tries, 40122596 fired transitions, 1785 secs || 32509572 markings, 54370645 edges,
lola: 41 tries, 40228371 fired transitions, 1790 secs || 32591083 markings, 54499044 edges,
lola: 41 tries, 40334345 fired transitions, 1795 secs || 32671577 markings, 54623142 edges,
lola: 41 tries, 40441675 fired transitions, 1800 secs || 32753194 markings, 54759212 edges,
lola: 41 tries, 40544949 fired transitions, 1805 secs || 32823796 markings, 54876341 edges,
lola: 41 tries, 40651480 fired transitions, 1810 secs || 32904260 markings, 55007034 edges,
lola: 41 tries, 40757643 fired transitions, 1815 secs || 32984193 markings, 55139133 edges,
lola: 41 tries, 40863064 fired transitions, 1820 secs || 33063379 markings, 55263742 edges,
lola: 41 tries, 40968149 fired transitions, 1825 secs || 33139136 markings, 55381343 edges,
lola: 42 tries, 41068041 fired transitions, 1830 secs || 33212445 markings, 55501197 edges,
lola: 42 tries, 41153417 fired transitions, 1835 secs || 33293862 markings, 55635522 edges,
lola: 42 tries, 41245961 fired transitions, 1840 secs || 33359956 markings, 55743110 edges,
lola: 42 tries, 41354577 fired transitions, 1845 secs || 33437928 markings, 55871921 edges,
lola: 42 tries, 41458116 fired transitions, 1850 secs || 33501895 markings, 55978403 edges,
lola: 42 tries, 41563461 fired transitions, 1855 secs || 33577370 markings, 56102979 edges,
lola: 42 tries, 41667332 fired transitions, 1860 secs || 33646970 markings, 56221330 edges,
lola: 42 tries, 41773350 fired transitions, 1865 secs || 33717125 markings, 56340102 edges,
lola: 42 tries, 41884121 fired transitions, 1870 secs || 33794666 markings, 56467937 edges,
lola: 42 tries, 41992096 fired transitions, 1875 secs || 33871119 markings, 56594459 edges,
lola: 43 tries, 42070985 fired transitions, 1880 secs || 33945770 markings, 56714352 edges,
lola: 43 tries, 42139128 fired transitions, 1885 secs || 34028843 markings, 56853805 edges,
lola: 43 tries, 42243220 fired transitions, 1890 secs || 34128962 markings, 57039606 edges,
lola: 43 tries, 42346846 fired transitions, 1895 secs || 34236002 markings, 57236931 edges,
lola: 43 tries, 42471912 fired transitions, 1900 secs || 34339868 markings, 57410109 edges,
lola: 43 tries, 42619294 fired transitions, 1905 secs || 34451392 markings, 57595677 edges,
lola: 43 tries, 42764016 fired transitions, 1910 secs || 34564433 markings, 57770402 edges,
lola: 43 tries, 42912496 fired transitions, 1915 secs || 34676153 markings, 57952433 edges,
lola: 44 tries, 43013938 fired transitions, 1920 secs || 34756338 markings, 58080595 edges,
lola: 44 tries, 43098340 fired transitions, 1925 secs || 34831790 markings, 58209060 edges,
lola: 44 tries, 43210259 fired transitions, 1930 secs || 34923985 markings, 58365675 edges,
lola: 44 tries, 43323801 fired transitions, 1935 secs || 35018809 markings, 58518809 edges,
lola: 44 tries, 43404431 fired transitions, 1940 secs || 35093293 markings, 58640215 edges,
lola: 44 tries, 43487334 fired transitions, 1945 secs || 35168419 markings, 58766375 edges,
lola: 44 tries, 43571605 fired transitions, 1950 secs || 35244406 markings, 58889889 edges,
lola: 44 tries, 43654348 fired transitions, 1955 secs || 35320049 markings, 59014740 edges,
lola: 44 tries, 43756256 fired transitions, 1960 secs || 35401324 markings, 59150636 edges,
lola: 44 tries, 43888489 fired transitions, 1965 secs || 35513891 markings, 59332827 edges,
lola: 45 tries, 44017828 fired transitions, 1970 secs || 35618079 markings, 59499138 edges,
lola: 45 tries, 44128422 fired transitions, 1975 secs || 35729936 markings, 59685163 edges,
lola: 45 tries, 44218277 fired transitions, 1980 secs || 35827495 markings, 59841632 edges,
lola: 45 tries, 44292381 fired transitions, 1985 secs || 35914182 markings, 59989288 edges,
lola: 45 tries, 44365119 fired transitions, 1990 secs || 35987063 markings, 60107499 edges,
lola: 45 tries, 44441070 fired transitions, 1995 secs || 36073821 markings, 60248562 edges,
lola: 45 tries, 44513014 fired transitions, 2000 secs || 36157040 markings, 60386238 edges,
lola: 45 tries, 44579048 fired transitions, 2005 secs || 36237694 markings, 60516992 edges,
lola: 45 tries, 44646316 fired transitions, 2010 secs || 36315778 markings, 60649231 edges,
lola: 45 tries, 44718187 fired transitions, 2015 secs || 36387136 markings, 60765726 edges,
lola: 45 tries, 44790389 fired transitions, 2020 secs || 36470642 markings, 60902660 edges,
lola: 45 tries, 44862972 fired transitions, 2025 secs || 36553825 markings, 61049144 edges,
lola: 45 tries, 44938338 fired transitions, 2030 secs || 36627615 markings, 61186327 edges,
lola: 46 tries, 45013454 fired transitions, 2035 secs || 36706811 markings, 61331217 edges,
lola: 46 tries, 45087738 fired transitions, 2040 secs || 36780932 markings, 61450748 edges,
lola: 46 tries, 45260337 fired transitions, 2045 secs || 36886522 markings, 61621194 edges,
lola: 46 tries, 45437899 fired transitions, 2050 secs || 36997473 markings, 61800888 edges,
lola: 46 tries, 45619382 fired transitions, 2055 secs || 37112921 markings, 61988591 edges,
lola: 46 tries, 45802900 fired transitions, 2060 secs || 37231072 markings, 62185261 edges,
lola: 46 tries, 45983409 fired transitions, 2065 secs || 37342065 markings, 62369453 edges,
lola: 47 tries, 46121181 fired transitions, 2070 secs || 37444250 markings, 62540991 edges,
lola: 47 tries, 46254332 fired transitions, 2075 secs || 37540723 markings, 62711887 edges,
lola: 47 tries, 46388893 fired transitions, 2080 secs || 37645416 markings, 62894255 edges,
lola: 47 tries, 46526526 fired transitions, 2085 secs || 37748603 markings, 63062291 edges,
lola: 47 tries, 46663434 fired transitions, 2090 secs || 37848337 markings, 63245144 edges,
lola: 47 tries, 46800718 fired transitions, 2095 secs || 37947674 markings, 63415434 edges,
lola: 47 tries, 46937436 fired transitions, 2100 secs || 38054678 markings, 63599165 edges,
lola: 48 tries, 47086920 fired transitions, 2105 secs || 38158405 markings, 63776015 edges,
lola: 48 tries, 47254841 fired transitions, 2110 secs || 38265319 markings, 63961058 edges,
lola: 48 tries, 47421581 fired transitions, 2115 secs || 38356015 markings, 64143192 edges,
lola: 48 tries, 47576770 fired transitions, 2120 secs || 38445176 markings, 64318788 edges,
lola: 48 tries, 47704878 fired transitions, 2125 secs || 38541933 markings, 64501174 edges,
lola: 48 tries, 47820014 fired transitions, 2130 secs || 38656111 markings, 64691499 edges,
lola: 48 tries, 47956606 fired transitions, 2135 secs || 38764325 markings, 64866840 edges,
lola: 49 tries, 48098175 fired transitions, 2140 secs || 38871279 markings, 65050278 edges,
lola: 49 tries, 48234477 fired transitions, 2145 secs || 38969596 markings, 65205937 edges,
lola: 49 tries, 48371099 fired transitions, 2150 secs || 39075904 markings, 65379195 edges,
lola: 49 tries, 48507938 fired transitions, 2155 secs || 39173649 markings, 65541483 edges,
lola: 49 tries, 48651808 fired transitions, 2160 secs || 39275939 markings, 65718310 edges,
lola: 49 tries, 48819295 fired transitions, 2165 secs || 39379387 markings, 65887952 edges,
lola: 49 tries, 48957259 fired transitions, 2170 secs || 39475323 markings, 66050141 edges,
lola: 50 tries, 49096887 fired transitions, 2175 secs || 39589232 markings, 66238044 edges,
lola: 50 tries, 49245756 fired transitions, 2180 secs || 39694773 markings, 66405464 edges,
lola: 50 tries, 49401456 fired transitions, 2185 secs || 39813636 markings, 66600464 edges,
lola: 50 tries, 49550046 fired transitions, 2190 secs || 39925139 markings, 66776378 edges,
lola: 50 tries, 49701610 fired transitions, 2195 secs || 40031275 markings, 66957499 edges,
lola: 50 tries, 49844188 fired transitions, 2200 secs || 40129412 markings, 67136208 edges,
lola: 50 tries, 49990950 fired transitions, 2205 secs || 40227304 markings, 67325767 edges,
lola: 51 tries, 50165581 fired transitions, 2210 secs || 40323059 markings, 67515262 edges,
lola: 51 tries, 50320185 fired transitions, 2215 secs || 40423646 markings, 67704775 edges,
lola: 51 tries, 50460698 fired transitions, 2220 secs || 40532766 markings, 67874798 edges,
lola: 51 tries, 50602371 fired transitions, 2225 secs || 40640454 markings, 68049078 edges,
lola: 51 tries, 50745277 fired transitions, 2230 secs || 40754496 markings, 68234341 edges,
lola: 51 tries, 50889239 fired transitions, 2235 secs || 40867373 markings, 68410446 edges,
lola: 52 tries, 51029136 fired transitions, 2240 secs || 40970337 markings, 68574689 edges,
lola: 52 tries, 51156384 fired transitions, 2245 secs || 41066434 markings, 68730366 edges,
lola: 52 tries, 51284427 fired transitions, 2250 secs || 41162960 markings, 68897745 edges,
lola: 52 tries, 51409962 fired transitions, 2255 secs || 41262077 markings, 69053591 edges,
lola: 52 tries, 51534144 fired transitions, 2260 secs || 41369773 markings, 69226582 edges,
lola: 52 tries, 51656434 fired transitions, 2265 secs || 41473604 markings, 69395633 edges,
lola: 52 tries, 51790577 fired transitions, 2270 secs || 41576953 markings, 69557784 edges,
lola: 52 tries, 51922197 fired transitions, 2275 secs || 41690751 markings, 69736697 edges,
lola: 53 tries, 52060273 fired transitions, 2280 secs || 41797011 markings, 69909725 edges,
lola: 53 tries, 52215277 fired transitions, 2285 secs || 41910061 markings, 70091450 edges,
lola: 53 tries, 52370155 fired transitions, 2290 secs || 42022048 markings, 70275567 edges,
lola: 53 tries, 52526251 fired transitions, 2295 secs || 42135257 markings, 70460168 edges,
lola: 53 tries, 52681033 fired transitions, 2300 secs || 42246210 markings, 70643318 edges,
lola: 53 tries, 52834058 fired transitions, 2305 secs || 42356176 markings, 70820291 edges,
lola: 53 tries, 52944470 fired transitions, 2310 secs || 42435691 markings, 70951915 edges,
lola: 54 tries, 53037766 fired transitions, 2315 secs || 42513508 markings, 71081994 edges,
lola: 54 tries, 53139980 fired transitions, 2320 secs || 42624863 markings, 71260950 edges,
lola: 54 tries, 53244721 fired transitions, 2325 secs || 42724128 markings, 71443742 edges,
lola: 54 tries, 53352287 fired transitions, 2330 secs || 42837479 markings, 71624625 edges,
lola: 54 tries, 53460612 fired transitions, 2335 secs || 42950015 markings, 71803350 edges,
lola: 54 tries, 53613192 fired transitions, 2340 secs || 43061844 markings, 71982167 edges,
lola: 54 tries, 53773758 fired transitions, 2345 secs || 43175072 markings, 72165915 edges,
lola: 54 tries, 53879946 fired transitions, 2350 secs || 43289649 markings, 72349434 edges,
lola: 54 tries, 53988935 fired transitions, 2355 secs || 43404537 markings, 72538620 edges,
lola: 55 tries, 54102114 fired transitions, 2360 secs || 43509467 markings, 72719891 edges,
lola: 55 tries, 54250441 fired transitions, 2365 secs || 43617978 markings, 72901030 edges,
lola: 55 tries, 54406983 fired transitions, 2370 secs || 43724445 markings, 73078127 edges,
lola: 55 tries, 54563320 fired transitions, 2375 secs || 43829774 markings, 73255822 edges,
lola: 55 tries, 54720978 fired transitions, 2380 secs || 43938518 markings, 73439728 edges,
lola: 55 tries, 54877119 fired transitions, 2385 secs || 44043880 markings, 73618558 edges,
lola: 56 tries, 55034433 fired transitions, 2390 secs || 44151391 markings, 73819192 edges,
lola: 56 tries, 55171901 fired transitions, 2395 secs || 44254396 markings, 74019886 edges,
lola: 56 tries, 55309402 fired transitions, 2400 secs || 44360929 markings, 74215188 edges,
lola: 56 tries, 55446546 fired transitions, 2405 secs || 44471811 markings, 74389939 edges,
lola: 56 tries, 55577080 fired transitions, 2410 secs || 44578230 markings, 74558047 edges,
lola: 56 tries, 55708184 fired transitions, 2415 secs || 44686012 markings, 74730641 edges,
lola: 56 tries, 55841601 fired transitions, 2420 secs || 44798200 markings, 74907557 edges,
lola: 56 tries, 55940236 fired transitions, 2425 secs || 44888439 markings, 75049715 edges,
lola: 57 tries, 56033957 fired transitions, 2430 secs || 44952973 markings, 75153244 edges,
lola: 57 tries, 56119752 fired transitions, 2435 secs || 45029791 markings, 75281930 edges,
lola: 57 tries, 56198745 fired transitions, 2440 secs || 45108962 markings, 75414500 edges,
lola: 57 tries, 56280440 fired transitions, 2445 secs || 45195868 markings, 75572326 edges,
lola: 57 tries, 56382840 fired transitions, 2450 secs || 45296329 markings, 75737589 edges,
lola: 57 tries, 56488540 fired transitions, 2455 secs || 45412342 markings, 75929517 edges,
lola: 57 tries, 56597931 fired transitions, 2460 secs || 45524391 markings, 76117774 edges,
lola: 57 tries, 56709909 fired transitions, 2465 secs || 45643571 markings, 76315315 edges,
lola: 57 tries, 56824211 fired transitions, 2470 secs || 45759810 markings, 76521055 edges,
lola: 57 tries, 56933855 fired transitions, 2475 secs || 45869200 markings, 76700748 edges,
lola: 58 tries, 57032989 fired transitions, 2480 secs || 45958133 markings, 76851052 edges,
lola: 58 tries, 57161845 fired transitions, 2485 secs || 46066042 markings, 77020595 edges,
lola: 58 tries, 57271199 fired transitions, 2490 secs || 46163382 markings, 77175114 edges,
lola: 58 tries, 57356874 fired transitions, 2495 secs || 46243867 markings, 77303459 edges,
lola: 58 tries, 57452465 fired transitions, 2500 secs || 46334687 markings, 77461666 edges,
lola: 58 tries, 57583988 fired transitions, 2505 secs || 46447729 markings, 77677642 edges,
lola: 58 tries, 57715594 fired transitions, 2510 secs || 46556686 markings, 77885492 edges,
lola: 58 tries, 57848289 fired transitions, 2515 secs || 46663264 markings, 78096333 edges,
lola: 58 tries, 57980129 fired transitions, 2520 secs || 46774772 markings, 78308151 edges,
lola: 59 tries, 58132091 fired transitions, 2525 secs || 46866449 markings, 78488939 edges,
lola: 59 tries, 58273292 fired transitions, 2530 secs || 46966477 markings, 78654155 edges,
lola: 59 tries, 58389785 fired transitions, 2535 secs || 47079449 markings, 78834747 edges,
lola: 59 tries, 58558460 fired transitions, 2540 secs || 47191403 markings, 79022030 edges,
lola: 59 tries, 58694824 fired transitions, 2545 secs || 47283535 markings, 79178980 edges,
lola: 59 tries, 58800329 fired transitions, 2550 secs || 47355723 markings, 79294574 edges,
lola: 59 tries, 58908947 fired transitions, 2555 secs || 47437034 markings, 79425151 edges,
lola: 60 tries, 59015582 fired transitions, 2560 secs || 47516981 markings, 79568535 edges,
lola: 60 tries, 59097207 fired transitions, 2565 secs || 47579459 markings, 79677546 edges,
lola: 60 tries, 59181055 fired transitions, 2570 secs || 47658550 markings, 79809463 edges,
lola: 60 tries, 59265386 fired transitions, 2575 secs || 47736213 markings, 79940657 edges,
lola: 60 tries, 59348669 fired transitions, 2580 secs || 47812009 markings, 80062342 edges,
lola: 60 tries, 59437711 fired transitions, 2585 secs || 47885065 markings, 80180433 edges,
lola: 60 tries, 59570847 fired transitions, 2590 secs || 47980929 markings, 80361864 edges,
lola: 60 tries, 59673269 fired transitions, 2595 secs || 48055946 markings, 80493032 edges,
lola: 60 tries, 59765286 fired transitions, 2600 secs || 48136087 markings, 80626308 edges,
lola: 60 tries, 59855836 fired transitions, 2605 secs || 48212312 markings, 80750256 edges,
lola: 60 tries, 59944266 fired transitions, 2610 secs || 48285263 markings, 80872970 edges,
lola: 61 tries, 60034904 fired transitions, 2615 secs || 48361697 markings, 80997103 edges,
lola: 61 tries, 60107033 fired transitions, 2620 secs || 48438064 markings, 81121996 edges,
lola: 61 tries, 60184515 fired transitions, 2625 secs || 48523213 markings, 81272015 edges,
lola: 61 tries, 60262817 fired transitions, 2630 secs || 48604793 markings, 81406987 edges,
lola: 61 tries, 60362366 fired transitions, 2635 secs || 48712804 markings, 81584771 edges,
lola: 61 tries, 60471003 fired transitions, 2640 secs || 48824337 markings, 81771498 edges,
lola: 61 tries, 60579191 fired transitions, 2645 secs || 48934733 markings, 81951266 edges,
lola: 61 tries, 60691119 fired transitions, 2650 secs || 49045156 markings, 82132654 edges,
lola: 61 tries, 60801310 fired transitions, 2655 secs || 49164477 markings, 82330731 edges,
lola: 61 tries, 60915975 fired transitions, 2660 secs || 49271976 markings, 82533265 edges,
lola: 62 tries, 61038307 fired transitions, 2665 secs || 49373245 markings, 82724759 edges,
lola: 62 tries, 61175093 fired transitions, 2670 secs || 49470146 markings, 82882632 edges,
lola: 62 tries, 61310191 fired transitions, 2675 secs || 49578354 markings, 83061371 edges,
lola: 62 tries, 61438423 fired transitions, 2680 secs || 49679103 markings, 83229132 edges,
lola: 62 tries, 61568116 fired transitions, 2685 secs || 49779295 markings, 83394847 edges,
lola: 62 tries, 61698183 fired transitions, 2690 secs || 49878231 markings, 83566576 edges,
lola: 62 tries, 61829127 fired transitions, 2695 secs || 49985667 markings, 83746969 edges,
lola: 62 tries, 61937726 fired transitions, 2700 secs || 50078145 markings, 83903988 edges,
lola: 63 tries, 62030498 fired transitions, 2705 secs || 50151240 markings, 84024979 edges,
lola: 63 tries, 62173850 fired transitions, 2710 secs || 50245927 markings, 84184756 edges,
lola: 63 tries, 62335160 fired transitions, 2715 secs || 50340103 markings, 84348073 edges,
lola: 63 tries, 62465177 fired transitions, 2720 secs || 50446693 markings, 84528968 edges,
lola: 63 tries, 62595495 fired transitions, 2725 secs || 50550168 markings, 84692753 edges,
lola: 63 tries, 62726260 fired transitions, 2730 secs || 50653022 markings, 84861422 edges,
lola: 63 tries, 62858203 fired transitions, 2735 secs || 50760253 markings, 85044131 edges,
lola: 63 tries, 62989446 fired transitions, 2740 secs || 50862724 markings, 85212538 edges,
lola: 64 tries, 63121015 fired transitions, 2745 secs || 50970656 markings, 85390531 edges,
lola: 64 tries, 63255558 fired transitions, 2750 secs || 51077039 markings, 85563391 edges,
lola: 64 tries, 63394813 fired transitions, 2755 secs || 51177478 markings, 85738407 edges,
lola: 64 tries, 63523312 fired transitions, 2760 secs || 51263535 markings, 85916396 edges,
lola: 64 tries, 63652428 fired transitions, 2765 secs || 51356420 markings, 86106916 edges,
lola: 64 tries, 63780207 fired transitions, 2770 secs || 51455693 markings, 86270779 edges,
lola: 64 tries, 63910917 fired transitions, 2775 secs || 51553682 markings, 86437156 edges,
lola: 65 tries, 64053250 fired transitions, 2780 secs || 51659502 markings, 86615752 edges,
lola: 65 tries, 64209368 fired transitions, 2785 secs || 51763906 markings, 86785586 edges,
lola: 65 tries, 64345032 fired transitions, 2790 secs || 51868421 markings, 86969837 edges,
lola: 65 tries, 64459787 fired transitions, 2795 secs || 51970646 markings, 87168442 edges,
lola: 65 tries, 64572345 fired transitions, 2800 secs || 52070250 markings, 87345114 edges,
lola: 65 tries, 64685263 fired transitions, 2805 secs || 52179230 markings, 87527964 edges,
lola: 65 tries, 64797959 fired transitions, 2810 secs || 52286609 markings, 87709638 edges,
lola: 65 tries, 64891385 fired transitions, 2815 secs || 52373522 markings, 87858938 edges,
lola: 65 tries, 64970804 fired transitions, 2820 secs || 52453515 markings, 87995701 edges,
lola: 66 tries, 65095064 fired transitions, 2825 secs || 52554872 markings, 88161779 edges,
lola: 66 tries, 65222320 fired transitions, 2830 secs || 52652945 markings, 88338481 edges,
lola: 66 tries, 65322443 fired transitions, 2835 secs || 52722766 markings, 88481397 edges,
lola: 66 tries, 65404286 fired transitions, 2840 secs || 52785328 markings, 88588773 edges,
lola: 66 tries, 65487558 fired transitions, 2845 secs || 52859233 markings, 88708048 edges,
lola: 66 tries, 65569465 fired transitions, 2850 secs || 52939667 markings, 88841957 edges,
lola: 66 tries, 65657478 fired transitions, 2855 secs || 53011623 markings, 88960288 edges,
lola: 66 tries, 65764141 fired transitions, 2860 secs || 53083931 markings, 89075303 edges,
lola: 66 tries, 65848170 fired transitions, 2865 secs || 53158410 markings, 89197029 edges,
lola: 66 tries, 65934720 fired transitions, 2870 secs || 53224104 markings, 89318091 edges,
lola: 67 tries, 66023474 fired transitions, 2875 secs || 53288358 markings, 89447511 edges,
lola: 67 tries, 66120406 fired transitions, 2880 secs || 53359908 markings, 89567507 edges,
lola: 67 tries, 66205958 fired transitions, 2885 secs || 53432854 markings, 89690084 edges,
lola: 67 tries, 66290410 fired transitions, 2890 secs || 53505187 markings, 89807025 edges,
lola: 67 tries, 66377096 fired transitions, 2895 secs || 53575245 markings, 89924626 edges,
lola: 67 tries, 66462335 fired transitions, 2900 secs || 53646544 markings, 90045511 edges,
lola: 67 tries, 66550998 fired transitions, 2905 secs || 53718075 markings, 90169123 edges,
lola: 67 tries, 66641221 fired transitions, 2910 secs || 53784950 markings, 90308490 edges,
lola: 67 tries, 66729961 fired transitions, 2915 secs || 53853846 markings, 90446463 edges,
lola: 67 tries, 66820789 fired transitions, 2920 secs || 53918046 markings, 90579236 edges,
lola: 67 tries, 66908005 fired transitions, 2925 secs || 53984623 markings, 90706172 edges,
lola: 67 tries, 66993624 fired transitions, 2930 secs || 54058012 markings, 90827559 edges,
lola: 68 tries, 67066403 fired transitions, 2935 secs || 54135448 markings, 90953011 edges,
lola: 68 tries, 67135088 fired transitions, 2940 secs || 54205528 markings, 91068271 edges,
lola: 68 tries, 67226519 fired transitions, 2945 secs || 54287623 markings, 91205663 edges,
lola: 68 tries, 67322682 fired transitions, 2950 secs || 54362974 markings, 91329559 edges,
lola: 68 tries, 67420257 fired transitions, 2955 secs || 54442282 markings, 91460602 edges,
lola: 68 tries, 67517939 fired transitions, 2960 secs || 54519794 markings, 91590568 edges,
lola: 68 tries, 67614916 fired transitions, 2965 secs || 54597379 markings, 91721461 edges,
lola: 68 tries, 67734811 fired transitions, 2970 secs || 54688387 markings, 91875479 edges,
lola: 68 tries, 67882646 fired transitions, 2975 secs || 54794835 markings, 92054025 edges,
lola: 69 tries, 68035680 fired transitions, 2980 secs || 54906712 markings, 92242473 edges,
lola: 69 tries, 68165587 fired transitions, 2985 secs || 55012500 markings, 92416231 edges,
lola: 69 tries, 68294816 fired transitions, 2990 secs || 55101461 markings, 92592113 edges,
lola: 69 tries, 68424561 fired transitions, 2995 secs || 55191521 markings, 92771811 edges,
lola: 69 tries, 68553025 fired transitions, 3000 secs || 55292543 markings, 92937676 edges,
lola: 69 tries, 68682963 fired transitions, 3005 secs || 55400339 markings, 93120617 edges,
lola: 69 tries, 68810192 fired transitions, 3010 secs || 55499457 markings, 93284580 edges,
lola: 69 tries, 68937069 fired transitions, 3015 secs || 55608140 markings, 93461224 edges,
lola: 70 tries, 69084845 fired transitions, 3020 secs || 55700705 markings, 93638086 edges,
lola: 70 tries, 69260163 fired transitions, 3025 secs || 55794244 markings, 93825090 edges,
lola: 70 tries, 69423927 fired transitions, 3030 secs || 55891538 markings, 94015089 edges,
lola: 70 tries, 69571395 fired transitions, 3035 secs || 55978896 markings, 94180227 edges,
lola: 70 tries, 69741692 fired transitions, 3040 secs || 56087430 markings, 94361356 edges,
lola: 70 tries, 69866807 fired transitions, 3045 secs || 56157473 markings, 94475129 edges,
lola: 70 tries, 69979861 fired transitions, 3050 secs || 56240285 markings, 94609027 edges,
lola: 71 tries, 70082085 fired transitions, 3055 secs || 56322298 markings, 94742618 edges,
lola: 71 tries, 70180562 fired transitions, 3060 secs || 56401547 markings, 94880742 edges,
lola: 71 tries, 70276985 fired transitions, 3065 secs || 56475295 markings, 95003766 edges,
lola: 71 tries, 70439780 fired transitions, 3070 secs || 56579744 markings, 95175694 edges,
lola: 71 tries, 70614614 fired transitions, 3075 secs || 56681516 markings, 95356299 edges,
lola: 71 tries, 70783090 fired transitions, 3080 secs || 56780806 markings, 95526851 edges,
lola: 71 tries, 70952499 fired transitions, 3085 secs || 56893184 markings, 95717738 edges,
lola: 72 tries, 71093058 fired transitions, 3090 secs || 57004565 markings, 95899967 edges,
lola: 72 tries, 71226248 fired transitions, 3095 secs || 57102711 markings, 96059344 edges,
lola: 72 tries, 71355601 fired transitions, 3100 secs || 57212367 markings, 96239052 edges,
lola: 72 tries, 71480795 fired transitions, 3105 secs || 57302747 markings, 96412079 edges,
lola: 72 tries, 71618212 fired transitions, 3110 secs || 57402708 markings, 96571444 edges,
lola: 72 tries, 71756823 fired transitions, 3115 secs || 57507039 markings, 96745160 edges,
lola: 72 tries, 71890262 fired transitions, 3120 secs || 57608437 markings, 96906698 edges,
lola: 73 tries, 72017582 fired transitions, 3125 secs || 57715107 markings, 97079264 edges,
lola: 73 tries, 72124438 fired transitions, 3130 secs || 57822365 markings, 97275491 edges,
lola: 73 tries, 72244789 fired transitions, 3135 secs || 57928207 markings, 97476510 edges,
lola: 73 tries, 72391629 fired transitions, 3140 secs || 58029415 markings, 97672601 edges,
lola: 73 tries, 72526003 fired transitions, 3145 secs || 58126774 markings, 97855741 edges,
lola: 73 tries, 72626551 fired transitions, 3150 secs || 58201479 markings, 98002090 edges,
lola: 73 tries, 72726052 fired transitions, 3155 secs || 58274540 markings, 98143807 edges,
lola: 73 tries, 72828067 fired transitions, 3160 secs || 58350015 markings, 98288325 edges,
lola: 73 tries, 72919602 fired transitions, 3165 secs || 58420527 markings, 98405330 edges,
lola: 74 tries, 73016189 fired transitions, 3170 secs || 58500204 markings, 98533101 edges,
lola: 74 tries, 73105951 fired transitions, 3175 secs || 58579822 markings, 98664797 edges,
lola: 74 tries, 73192241 fired transitions, 3180 secs || 58653164 markings, 98786539 edges,
lola: 74 tries, 73277773 fired transitions, 3185 secs || 58729124 markings, 98913602 edges,
lola: 74 tries, 73363509 fired transitions, 3190 secs || 58799493 markings, 99032872 edges,
lola: 74 tries, 73464993 fired transitions, 3195 secs || 58873970 markings, 99152394 edges,
lola: 74 tries, 73549379 fired transitions, 3200 secs || 58949205 markings, 99276836 edges,
lola: 74 tries, 73636695 fired transitions, 3205 secs || 59025145 markings, 99398579 edges,
lola: 74 tries, 73722072 fired transitions, 3210 secs || 59106118 markings, 99533257 edges,
lola: 74 tries, 73805937 fired transitions, 3215 secs || 59179749 markings, 99654621 edges,
lola: 74 tries, 73893111 fired transitions, 3220 secs || 59247746 markings, 99779289 edges,
lola: 74 tries, 73977395 fired transitions, 3225 secs || 59320354 markings, 99896284 edges,
lola: 75 tries, 74063370 fired transitions, 3230 secs || 59393210 markings, 100014981 edges,
lola: 75 tries, 74150408 fired transitions, 3235 secs || 59466572 markings, 100130534 edges,
lola: 75 tries, 74240283 fired transitions, 3240 secs || 59551676 markings, 100265133 edges,
lola: 75 tries, 74329266 fired transitions, 3245 secs || 59633430 markings, 100393062 edges,
lola: 75 tries, 74418768 fired transitions, 3250 secs || 59717181 markings, 100527245 edges,
lola: 75 tries, 74509197 fired transitions, 3255 secs || 59797980 markings, 100658011 edges,
lola: 75 tries, 74597753 fired transitions, 3260 secs || 59877274 markings, 100781204 edges,
lola: 75 tries, 74688949 fired transitions, 3265 secs || 59962159 markings, 100913535 edges,
lola: 75 tries, 74777644 fired transitions, 3270 secs || 60044104 markings, 101042145 edges,
lola: 75 tries, 74865309 fired transitions, 3275 secs || 60122454 markings, 101164490 edges,
lola: 75 tries, 74955145 fired transitions, 3280 secs || 60202812 markings, 101287555 edges,
lola: 76 tries, 75038754 fired transitions, 3285 secs || 60284033 markings, 101417810 edges,
lola: 76 tries, 75110130 fired transitions, 3290 secs || 60367952 markings, 101559441 edges,
lola: 76 tries, 75210255 fired transitions, 3295 secs || 60438378 markings, 101686969 edges,
lola: 76 tries, 75312219 fired transitions, 3300 secs || 60511421 markings, 101825116 edges,
lola: 76 tries, 75414918 fired transitions, 3305 secs || 60582356 markings, 101961835 edges,
lola: 76 tries, 75518747 fired transitions, 3310 secs || 60654068 markings, 102104548 edges,
lola: 76 tries, 75622408 fired transitions, 3315 secs || 60730592 markings, 102247508 edges,
lola: 76 tries, 75720759 fired transitions, 3320 secs || 60799231 markings, 102373653 edges,
lola: 76 tries, 75818947 fired transitions, 3325 secs || 60878327 markings, 102500689 edges,
lola: 76 tries, 75917751 fired transitions, 3330 secs || 60958104 markings, 102627033 edges,
lola: 77 tries, 76021351 fired transitions, 3335 secs || 61043107 markings, 102760047 edges,
lola: 77 tries, 76152015 fired transitions, 3340 secs || 61147027 markings, 102932979 edges,
lola: 77 tries, 76290125 fired transitions, 3345 secs || 61257633 markings, 103114144 edges,
lola: 77 tries, 76437090 fired transitions, 3350 secs || 61361734 markings, 103301146 edges,
lola: 77 tries, 76585456 fired transitions, 3355 secs || 61457402 markings, 103481955 edges,
lola: 77 tries, 76730064 fired transitions, 3360 secs || 61566879 markings, 103660646 edges,
lola: 77 tries, 76874814 fired transitions, 3365 secs || 61680690 markings, 103846995 edges,
lola: 78 tries, 77015411 fired transitions, 3370 secs || 61794891 markings, 104032861 edges,
lola: 78 tries, 77144208 fired transitions, 3375 secs || 61890122 markings, 104190925 edges,
lola: 78 tries, 77278429 fired transitions, 3380 secs || 61987808 markings, 104375248 edges,
lola: 78 tries, 77408992 fired transitions, 3385 secs || 62075300 markings, 104562298 edges,
lola: 78 tries, 77535802 fired transitions, 3390 secs || 62165914 markings, 104745380 edges,
lola: 78 tries, 77668155 fired transitions, 3395 secs || 62256685 markings, 104930849 edges,
lola: 78 tries, 77798532 fired transitions, 3400 secs || 62346601 markings, 105088095 edges,
lola: 78 tries, 77932884 fired transitions, 3405 secs || 62453556 markings, 105261210 edges,
lola: 79 tries, 78057927 fired transitions, 3410 secs || 62549347 markings, 105415895 edges,
lola: 79 tries, 78185618 fired transitions, 3415 secs || 62649036 markings, 105578884 edges,
lola: 79 tries, 78312296 fired transitions, 3420 secs || 62747988 markings, 105735944 edges,
lola: 79 tries, 78440288 fired transitions, 3425 secs || 62847426 markings, 105909425 edges,
lola: 79 tries, 78567206 fired transitions, 3430 secs || 62949410 markings, 106072207 edges,
lola: 79 tries, 78694030 fired transitions, 3435 secs || 63057224 markings, 106246425 edges,
lola: 79 tries, 78819937 fired transitions, 3440 secs || 63161687 markings, 106415433 edges,
lola: 79 tries, 78945912 fired transitions, 3445 secs || 63262876 markings, 106575780 edges,
lola: 80 tries, 79084354 fired transitions, 3450 secs || 63356703 markings, 106744062 edges,
lola: 80 tries, 79195055 fired transitions, 3455 secs || 63465766 markings, 106922158 edges,
lola: 80 tries, 79295693 fired transitions, 3460 secs || 63575218 markings, 107103761 edges,
lola: 80 tries, 79391615 fired transitions, 3465 secs || 63681861 markings, 107275565 edges,
lola: 80 tries, 79491453 fired transitions, 3470 secs || 63789942 markings, 107455023 edges,
lola: 80 tries, 79591163 fired transitions, 3475 secs || 63906134 markings, 107641908 edges,
lola: 80 tries, 79692653 fired transitions, 3480 secs || 64010634 markings, 107843645 edges,
lola: 80 tries, 79794365 fired transitions, 3485 secs || 64105837 markings, 108035997 edges,
lola: 80 tries, 79898219 fired transitions, 3490 secs || 64202593 markings, 108226975 edges,
lola: 80 tries, 79999420 fired transitions, 3495 secs || 64298977 markings, 108416680 edges,
lola: 81 tries, 80129915 fired transitions, 3500 secs || 64394548 markings, 108610510 edges,
lola: 81 tries, 80260896 fired transitions, 3505 secs || 64491972 markings, 108813037 edges,
lola: 81 tries, 80397505 fired transitions, 3510 secs || 64580115 markings, 109002912 edges,
lola: 81 tries, 80565701 fired transitions, 3515 secs || 64660769 markings, 109176443 edges,
lola: 81 tries, 80730242 fired transitions, 3520 secs || 64749675 markings, 109360607 edges,
lola: 81 tries, 80894366 fired transitions, 3525 secs || 64855602 markings, 109554337 edges,
lola: 82 tries, 81043975 fired transitions, 3530 secs || 64957802 markings, 109744722 edges,
lola: 82 tries, 81200743 fired transitions, 3535 secs || 65062681 markings, 109944553 edges,
lola: 82 tries, 81372979 fired transitions, 3540 secs || 65162186 markings, 110133037 edges,
lola: 82 tries, 81547181 fired transitions, 3545 secs || 65261671 markings, 110320399 edges,
lola: 82 tries, 81720958 fired transitions, 3550 secs || 65359379 markings, 110503640 edges,
lola: 82 tries, 81894885 fired transitions, 3555 secs || 65458496 markings, 110689560 edges,
lola: 83 tries, 82054159 fired transitions, 3560 secs || 65558642 markings, 110879636 edges,
lola: time limit reached - aborting
Segmentation fault
rslt: finished

BK_STOP 1552811082544

--------------------
content from stderr:

grep: GenericPropertiesVerdict.xml: No such file or directory
make: [verify] Error 139 (ignored)
grep: GenericPropertiesVerdict.xml: No such file or directory
/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 tarjan) jan) 13277 markings/sec, 0 secs 14947 markings/sec, 5 secs 15897 markings/sec, 10 secs 16154 markings/sec, 15 secs 16087 markings/sec, 20 secs 15767 markings/sec, 25 secs 14678 markings/sec, 30 secs 13957 markings/sec, 35 secs 22111 markings/sec, 40 secs 14162 markings/sec, 45 secs 14055 markings/sec, 50 secs 13772 markings/sec, 55 secs 14243 markings/sec, 60 secs 13997 markings/sec, 65 secs 14878 markings/sec, 70 secs 20262 markings/sec, 75 secs 20074 markings/sec, 80 secs 18111 markings/sec, 85 secs 22068 markings/sec, 90 secs 19802 markings/sec, 95 secs 21581 markings/sec, 100 secs 20003 markings/sec, 105 secs 21148 markings/sec, 110 secs 19366 markings/sec, 115 secs 21396 markings/sec, 120 secs 20006 markings/sec, 125 secs 21642 markings/sec, 130 secs 18813 markings/sec, 135 secs 20796 markings/sec, 140 secs 22495 markings/sec, 145 secs 21827 markings/sec, 150 secs 22103 markings/sec, 155 secs 23140 markings/sec, 160 secs 20962 markings/sec, 165 secs 19406 markings/sec, 170 secs 20527 markings/sec, 175 secs 21901 markings/sec, 180 secs 18411 markings/sec, 185 secs 18785 markings/sec, 190 secs 21512 markings/sec, 195 secs 20191 markings/sec, 200 secs 18120 markings/sec, 205 secs 21945 markings/sec, 210 secs 22478 markings/sec, 215 secs 22749 markings/sec, 220 secs 22914 markings/sec, 225 secs 22804 markings/sec, 230 secs 19182 markings/sec, 235 secs 18753 markings/sec, 240 secs 19591 markings/sec, 245 secs 19032 markings/sec, 250 secs 19192 markings/sec, 255 secs 20689 markings/sec, 260 secs 16903 markings/sec, 265 secs 21417 markings/sec, 270 secs 22502 markings/sec, 275 secs 22052 markings/sec, 280 secs 23953 markings/sec, 285 secs 22171 markings/sec, 290 secs 21232 markings/sec, 295 secs 22537 markings/sec, 300 secs 22239 markings/sec, 305 secs 21027 markings/sec, 310 secs 18429 markings/sec, 315 secs 21790 markings/sec, 320 secs 18782 markings/sec, 325 secs 21785 markings/sec, 330 secs 22400 markings/sec, 335 secs 21542 markings/sec, 340 secs 22452 markings/sec, 345 secs 22134 markings/sec, 350 secs 17895 markings/sec, 355 secs 22752 markings/sec, 360 secs 22510 markings/sec, 365 secs 23514 markings/sec, 370 secs 23053 markings/sec, 375 secs 20747 markings/sec, 380 secs 21058 markings/sec, 385 secs 20714 markings/sec, 390 secs 22364 markings/sec, 395 secs 20130 markings/sec, 400 secs 22708 markings/sec, 405 secs 19846 markings/sec, 410 secs 22058 markings/sec, 415 secs 19245 markings/sec, 420 secs 21807 markings/sec, 425 secs 19521 markings/sec, 430 secs 19420 markings/sec, 435 secs 22140 markings/sec, 440 secs 20214 markings/sec, 445 secs 20106 markings/sec, 450 secs 21171 markings/sec, 455 secs 22394 markings/sec, 460 secs 21872 markings/sec, 465 secs 19600 markings/sec, 470 secs 20030 markings/sec, 475 secs 19363 markings/sec, 480 secs 19242 markings/sec, 485 secs 21427 markings/sec, 490 secs 22797 markings/sec, 495 secs 21932 markings/sec, 500 secs 20167 markings/sec, 505 secs 22269 markings/sec, 510 secs 21739 markings/sec, 515 secs 22519 markings/sec, 520 secs 20734 markings/sec, 525 secs 21723 markings/sec, 530 secs 21698 markings/sec, 535 secs 20733 markings/sec, 540 secs 21428 markings/sec, 545 secs 18793 markings/sec, 550 secs 19929 markings/sec, 555 secs 21211 markings/sec, 560 secs 19881 markings/sec, 565 secs 18243 markings/sec, 570 secs 14888 markings/sec, 575 secs 14838 markings/sec, 580 secs 14791 markings/sec, 585 secs 14631 markings/sec, 590 secs 14945 markings/sec, 595 secs 16654 markings/sec, 600 secs 15430 markings/sec, 605 secs 15794 markings/sec, 610 secs 15220 markings/sec, 615 secs 14679 markings/sec, 620 secs 16030 markings/sec, 625 secs 14302 markings/sec, 630 secs 16295 markings/sec, 635 secs 16129 markings/sec, 640 secs 16118 markings/sec, 645 secs 15381 markings/sec, 650 secs 13294 markings/sec, 655 secs 15741 markings/sec, 660 secs 16105 markings/sec, 665 secs 16067 markings/sec, 670 secs 13956 markings/sec, 675 secs 20726 markings/sec, 680 secs 21465 markings/sec, 685 secs 21069 markings/sec, 690 secs 16044 markings/sec, 695 secs 15322 markings/sec, 700 secs 16312 markings/sec, 705 secs 15940 markings/sec, 710 secs 14763 markings/sec, 715 secs 16359 markings/sec, 720 secs 15050 markings/sec, 725 secs 15575 markings/sec, 730 secs 16544 markings/sec, 735 secs 16509 markings/sec, 740 secs 16164 markings/sec, 745 secs 16612 markings/sec, 750 secs 14128 markings/sec, 755 secs 16293 markings/sec, 760 secs 16945 markings/sec, 765 secs 21477 markings/sec, 770 secs 21347 markings/sec, 775 secs 21509 markings/sec, 780 secs 22062 markings/sec, 785 secs 21260 markings/sec, 790 secs 18956 markings/sec, 795 secs 21074 markings/sec, 800 secs 21208 markings/sec, 805 secs 20399 markings/sec, 810 secs 20001 markings/sec, 815 secs 19722 markings/sec, 820 secs 20757 markings/sec, 825 secs 19712 markings/sec, 830 secs 15000 markings/sec, 835 secs 16722 markings/sec, 840 secs 15606 markings/sec, 845 secs 12438 markings/sec, 850 secs 12744 markings/sec, 855 secs 14053 markings/sec, 860 secs 13193 markings/sec, 865 secs 16168 markings/sec, 870 secs 19147 markings/sec, 875 secs 18570 markings/sec, 880 secs 16248 markings/sec, 885 secs 15886 markings/sec, 890 secs 14427 markings/sec, 895 secs 16285 markings/sec, 900 secs 15958 markings/sec, 905 secs 16204 markings/sec, 910 secs 14315 markings/sec, 915 secs 15848 markings/sec, 920 secs 16155 markings/sec, 925 secs 15328 markings/sec, 930 secs 16697 markings/sec, 935 secs 14522 markings/sec, 940 secs 17140 markings/sec, 945 secs 17824 markings/sec, 950 secs 21073 markings/sec, 955 secs 15166 markings/sec, 960 secs 15942 markings/sec, 965 secs 14291 markings/sec, 970 secs 16822 markings/sec, 975 secs 15275 markings/sec, 980 secs 15478 markings/sec, 985 secs 16712 markings/sec, 990 secs 19068 markings/sec, 995 secs 21095 markings/sec, 1000 secs 20229 markings/sec, 1005 secs 20993 markings/sec, 1010 secs 20307 markings/sec, 1015 secs 21201 markings/sec, 1020 secs 20753 markings/sec, 1025 secs 20860 markings/sec, 1030 secs 18634 markings/sec, 1035 secs 17722 markings/sec, 1040 secs 20828 markings/sec, 1045 secs 21632 markings/sec, 1050 secs 21314 markings/sec, 1055 secs 21726 markings/sec, 1060 secs 21767 markings/sec, 1065 secs 17459 markings/sec, 1070 secs 16361 markings/sec, 1075 secs 17485 markings/sec, 1080 secs 14374 markings/sec, 1085 secs 15075 markings/sec, 1090 secs 15410 markings/sec, 1095 secs 15808 markings/sec, 1100 secs 14636 markings/sec, 1105 secs 14817 markings/sec, 1110 secs 14439 markings/sec, 1115 secs 14769 markings/sec, 1120 secs 17577 markings/sec, 1125 secs 21276 markings/sec, 1130 secs 17919 markings/sec, 1135 secs 14674 markings/sec, 1140 secs 14863 markings/sec, 1145 secs 14737 markings/sec, 1150 secs 12935 markings/sec, 1155 secs 14696 markings/sec, 1160 secs 15758 markings/sec, 1165 secs 14062 markings/sec, 1170 secs 15512 markings/sec, 1175 secs 14575 markings/sec, 1180 secs 12772 markings/sec, 1185 secs 15625 markings/sec, 1190 secs 16732 markings/sec, 1195 secs 15011 markings/sec, 1200 secs 14827 markings/sec, 1205 secs 14607 markings/sec, 1210 secs 12389 markings/sec, 1215 secs 13581 markings/sec, 1220 secs 15650 markings/sec, 1225 secs 14730 markings/sec, 1230 secs 14366 markings/sec, 1235 secs 15594 markings/sec, 1240 secs 16214 markings/sec, 1245 secs 14665 markings/sec, 1250 secs 14572 markings/sec, 1255 secs 14513 markings/sec, 1260 secs 14859 markings/sec, 1265 secs 14200 markings/sec, 1270 secs 14486 markings/sec, 1275 secs 14347 markings/sec, 1280 secs 14571 markings/sec, 1285 secs 14666 markings/sec, 1290 secs 14536 markings/sec, 1295 secs 14453 markings/sec, 1300 secs 12926 markings/sec, 1305 secs 12449 markings/sec, 1310 secs 13999 markings/sec, 1315 secs 14446 markings/sec, 1320 secs 14711 markings/sec, 1325 secs 14802 markings/sec, 1330 secs 14430 markings/sec, 1335 secs 14457 markings/sec, 1340 secs 14366 markings/sec, 1345 secs 14723 markings/sec, 1350 secs 14081 markings/sec, 1355 secs 14627 markings/sec, 1360 secs 14536 markings/sec, 1365 secs 14387 markings/sec, 1370 secs 18921 markings/sec, 1375 secs 20487 markings/sec, 1380 secs 21221 markings/sec, 1385 secs 19362 markings/sec, 1390 secs 19965 markings/sec, 1395 secs 21217 markings/sec, 1400 secs 19331 markings/sec, 1405 secs 19714 markings/sec, 1410 secs 21099 markings/sec, 1415 secs 16293 markings/sec, 1420 secs 17313 markings/sec, 1425 secs 21071 markings/sec, 1430 secs 19707 markings/sec, 1435 secs 19999 markings/sec, 1440 secs 21932 markings/sec, 1445 secs 21406 markings/sec, 1450 secs 21161 markings/sec, 1455 secs 22386 markings/sec, 1460 secs 21117 markings/sec, 1465 secs 19941 markings/sec, 1470 secs 20910 markings/sec, 1475 secs 19256 markings/sec, 1480 secs 21233 markings/sec, 1485 secs 22754 markings/sec, 1490 secs 21982 markings/sec, 1495 secs 23079 markings/sec, 1500 secs 22860 markings/sec, 1505 secs 21940 markings/sec, 1510 secs 23668 markings/sec, 1515 secs 19629 markings/sec, 1520 secs 19955 markings/sec, 1525 secs 19390 markings/sec, 1530 secs 14625 markings/sec, 1535 secs 14504 markings/sec, 1540 secs 14497 markings/sec, 1545 secs 14694 markings/sec, 1550 secs 14471 markings/sec, 1555 secs 12055 markings/sec, 1560 secs 13126 markings/sec, 1565 secs 13027 markings/sec, 1570 secs 13712 markings/sec, 1575 secs 14452 markings/sec, 1580 secs 13762 markings/sec, 1585 secs 14074 markings/sec, 1590 secs 13119 markings/sec, 1595 secs 14996 markings/sec, 1600 secs 19198 markings/sec, 1605 secs 20172 markings/sec, 1610 secs 18446 markings/sec, 1615 secs 19079 markings/sec, 1620 secs 19884 markings/sec, 1625 secs 19655 markings/sec, 1630 secs 19660 markings/sec, 1635 secs 19895 markings/sec, 1640 secs 21170 markings/sec, 1645 secs 21121 markings/sec, 1650 secs 21868 markings/sec, 1655 secs 23133 markings/sec, 1660 secs 23390 markings/sec, 1665 secs 22583 markings/sec, 1670 secs 16307 markings/sec, 1675 secs 18298 markings/sec, 1680 secs 14571 markings/sec, 1685 secs 16489 markings/sec, 1690 secs 16121 markings/sec, 1695 secs 15158 markings/sec, 1700 secs 15300 markings/sec, 1705 secs 15697 markings/sec, 1710 secs 19017 markings/sec, 1715 secs 23873 markings/sec, 1720 secs 20495 markings/sec, 1725 secs 15016 markings/sec, 1730 secs 15085 markings/sec, 1735 secs 19884 markings/sec, 1740 secs 20495 markings/sec, 1745 secs 20194 markings/sec, 1750 secs 20756 markings/sec, 1755 secs 19909 markings/sec, 1760 secs 22348 markings/sec, 1765 secs 19828 markings/sec, 1770 secs 19573 markings/sec, 1775 secs 18817 markings/sec, 1780 secs 16134 markings/sec, 1785 secs 16302 markings/sec, 1790 secs 16099 markings/sec, 1795 secs 16323 markings/sec, 1800 secs 14120 markings/sec, 1805 secs 16093 markings/sec, 1810 secs 15987 markings/sec, 1815 secs 15837 markings/sec, 1820 secs 15151 markings/sec, 1825 secs 14662 markings/sec, 1830 secs 16283 markings/sec, 1835 secs 13219 markings/sec, 1840 secs 15594 markings/sec, 1845 secs 12793 markings/sec, 1850 secs 15095 markings/sec, 1855 secs 13920 markings/sec, 1860 secs 14031 markings/sec, 1865 secs 15508 markings/sec, 1870 secs 15291 markings/sec, 1875 secs 14930 markings/sec, 1880 secs 16615 markings/sec, 1885 secs 20024 markings/sec, 1890 secs 21408 markings/sec, 1895 secs 20773 markings/sec, 1900 secs 22305 markings/sec, 1905 secs 22608 markings/sec, 1910 secs 22344 markings/sec, 1915 secs 16037 markings/sec, 1920 secs 15090 markings/sec, 1925 secs 18439 markings/sec, 1930 secs 18965 markings/sec, 1935 secs 14897 markings/sec, 1940 secs 15025 markings/sec, 1945 secs 15197 markings/sec, 1950 secs 15129 markings/sec, 1955 secs 16255 markings/sec, 1960 secs 22513 markings/sec, 1965 secs 20838 markings/sec, 1970 secs 22371 markings/sec, 1975 secs 19512 markings/sec, 1980 secs 17337 markings/sec, 1985 secs 14576 markings/sec, 1990 secs 17352 markings/sec, 1995 secs 16644 markings/sec, 2000 secs 16131 markings/sec, 2005 secs 15617 markings/sec, 2010 secs 14272 markings/sec, 2015 secs 16701 markings/sec, 2020 secs 16637 markings/sec, 2025 secs 14758 markings/sec, 2030 secs 15839 markings/sec, 2035 secs 14824 markings/sec, 2040 secs 21118 markings/sec, 2045 secs 22190 markings/sec, 2050 secs 23090 markings/sec, 2055 secs 23630 markings/sec, 2060 secs 22199 markings/sec, 2065 secs 20437 markings/sec, 2070 secs 19295 markings/sec, 2075 secs 20939 markings/sec, 2080 secs 20637 markings/sec, 2085 secs 19947 markings/sec, 2090 secs 19867 markings/sec, 2095 secs 21401 markings/sec, 2100 secs 20745 markings/sec, 2105 secs 21383 markings/sec, 2110 secs 18139 markings/sec, 2115 secs 17832 markings/sec, 2120 secs 19351 markings/sec, 2125 secs 22836 markings/sec, 2130 secs 21643 markings/sec, 2135 secs 21391 markings/sec, 2140 secs 19663 markings/sec, 2145 secs 21262 markings/sec, 2150 secs 19549 markings/sec, 2155 secs 20458 markings/sec, 2160 secs 20690 markings/sec, 2165 secs 19187 markings/sec, 2170 secs 22782 markings/sec, 2175 secs 21108 markings/sec, 2180 secs 23773 markings/sec, 2185 secs 22301 markings/sec, 2190 secs 21227 markings/sec, 2195 secs 19627 markings/sec, 2200 secs 19578 markings/sec, 2205 secs 19151 markings/sec, 2210 secs 20117 markings/sec, 2215 secs 21824 markings/sec, 2220 secs 21538 markings/sec, 2225 secs 22808 markings/sec, 2230 secs 22575 markings/sec, 2235 secs 20593 markings/sec, 2240 secs 19219 markings/sec, 2245 secs 19305 markings/sec, 2250 secs 19823 markings/sec, 2255 secs 21539 markings/sec, 2260 secs 20766 markings/sec, 2265 secs 20670 markings/sec, 2270 secs 22760 markings/sec, 2275 secs 21252 markings/sec, 2280 secs 22610 markings/sec, 2285 secs 22397 markings/sec, 2290 secs 22642 markings/sec, 2295 secs 22191 markings/sec, 2300 secs 21993 markings/sec, 2305 secs 15903 markings/sec, 2310 secs 15563 markings/sec, 2315 secs 22271 markings/sec, 2320 secs 19853 markings/sec, 2325 secs 22670 markings/sec, 2330 secs 22507 markings/sec, 2335 secs 22366 markings/sec, 2340 secs 22646 markings/sec, 2345 secs 22915 markings/sec, 2350 secs 22978 markings/sec, 2355 secs 20986 markings/sec, 2360 secs 21702 markings/sec, 2365 secs 21293 markings/sec, 2370 secs 21066 markings/sec, 2375 secs 21749 markings/sec, 2380 secs 21072 markings/sec, 2385 secs 21502 markings/sec, 2390 secs 20601 markings/sec, 2395 secs 21307 markings/sec, 2400 secs 22176 markings/sec, 2405 secs 21284 markings/sec, 2410 secs 21556 markings/sec, 2415 secs 22438 markings/sec, 2420 secs 18048 markings/sec, 2425 secs 12907 markings/sec, 2430 secs 15364 markings/sec, 2435 secs 15834 markings/sec, 2440 secs 17381 markings/sec, 2445 secs 20092 markings/sec, 2450 secs 23203 markings/sec, 2455 secs 22410 markings/sec, 2460 secs 23836 markings/sec, 2465 secs 23248 markings/sec, 2470 secs 21878 markings/sec, 2475 secs 17787 markings/sec, 2480 secs 21582 markings/sec, 2485 secs 19468 markings/sec, 2490 secs 16097 markings/sec, 2495 secs 18164 markings/sec, 2500 secs 22608 markings/sec, 2505 secs 21791 markings/sec, 2510 secs 21316 markings/sec, 2515 secs 22302 markings/sec, 2520 secs 18335 markings/sec, 2525 secs 20006 markings/sec, 2530 secs 22594 markings/sec, 2535 secs 22391 markings/sec, 2540 secs 18426 markings/sec, 2545 secs 14438 markings/sec, 2550 secs 16262 markings/sec, 2555 secs 15989 markings/sec, 2560 secs 12496 markings/sec, 2565 secs 15818 markings/sec, 2570 secs 15533 markings/sec, 2575 secs 15159 markings/sec, 2580 secs 14611 markings/sec, 2585 secs 19173 markings/sec, 2590 secs 15003 markings/sec, 2595 secs 16028 markings/sec, 2600 secs 15245 markings/sec, 2605 secs 14590 markings/sec, 2610 secs 15287 markings/sec, 2615 secs 15273 markings/sec, 2620 secs 17030 markings/sec, 2625 secs 16316 markings/sec, 2630 secs 21602 markings/sec, 2635 secs 22307 markings/sec, 2640 secs 22079 markings/sec, 2645 secs 22085 markings/sec, 2650 secs 23864 markings/sec, 2655 secs 21500 markings/sec, 2660 secs 20254 markings/sec, 2665 secs 19380 markings/sec, 2670 secs 21642 markings/sec, 2675 secs 20150 markings/sec, 2680 secs 20038 markings/sec, 2685 secs 19787 markings/sec, 2690 secs 21487 markings/sec, 2695 secs 18496 markings/sec, 2700 secs 14619 markings/sec, 2705 secs 18937 markings/sec, 2710 secs 18835 markings/sec, 2715 secs 21318 markings/sec, 2720 secs 20695 markings/sec, 2725 secs 20571 markings/sec, 2730 secs 21446 markings/sec, 2735 secs 20494 markings/sec, 2740 secs 21586 markings/sec, 2745 secs 21277 markings/sec, 2750 secs 20088 markings/sec, 2755 secs 17211 markings/sec, 2760 secs 18577 markings/sec, 2765 secs 19855 markings/sec, 2770 secs 19598 markings/sec, 2775 secs 21164 markings/sec, 2780 secs 20881 markings/sec, 2785 secs 20903 markings/sec, 2790 secs 20445 markings/sec, 2795 secs 19921 markings/sec, 2800 secs 21796 markings/sec, 2805 secs 21476 markings/sec, 2810 secs 17383 markings/sec, 2815 secs 15999 markings/sec, 2820 secs 20271 markings/sec, 2825 secs 19615 markings/sec, 2830 secs 13964 markings/sec, 2835 secs 12512 markings/sec, 2840 secs 14781 markings/sec, 2845 secs 16087 markings/sec, 2850 secs 14391 markings/sec, 2855 secs 14462 markings/sec, 2860 secs 14896 markings/sec, 2865 secs 13139 markings/sec, 2870 secs 12851 markings/sec, 2875 secs 14310 markings/sec, 2880 secs 14589 markings/sec, 2885 secs 14467 markings/sec, 2890 secs 14012 markings/sec, 2895 secs 14260 markings/sec, 2900 secs 14306 markings/sec, 2905 secs 13375 markings/sec, 2910 secs 13779 markings/sec, 2915 secs 12840 markings/sec, 2920 secs 13315 markings/sec, 2925 secs 14678 markings/sec, 2930 secs 15487 markings/sec, 2935 secs 14016 markings/sec, 2940 secs 16419 markings/sec, 2945 secs 15070 markings/sec, 2950 secs 15862 markings/sec, 2955 secs 15502 markings/sec, 2960 secs 15517 markings/sec, 2965 secs 18202 markings/sec, 2970 secs 21290 markings/sec, 2975 secs 22375 markings/sec, 2980 secs 21158 markings/sec, 2985 secs 17792 markings/sec, 2990 secs 18012 markings/sec, 2995 secs 20204 markings/sec, 3000 secs 21559 markings/sec, 3005 secs 19824 markings/sec, 3010 secs 21737 markings/sec, 3015 secs 18513 markings/sec, 3020 secs 18708 markings/sec, 3025 secs 19459 markings/sec, 3030 secs 17472 markings/sec, 3035 secs 21707 markings/sec, 3040 secs 14009 markings/sec, 3045 secs 16562 markings/sec, 3050 secs 16403 markings/sec, 3055 secs 15850 markings/sec, 3060 secs 14750 markings/sec, 3065 secs 20890 markings/sec, 3070 secs 20354 markings/sec, 3075 secs 19858 markings/sec, 3080 secs 22476 markings/sec, 3085 secs 22276 markings/sec, 3090 secs 19629 markings/sec, 3095 secs 21931 markings/sec, 3100 secs 18076 markings/sec, 3105 secs 19992 markings/sec, 3110 secs 20866 markings/sec, 3115 secs 20280 markings/sec, 3120 secs 21334 markings/sec, 3125 secs 21452 markings/sec, 3130 secs 21168 markings/sec, 3135 secs 20242 markings/sec, 3140 secs 19472 markings/sec, 3145 secs 14941 markings/sec, 3150 secs 14612 markings/sec, 3155 secs 15095 markings/sec, 3160 secs 14102 markings/sec, 3165 secs 15935 markings/sec, 3170 secs 15924 markings/sec, 3175 secs 14668 markings/sec, 3180 secs 15192 markings/sec, 3185 secs 14074 markings/sec, 3190 secs 14895 markings/sec, 3195 secs 15047 markings/sec, 3200 secs 15188 markings/sec, 3205 secs 16195 markings/sec, 3210 secs 14726 markings/sec, 3215 secs 13599 markings/sec, 3220 secs 14522 markings/sec, 3225 secs 14571 markings/sec, 3230 secs 14672 markings/sec, 3235 secs 17021 markings/sec, 3240 secs 16351 markings/sec, 3245 secs 16750 markings/sec, 3250 secs 16160 markings/sec, 3255 secs 15859 markings/sec, 3260 secs 16977 markings/sec, 3265 secs 16389 markings/sec, 3270 secs 15670 markings/sec, 3275 secs 16072 markings/sec, 3280 secs 16244 markings/sec, 3285 secs 16784 markings/sec, 3290 secs 14085 markings/sec, 3295 secs 14609 markings/sec, 3300 secs 14187 markings/sec, 3305 secs 14342 markings/sec, 3310 secs 15305 markings/sec, 3315 secs 13728 markings/sec, 3320 secs 15819 markings/sec, 3325 secs 15955 markings/sec, 3330 secs 17001 markings/sec, 3335 secs 20784 markings/sec, 3340 secs 22121 markings/sec, 3345 secs 20820 markings/sec, 3350 secs 19134 markings/sec, 3355 secs 21895 markings/sec, 3360 secs 22762 markings/sec, 3365 secs 22840 markings/sec, 3370 secs 19046 markings/sec, 3375 secs 19537 markings/sec, 3380 secs 17498 markings/sec, 3385 secs 18123 markings/sec, 3390 secs 18154 markings/sec, 3395 secs 17983 markings/sec, 3400 secs 21391 markings/sec, 3405 secs 19158 markings/sec, 3410 secs 19938 markings/sec, 3415 secs 19790 markings/sec, 3420 secs 19888 markings/sec, 3425 secs 20397 markings/sec, 3430 secs 21563 markings/sec, 3435 secs 20893 markings/sec, 3440 secs 20238 markings/sec, 3445 secs 18765 markings/sec, 3450 secs 21813 markings/sec, 3455 secs 21890 markings/sec, 3460 secs 21329 markings/sec, 3465 secs 21616 markings/sec, 3470 secs 23238 markings/sec, 3475 secs 20900 markings/sec, 3480 secs 19041 markings/sec, 3485 secs 19351 markings/sec, 3490 secs 19277 markings/sec, 3495 secs 19114 markings/sec, 3500 secs 19485 markings/sec, 3505 secs 17629 markings/sec, 3510 secs 16131 markings/sec, 3515 secs 17781 markings/sec, 3520 secs 21185 markings/sec, 3525 secs 20440 markings/sec, 3530 secs 20976 markings/sec, 3535 secs 19901 markings/sec, 3540 secs 19897 markings/sec, 3545 secs 19542 markings/sec, 3550 secs 19823 markings/sec, 3555 secs 20029 markings/sec, 3560 secs

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="Peterson-PT-7"
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 Peterson-PT-7, 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 r104-oct2-155272226100570"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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