MCC'2019 - Execution of r049-oct2-155234405500705

About the Execution of LoLA for DNAwalker-PT-13ringRLLarge

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
4265.100	3594604.00	7313703.00	414.50	[undef]	Cannot compute

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fko/mcc2019-input.r049-oct2-155234405500705.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 DNAwalker-PT-13ringRLLarge, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-oct2-155234405500705
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 300K
-rw-r--r-- 1 mcc users 3.3K Feb 10 20:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 10 20:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 6 15:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Feb 6 15:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 113 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 351 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 23:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 10K Feb 4 23:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.4K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 3 06:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 3 06:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Jan 30 22:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Jan 30 22:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 14 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 135K 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 DNAwalker-PT-13ringRLLarge-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552476193345

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ DNAwalker-PT-13ringRLLarge @ 3570 seconds
vrfy: finished
info: timeLeft: -24
rslt: Output for GlobalProperties @ DNAwalker-PT-13ringRLLarge

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=GlobalProperties.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=combined",
"--siphontrap=par",
"--siphondepth=10",
"--findpath=par",
"--retrylimit=0",
"--depthlimit=1000000",
"--symmetry",
"--symmtimelimit=300",
"--threads=2",
"--symmetrydepth=1073741824",
"--timelimit=3570",
"--json=GlobalProperties.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Wed Mar 13 11:23:13 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 3163844,
"runtime": 3574.000000,
"signal": "User defined signal 2",
"timelimitreached": true
},
"files":
{
"JSON": "GlobalProperties.json",
"formula": "GlobalProperties.xml",
"net": "model.pnml"
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 1,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "E (F (DEADLOCK))",
"processed_size": 16,
"rewrites": 1,
"skeleton": "E(F(**))"
},
"net":
{
"arcs": 916,
"conflict_clusters": 7,
"places": 33,
"places_significant": 33,
"singleton_clusters": 0,
"transitions": 312
},
"task":
{
"findpath":
{
"depthlimit": 1000000,
"retrylimit": null,
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 2
},
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"symmetry":
{
"card": 1.000000,
"composed": 0,
"dead_branches": 0,
"generators": 0,
"interrupted": false,
"real_computed": 0,
"timelimit": 300
},
"threads": 2,
"type": "dfs"
},
"type": "reachability",
"workflow": "findpath||search"
}
}
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: 345/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 1056
lola: finding significant places
lola: 33 places, 312 transitions, 33 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: findpath: starting randomized, memory-less exploration (--findpath)
lola: findpath: searching for paths with maximal depth 1000000 (--depthlimit)
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given (--symmtimelimit)
lola: computed 0 generators (0 in search tree, 0 by composition)
lola: representing 1 symmetries
lola: 0 dead branches visited in search tree
lola: 16 tries, 15772026 fired transitions, 0 secs || 317900 markings, 1047938 edges,
lola: 33 tries, 32648424 fired transitions, 5 secs || 606457 markings, 1997024 edges,
lola: 49 tries, 48008789 fired transitions, 10 secs || 821434 markings, 2786636 edges,
lola: 61 tries, 60376341 fired transitions, 15 secs || 945490 markings, 3220713 edges,
lola: 73 tries, 72546148 fired transitions, 20 secs || 1077161 markings, 3685685 edges,
lola: 91 tries, 90071504 fired transitions, 25 secs || 1375459 markings, 4660534 edges,
lola: 109 tries, 108550893 fired transitions, 30 secs || 1648703 markings, 5640993 edges,
lola: 126 tries, 125259424 fired transitions, 35 secs || 1931145 markings, 6629631 edges,
lola: 144 tries, 143032539 fired transitions, 40 secs || 2204397 markings, 7616064 edges,
lola: 161 tries, 160380248 fired transitions, 45 secs || 2522749 markings, 8622721 edges,
lola: 178 tries, 177546778 fired transitions, 50 secs || 2811313 markings, 9621721 edges,
lola: 195 tries, 194846236 fired transitions, 55 secs || 3097395 markings, 10605483 edges,
lola: 213 tries, 212531771 fired transitions, 60 secs || 3359835 markings, 11575373 edges,
lola: 230 tries, 229932897 fired transitions, 65 secs || 3615625 markings, 12488798 edges,
lola: 247 tries, 246990751 fired transitions, 70 secs || 3873954 markings, 13486771 edges,
lola: 264 tries, 263559423 fired transitions, 75 secs || 4136041 markings, 14500695 edges,
lola: 281 tries, 280623950 fired transitions, 80 secs || 4403406 markings, 15480115 edges,
lola: 298 tries, 297218927 fired transitions, 85 secs || 4684824 markings, 16487665 edges,
lola: 315 tries, 314330982 fired transitions, 90 secs || 4960604 markings, 17541575 edges,
lola: 332 tries, 331890423 fired transitions, 95 secs || 5230871 markings, 18530406 edges,
lola: 351 tries, 350272898 fired transitions, 100 secs || 5495074 markings, 19482935 edges,
lola: 368 tries, 367411043 fired transitions, 105 secs || 5754388 markings, 20529778 edges,
lola: 385 tries, 384765666 fired transitions, 110 secs || 6011883 markings, 21518166 edges,
lola: 398 tries, 397577091 fired transitions, 115 secs || 6171044 markings, 22103619 edges,
lola: 415 tries, 414690846 fired transitions, 120 secs || 6428410 markings, 23064573 edges,
lola: 433 tries, 432306566 fired transitions, 125 secs || 6708060 markings, 24044829 edges,
lola: 449 tries, 448669532 fired transitions, 130 secs || 6981133 markings, 25075344 edges,
lola: 465 tries, 464210630 fired transitions, 135 secs || 7236307 markings, 25958166 edges,
lola: 482 tries, 481290819 fired transitions, 140 secs || 7508169 markings, 27008628 edges,
lola: 495 tries, 494899041 fired transitions, 145 secs || 7664808 markings, 27637807 edges,
lola: 508 tries, 507965959 fired transitions, 150 secs || 7781947 markings, 28126864 edges,
lola: 522 tries, 521208402 fired transitions, 155 secs || 7917129 markings, 28591895 edges,
lola: 535 tries, 534240869 fired transitions, 160 secs || 8055451 markings, 29070644 edges,
lola: 547 tries, 546629260 fired transitions, 165 secs || 8178474 markings, 29499910 edges,
lola: 559 tries, 558814901 fired transitions, 170 secs || 8299688 markings, 29953461 edges,
lola: 572 tries, 571410977 fired transitions, 175 secs || 8416413 markings, 30398535 edges,
lola: 585 tries, 584386293 fired transitions, 180 secs || 8529629 markings, 30889273 edges,
lola: 597 tries, 596022623 fired transitions, 185 secs || 8636127 markings, 31356307 edges,
lola: 609 tries, 608642242 fired transitions, 190 secs || 8759228 markings, 31829257 edges,
lola: 622 tries, 621325184 fired transitions, 195 secs || 8882249 markings, 32321918 edges,
lola: 634 tries, 633972009 fired transitions, 200 secs || 9007149 markings, 32859065 edges,
lola: 647 tries, 646915596 fired transitions, 205 secs || 9130601 markings, 33353818 edges,
lola: 660 tries, 659926387 fired transitions, 210 secs || 9246127 markings, 33843407 edges,
lola: 673 tries, 672537583 fired transitions, 215 secs || 9362473 markings, 34315929 edges,
lola: 686 tries, 685209814 fired transitions, 220 secs || 9489191 markings, 34797014 edges,
lola: 698 tries, 697662948 fired transitions, 225 secs || 9623777 markings, 35236955 edges,
lola: 711 tries, 710422213 fired transitions, 230 secs || 9756017 markings, 35684797 edges,
lola: 724 tries, 723014205 fired transitions, 235 secs || 9883526 markings, 36179320 edges,
lola: 736 tries, 735903133 fired transitions, 240 secs || 10011609 markings, 36642677 edges,
lola: 750 tries, 749223362 fired transitions, 245 secs || 10136098 markings, 37086299 edges,
lola: 762 tries, 761754653 fired transitions, 250 secs || 10256973 markings, 37580585 edges,
lola: 775 tries, 774148230 fired transitions, 255 secs || 10369267 markings, 38026518 edges,
lola: 787 tries, 786969770 fired transitions, 260 secs || 10496437 markings, 38530167 edges,
lola: 800 tries, 799618609 fired transitions, 265 secs || 10616766 markings, 38996873 edges,
lola: 813 tries, 812307332 fired transitions, 270 secs || 10736133 markings, 39446822 edges,
lola: 825 tries, 824784668 fired transitions, 275 secs || 10856614 markings, 39876969 edges,
lola: 838 tries, 837641464 fired transitions, 280 secs || 10975843 markings, 40337320 edges,
lola: 851 tries, 850480390 fired transitions, 285 secs || 11088168 markings, 40826410 edges,
lola: 864 tries, 863629004 fired transitions, 290 secs || 11203126 markings, 41343038 edges,
lola: 877 tries, 876940289 fired transitions, 295 secs || 11318587 markings, 41790038 edges,
lola: 891 tries, 890225340 fired transitions, 300 secs || 11433373 markings, 42231085 edges,
lola: 904 tries, 903427331 fired transitions, 305 secs || 11549826 markings, 42694900 edges,
lola: 918 tries, 917907791 fired transitions, 310 secs || 11723759 markings, 43370559 edges,
lola: 935 tries, 934607773 fired transitions, 315 secs || 11964774 markings, 44438681 edges,
lola: 949 tries, 948668372 fired transitions, 320 secs || 12107773 markings, 45001301 edges,
lola: 963 tries, 962050661 fired transitions, 325 secs || 12227755 markings, 45506968 edges,
lola: 975 tries, 974984060 fired transitions, 330 secs || 12354832 markings, 45994264 edges,
lola: 989 tries, 988097073 fired transitions, 335 secs || 12478917 markings, 46492786 edges,
lola: 1001 tries, 1000895061 fired transitions, 340 secs || 12605051 markings, 46998734 edges,
lola: 1014 tries, 1013649974 fired transitions, 345 secs || 12719569 markings, 47440430 edges,
lola: 1028 tries, 1027070521 fired transitions, 350 secs || 12834354 markings, 47892243 edges,
lola: 1040 tries, 1039981514 fired transitions, 355 secs || 12959132 markings, 48353316 edges,
lola: 1053 tries, 1052902143 fired transitions, 360 secs || 13085529 markings, 48846960 edges,
lola: 1067 tries, 1066075192 fired transitions, 365 secs || 13210828 markings, 49349427 edges,
lola: 1079 tries, 1078876241 fired transitions, 370 secs || 13334189 markings, 49865224 edges,
lola: 1092 tries, 1091461118 fired transitions, 375 secs || 13461551 markings, 50332457 edges,
lola: 1105 tries, 1104471480 fired transitions, 380 secs || 13589068 markings, 50797011 edges,
lola: 1118 tries, 1117039787 fired transitions, 385 secs || 13718537 markings, 51272867 edges,
lola: 1131 tries, 1130203971 fired transitions, 390 secs || 13846454 markings, 51866616 edges,
lola: 1143 tries, 1142971828 fired transitions, 395 secs || 13962637 markings, 52407635 edges,
lola: 1156 tries, 1155966336 fired transitions, 400 secs || 14085461 markings, 52862467 edges,
lola: 1170 tries, 1169535322 fired transitions, 405 secs || 14209159 markings, 53317487 edges,
lola: 1183 tries, 1182386894 fired transitions, 410 secs || 14328643 markings, 53834373 edges,
lola: 1197 tries, 1196885783 fired transitions, 415 secs || 14494705 markings, 54491125 edges,
lola: 1210 tries, 1209771864 fired transitions, 420 secs || 14616034 markings, 54950834 edges,
lola: 1223 tries, 1222741580 fired transitions, 425 secs || 14737093 markings, 55488672 edges,
lola: 1236 tries, 1235798037 fired transitions, 430 secs || 14853451 markings, 56002275 edges,
lola: 1249 tries, 1248554126 fired transitions, 435 secs || 14979545 markings, 56494190 edges,
lola: 1262 tries, 1261316261 fired transitions, 440 secs || 15104084 markings, 57009742 edges,
lola: 1275 tries, 1274931810 fired transitions, 445 secs || 15233367 markings, 57526754 edges,
lola: 1289 tries, 1288316674 fired transitions, 450 secs || 15354417 markings, 58060132 edges,
lola: 1303 tries, 1302128320 fired transitions, 455 secs || 15488222 markings, 58667832 edges,
lola: 1316 tries, 1315356107 fired transitions, 460 secs || 15613745 markings, 59222144 edges,
lola: 1329 tries, 1328138340 fired transitions, 465 secs || 15758493 markings, 59716450 edges,
lola: 1342 tries, 1341171726 fired transitions, 470 secs || 15905066 markings, 60237812 edges,
lola: 1355 tries, 1354643473 fired transitions, 475 secs || 16034089 markings, 60711271 edges,
lola: 1369 tries, 1368810863 fired transitions, 480 secs || 16186723 markings, 61289919 edges,
lola: 1384 tries, 1383229704 fired transitions, 485 secs || 16338000 markings, 61832963 edges,
lola: 1397 tries, 1396517532 fired transitions, 490 secs || 16463501 markings, 62298602 edges,
lola: 1411 tries, 1410052643 fired transitions, 495 secs || 16599076 markings, 62811164 edges,
lola: 1423 tries, 1422687046 fired transitions, 500 secs || 16717524 markings, 63290838 edges,
lola: 1436 tries, 1435368983 fired transitions, 505 secs || 16836655 markings, 63750241 edges,
lola: 1448 tries, 1447599960 fired transitions, 510 secs || 16959263 markings, 64233416 edges,
lola: 1461 tries, 1460111934 fired transitions, 515 secs || 17091894 markings, 64698898 edges,
lola: 1473 tries, 1472865424 fired transitions, 520 secs || 17225953 markings, 65163378 edges,
lola: 1486 tries, 1485349903 fired transitions, 525 secs || 17354700 markings, 65618848 edges,
lola: 1499 tries, 1498365026 fired transitions, 530 secs || 17482123 markings, 66083126 edges,
lola: 1512 tries, 1511305536 fired transitions, 535 secs || 17605763 markings, 66518365 edges,
lola: 1524 tries, 1523820797 fired transitions, 540 secs || 17726390 markings, 67007308 edges,
lola: 1537 tries, 1536551371 fired transitions, 545 secs || 17849016 markings, 67512108 edges,
lola: 1550 tries, 1549073238 fired transitions, 550 secs || 17969363 markings, 68023492 edges,
lola: 1562 tries, 1561738010 fired transitions, 555 secs || 18090308 markings, 68478060 edges,
lola: 1576 tries, 1575196328 fired transitions, 560 secs || 18217381 markings, 68925372 edges,
lola: 1589 tries, 1588811291 fired transitions, 565 secs || 18376751 markings, 69478545 edges,
lola: 1602 tries, 1601857907 fired transitions, 570 secs || 18502392 markings, 69967380 edges,
lola: 1615 tries, 1614674921 fired transitions, 575 secs || 18630813 markings, 70446205 edges,
lola: 1628 tries, 1627429057 fired transitions, 580 secs || 18742211 markings, 70905506 edges,
lola: 1641 tries, 1640124586 fired transitions, 585 secs || 18860497 markings, 71366627 edges,
lola: 1654 tries, 1653083925 fired transitions, 590 secs || 18989816 markings, 71854262 edges,
lola: 1666 tries, 1665938237 fired transitions, 595 secs || 19106037 markings, 72357390 edges,
lola: 1679 tries, 1678566099 fired transitions, 600 secs || 19233457 markings, 72866345 edges,
lola: 1692 tries, 1691189140 fired transitions, 605 secs || 19350288 markings, 73359417 edges,
lola: 1705 tries, 1704471813 fired transitions, 610 secs || 19465152 markings, 73823528 edges,
lola: 1718 tries, 1717491840 fired transitions, 615 secs || 19584795 markings, 74270538 edges,
lola: 1731 tries, 1730272382 fired transitions, 620 secs || 19700875 markings, 74752940 edges,
lola: 1744 tries, 1743184236 fired transitions, 625 secs || 19816657 markings, 75256865 edges,
lola: 1757 tries, 1756257071 fired transitions, 630 secs || 19929767 markings, 75726749 edges,
lola: 1770 tries, 1769111367 fired transitions, 635 secs || 20042834 markings, 76186755 edges,
lola: 1783 tries, 1782131659 fired transitions, 640 secs || 20157564 markings, 76672469 edges,
lola: 1795 tries, 1794909263 fired transitions, 645 secs || 20274198 markings, 77154206 edges,
lola: 1808 tries, 1807607255 fired transitions, 650 secs || 20398131 markings, 77666580 edges,
lola: 1821 tries, 1820644307 fired transitions, 655 secs || 20516633 markings, 78178871 edges,
lola: 1834 tries, 1833509727 fired transitions, 660 secs || 20636027 markings, 78724246 edges,
lola: 1847 tries, 1846479561 fired transitions, 665 secs || 20754106 markings, 79227328 edges,
lola: 1860 tries, 1859846207 fired transitions, 670 secs || 20874715 markings, 79720187 edges,
lola: 1874 tries, 1873271232 fired transitions, 675 secs || 21000724 markings, 80211439 edges,
lola: 1887 tries, 1886371145 fired transitions, 680 secs || 21120128 markings, 80693737 edges,
lola: 1900 tries, 1899056421 fired transitions, 685 secs || 21244751 markings, 81175066 edges,
lola: 1913 tries, 1912198990 fired transitions, 690 secs || 21369786 markings, 81669618 edges,
lola: 1926 tries, 1925004681 fired transitions, 695 secs || 21495714 markings, 82162441 edges,
lola: 1938 tries, 1937513934 fired transitions, 700 secs || 21624874 markings, 82659368 edges,
lola: 1951 tries, 1950058855 fired transitions, 705 secs || 21753970 markings, 83177258 edges,
lola: 1963 tries, 1962595133 fired transitions, 710 secs || 21868842 markings, 83722810 edges,
lola: 1976 tries, 1975256141 fired transitions, 715 secs || 21985972 markings, 84198897 edges,
lola: 1989 tries, 1988807248 fired transitions, 720 secs || 22111059 markings, 84679941 edges,
lola: 2002 tries, 2001768647 fired transitions, 725 secs || 22229825 markings, 85150931 edges,
lola: 2015 tries, 2014346944 fired transitions, 730 secs || 22348293 markings, 85659246 edges,
lola: 2028 tries, 2027265228 fired transitions, 735 secs || 22462115 markings, 86162774 edges,
lola: 2040 tries, 2039684753 fired transitions, 740 secs || 22583124 markings, 86630564 edges,
lola: 2053 tries, 2052164381 fired transitions, 745 secs || 22702270 markings, 87121524 edges,
lola: 2065 tries, 2064774943 fired transitions, 750 secs || 22816970 markings, 87604792 edges,
lola: 2078 tries, 2077802469 fired transitions, 755 secs || 22922822 markings, 88074068 edges,
lola: 2091 tries, 2090849388 fired transitions, 760 secs || 23046463 markings, 88554331 edges,
lola: 2104 tries, 2103581618 fired transitions, 765 secs || 23164799 markings, 89057565 edges,
lola: 2117 tries, 2116284733 fired transitions, 770 secs || 23274980 markings, 89536581 edges,
lola: 2129 tries, 2128834540 fired transitions, 775 secs || 23380225 markings, 89974467 edges,
lola: 2143 tries, 2142160397 fired transitions, 780 secs || 23498976 markings, 90452007 edges,
lola: 2155 tries, 2154520963 fired transitions, 785 secs || 23620158 markings, 90929789 edges,
lola: 2167 tries, 2166996162 fired transitions, 790 secs || 23747604 markings, 91427567 edges,
lola: 2181 tries, 2180062415 fired transitions, 795 secs || 23872959 markings, 91922161 edges,
lola: 2194 tries, 2193137193 fired transitions, 800 secs || 23991631 markings, 92419191 edges,
lola: 2206 tries, 2205645282 fired transitions, 805 secs || 24110077 markings, 92925921 edges,
lola: 2219 tries, 2218769104 fired transitions, 810 secs || 24237892 markings, 93426020 edges,
lola: 2232 tries, 2231874598 fired transitions, 815 secs || 24372351 markings, 93996728 edges,
lola: 2246 tries, 2245286809 fired transitions, 820 secs || 24516636 markings, 94632866 edges,
lola: 2259 tries, 2258367205 fired transitions, 825 secs || 24642134 markings, 95104762 edges,
lola: 2272 tries, 2271087072 fired transitions, 830 secs || 24762720 markings, 95597108 edges,
lola: 2285 tries, 2284435136 fired transitions, 835 secs || 24893785 markings, 96159194 edges,
lola: 2297 tries, 2296995633 fired transitions, 840 secs || 25011102 markings, 96643706 edges,
lola: 2310 tries, 2309814998 fired transitions, 845 secs || 25129145 markings, 97143449 edges,
lola: 2323 tries, 2322439186 fired transitions, 850 secs || 25244076 markings, 97652635 edges,
lola: 2336 tries, 2335082862 fired transitions, 855 secs || 25356912 markings, 98145658 edges,
lola: 2348 tries, 2347975625 fired transitions, 860 secs || 25474231 markings, 98689425 edges,
lola: 2361 tries, 2360229243 fired transitions, 865 secs || 25601426 markings, 99172500 edges,
lola: 2373 tries, 2372769694 fired transitions, 870 secs || 25729157 markings, 99677824 edges,
lola: 2386 tries, 2385206531 fired transitions, 875 secs || 25856040 markings, 100182038 edges,
lola: 2398 tries, 2397919361 fired transitions, 880 secs || 25979853 markings, 100641534 edges,
lola: 2411 tries, 2410653202 fired transitions, 885 secs || 26106405 markings, 101106125 edges,
lola: 2423 tries, 2422401802 fired transitions, 890 secs || 26231951 markings, 101634356 edges,
lola: 2432 tries, 2431266322 fired transitions, 895 secs || 26372890 markings, 102203536 edges,
lola: 2440 tries, 2439850020 fired transitions, 900 secs || 26505756 markings, 102800329 edges,
lola: 2449 tries, 2448080445 fired transitions, 905 secs || 26635535 markings, 103373293 edges,
lola: 2457 tries, 2456333081 fired transitions, 910 secs || 26760203 markings, 103911221 edges,
lola: 2465 tries, 2464708651 fired transitions, 915 secs || 26880192 markings, 104453479 edges,
lola: 2473 tries, 2472965789 fired transitions, 920 secs || 27001564 markings, 104975568 edges,
lola: 2482 tries, 2481278225 fired transitions, 925 secs || 27121871 markings, 105539872 edges,
lola: 2490 tries, 2489563064 fired transitions, 930 secs || 27244967 markings, 106113530 edges,
lola: 2499 tries, 2498020415 fired transitions, 935 secs || 27372690 markings, 106681764 edges,
lola: 2507 tries, 2506263500 fired transitions, 940 secs || 27499631 markings, 107221308 edges,
lola: 2515 tries, 2514578217 fired transitions, 945 secs || 27616971 markings, 107712772 edges,
lola: 2523 tries, 2522730698 fired transitions, 950 secs || 27744144 markings, 108255307 edges,
lola: 2532 tries, 2531041026 fired transitions, 955 secs || 27870468 markings, 108807359 edges,
lola: 2540 tries, 2539746915 fired transitions, 960 secs || 28013692 markings, 109362342 edges,
lola: 2550 tries, 2549928924 fired transitions, 965 secs || 28156464 markings, 109947777 edges,
lola: 2563 tries, 2562210041 fired transitions, 970 secs || 28292072 markings, 110531646 edges,
lola: 2572 tries, 2571051479 fired transitions, 975 secs || 28427305 markings, 111128595 edges,
lola: 2580 tries, 2579882276 fired transitions, 980 secs || 28565501 markings, 111722579 edges,
lola: 2589 tries, 2588744454 fired transitions, 985 secs || 28689888 markings, 112244564 edges,
lola: 2598 tries, 2597562844 fired transitions, 990 secs || 28815625 markings, 112844736 edges,
lola: 2607 tries, 2606415885 fired transitions, 995 secs || 28952678 markings, 113447691 edges,
lola: 2616 tries, 2615189890 fired transitions, 1000 secs || 29085524 markings, 114029968 edges,
lola: 2625 tries, 2624023963 fired transitions, 1005 secs || 29214135 markings, 114643333 edges,
lola: 2633 tries, 2632803075 fired transitions, 1010 secs || 29345788 markings, 115241254 edges,
lola: 2642 tries, 2641652193 fired transitions, 1015 secs || 29479075 markings, 115878826 edges,
lola: 2651 tries, 2650484646 fired transitions, 1020 secs || 29608466 markings, 116482301 edges,
lola: 2660 tries, 2659329684 fired transitions, 1025 secs || 29729733 markings, 117038348 edges,
lola: 2669 tries, 2668175658 fired transitions, 1030 secs || 29853996 markings, 117598073 edges,
lola: 2677 tries, 2676987050 fired transitions, 1035 secs || 29982746 markings, 118114491 edges,
lola: 2686 tries, 2685822854 fired transitions, 1040 secs || 30108682 markings, 118632656 edges,
lola: 2695 tries, 2694667513 fired transitions, 1045 secs || 30235252 markings, 119153243 edges,
lola: 2704 tries, 2703514513 fired transitions, 1050 secs || 30358396 markings, 119745521 edges,
lola: 2715 tries, 2714416485 fired transitions, 1055 secs || 30475113 markings, 120292274 edges,
lola: 2728 tries, 2727312944 fired transitions, 1060 secs || 30585041 markings, 120845782 edges,
lola: 2741 tries, 2740736916 fired transitions, 1065 secs || 30696045 markings, 121377100 edges,
lola: 2754 tries, 2753424332 fired transitions, 1070 secs || 30806310 markings, 121845241 edges,
lola: 2767 tries, 2766188759 fired transitions, 1075 secs || 30916530 markings, 122326044 edges,
lola: 2780 tries, 2779306008 fired transitions, 1080 secs || 31028621 markings, 122810319 edges,
lola: 2793 tries, 2792352020 fired transitions, 1085 secs || 31137793 markings, 123301148 edges,
lola: 2806 tries, 2805667584 fired transitions, 1090 secs || 31251043 markings, 123782266 edges,
lola: 2819 tries, 2818424095 fired transitions, 1095 secs || 31364778 markings, 124286196 edges,
lola: 2832 tries, 2831206127 fired transitions, 1100 secs || 31476972 markings, 124822823 edges,
lola: 2844 tries, 2843873961 fired transitions, 1105 secs || 31589800 markings, 125351271 edges,
lola: 2857 tries, 2856328332 fired transitions, 1110 secs || 31711854 markings, 125904915 edges,
lola: 2870 tries, 2869231267 fired transitions, 1115 secs || 31826924 markings, 126451944 edges,
lola: 2883 tries, 2882122067 fired transitions, 1120 secs || 31939184 markings, 126984889 edges,
lola: 2896 tries, 2895032054 fired transitions, 1125 secs || 32055827 markings, 127523095 edges,
lola: 2910 tries, 2909304673 fired transitions, 1130 secs || 32195127 markings, 128166097 edges,
lola: 2923 tries, 2922739624 fired transitions, 1135 secs || 32329755 markings, 128798562 edges,
lola: 2937 tries, 2936943944 fired transitions, 1140 secs || 32490456 markings, 129517847 edges,
lola: 2950 tries, 2949992425 fired transitions, 1145 secs || 32605142 markings, 130036491 edges,
lola: 2963 tries, 2962816880 fired transitions, 1150 secs || 32723318 markings, 130565456 edges,
lola: 2976 tries, 2975938226 fired transitions, 1155 secs || 32840576 markings, 131092100 edges,
lola: 2990 tries, 2989515551 fired transitions, 1160 secs || 32956325 markings, 131596528 edges,
lola: 3003 tries, 3002671584 fired transitions, 1165 secs || 33077158 markings, 132106733 edges,
lola: 3017 tries, 3016573900 fired transitions, 1170 secs || 33229584 markings, 132742539 edges,
lola: 3030 tries, 3029809433 fired transitions, 1175 secs || 33352334 markings, 133284020 edges,
lola: 3044 tries, 3043137501 fired transitions, 1180 secs || 33480607 markings, 133795481 edges,
lola: 3057 tries, 3056371735 fired transitions, 1185 secs || 33603485 markings, 134322288 edges,
lola: 3069 tries, 3068991216 fired transitions, 1190 secs || 33721137 markings, 134839241 edges,
lola: 3082 tries, 3081520401 fired transitions, 1195 secs || 33836533 markings, 135386401 edges,
lola: 3095 tries, 3094495883 fired transitions, 1200 secs || 33950072 markings, 135903561 edges,
lola: 3108 tries, 3107211555 fired transitions, 1205 secs || 34065461 markings, 136443292 edges,
lola: 3121 tries, 3120186522 fired transitions, 1210 secs || 34184228 markings, 136930437 edges,
lola: 3134 tries, 3133478423 fired transitions, 1215 secs || 34306021 markings, 137432579 edges,
lola: 3147 tries, 3146196719 fired transitions, 1220 secs || 34423096 markings, 137926765 edges,
lola: 3159 tries, 3158658124 fired transitions, 1225 secs || 34542064 markings, 138460537 edges,
lola: 3172 tries, 3171264377 fired transitions, 1230 secs || 34655238 markings, 138983645 edges,
lola: 3185 tries, 3184200647 fired transitions, 1235 secs || 34773937 markings, 139454526 edges,
lola: 3198 tries, 3197114905 fired transitions, 1240 secs || 34889620 markings, 139935740 edges,
lola: 3210 tries, 3209841640 fired transitions, 1245 secs || 35006167 markings, 140498504 edges,
lola: 3223 tries, 3222655007 fired transitions, 1250 secs || 35121709 markings, 141033594 edges,
lola: 3236 tries, 3235509353 fired transitions, 1255 secs || 35235484 markings, 141545211 edges,
lola: 3249 tries, 3248345315 fired transitions, 1260 secs || 35352261 markings, 142077348 edges,
lola: 3262 tries, 3261470125 fired transitions, 1265 secs || 35469244 markings, 142611821 edges,
lola: 3275 tries, 3274862619 fired transitions, 1270 secs || 35583025 markings, 143102400 edges,
lola: 3288 tries, 3287857746 fired transitions, 1275 secs || 35687534 markings, 143587903 edges,
lola: 3301 tries, 3300751747 fired transitions, 1280 secs || 35791933 markings, 144053680 edges,
lola: 3315 tries, 3314035013 fired transitions, 1285 secs || 35900429 markings, 144559917 edges,
lola: 3328 tries, 3327083427 fired transitions, 1290 secs || 36021235 markings, 145065476 edges,
lola: 3341 tries, 3340172330 fired transitions, 1295 secs || 36138842 markings, 145630779 edges,
lola: 3353 tries, 3352167344 fired transitions, 1300 secs || 36254390 markings, 146164253 edges,
lola: 3362 tries, 3361002640 fired transitions, 1305 secs || 36377904 markings, 146750727 edges,
lola: 3370 tries, 3369858605 fired transitions, 1310 secs || 36489405 markings, 147242055 edges,
lola: 3379 tries, 3378682885 fired transitions, 1315 secs || 36606173 markings, 147738983 edges,
lola: 3388 tries, 3387510348 fired transitions, 1320 secs || 36719194 markings, 148231497 edges,
lola: 3397 tries, 3396985189 fired transitions, 1325 secs || 36846999 markings, 148748754 edges,
lola: 3410 tries, 3409958004 fired transitions, 1330 secs || 36963815 markings, 149219287 edges,
lola: 3423 tries, 3422933109 fired transitions, 1335 secs || 37079246 markings, 149684889 edges,
lola: 3436 tries, 3435827048 fired transitions, 1340 secs || 37196753 markings, 150200855 edges,
lola: 3449 tries, 3448850558 fired transitions, 1345 secs || 37317629 markings, 150698382 edges,
lola: 3462 tries, 3461388364 fired transitions, 1350 secs || 37440544 markings, 151201421 edges,
lola: 3475 tries, 3474112613 fired transitions, 1355 secs || 37560721 markings, 151705815 edges,
lola: 3488 tries, 3487742522 fired transitions, 1360 secs || 37704503 markings, 152347227 edges,
lola: 3501 tries, 3500686709 fired transitions, 1365 secs || 37824462 markings, 152851316 edges,
lola: 3514 tries, 3513221119 fired transitions, 1370 secs || 37942967 markings, 153352887 edges,
lola: 3524 tries, 3523277058 fired transitions, 1375 secs || 38082817 markings, 153940154 edges,
lola: 3537 tries, 3536621646 fired transitions, 1380 secs || 38199207 markings, 154439411 edges,
lola: 3547 tries, 3546001321 fired transitions, 1385 secs || 38330692 markings, 155022282 edges,
lola: 3559 tries, 3558895709 fired transitions, 1390 secs || 38451864 markings, 155587876 edges,
lola: 3573 tries, 3572280866 fired transitions, 1395 secs || 38568196 markings, 156105957 edges,
lola: 3586 tries, 3585878625 fired transitions, 1400 secs || 38704149 markings, 156730266 edges,
lola: 3600 tries, 3599100558 fired transitions, 1405 secs || 38827460 markings, 157237611 edges,
lola: 3613 tries, 3612482368 fired transitions, 1410 secs || 38966891 markings, 157834500 edges,
lola: 3626 tries, 3625373718 fired transitions, 1415 secs || 39080986 markings, 158332519 edges,
lola: 3640 tries, 3639009730 fired transitions, 1420 secs || 39221521 markings, 158939235 edges,
lola: 3653 tries, 3652096422 fired transitions, 1425 secs || 39355140 markings, 159514848 edges,
lola: 3666 tries, 3665152079 fired transitions, 1430 secs || 39470888 markings, 160037681 edges,
lola: 3679 tries, 3678668442 fired transitions, 1435 secs || 39609000 markings, 160659993 edges,
lola: 3692 tries, 3691733569 fired transitions, 1440 secs || 39718641 markings, 161217715 edges,
lola: 3705 tries, 3704226705 fired transitions, 1445 secs || 39831265 markings, 161748733 edges,
lola: 3720 tries, 3719634461 fired transitions, 1450 secs || 39975213 markings, 162413197 edges,
lola: 3731 tries, 3730820459 fired transitions, 1455 secs || 40100103 markings, 162906340 edges,
lola: 3740 tries, 3739860688 fired transitions, 1460 secs || 40231414 markings, 163480851 edges,
lola: 3750 tries, 3749130130 fired transitions, 1465 secs || 40363303 markings, 164066340 edges,
lola: 3758 tries, 3757984859 fired transitions, 1470 secs || 40493795 markings, 164680131 edges,
lola: 3767 tries, 3766825274 fired transitions, 1475 secs || 40626867 markings, 165267981 edges,
lola: 3776 tries, 3775782521 fired transitions, 1480 secs || 40767413 markings, 165874432 edges,
lola: 3788 tries, 3787646971 fired transitions, 1485 secs || 40883807 markings, 166389885 edges,
lola: 3797 tries, 3796420558 fired transitions, 1490 secs || 41015538 markings, 167008983 edges,
lola: 3809 tries, 3808115829 fired transitions, 1495 secs || 41133280 markings, 167548639 edges,
lola: 3819 tries, 3818888677 fired transitions, 1500 secs || 41246215 markings, 168079880 edges,
lola: 3828 tries, 3827717412 fired transitions, 1505 secs || 41367479 markings, 168670334 edges,
lola: 3837 tries, 3836522811 fired transitions, 1510 secs || 41495983 markings, 169223627 edges,
lola: 3846 tries, 3845341803 fired transitions, 1515 secs || 41625910 markings, 169774893 edges,
lola: 3855 tries, 3854134963 fired transitions, 1520 secs || 41752358 markings, 170350237 edges,
lola: 3863 tries, 3862923740 fired transitions, 1525 secs || 41879295 markings, 170942485 edges,
lola: 3872 tries, 3871722744 fired transitions, 1530 secs || 42009129 markings, 171554521 edges,
lola: 3881 tries, 3880564019 fired transitions, 1535 secs || 42136030 markings, 172158366 edges,
lola: 3890 tries, 3889394514 fired transitions, 1540 secs || 42270778 markings, 172776608 edges,
lola: 3899 tries, 3898212303 fired transitions, 1545 secs || 42401982 markings, 173371355 edges,
lola: 3908 tries, 3907024168 fired transitions, 1550 secs || 42532209 markings, 173987283 edges,
lola: 3916 tries, 3915838052 fired transitions, 1555 secs || 42665405 markings, 174591158 edges,
lola: 3925 tries, 3924657925 fired transitions, 1560 secs || 42794541 markings, 175208939 edges,
lola: 3934 tries, 3933442495 fired transitions, 1565 secs || 42924318 markings, 175821900 edges,
lola: 3943 tries, 3942268340 fired transitions, 1570 secs || 43055698 markings, 176457534 edges,
lola: 3953 tries, 3952964897 fired transitions, 1575 secs || 43171220 markings, 177013512 edges,
lola: 3965 tries, 3964920404 fired transitions, 1580 secs || 43276022 markings, 177522097 edges,
lola: 3977 tries, 3976412363 fired transitions, 1585 secs || 43386454 markings, 178030125 edges,
lola: 3989 tries, 3988088102 fired transitions, 1590 secs || 43496968 markings, 178546072 edges,
lola: 3999 tries, 3998150397 fired transitions, 1595 secs || 43621964 markings, 179126747 edges,
lola: 4008 tries, 4007153691 fired transitions, 1600 secs || 43756412 markings, 179754584 edges,
lola: 4017 tries, 4016168369 fired transitions, 1605 secs || 43882358 markings, 180362471 edges,
lola: 4026 tries, 4025171166 fired transitions, 1610 secs || 44022530 markings, 181017194 edges,
lola: 4035 tries, 4034245991 fired transitions, 1615 secs || 44168986 markings, 181635428 edges,
lola: 4044 tries, 4043409725 fired transitions, 1620 secs || 44318575 markings, 182266889 edges,
lola: 4053 tries, 4052335828 fired transitions, 1625 secs || 44463181 markings, 182882841 edges,
lola: 4062 tries, 4061214093 fired transitions, 1630 secs || 44590453 markings, 183527746 edges,
lola: 4071 tries, 4070038247 fired transitions, 1635 secs || 44721054 markings, 184133042 edges,
lola: 4079 tries, 4078918717 fired transitions, 1640 secs || 44858838 markings, 184708695 edges,
lola: 4088 tries, 4087827426 fired transitions, 1645 secs || 44992349 markings, 185335354 edges,
lola: 4097 tries, 4096641639 fired transitions, 1650 secs || 45125207 markings, 185958878 edges,
lola: 4106 tries, 4105628661 fired transitions, 1655 secs || 45264573 markings, 186555240 edges,
lola: 4116 tries, 4115389684 fired transitions, 1660 secs || 45388376 markings, 187137898 edges,
lola: 4127 tries, 4126543763 fired transitions, 1665 secs || 45502527 markings, 187668505 edges,
lola: 4139 tries, 4138143409 fired transitions, 1670 secs || 45619277 markings, 188151390 edges,
lola: 4148 tries, 4147061809 fired transitions, 1675 secs || 45755396 markings, 188743126 edges,
lola: 4157 tries, 4156052631 fired transitions, 1680 secs || 45888973 markings, 189341948 edges,
lola: 4166 tries, 4165058384 fired transitions, 1685 secs || 46027001 markings, 189963602 edges,
lola: 4175 tries, 4174085564 fired transitions, 1690 secs || 46164080 markings, 190610690 edges,
lola: 4184 tries, 4183100590 fired transitions, 1695 secs || 46294552 markings, 191218844 edges,
lola: 4193 tries, 4192110418 fired transitions, 1700 secs || 46429739 markings, 191818933 edges,
lola: 4202 tries, 4201676003 fired transitions, 1705 secs || 46561492 markings, 192406642 edges,
lola: 4211 tries, 4210677514 fired transitions, 1710 secs || 46691403 markings, 193000340 edges,
lola: 4220 tries, 4219669380 fired transitions, 1715 secs || 46823754 markings, 193603294 edges,
lola: 4229 tries, 4228575852 fired transitions, 1720 secs || 46957320 markings, 194242145 edges,
lola: 4238 tries, 4237351020 fired transitions, 1725 secs || 47088666 markings, 194868579 edges,
lola: 4247 tries, 4246210032 fired transitions, 1730 secs || 47213375 markings, 195499484 edges,
lola: 4257 tries, 4256245842 fired transitions, 1735 secs || 47342159 markings, 196056198 edges,
lola: 4268 tries, 4267581788 fired transitions, 1740 secs || 47453144 markings, 196549398 edges,
lola: 4280 tries, 4279032508 fired transitions, 1745 secs || 47565522 markings, 197048983 edges,
lola: 4291 tries, 4290723118 fired transitions, 1750 secs || 47676433 markings, 197558236 edges,
lola: 4302 tries, 4301988365 fired transitions, 1755 secs || 47789083 markings, 198047212 edges,
lola: 4314 tries, 4313380903 fired transitions, 1760 secs || 47903232 markings, 198553688 edges,
lola: 4326 tries, 4325251574 fired transitions, 1765 secs || 48010223 markings, 199091448 edges,
lola: 4337 tries, 4336619730 fired transitions, 1770 secs || 48118623 markings, 199603022 edges,
lola: 4349 tries, 4348138768 fired transitions, 1775 secs || 48224964 markings, 200154739 edges,
lola: 4360 tries, 4359831808 fired transitions, 1780 secs || 48332353 markings, 200701062 edges,
lola: 4372 tries, 4371344279 fired transitions, 1785 secs || 48443100 markings, 201235978 edges,
lola: 4381 tries, 4380309526 fired transitions, 1790 secs || 48568802 markings, 201870205 edges,
lola: 4390 tries, 4389245337 fired transitions, 1795 secs || 48697023 markings, 202487413 edges,
lola: 4399 tries, 4398143507 fired transitions, 1800 secs || 48824302 markings, 203154034 edges,
lola: 4407 tries, 4406971620 fired transitions, 1805 secs || 48953070 markings, 203807800 edges,
lola: 4416 tries, 4415811248 fired transitions, 1810 secs || 49080850 markings, 204420575 edges,
lola: 4425 tries, 4424667235 fired transitions, 1815 secs || 49211877 markings, 205021285 edges,
lola: 4434 tries, 4433520249 fired transitions, 1820 secs || 49340200 markings, 205594137 edges,
lola: 4443 tries, 4442348318 fired transitions, 1825 secs || 49467105 markings, 206181918 edges,
lola: 4452 tries, 4451672893 fired transitions, 1830 secs || 49588357 markings, 206756212 edges,
lola: 4464 tries, 4463280397 fired transitions, 1835 secs || 49694237 markings, 207280296 edges,
lola: 4475 tries, 4474939478 fired transitions, 1840 secs || 49800016 markings, 207808232 edges,
lola: 4487 tries, 4486266050 fired transitions, 1845 secs || 49908703 markings, 208327817 edges,
lola: 4498 tries, 4497461063 fired transitions, 1850 secs || 50014196 markings, 208846118 edges,
lola: 4510 tries, 4509030760 fired transitions, 1855 secs || 50118518 markings, 209366833 edges,
lola: 4521 tries, 4520824549 fired transitions, 1860 secs || 50226000 markings, 209899309 edges,
lola: 4533 tries, 4532155519 fired transitions, 1865 secs || 50335242 markings, 210418206 edges,
lola: 4544 tries, 4543700603 fired transitions, 1870 secs || 50440219 markings, 210911997 edges,
lola: 4556 tries, 4555422916 fired transitions, 1875 secs || 50543533 markings, 211459673 edges,
lola: 4568 tries, 4567220153 fired transitions, 1880 secs || 50652250 markings, 212001181 edges,
lola: 4577 tries, 4576117072 fired transitions, 1885 secs || 50776059 markings, 212625301 edges,
lola: 4585 tries, 4584977629 fired transitions, 1890 secs || 50896961 markings, 213211748 edges,
lola: 4594 tries, 4593818664 fired transitions, 1895 secs || 51014970 markings, 213795589 edges,
lola: 4603 tries, 4602611268 fired transitions, 1900 secs || 51132314 markings, 214396798 edges,
lola: 4612 tries, 4611657861 fired transitions, 1905 secs || 51244109 markings, 214981759 edges,
lola: 4621 tries, 4620118649 fired transitions, 1910 secs || 51359657 markings, 215548279 edges,
lola: 4632 tries, 4631806573 fired transitions, 1915 secs || 51467101 markings, 216034102 edges,
lola: 4644 tries, 4643350563 fired transitions, 1920 secs || 51571885 markings, 216513464 edges,
lola: 4655 tries, 4654941201 fired transitions, 1925 secs || 51673440 markings, 216995865 edges,
lola: 4667 tries, 4666789199 fired transitions, 1930 secs || 51778193 markings, 217502859 edges,
lola: 4679 tries, 4678702791 fired transitions, 1935 secs || 51881182 markings, 218023784 edges,
lola: 4691 tries, 4690250455 fired transitions, 1940 secs || 51983403 markings, 218560579 edges,
lola: 4700 tries, 4699440301 fired transitions, 1945 secs || 52104228 markings, 219162550 edges,
lola: 4709 tries, 4708254945 fired transitions, 1950 secs || 52223484 markings, 219779048 edges,
lola: 4717 tries, 4716777560 fired transitions, 1955 secs || 52336464 markings, 220362578 edges,
lola: 4726 tries, 4725093211 fired transitions, 1960 secs || 52455290 markings, 220981647 edges,
lola: 4734 tries, 4733530337 fired transitions, 1965 secs || 52574969 markings, 221559395 edges,
lola: 4742 tries, 4741888214 fired transitions, 1970 secs || 52697311 markings, 222165948 edges,
lola: 4751 tries, 4750299521 fired transitions, 1975 secs || 52818225 markings, 222776228 edges,
lola: 4759 tries, 4758601134 fired transitions, 1980 secs || 52936987 markings, 223355297 edges,
lola: 4768 tries, 4767042189 fired transitions, 1985 secs || 53056995 markings, 223963628 edges,
lola: 4778 tries, 4777322135 fired transitions, 1990 secs || 53166115 markings, 224516046 edges,
lola: 4789 tries, 4788739631 fired transitions, 1995 secs || 53274725 markings, 225057468 edges,
lola: 4799 tries, 4798013662 fired transitions, 2000 secs || 53395362 markings, 225697241 edges,
lola: 4810 tries, 4809392508 fired transitions, 2005 secs || 53508377 markings, 226281393 edges,
lola: 4821 tries, 4820861780 fired transitions, 2010 secs || 53614770 markings, 226821633 edges,
lola: 4833 tries, 4832667686 fired transitions, 2015 secs || 53718099 markings, 227380925 edges,
lola: 4845 tries, 4844301057 fired transitions, 2020 secs || 53825087 markings, 227922011 edges,
lola: 4857 tries, 4856112657 fired transitions, 2025 secs || 53934434 markings, 228471774 edges,
lola: 4868 tries, 4867813910 fired transitions, 2030 secs || 54038435 markings, 229026490 edges,
lola: 4880 tries, 4879561703 fired transitions, 2035 secs || 54138565 markings, 229545353 edges,
lola: 4892 tries, 4891534542 fired transitions, 2040 secs || 54240760 markings, 230041793 edges,
lola: 4902 tries, 4901754926 fired transitions, 2045 secs || 54363633 markings, 230627296 edges,
lola: 4913 tries, 4912148987 fired transitions, 2050 secs || 54474646 markings, 231167979 edges,
lola: 4924 tries, 4923768405 fired transitions, 2055 secs || 54579030 markings, 231683226 edges,
lola: 4936 tries, 4935497078 fired transitions, 2060 secs || 54685889 markings, 232207733 edges,
lola: 4947 tries, 4946597796 fired transitions, 2065 secs || 54791920 markings, 232735578 edges,
lola: 4958 tries, 4957963568 fired transitions, 2070 secs || 54896788 markings, 233273335 edges,
lola: 4970 tries, 4969451763 fired transitions, 2075 secs || 55000541 markings, 233794091 edges,
lola: 4982 tries, 4981432503 fired transitions, 2080 secs || 55101291 markings, 234309756 edges,
lola: 4993 tries, 4992826342 fired transitions, 2085 secs || 55212050 markings, 234830834 edges,
lola: 5004 tries, 5003188465 fired transitions, 2090 secs || 55331555 markings, 235443336 edges,
lola: 5013 tries, 5012219812 fired transitions, 2095 secs || 55472270 markings, 236092452 edges,
lola: 5022 tries, 5021261515 fired transitions, 2100 secs || 55617377 markings, 236728937 edges,
lola: 5031 tries, 5030286148 fired transitions, 2105 secs || 55764240 markings, 237368764 edges,
lola: 5040 tries, 5039282458 fired transitions, 2110 secs || 55897262 markings, 238029080 edges,
lola: 5049 tries, 5048241300 fired transitions, 2115 secs || 56025805 markings, 238676897 edges,
lola: 5058 tries, 5057167652 fired transitions, 2120 secs || 56152563 markings, 239324229 edges,
lola: 5067 tries, 5066126000 fired transitions, 2125 secs || 56289507 markings, 239918437 edges,
lola: 5078 tries, 5077893933 fired transitions, 2130 secs || 56408296 markings, 240446555 edges,
lola: 5090 tries, 5089009751 fired transitions, 2135 secs || 56516897 markings, 240993582 edges,
lola: 5101 tries, 5100279232 fired transitions, 2140 secs || 56625956 markings, 241501027 edges,
lola: 5112 tries, 5111689917 fired transitions, 2145 secs || 56738419 markings, 242005314 edges,
lola: 5123 tries, 5122110323 fired transitions, 2150 secs || 56854912 markings, 242553854 edges,
lola: 5132 tries, 5131062037 fired transitions, 2155 secs || 56981987 markings, 243187183 edges,
lola: 5141 tries, 5140775770 fired transitions, 2160 secs || 57098863 markings, 243770301 edges,
lola: 5153 tries, 5152550401 fired transitions, 2165 secs || 57198303 markings, 244236283 edges,
lola: 5165 tries, 5164073531 fired transitions, 2170 secs || 57304787 markings, 244735924 edges,
lola: 5176 tries, 5175447954 fired transitions, 2175 secs || 57415624 markings, 245269338 edges,
lola: 5187 tries, 5186866997 fired transitions, 2180 secs || 57528575 markings, 245740790 edges,
lola: 5198 tries, 5197921673 fired transitions, 2185 secs || 57643964 markings, 246254984 edges,
lola: 5210 tries, 5209307471 fired transitions, 2190 secs || 57756474 markings, 246759218 edges,
lola: 5221 tries, 5220693831 fired transitions, 2195 secs || 57868645 markings, 247274901 edges,
lola: 5233 tries, 5232053695 fired transitions, 2200 secs || 57980975 markings, 247793569 edges,
lola: 5244 tries, 5243395071 fired transitions, 2205 secs || 58092736 markings, 248297732 edges,
lola: 5255 tries, 5254846098 fired transitions, 2210 secs || 58204613 markings, 248818972 edges,
lola: 5267 tries, 5266440375 fired transitions, 2215 secs || 58316579 markings, 249336744 edges,
lola: 5278 tries, 5277982877 fired transitions, 2220 secs || 58428238 markings, 249860511 edges,
lola: 5290 tries, 5289586649 fired transitions, 2225 secs || 58536864 markings, 250378500 edges,
lola: 5301 tries, 5300819106 fired transitions, 2230 secs || 58644319 markings, 250892136 edges,
lola: 5313 tries, 5312065924 fired transitions, 2235 secs || 58756524 markings, 251436827 edges,
lola: 5324 tries, 5323557443 fired transitions, 2240 secs || 58867362 markings, 251961476 edges,
lola: 5336 tries, 5335252635 fired transitions, 2245 secs || 58974767 markings, 252496618 edges,
lola: 5347 tries, 5346527102 fired transitions, 2250 secs || 59084200 markings, 253033108 edges,
lola: 5358 tries, 5357866082 fired transitions, 2255 secs || 59197726 markings, 253533243 edges,
lola: 5370 tries, 5369228434 fired transitions, 2260 secs || 59309461 markings, 254044890 edges,
lola: 5381 tries, 5380507780 fired transitions, 2265 secs || 59423103 markings, 254552448 edges,
lola: 5392 tries, 5391896646 fired transitions, 2270 secs || 59537081 markings, 255064305 edges,
lola: 5404 tries, 5403239077 fired transitions, 2275 secs || 59648519 markings, 255584704 edges,
lola: 5415 tries, 5414760030 fired transitions, 2280 secs || 59758420 markings, 256096781 edges,
lola: 5427 tries, 5426380118 fired transitions, 2285 secs || 59866794 markings, 256601666 edges,
lola: 5439 tries, 5438242263 fired transitions, 2290 secs || 59973227 markings, 257152994 edges,
lola: 5450 tries, 5449874410 fired transitions, 2295 secs || 60079798 markings, 257690951 edges,
lola: 5462 tries, 5461233101 fired transitions, 2300 secs || 60185574 markings, 258224378 edges,
lola: 5473 tries, 5472629020 fired transitions, 2305 secs || 60292684 markings, 258772575 edges,
lola: 5485 tries, 5484278911 fired transitions, 2310 secs || 60401695 markings, 259287467 edges,
lola: 5496 tries, 5495962984 fired transitions, 2315 secs || 60509067 markings, 259817583 edges,
lola: 5508 tries, 5507396842 fired transitions, 2320 secs || 60619776 markings, 260322546 edges,
lola: 5518 tries, 5517032997 fired transitions, 2325 secs || 60743286 markings, 260863985 edges,
lola: 5527 tries, 5526029285 fired transitions, 2330 secs || 60870155 markings, 261475997 edges,
lola: 5536 tries, 5535053127 fired transitions, 2335 secs || 60994119 markings, 262072820 edges,
lola: 5545 tries, 5544062129 fired transitions, 2340 secs || 61119625 markings, 262683596 edges,
lola: 5554 tries, 5553032107 fired transitions, 2345 secs || 61242509 markings, 263300395 edges,
lola: 5562 tries, 5561874079 fired transitions, 2350 secs || 61364991 markings, 263942366 edges,
lola: 5571 tries, 5570718741 fired transitions, 2355 secs || 61491872 markings, 264553921 edges,
lola: 5580 tries, 5579569389 fired transitions, 2360 secs || 61615609 markings, 265167482 edges,
lola: 5589 tries, 5588713215 fired transitions, 2365 secs || 61742270 markings, 265768808 edges,
lola: 5598 tries, 5597555942 fired transitions, 2370 secs || 61862576 markings, 266372664 edges,
lola: 5609 tries, 5608954827 fired transitions, 2375 secs || 61972528 markings, 266968251 edges,
lola: 5621 tries, 5620252027 fired transitions, 2380 secs || 62081993 markings, 267506945 edges,
lola: 5632 tries, 5631659701 fired transitions, 2385 secs || 62190206 markings, 268053345 edges,
lola: 5644 tries, 5643759317 fired transitions, 2390 secs || 62293145 markings, 268574118 edges,
lola: 5656 tries, 5655359986 fired transitions, 2395 secs || 62395522 markings, 269104607 edges,
lola: 5668 tries, 5667372265 fired transitions, 2400 secs || 62498276 markings, 269631405 edges,
lola: 5680 tries, 5679174281 fired transitions, 2405 secs || 62601184 markings, 270160235 edges,
lola: 5692 tries, 5691254416 fired transitions, 2410 secs || 62703201 markings, 270697943 edges,
lola: 5703 tries, 5702794393 fired transitions, 2415 secs || 62810741 markings, 271192968 edges,
lola: 5715 tries, 5714300008 fired transitions, 2420 secs || 62916676 markings, 271691861 edges,
lola: 5726 tries, 5725868055 fired transitions, 2425 secs || 63021300 markings, 272196166 edges,
lola: 5738 tries, 5737618030 fired transitions, 2430 secs || 63125227 markings, 272708950 edges,
lola: 5750 tries, 5749567554 fired transitions, 2435 secs || 63228682 markings, 273221360 edges,
lola: 5762 tries, 5761272047 fired transitions, 2440 secs || 63332537 markings, 273744886 edges,
lola: 5773 tries, 5772891914 fired transitions, 2445 secs || 63435980 markings, 274289909 edges,
lola: 5785 tries, 5784107672 fired transitions, 2450 secs || 63544136 markings, 274836634 edges,
lola: 5794 tries, 5793042385 fired transitions, 2455 secs || 63661828 markings, 275460259 edges,
lola: 5803 tries, 5802008806 fired transitions, 2460 secs || 63785458 markings, 276103898 edges,
lola: 5811 tries, 5810922095 fired transitions, 2465 secs || 63915329 markings, 276735384 edges,
lola: 5821 tries, 5820777641 fired transitions, 2470 secs || 64038931 markings, 277346867 edges,
lola: 5833 tries, 5832402882 fired transitions, 2475 secs || 64145707 markings, 277873962 edges,
lola: 5845 tries, 5844525757 fired transitions, 2480 secs || 64255415 markings, 278368082 edges,
lola: 5857 tries, 5856073623 fired transitions, 2485 secs || 64366014 markings, 278941558 edges,
lola: 5868 tries, 5867675597 fired transitions, 2490 secs || 64471904 markings, 279485742 edges,
lola: 5878 tries, 5877335017 fired transitions, 2495 secs || 64590545 markings, 280073520 edges,
lola: 5888 tries, 5887753550 fired transitions, 2500 secs || 64710567 markings, 280658255 edges,
lola: 5899 tries, 5898017484 fired transitions, 2505 secs || 64822483 markings, 281251104 edges,
lola: 5910 tries, 5909713419 fired transitions, 2510 secs || 64929546 markings, 281784836 edges,
lola: 5922 tries, 5921314700 fired transitions, 2515 secs || 65035528 markings, 282329905 edges,
lola: 5934 tries, 5933162604 fired transitions, 2520 secs || 65138203 markings, 282898739 edges,
lola: 5945 tries, 5944728831 fired transitions, 2525 secs || 65245287 markings, 283452050 edges,
lola: 5957 tries, 5956331286 fired transitions, 2530 secs || 65351383 markings, 283979568 edges,
lola: 5969 tries, 5968023702 fired transitions, 2535 secs || 65456531 markings, 284534389 edges,
lola: 5980 tries, 5979850907 fired transitions, 2540 secs || 65556961 markings, 285075307 edges,
lola: 5992 tries, 5991680825 fired transitions, 2545 secs || 65657562 markings, 285590856 edges,
lola: 6004 tries, 6003352185 fired transitions, 2550 secs || 65767068 markings, 286137731 edges,
lola: 6015 tries, 6014897044 fired transitions, 2555 secs || 65873424 markings, 286677359 edges,
lola: 6027 tries, 6026432688 fired transitions, 2560 secs || 65980404 markings, 287227858 edges,
lola: 6038 tries, 6037916622 fired transitions, 2565 secs || 66090730 markings, 287783248 edges,
lola: 6050 tries, 6049681814 fired transitions, 2570 secs || 66195636 markings, 288331104 edges,
lola: 6060 tries, 6059528776 fired transitions, 2575 secs || 66315182 markings, 288954984 edges,
lola: 6069 tries, 6068460409 fired transitions, 2580 secs || 66428207 markings, 289547555 edges,
lola: 6078 tries, 6077201696 fired transitions, 2585 secs || 66561525 markings, 290177199 edges,
lola: 6086 tries, 6085721534 fired transitions, 2590 secs || 66687986 markings, 290824938 edges,
lola: 6095 tries, 6094107681 fired transitions, 2595 secs || 66821740 markings, 291425554 edges,
lola: 6103 tries, 6102908188 fired transitions, 2600 secs || 66964349 markings, 292058282 edges,
lola: 6112 tries, 6111824054 fired transitions, 2605 secs || 67106837 markings, 292703573 edges,
lola: 6121 tries, 6120683737 fired transitions, 2610 secs || 67235330 markings, 293339013 edges,
lola: 6130 tries, 6129538526 fired transitions, 2615 secs || 67362182 markings, 293955706 edges,
lola: 6139 tries, 6138379543 fired transitions, 2620 secs || 67488779 markings, 294584434 edges,
lola: 6148 tries, 6147211051 fired transitions, 2625 secs || 67618368 markings, 295209237 edges,
lola: 6157 tries, 6156064543 fired transitions, 2630 secs || 67752738 markings, 295813951 edges,
lola: 6165 tries, 6164959961 fired transitions, 2635 secs || 67884274 markings, 296468270 edges,
lola: 6174 tries, 6173847015 fired transitions, 2640 secs || 68013859 markings, 297100089 edges,
lola: 6183 tries, 6182760671 fired transitions, 2645 secs || 68148691 markings, 297721872 edges,
lola: 6192 tries, 6191460295 fired transitions, 2650 secs || 68277677 markings, 298341844 edges,
lola: 6201 tries, 6200354093 fired transitions, 2655 secs || 68401966 markings, 298949494 edges,
lola: 6210 tries, 6209299568 fired transitions, 2660 secs || 68526011 markings, 299558475 edges,
lola: 6219 tries, 6218188090 fired transitions, 2665 secs || 68665492 markings, 300213337 edges,
lola: 6228 tries, 6227139540 fired transitions, 2670 secs || 68798061 markings, 300788436 edges,
lola: 6237 tries, 6236061155 fired transitions, 2675 secs || 68928125 markings, 301384878 edges,
lola: 6245 tries, 6244964568 fired transitions, 2680 secs || 69055371 markings, 302009793 edges,
lola: 6254 tries, 6253852346 fired transitions, 2685 secs || 69182043 markings, 302628485 edges,
lola: 6263 tries, 6262763480 fired transitions, 2690 secs || 69306746 markings, 303249092 edges,
lola: 6272 tries, 6271698303 fired transitions, 2695 secs || 69432316 markings, 303892653 edges,
lola: 6281 tries, 6280659135 fired transitions, 2700 secs || 69561159 markings, 304533224 edges,
lola: 6290 tries, 6289623928 fired transitions, 2705 secs || 69691901 markings, 305175039 edges,
lola: 6299 tries, 6298521750 fired transitions, 2710 secs || 69824082 markings, 305830696 edges,
lola: 6308 tries, 6307378476 fired transitions, 2715 secs || 69951724 markings, 306458685 edges,
lola: 6317 tries, 6316230523 fired transitions, 2720 secs || 70074246 markings, 307076158 edges,
lola: 6326 tries, 6325078250 fired transitions, 2725 secs || 70198556 markings, 307728385 edges,
lola: 6334 tries, 6333988680 fired transitions, 2730 secs || 70324360 markings, 308338782 edges,
lola: 6343 tries, 6342934605 fired transitions, 2735 secs || 70448592 markings, 308979952 edges,
lola: 6352 tries, 6351866227 fired transitions, 2740 secs || 70569281 markings, 309608920 edges,
lola: 6361 tries, 6360733527 fired transitions, 2745 secs || 70688906 markings, 310235269 edges,
lola: 6370 tries, 6369570253 fired transitions, 2750 secs || 70813017 markings, 310848649 edges,
lola: 6379 tries, 6378487945 fired transitions, 2755 secs || 70941632 markings, 311457048 edges,
lola: 6388 tries, 6387335363 fired transitions, 2760 secs || 71066311 markings, 312114269 edges,
lola: 6397 tries, 6396959710 fired transitions, 2765 secs || 71189881 markings, 312732409 edges,
lola: 6406 tries, 6405886211 fired transitions, 2770 secs || 71320363 markings, 313411459 edges,
lola: 6416 tries, 6415332725 fired transitions, 2775 secs || 71438370 markings, 314029279 edges,
lola: 6425 tries, 6424081623 fired transitions, 2780 secs || 71555965 markings, 314651796 edges,
lola: 6433 tries, 6432887976 fired transitions, 2785 secs || 71680972 markings, 315325532 edges,
lola: 6442 tries, 6441370756 fired transitions, 2790 secs || 71805851 markings, 315942477 edges,
lola: 6450 tries, 6449814380 fired transitions, 2795 secs || 71924464 markings, 316561307 edges,
lola: 6459 tries, 6458205010 fired transitions, 2800 secs || 72048565 markings, 317169248 edges,
lola: 6467 tries, 6466816638 fired transitions, 2805 secs || 72172843 markings, 317798251 edges,
lola: 6476 tries, 6475235722 fired transitions, 2810 secs || 72298796 markings, 318415115 edges,
lola: 6484 tries, 6483728916 fired transitions, 2815 secs || 72426077 markings, 319019328 edges,
lola: 6493 tries, 6492227112 fired transitions, 2820 secs || 72556820 markings, 319600396 edges,
lola: 6501 tries, 6500754058 fired transitions, 2825 secs || 72684655 markings, 320219918 edges,
lola: 6510 tries, 6509246473 fired transitions, 2830 secs || 72812281 markings, 320843843 edges,
lola: 6518 tries, 6517753768 fired transitions, 2835 secs || 72936062 markings, 321478507 edges,
lola: 6527 tries, 6526348427 fired transitions, 2840 secs || 73062645 markings, 322127198 edges,
lola: 6535 tries, 6534909860 fired transitions, 2845 secs || 73186652 markings, 322770714 edges,
lola: 6544 tries, 6543386316 fired transitions, 2850 secs || 73310288 markings, 323401828 edges,
lola: 6552 tries, 6551944736 fired transitions, 2855 secs || 73434399 markings, 324063155 edges,
lola: 6561 tries, 6560494770 fired transitions, 2860 secs || 73560016 markings, 324721026 edges,
lola: 6570 tries, 6569116797 fired transitions, 2865 secs || 73687130 markings, 325381487 edges,
lola: 6578 tries, 6577767891 fired transitions, 2870 secs || 73809144 markings, 326012155 edges,
lola: 6587 tries, 6586340229 fired transitions, 2875 secs || 73923254 markings, 326637333 edges,
lola: 6595 tries, 6594960154 fired transitions, 2880 secs || 74035755 markings, 327262603 edges,
lola: 6604 tries, 6603448682 fired transitions, 2885 secs || 74146701 markings, 327878142 edges,
lola: 6613 tries, 6612004985 fired transitions, 2890 secs || 74264715 markings, 328484996 edges,
lola: 6621 tries, 6620582203 fired transitions, 2895 secs || 74382838 markings, 329102488 edges,
lola: 6630 tries, 6629052483 fired transitions, 2900 secs || 74501507 markings, 329736610 edges,
lola: 6638 tries, 6637434306 fired transitions, 2905 secs || 74620248 markings, 330380076 edges,
lola: 6646 tries, 6645946311 fired transitions, 2910 secs || 74742515 markings, 330982575 edges,
lola: 6655 tries, 6654339045 fired transitions, 2915 secs || 74861645 markings, 331541875 edges,
lola: 6663 tries, 6662825509 fired transitions, 2920 secs || 74982156 markings, 332166843 edges,
lola: 6672 tries, 6671619856 fired transitions, 2925 secs || 75106614 markings, 332814980 edges,
lola: 6681 tries, 6680579363 fired transitions, 2930 secs || 75228532 markings, 333461803 edges,
lola: 6692 tries, 6691377457 fired transitions, 2935 secs || 75337919 markings, 334017577 edges,
lola: 6703 tries, 6702595877 fired transitions, 2940 secs || 75446727 markings, 334516754 edges,
lola: 6714 tries, 6713687112 fired transitions, 2945 secs || 75553359 markings, 335024630 edges,
lola: 6725 tries, 6724709688 fired transitions, 2950 secs || 75662753 markings, 335579203 edges,
lola: 6736 tries, 6735757827 fired transitions, 2955 secs || 75771020 markings, 336082556 edges,
lola: 6748 tries, 6747354634 fired transitions, 2960 secs || 75873729 markings, 336605235 edges,
lola: 6760 tries, 6759319840 fired transitions, 2965 secs || 75973089 markings, 337120104 edges,
lola: 6771 tries, 6770853366 fired transitions, 2970 secs || 76074891 markings, 337655665 edges,
lola: 6783 tries, 6782764213 fired transitions, 2975 secs || 76175637 markings, 338177617 edges,
lola: 6795 tries, 6794711897 fired transitions, 2980 secs || 76275622 markings, 338704062 edges,
lola: 6807 tries, 6806302858 fired transitions, 2985 secs || 76378063 markings, 339234813 edges,
lola: 6818 tries, 6817232076 fired transitions, 2990 secs || 76484211 markings, 339797034 edges,
lola: 6828 tries, 6827214357 fired transitions, 2995 secs || 76593439 markings, 340368338 edges,
lola: 6839 tries, 6838848587 fired transitions, 3000 secs || 76694724 markings, 340914444 edges,
lola: 6851 tries, 6850389037 fired transitions, 3005 secs || 76796987 markings, 341437620 edges,
lola: 6862 tries, 6861897210 fired transitions, 3010 secs || 76895155 markings, 342001938 edges,
lola: 6874 tries, 6873159580 fired transitions, 3015 secs || 76997875 markings, 342573207 edges,
lola: 6885 tries, 6884755931 fired transitions, 3020 secs || 77100773 markings, 343120775 edges,
lola: 6897 tries, 6896206460 fired transitions, 3025 secs || 77204747 markings, 343673103 edges,
lola: 6908 tries, 6907628569 fired transitions, 3030 secs || 77308854 markings, 344226054 edges,
lola: 6920 tries, 6919030964 fired transitions, 3035 secs || 77406295 markings, 344755302 edges,
lola: 6931 tries, 6930862952 fired transitions, 3040 secs || 77509921 markings, 345298067 edges,
lola: 6943 tries, 6942181478 fired transitions, 3045 secs || 77614676 markings, 345848915 edges,
lola: 6954 tries, 6953352255 fired transitions, 3050 secs || 77714205 markings, 346380041 edges,
lola: 6966 tries, 6965001329 fired transitions, 3055 secs || 77809006 markings, 346889239 edges,
lola: 6976 tries, 6975540751 fired transitions, 3060 secs || 77913535 markings, 347494652 edges,
lola: 6985 tries, 6984440112 fired transitions, 3065 secs || 78029013 markings, 348165083 edges,
lola: 6994 tries, 6993264484 fired transitions, 3070 secs || 78150274 markings, 348829134 edges,
lola: 7003 tries, 7002175064 fired transitions, 3075 secs || 78271986 markings, 349504849 edges,
lola: 7012 tries, 7011098573 fired transitions, 3080 secs || 78389258 markings, 350135814 edges,
lola: 7020 tries, 7019963925 fired transitions, 3085 secs || 78504831 markings, 350751923 edges,
lola: 7029 tries, 7028771570 fired transitions, 3090 secs || 78619297 markings, 351382387 edges,
lola: 7038 tries, 7037595209 fired transitions, 3095 secs || 78733610 markings, 352000189 edges,
lola: 7047 tries, 7046499316 fired transitions, 3100 secs || 78847146 markings, 352622146 edges,
lola: 7056 tries, 7055347720 fired transitions, 3105 secs || 78962892 markings, 353232996 edges,
lola: 7065 tries, 7064186727 fired transitions, 3110 secs || 79076910 markings, 353850648 edges,
lola: 7074 tries, 7073096419 fired transitions, 3115 secs || 79191149 markings, 354465451 edges,
lola: 7083 tries, 7082005234 fired transitions, 3120 secs || 79305938 markings, 355105544 edges,
lola: 7091 tries, 7090891920 fired transitions, 3125 secs || 79425099 markings, 355708902 edges,
lola: 7100 tries, 7099848660 fired transitions, 3130 secs || 79543741 markings, 356303092 edges,
lola: 7109 tries, 7108754747 fired transitions, 3135 secs || 79660639 markings, 356900533 edges,
lola: 7118 tries, 7117666053 fired transitions, 3140 secs || 79779334 markings, 357511650 edges,
lola: 7127 tries, 7126495157 fired transitions, 3145 secs || 79896471 markings, 358108308 edges,
lola: 7136 tries, 7135366477 fired transitions, 3150 secs || 80009354 markings, 358709802 edges,
lola: 7145 tries, 7144198332 fired transitions, 3155 secs || 80123485 markings, 359316613 edges,
lola: 7154 tries, 7153040081 fired transitions, 3160 secs || 80238309 markings, 359920968 edges,
lola: 7162 tries, 7161880966 fired transitions, 3165 secs || 80352839 markings, 360535139 edges,
lola: 7171 tries, 7170669242 fired transitions, 3170 secs || 80467029 markings, 361145711 edges,
lola: 7180 tries, 7179502703 fired transitions, 3175 secs || 80580687 markings, 361770826 edges,
lola: 7189 tries, 7188334109 fired transitions, 3180 secs || 80696303 markings, 362397905 edges,
lola: 7198 tries, 7197162605 fired transitions, 3185 secs || 80809563 markings, 363065314 edges,
lola: 7207 tries, 7206018316 fired transitions, 3190 secs || 80924624 markings, 363726791 edges,
lola: 7218 tries, 7217424112 fired transitions, 3195 secs || 81024541 markings, 364292065 edges,
lola: 7230 tries, 7229505273 fired transitions, 3200 secs || 81120791 markings, 364812463 edges,
lola: 7242 tries, 7241593745 fired transitions, 3205 secs || 81214452 markings, 365312059 edges,
lola: 7254 tries, 7253126423 fired transitions, 3210 secs || 81313863 markings, 365848559 edges,
lola: 7266 tries, 7265161272 fired transitions, 3215 secs || 81408820 markings, 366364692 edges,
lola: 7277 tries, 7276621209 fired transitions, 3220 secs || 81509318 markings, 366858878 edges,
lola: 7288 tries, 7287918890 fired transitions, 3225 secs || 81612519 markings, 367412719 edges,
lola: 7300 tries, 7299702885 fired transitions, 3230 secs || 81713887 markings, 367928985 edges,
lola: 7311 tries, 7310821221 fired transitions, 3235 secs || 81818816 markings, 368497017 edges,
lola: 7323 tries, 7322257781 fired transitions, 3240 secs || 81923248 markings, 369039528 edges,
lola: 7334 tries, 7333940943 fired transitions, 3245 secs || 82027733 markings, 369592205 edges,
lola: 7346 tries, 7345428026 fired transitions, 3250 secs || 82131878 markings, 370112024 edges,
lola: 7357 tries, 7356773960 fired transitions, 3255 secs || 82235132 markings, 370684572 edges,
lola: 7369 tries, 7368579473 fired transitions, 3260 secs || 82339839 markings, 371252942 edges,
lola: 7381 tries, 7380621531 fired transitions, 3265 secs || 82442685 markings, 371834703 edges,
lola: 7393 tries, 7392478544 fired transitions, 3270 secs || 82549871 markings, 372410347 edges,
lola: 7404 tries, 7403963775 fired transitions, 3275 secs || 82658977 markings, 372981111 edges,
lola: 7414 tries, 7413637253 fired transitions, 3280 secs || 82776456 markings, 373657536 edges,
lola: 7425 tries, 7424347849 fired transitions, 3285 secs || 82887171 markings, 374288504 edges,
lola: 7437 tries, 7436397050 fired transitions, 3290 secs || 82992580 markings, 374867601 edges,
lola: 7448 tries, 7447905704 fired transitions, 3295 secs || 83098431 markings, 375429327 edges,
lola: 7460 tries, 7459479055 fired transitions, 3300 secs || 83198886 markings, 376005257 edges,
lola: 7472 tries, 7471194332 fired transitions, 3305 secs || 83299931 markings, 376609083 edges,
lola: 7483 tries, 7482989279 fired transitions, 3310 secs || 83405830 markings, 377201256 edges,
lola: 7495 tries, 7494797437 fired transitions, 3315 secs || 83511301 markings, 377765384 edges,
lola: 7507 tries, 7506486955 fired transitions, 3320 secs || 83615447 markings, 378349163 edges,
lola: 7519 tries, 7518180342 fired transitions, 3325 secs || 83723059 markings, 378909997 edges,
lola: 7530 tries, 7529749723 fired transitions, 3330 secs || 83828022 markings, 379499587 edges,
lola: 7542 tries, 7541193545 fired transitions, 3335 secs || 83927661 markings, 380065194 edges,
lola: 7553 tries, 7552658402 fired transitions, 3340 secs || 84025470 markings, 380622744 edges,
lola: 7565 tries, 7564236460 fired transitions, 3345 secs || 84124786 markings, 381173076 edges,
lola: 7576 tries, 7575994396 fired transitions, 3350 secs || 84225059 markings, 381693107 edges,
lola: 7587 tries, 7586583267 fired transitions, 3355 secs || 84328666 markings, 382247742 edges,
lola: 7596 tries, 7595440749 fired transitions, 3360 secs || 84453736 markings, 382888573 edges,
lola: 7605 tries, 7604263502 fired transitions, 3365 secs || 84578972 markings, 383521170 edges,
lola: 7614 tries, 7613078458 fired transitions, 3370 secs || 84693998 markings, 384120485 edges,
lola: 7622 tries, 7621921510 fired transitions, 3375 secs || 84818197 markings, 384804900 edges,
lola: 7631 tries, 7630737276 fired transitions, 3380 secs || 84939739 markings, 385409216 edges,
lola: 7640 tries, 7639590424 fired transitions, 3385 secs || 85060004 markings, 386034806 edges,
lola: 7649 tries, 7648409024 fired transitions, 3390 secs || 85183270 markings, 386679620 edges,
lola: 7658 tries, 7657266062 fired transitions, 3395 secs || 85307652 markings, 387354542 edges,
lola: 7667 tries, 7666229329 fired transitions, 3400 secs || 85427416 markings, 388039509 edges,
lola: 7676 tries, 7675230157 fired transitions, 3405 secs || 85554324 markings, 388739151 edges,
lola: 7685 tries, 7684163684 fired transitions, 3410 secs || 85665309 markings, 389332322 edges,
lola: 7694 tries, 7693139450 fired transitions, 3415 secs || 85779139 markings, 389942187 edges,
lola: 7703 tries, 7702155922 fired transitions, 3420 secs || 85891118 markings, 390540116 edges,
lola: 7712 tries, 7711010675 fired transitions, 3425 secs || 86008191 markings, 391147266 edges,
lola: 7721 tries, 7720026097 fired transitions, 3430 secs || 86144652 markings, 391830780 edges,
lola: 7730 tries, 7729014263 fired transitions, 3435 secs || 86278172 markings, 392550956 edges,
lola: 7739 tries, 7738001668 fired transitions, 3440 secs || 86410741 markings, 393276779 edges,
lola: 7747 tries, 7746951119 fired transitions, 3445 secs || 86551393 markings, 393932021 edges,
lola: 7756 tries, 7755895750 fired transitions, 3450 secs || 86694291 markings, 394586786 edges,
lola: 7765 tries, 7764811166 fired transitions, 3455 secs || 86834140 markings, 395239471 edges,
lola: 7774 tries, 7773692757 fired transitions, 3460 secs || 86963547 markings, 395911938 edges,
lola: 7783 tries, 7782576904 fired transitions, 3465 secs || 87092129 markings, 396555322 edges,
lola: 7792 tries, 7791488388 fired transitions, 3470 secs || 87219648 markings, 397188497 edges,
lola: 7801 tries, 7800316332 fired transitions, 3475 secs || 87347060 markings, 397843965 edges,
lola: 7810 tries, 7809141655 fired transitions, 3480 secs || 87473013 markings, 398480237 edges,
lola: 7818 tries, 7817929451 fired transitions, 3485 secs || 87598094 markings, 399112257 edges,
lola: 7829 tries, 7828942066 fired transitions, 3490 secs || 87709605 markings, 399672928 edges,
lola: 7841 tries, 7840258133 fired transitions, 3495 secs || 87821854 markings, 400206955 edges,
lola: 7852 tries, 7851729651 fired transitions, 3500 secs || 87932361 markings, 400739348 edges,
lola: 7862 tries, 7861534707 fired transitions, 3505 secs || 88054840 markings, 401376546 edges,
lola: 7873 tries, 7872267249 fired transitions, 3510 secs || 88170038 markings, 401936264 edges,
lola: 7885 tries, 7884008355 fired transitions, 3515 secs || 88280686 markings, 402466841 edges,
lola: 7896 tries, 7895404385 fired transitions, 3520 secs || 88390292 markings, 403010091 edges,
lola: 7907 tries, 7906967589 fired transitions, 3525 secs || 88495017 markings, 403551324 edges,
lola: 7919 tries, 7918529856 fired transitions, 3530 secs || 88601360 markings, 404102939 edges,
lola: 7931 tries, 7930068243 fired transitions, 3535 secs || 88707718 markings, 404642868 edges,
lola: 7942 tries, 7941741355 fired transitions, 3540 secs || 88812559 markings, 405184429 edges,
lola: 7954 tries, 7953100565 fired transitions, 3545 secs || 88918140 markings, 405715146 edges,
lola: 7965 tries, 7964255631 fired transitions, 3550 secs || 89026482 markings, 406227453 edges,
lola: 7976 tries, 7975613497 fired transitions, 3555 secs || 89135006 markings, 406743651 edges,
lola: 7988 tries, 7987041483 fired transitions, 3560 secs || 89238977 markings, 407249912 edges,
lola: time limit reached - aborting
lola: memory consumption: 3160280 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
lola: caught signal User defined signal 2 - aborting LoLA
lola: memory consumption: 3163844 KB
lola: time consumption: 3574 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished

BK_STOP 1552479787949

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

grep: GenericPropertiesVerdict.xml: No such file or directory
grep: GenericPropertiesVerdict.xml: No such file or directory
/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 tarjan) jan) 63580 markings/sec, 0 secs 57711 markings/sec, 5 secs 42995 markings/sec, 10 secs 24811 markings/sec, 15 secs 26334 markings/sec, 20 secs 59660 markings/sec, 25 secs 54649 markings/sec, 30 secs 56488 markings/sec, 35 secs 54650 markings/sec, 40 secs 63670 markings/sec, 45 secs 57713 markings/sec, 50 secs 57216 markings/sec, 55 secs 52488 markings/sec, 60 secs 51158 markings/sec, 65 secs 51666 markings/sec, 70 secs 52417 markings/sec, 75 secs 53473 markings/sec, 80 secs 56284 markings/sec, 85 secs 55156 markings/sec, 90 secs 54053 markings/sec, 95 secs 52841 markings/sec, 100 secs 51863 markings/sec, 105 secs 51499 markings/sec, 110 secs 31832 markings/sec, 115 secs 51473 markings/sec, 120 secs 55930 markings/sec, 125 secs 54615 markings/sec, 130 secs 51035 markings/sec, 135 secs 54372 markings/sec, 140 secs 31328 markings/sec, 145 secs 23428 markings/sec, 150 secs 27036 markings/sec, 155 secs 27664 markings/sec, 160 secs 24605 markings/sec, 165 secs 24243 markings/sec, 170 secs 23345 markings/sec, 175 secs 22643 markings/sec, 180 secs 21300 markings/sec, 185 secs 24620 markings/sec, 190 secs 24604 markings/sec, 195 secs 24980 markings/sec, 200 secs 24690 markings/sec, 205 secs 23105 markings/sec, 210 secs 23269 markings/sec, 215 secs 25344 markings/sec, 220 secs 26917 markings/sec, 225 secs 26448 markings/sec, 230 secs 25502 markings/sec, 235 secs 25617 markings/sec, 240 secs 24898 markings/sec, 245 secs 24175 markings/sec, 250 secs 22459 markings/sec, 255 secs 25434 markings/sec, 260 secs 24066 markings/sec, 265 secs 23873 markings/sec, 270 secs 24096 markings/sec, 275 secs 23846 markings/sec, 280 secs 22465 markings/sec, 285 secs 22992 markings/sec, 290 secs 23092 markings/sec, 295 secs 22957 markings/sec, 300 secs 23291 markings/sec, 305 secs 34787 markings/sec, 310 secs 48203 markings/sec, 315 secs 28600 markings/sec, 320 secs 23996 markings/sec, 325 secs 25415 markings/sec, 330 secs 24817 markings/sec, 335 secs 25227 markings/sec, 340 secs 22904 markings/sec, 345 secs 22957 markings/sec, 350 secs 24956 markings/sec, 355 secs 25279 markings/sec, 360 secs 25060 markings/sec, 365 secs 24672 markings/sec, 370 secs 25472 markings/sec, 375 secs 25503 markings/sec, 380 secs 25894 markings/sec, 385 secs 25583 markings/sec, 390 secs 23237 markings/sec, 395 secs 24565 markings/sec, 400 secs 24740 markings/sec, 405 secs 23897 markings/sec, 410 secs 33212 markings/sec, 415 secs 24266 markings/sec, 420 secs 24212 markings/sec, 425 secs 23272 markings/sec, 430 secs 25219 markings/sec, 435 secs 24908 markings/sec, 440 secs 25857 markings/sec, 445 secs 24210 markings/sec, 450 secs 26761 markings/sec, 455 secs 25105 markings/sec, 460 secs 28950 markings/sec, 465 secs 29315 markings/sec, 470 secs 25805 markings/sec, 475 secs 30527 markings/sec, 480 secs 30255 markings/sec, 485 secs 25100 markings/sec, 490 secs 27115 markings/sec, 495 secs 23690 markings/sec, 500 secs 23826 markings/sec, 505 secs 24522 markings/sec, 510 secs 26526 markings/sec, 515 secs 26812 markings/sec, 520 secs 25749 markings/sec, 525 secs 25485 markings/sec, 530 secs 24728 markings/sec, 535 secs 24125 markings/sec, 540 secs 24525 markings/sec, 545 secs 24069 markings/sec, 550 secs 24189 markings/sec, 555 secs 25415 markings/sec, 560 secs 31874 markings/sec, 565 secs 25128 markings/sec, 570 secs 25684 markings/sec, 575 secs 22280 markings/sec, 580 secs 23657 markings/sec, 585 secs 25864 markings/sec, 590 secs 23244 markings/sec, 595 secs 25484 markings/sec, 600 secs 23366 markings/sec, 605 secs 22973 markings/sec, 610 secs 23929 markings/sec, 615 secs 23216 markings/sec, 620 secs 23156 markings/sec, 625 secs 22622 markings/sec, 630 secs 22613 markings/sec, 635 secs 22946 markings/sec, 640 secs 23327 markings/sec, 645 secs 24787 markings/sec, 650 secs 23700 markings/sec, 655 secs 23879 markings/sec, 660 secs 23616 markings/sec, 665 secs 24122 markings/sec, 670 secs 25202 markings/sec, 675 secs 23881 markings/sec, 680 secs 24925 markings/sec, 685 secs 25007 markings/sec, 690 secs 25186 markings/sec, 695 secs 25832 markings/sec, 700 secs 25819 markings/sec, 705 secs 22974 markings/sec, 710 secs 23426 markings/sec, 715 secs 25017 markings/sec, 720 secs 23753 markings/sec, 725 secs 23694 markings/sec, 730 secs 22764 markings/sec, 735 secs 24202 markings/sec, 740 secs 23829 markings/sec, 745 secs 22940 markings/sec, 750 secs 21170 markings/sec, 755 secs 24728 markings/sec, 760 secs 23667 markings/sec, 765 secs 22036 markings/sec, 770 secs 21049 markings/sec, 775 secs 23750 markings/sec, 780 secs 24236 markings/sec, 785 secs 25489 markings/sec, 790 secs 25071 markings/sec, 795 secs 23734 markings/sec, 800 secs 23689 markings/sec, 805 secs 25563 markings/sec, 810 secs 26892 markings/sec, 815 secs 28857 markings/sec, 820 secs 25100 markings/sec, 825 secs 24117 markings/sec, 830 secs 26213 markings/sec, 835 secs 23463 markings/sec, 840 secs 23609 markings/sec, 845 secs 22986 markings/sec, 850 secs 22567 markings/sec, 855 secs 23464 markings/sec, 860 secs 25439 markings/sec, 865 secs 25546 markings/sec, 870 secs 25377 markings/sec, 875 secs 24763 markings/sec, 880 secs 25310 markings/sec, 885 secs 25109 markings/sec, 890 secs 28188 markings/sec, 895 secs 26573 markings/sec, 900 secs 25956 markings/sec, 905 secs 24934 markings/sec, 910 secs 23998 markings/sec, 915 secs 24274 markings/sec, 920 secs 24061 markings/sec, 925 secs 24619 markings/sec, 930 secs 25545 markings/sec, 935 secs 25388 markings/sec, 940 secs 23468 markings/sec, 945 secs 25435 markings/sec, 950 secs 25265 markings/sec, 955 secs 28645 markings/sec, 960 secs 28554 markings/sec, 965 secs 27122 markings/sec, 970 secs 27047 markings/sec, 975 secs 27639 markings/sec, 980 secs 24877 markings/sec, 985 secs 25147 markings/sec, 990 secs 27411 markings/sec, 995 secs 26569 markings/sec, 1000 secs 25722 markings/sec, 1005 secs 26331 markings/sec, 1010 secs 26657 markings/sec, 1015 secs 25878 markings/sec, 1020 secs 24253 markings/sec, 1025 secs 24853 markings/sec, 1030 secs 25750 markings/sec, 1035 secs 25187 markings/sec, 1040 secs 25314 markings/sec, 1045 secs 24629 markings/sec, 1050 secs 23343 markings/sec, 1055 secs 21986 markings/sec, 1060 secs 22201 markings/sec, 1065 secs 22053 markings/sec, 1070 secs 22044 markings/sec, 1075 secs 22418 markings/sec, 1080 secs 21834 markings/sec, 1085 secs 22650 markings/sec, 1090 secs 22747 markings/sec, 1095 secs 22439 markings/sec, 1100 secs 22566 markings/sec, 1105 secs 24411 markings/sec, 1110 secs 23014 markings/sec, 1115 secs 22452 markings/sec, 1120 secs 23329 markings/sec, 1125 secs 27860 markings/sec, 1130 secs 26926 markings/sec, 1135 secs 32140 markings/sec, 1140 secs 22937 markings/sec, 1145 secs 23635 markings/sec, 1150 secs 23452 markings/sec, 1155 secs 23150 markings/sec, 1160 secs 24167 markings/sec, 1165 secs 30485 markings/sec, 1170 secs 24550 markings/sec, 1175 secs 25655 markings/sec, 1180 secs 24576 markings/sec, 1185 secs 23530 markings/sec, 1190 secs 23079 markings/sec, 1195 secs 22708 markings/sec, 1200 secs 23078 markings/sec, 1205 secs 23753 markings/sec, 1210 secs 24359 markings/sec, 1215 secs 23415 markings/sec, 1220 secs 23794 markings/sec, 1225 secs 22635 markings/sec, 1230 secs 23740 markings/sec, 1235 secs 23137 markings/sec, 1240 secs 23309 markings/sec, 1245 secs 23108 markings/sec, 1250 secs 22755 markings/sec, 1255 secs 23355 markings/sec, 1260 secs 23397 markings/sec, 1265 secs 22756 markings/sec, 1270 secs 20902 markings/sec, 1275 secs 20880 markings/sec, 1280 secs 21699 markings/sec, 1285 secs 24161 markings/sec, 1290 secs 23521 markings/sec, 1295 secs 23110 markings/sec, 1300 secs 24703 markings/sec, 1305 secs 22300 markings/sec, 1310 secs 23354 markings/sec, 1315 secs 22604 markings/sec, 1320 secs 25561 markings/sec, 1325 secs 23363 markings/sec, 1330 secs 23086 markings/sec, 1335 secs 23501 markings/sec, 1340 secs 24175 markings/sec, 1345 secs 24583 markings/sec, 1350 secs 24035 markings/sec, 1355 secs 28756 markings/sec, 1360 secs 23992 markings/sec, 1365 secs 23701 markings/sec, 1370 secs 27970 markings/sec, 1375 secs 23278 markings/sec, 1380 secs 26297 markings/sec, 1385 secs 24234 markings/sec, 1390 secs 23266 markings/sec, 1395 secs 27191 markings/sec, 1400 secs 24662 markings/sec, 1405 secs 27886 markings/sec, 1410 secs 22819 markings/sec, 1415 secs 28107 markings/sec, 1420 secs 26724 markings/sec, 1425 secs 23150 markings/sec, 1430 secs 27622 markings/sec, 1435 secs 21928 markings/sec, 1440 secs 22525 markings/sec, 1445 secs 28790 markings/sec, 1450 secs 24978 markings/sec, 1455 secs 26262 markings/sec, 1460 secs 26378 markings/sec, 1465 secs 26098 markings/sec, 1470 secs 26614 markings/sec, 1475 secs 28109 markings/sec, 1480 secs 23279 markings/sec, 1485 secs 26346 markings/sec, 1490 secs 23548 markings/sec, 1495 secs 22587 markings/sec, 1500 secs 24253 markings/sec, 1505 secs 25701 markings/sec, 1510 secs 25985 markings/sec, 1515 secs 25290 markings/sec, 1520 secs 25387 markings/sec, 1525 secs 25967 markings/sec, 1530 secs 25380 markings/sec, 1535 secs 26950 markings/sec, 1540 secs 26241 markings/sec, 1545 secs 26045 markings/sec, 1550 secs 26639 markings/sec, 1555 secs 25827 markings/sec, 1560 secs 25955 markings/sec, 1565 secs 26276 markings/sec, 1570 secs 23104 markings/sec, 1575 secs 20960 markings/sec, 1580 secs 22086 markings/sec, 1585 secs 22103 markings/sec, 1590 secs 24999 markings/sec, 1595 secs 26890 markings/sec, 1600 secs 25189 markings/sec, 1605 secs 28034 markings/sec, 1610 secs 29291 markings/sec, 1615 secs 29918 markings/sec, 1620 secs 28921 markings/sec, 1625 secs 25454 markings/sec, 1630 secs 26120 markings/sec, 1635 secs 27557 markings/sec, 1640 secs 26702 markings/sec, 1645 secs 26572 markings/sec, 1650 secs 27873 markings/sec, 1655 secs 24761 markings/sec, 1660 secs 22830 markings/sec, 1665 secs 23350 markings/sec, 1670 secs 27224 markings/sec, 1675 secs 26715 markings/sec, 1680 secs 27606 markings/sec, 1685 secs 27416 markings/sec, 1690 secs 26094 markings/sec, 1695 secs 27037 markings/sec, 1700 secs 26351 markings/sec, 1705 secs 25982 markings/sec, 1710 secs 26470 markings/sec, 1715 secs 26713 markings/sec, 1720 secs 26269 markings/sec, 1725 secs 24942 markings/sec, 1730 secs 25757 markings/sec, 1735 secs 22197 markings/sec, 1740 secs 22476 markings/sec, 1745 secs 22182 markings/sec, 1750 secs 22530 markings/sec, 1755 secs 22830 markings/sec, 1760 secs 21398 markings/sec, 1765 secs 21680 markings/sec, 1770 secs 21268 markings/sec, 1775 secs 21478 markings/sec, 1780 secs 22149 markings/sec, 1785 secs 25140 markings/sec, 1790 secs 25644 markings/sec, 1795 secs 25456 markings/sec, 1800 secs 25754 markings/sec, 1805 secs 25556 markings/sec, 1810 secs 26205 markings/sec, 1815 secs 25665 markings/sec, 1820 secs 25381 markings/sec, 1825 secs 24250 markings/sec, 1830 secs 21176 markings/sec, 1835 secs 21156 markings/sec, 1840 secs 21737 markings/sec, 1845 secs 21099 markings/sec, 1850 secs 20864 markings/sec, 1855 secs 21496 markings/sec, 1860 secs 21848 markings/sec, 1865 secs 20995 markings/sec, 1870 secs 20663 markings/sec, 1875 secs 21743 markings/sec, 1880 secs 24762 markings/sec, 1885 secs 24180 markings/sec, 1890 secs 23602 markings/sec, 1895 secs 23469 markings/sec, 1900 secs 22359 markings/sec, 1905 secs 23110 markings/sec, 1910 secs 21489 markings/sec, 1915 secs 20957 markings/sec, 1920 secs 20311 markings/sec, 1925 secs 20951 markings/sec, 1930 secs 20598 markings/sec, 1935 secs 20444 markings/sec, 1940 secs 24165 markings/sec, 1945 secs 23851 markings/sec, 1950 secs 22596 markings/sec, 1955 secs 23765 markings/sec, 1960 secs 23936 markings/sec, 1965 secs 24468 markings/sec, 1970 secs 24183 markings/sec, 1975 secs 23752 markings/sec, 1980 secs 24002 markings/sec, 1985 secs 21824 markings/sec, 1990 secs 21722 markings/sec, 1995 secs 24127 markings/sec, 2000 secs 22603 markings/sec, 2005 secs 21279 markings/sec, 2010 secs 20666 markings/sec, 2015 secs 21398 markings/sec, 2020 secs 21869 markings/sec, 2025 secs 20800 markings/sec, 2030 secs 20026 markings/sec, 2035 secs 20439 markings/sec, 2040 secs 24575 markings/sec, 2045 secs 22203 markings/sec, 2050 secs 20877 markings/sec, 2055 secs 21372 markings/sec, 2060 secs 21206 markings/sec, 2065 secs 20974 markings/sec, 2070 secs 20751 markings/sec, 2075 secs 20150 markings/sec, 2080 secs 22152 markings/sec, 2085 secs 23901 markings/sec, 2090 secs 28143 markings/sec, 2095 secs 29021 markings/sec, 2100 secs 29373 markings/sec, 2105 secs 26604 markings/sec, 2110 secs 25709 markings/sec, 2115 secs 25352 markings/sec, 2120 secs 27389 markings/sec, 2125 secs 23758 markings/sec, 2130 secs 21720 markings/sec, 2135 secs 21812 markings/sec, 2140 secs 22493 markings/sec, 2145 secs 23299 markings/sec, 2150 secs 25415 markings/sec, 2155 secs 23375 markings/sec, 2160 secs 19888 markings/sec, 2165 secs 21297 markings/sec, 2170 secs 22167 markings/sec, 2175 secs 22590 markings/sec, 2180 secs 23078 markings/sec, 2185 secs 22502 markings/sec, 2190 secs 22434 markings/sec, 2195 secs 22466 markings/sec, 2200 secs 22352 markings/sec, 2205 secs 22375 markings/sec, 2210 secs 22393 markings/sec, 2215 secs 22332 markings/sec, 2220 secs 21725 markings/sec, 2225 secs 21491 markings/sec, 2230 secs 22441 markings/sec, 2235 secs 22168 markings/sec, 2240 secs 21481 markings/sec, 2245 secs 21887 markings/sec, 2250 secs 22705 markings/sec, 2255 secs 22347 markings/sec, 2260 secs 22728 markings/sec, 2265 secs 22796 markings/sec, 2270 secs 22288 markings/sec, 2275 secs 21980 markings/sec, 2280 secs 21675 markings/sec, 2285 secs 21287 markings/sec, 2290 secs 21314 markings/sec, 2295 secs 21155 markings/sec, 2300 secs 21422 markings/sec, 2305 secs 21802 markings/sec, 2310 secs 21474 markings/sec, 2315 secs 22142 markings/sec, 2320 secs 24702 markings/sec, 2325 secs 25374 markings/sec, 2330 secs 24793 markings/sec, 2335 secs 25101 markings/sec, 2340 secs 24577 markings/sec, 2345 secs 24496 markings/sec, 2350 secs 25376 markings/sec, 2355 secs 24747 markings/sec, 2360 secs 25332 markings/sec, 2365 secs 24061 markings/sec, 2370 secs 21990 markings/sec, 2375 secs 21893 markings/sec, 2380 secs 21643 markings/sec, 2385 secs 20588 markings/sec, 2390 secs 20475 markings/sec, 2395 secs 20551 markings/sec, 2400 secs 20582 markings/sec, 2405 secs 20403 markings/sec, 2410 secs 21508 markings/sec, 2415 secs 21187 markings/sec, 2420 secs 20925 markings/sec, 2425 secs 20785 markings/sec, 2430 secs 20691 markings/sec, 2435 secs 20771 markings/sec, 2440 secs 20689 markings/sec, 2445 secs 21631 markings/sec, 2450 secs 23538 markings/sec, 2455 secs 24726 markings/sec, 2460 secs 25974 markings/sec, 2465 secs 24720 markings/sec, 2470 secs 21355 markings/sec, 2475 secs 21942 markings/sec, 2480 secs 22120 markings/sec, 2485 secs 21178 markings/sec, 2490 secs 23728 markings/sec, 2495 secs 24004 markings/sec, 2500 secs 22383 markings/sec, 2505 secs 21413 markings/sec, 2510 secs 21196 markings/sec, 2515 secs 20535 markings/sec, 2520 secs 21417 markings/sec, 2525 secs 21219 markings/sec, 2530 secs 21030 markings/sec, 2535 secs 20086 markings/sec, 2540 secs 20120 markings/sec, 2545 secs 21901 markings/sec, 2550 secs 21271 markings/sec, 2555 secs 21396 markings/sec, 2560 secs 22065 markings/sec, 2565 secs 20981 markings/sec, 2570 secs 23909 markings/sec, 2575 secs 22605 markings/sec, 2580 secs 26664 markings/sec, 2585 secs 25292 markings/sec, 2590 secs 26751 markings/sec, 2595 secs 28522 markings/sec, 2600 secs 28498 markings/sec, 2605 secs 25699 markings/sec, 2610 secs 25370 markings/sec, 2615 secs 25319 markings/sec, 2620 secs 25918 markings/sec, 2625 secs 26874 markings/sec, 2630 secs 26307 markings/sec, 2635 secs 25917 markings/sec, 2640 secs 26966 markings/sec, 2645 secs 25797 markings/sec, 2650 secs 24858 markings/sec, 2655 secs 24809 markings/sec, 2660 secs 27896 markings/sec, 2665 secs 26514 markings/sec, 2670 secs 26013 markings/sec, 2675 secs 25449 markings/sec, 2680 secs 25334 markings/sec, 2685 secs 24941 markings/sec, 2690 secs 25114 markings/sec, 2695 secs 25769 markings/sec, 2700 secs 26148 markings/sec, 2705 secs 26436 markings/sec, 2710 secs 25528 markings/sec, 2715 secs 24504 markings/sec, 2720 secs 24862 markings/sec, 2725 secs 25161 markings/sec, 2730 secs 24846 markings/sec, 2735 secs 24138 markings/sec, 2740 secs 23925 markings/sec, 2745 secs 24822 markings/sec, 2750 secs 25723 markings/sec, 2755 secs 24936 markings/sec, 2760 secs 24714 markings/sec, 2765 secs 26096 markings/sec, 2770 secs 23601 markings/sec, 2775 secs 23519 markings/sec, 2780 secs 25001 markings/sec, 2785 secs 24976 markings/sec, 2790 secs 23723 markings/sec, 2795 secs 24820 markings/sec, 2800 secs 24856 markings/sec, 2805 secs 25191 markings/sec, 2810 secs 25456 markings/sec, 2815 secs 26149 markings/sec, 2820 secs 25567 markings/sec, 2825 secs 25525 markings/sec, 2830 secs 24756 markings/sec, 2835 secs 25317 markings/sec, 2840 secs 24801 markings/sec, 2845 secs 24727 markings/sec, 2850 secs 24822 markings/sec, 2855 secs 25123 markings/sec, 2860 secs 25423 markings/sec, 2865 secs 24403 markings/sec, 2870 secs 22822 markings/sec, 2875 secs 22500 markings/sec, 2880 secs 22189 markings/sec, 2885 secs 23603 markings/sec, 2890 secs 23625 markings/sec, 2895 secs 23734 markings/sec, 2900 secs 23748 markings/sec, 2905 secs 24453 markings/sec, 2910 secs 23826 markings/sec, 2915 secs 24102 markings/sec, 2920 secs 24892 markings/sec, 2925 secs 24384 markings/sec, 2930 secs 21877 markings/sec, 2935 secs 21762 markings/sec, 2940 secs 21326 markings/sec, 2945 secs 21879 markings/sec, 2950 secs 21653 markings/sec, 2955 secs 20542 markings/sec, 2960 secs 19872 markings/sec, 2965 secs 20360 markings/sec, 2970 secs 20149 markings/sec, 2975 secs 19997 markings/sec, 2980 secs 20488 markings/sec, 2985 secs 21230 markings/sec, 2990 secs 21846 markings/sec, 2995 secs 20257 markings/sec, 3000 secs 20453 markings/sec, 3005 secs 19634 markings/sec, 3010 secs 20544 markings/sec, 3015 secs 20580 markings/sec, 3020 secs 20795 markings/sec, 3025 secs 20821 markings/sec, 3030 secs 19488 markings/sec, 3035 secs 20725 markings/sec, 3040 secs 20951 markings/sec, 3045 secs 19906 markings/sec, 3050 secs 18960 markings/sec, 3055 secs 20906 markings/sec, 3060 secs 23096 markings/sec, 3065 secs 24252 markings/sec, 3070 secs 24342 markings/sec, 3075 secs 23454 markings/sec, 3080 secs 23115 markings/sec, 3085 secs 22893 markings/sec, 3090 secs 22863 markings/sec, 3095 secs 22707 markings/sec, 3100 secs 23149 markings/sec, 3105 secs 22804 markings/sec, 3110 secs 22848 markings/sec, 3115 secs 22958 markings/sec, 3120 secs 23832 markings/sec, 3125 secs 23728 markings/sec, 3130 secs 23380 markings/sec, 3135 secs 23739 markings/sec, 3140 secs 23427 markings/sec, 3145 secs 22577 markings/sec, 3150 secs 22826 markings/sec, 3155 secs 22965 markings/sec, 3160 secs 22906 markings/sec, 3165 secs 22838 markings/sec, 3170 secs 22732 markings/sec, 3175 secs 23123 markings/sec, 3180 secs 22652 markings/sec, 3185 secs 23012 markings/sec, 3190 secs 19983 markings/sec, 3195 secs 19250 markings/sec, 3200 secs 18732 markings/sec, 3205 secs 19882 markings/sec, 3210 secs 18991 markings/sec, 3215 secs 20100 markings/sec, 3220 secs 20640 markings/sec, 3225 secs 20274 markings/sec, 3230 secs 20986 markings/sec, 3235 secs 20886 markings/sec, 3240 secs 20897 markings/sec, 3245 secs 20829 markings/sec, 3250 secs 20651 markings/sec, 3255 secs 20941 markings/sec, 3260 secs 20569 markings/sec, 3265 secs 21437 markings/sec, 3270 secs 21821 markings/sec, 3275 secs 23496 markings/sec, 3280 secs 22143 markings/sec, 3285 secs 21082 markings/sec, 3290 secs 21170 markings/sec, 3295 secs 20091 markings/sec, 3300 secs 20209 markings/sec, 3305 secs 21180 markings/sec, 3310 secs 21094 markings/sec, 3315 secs 20829 markings/sec, 3320 secs 21522 markings/sec, 3325 secs 20993 markings/sec, 3330 secs 19928 markings/sec, 3335 secs 19562 markings/sec, 3340 secs 19863 markings/sec, 3345 secs 20055 markings/sec, 3350 secs 20721 markings/sec, 3355 secs 25014 markings/sec, 3360 secs 25047 markings/sec, 3365 secs 23005 markings/sec, 3370 secs 24840 markings/sec, 3375 secs 24308 markings/sec, 3380 secs 24053 markings/sec, 3385 secs 24653 markings/sec, 3390 secs 24876 markings/sec, 3395 secs 23953 markings/sec, 3400 secs 25382 markings/sec, 3405 secs 22197 markings/sec, 3410 secs 22766 markings/sec, 3415 secs 22396 markings/sec, 3420 secs 23415 markings/sec, 3425 secs 27292 markings/sec, 3430 secs 26704 markings/sec, 3435 secs 26514 markings/sec, 3440 secs 28130 markings/sec, 3445 secs 28580 markings/sec, 3450 secs 27970 markings/sec, 3455 secs 25881 markings/sec, 3460 secs 25716 markings/sec, 3465 secs 25504 markings/sec, 3470 secs 25482 markings/sec, 3475 secs 25191 markings/sec, 3480 secs 25016 markings/sec, 3485 secs 22302 markings/sec, 3490 secs 22450 markings/sec, 3495 secs 22101 markings/sec, 3500 secs 24496 markings/sec, 3505 secs 23040 markings/sec, 3510 secs 22130 markings/sec, 3515 secs 21921 markings/sec, 3520 secs 20945 markings/sec, 3525 secs 21269 markings/sec, 3530 secs 21272 markings/sec, 3535 secs 20968 markings/sec, 3540 secs 21116 markings/sec, 3545 secs 21668 markings/sec, 3550 secs 21705 markings/sec, 3555 secs 20794 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="DNAwalker-PT-13ringRLLarge"
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 DNAwalker-PT-13ringRLLarge, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r049-oct2-155234405500705"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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