MCC'2019 - Execution of r082-csrt-155246550300948

About the Execution of LoLA for JoinFreeModules-PT-0100

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
15907.480	3573288.00	7295019.00	1830.70	[undef]	Cannot compute

Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r082-csrt-155246550300948.qcow2', fmt=qcow2 size=4294967296 backing_file
Waiting for the VM to be ready (probing ssh)
.......................................................................................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is JoinFreeModules-PT-0100, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r082-csrt-155246550300948
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 720K
-rw-r--r-- 1 mcc users 3.5K Feb 11 06:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 11 06:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 7 05:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 7 05:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 110 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 348 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.6K Feb 5 00:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 5 00:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 4 22:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.8K Feb 4 22:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 3 11:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 3 11:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Jan 31 06:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Jan 31 06:59 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 4 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 566K 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 JoinFreeModules-PT-0100-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552685583573

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ JoinFreeModules-PT-0100 @ 3570 seconds
Makefile:16: recipe for target 'verify' failed
vrfy: finished
info: timeLeft: -3
rslt: Output for GlobalProperties @ JoinFreeModules-PT-0100
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: 1302/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 16032
lola: finding significant places
lola: 501 places, 801 transitions, 400 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 4851 generators (139 in search tree, 4712 by composition)
lola: representing 9.33262E+155 symmetries
lola: 0 dead branches visited in search tree
lola: 9 tries, 8193884 fired transitions, 0 secs || 236668 markings, 388707 edges,
lola: 17 tries, 16449138 fired transitions, 5 secs || 519161 markings, 849306 edges,
lola: 25 tries, 24507292 fired transitions, 10 secs || 793722 markings, 1296973 edges,
lola: 33 tries, 32632276 fired transitions, 15 secs || 1069519 markings, 1746372 edges,
lola: 41 tries, 40891981 fired transitions, 20 secs || 1338476 markings, 2184871 edges,
lola: 49 tries, 48779549 fired transitions, 25 secs || 1611429 markings, 2630031 edges,
lola: 58 tries, 57097777 fired transitions, 30 secs || 1875636 markings, 3060992 edges,
lola: 65 tries, 64982191 fired transitions, 35 secs || 2141538 markings, 3494268 edges,
lola: 74 tries, 73016515 fired transitions, 40 secs || 2404762 markings, 3923175 edges,
lola: 81 tries, 80263828 fired transitions, 45 secs || 2663939 markings, 4346196 edges,
lola: 88 tries, 87520817 fired transitions, 50 secs || 2931198 markings, 4781672 edges,
lola: 96 tries, 95683529 fired transitions, 55 secs || 3194425 markings, 5210758 edges,
lola: 104 tries, 103241353 fired transitions, 60 secs || 3457781 markings, 5640141 edges,
lola: 113 tries, 112080785 fired transitions, 65 secs || 3746110 markings, 6109983 edges,
lola: 121 tries, 120622986 fired transitions, 70 secs || 4032410 markings, 6577012 edges,
lola: 130 tries, 129823819 fired transitions, 75 secs || 4319675 markings, 7044980 edges,
lola: 138 tries, 137992369 fired transitions, 80 secs || 4598801 markings, 7500082 edges,
lola: 147 tries, 146597931 fired transitions, 85 secs || 4870840 markings, 7943218 edges,
lola: 155 tries, 154033967 fired transitions, 90 secs || 5147412 markings, 8394240 edges,
lola: 163 tries, 162162551 fired transitions, 95 secs || 5427432 markings, 8850487 edges,
lola: 171 tries, 170394710 fired transitions, 100 secs || 5706232 markings, 9304932 edges,
lola: 179 tries, 178404745 fired transitions, 105 secs || 5983007 markings, 9756412 edges,
lola: 187 tries, 186936315 fired transitions, 110 secs || 6260323 markings, 10208138 edges,
lola: 195 tries, 194990515 fired transitions, 115 secs || 6536371 markings, 10658087 edges,
lola: 204 tries, 203371764 fired transitions, 120 secs || 6811934 markings, 11107206 edges,
lola: 212 tries, 211511061 fired transitions, 125 secs || 7085797 markings, 11553480 edges,
lola: 220 tries, 219998136 fired transitions, 130 secs || 7359452 markings, 11999914 edges,
lola: 229 tries, 228479073 fired transitions, 135 secs || 7633089 markings, 12445887 edges,
lola: 238 tries, 237468402 fired transitions, 140 secs || 7906778 markings, 12891740 edges,
lola: 247 tries, 246075739 fired transitions, 145 secs || 8182560 markings, 13341130 edges,
lola: 255 tries, 254125233 fired transitions, 150 secs || 8457348 markings, 13789175 edges,
lola: 263 tries, 262112934 fired transitions, 155 secs || 8733672 markings, 14239727 edges,
lola: 271 tries, 270308632 fired transitions, 160 secs || 9010754 markings, 14691292 edges,
lola: 279 tries, 278311553 fired transitions, 165 secs || 9286151 markings, 15140010 edges,
lola: 286 tries, 285917359 fired transitions, 170 secs || 9559813 markings, 15586009 edges,
lola: 294 tries, 293895442 fired transitions, 175 secs || 9839580 markings, 16042265 edges,
lola: 302 tries, 301940930 fired transitions, 180 secs || 10123586 markings, 16504973 edges,
lola: 310 tries, 309926902 fired transitions, 185 secs || 10410417 markings, 16972575 edges,
lola: 319 tries, 318391570 fired transitions, 190 secs || 10699946 markings, 17444765 edges,
lola: 328 tries, 327060355 fired transitions, 195 secs || 10990510 markings, 17918202 edges,
lola: 336 tries, 335068278 fired transitions, 200 secs || 11273405 markings, 18379166 edges,
lola: 343 tries, 342626080 fired transitions, 205 secs || 11549129 markings, 18828454 edges,
lola: 351 tries, 350343232 fired transitions, 210 secs || 11818848 markings, 19267929 edges,
lola: 358 tries, 357937201 fired transitions, 215 secs || 12088215 markings, 19707636 edges,
lola: 367 tries, 366483477 fired transitions, 220 secs || 12357169 markings, 20145917 edges,
lola: 375 tries, 374286747 fired transitions, 225 secs || 12626370 markings, 20584671 edges,
lola: 383 tries, 382533263 fired transitions, 230 secs || 12910350 markings, 21047409 edges,
lola: 392 tries, 391293525 fired transitions, 235 secs || 13198295 markings, 21516772 edges,
lola: 400 tries, 399476758 fired transitions, 240 secs || 13488998 markings, 21990556 edges,
lola: 409 tries, 408468178 fired transitions, 245 secs || 13777583 markings, 22461041 edges,
lola: 418 tries, 417798200 fired transitions, 250 secs || 14063618 markings, 22926983 edges,
lola: 427 tries, 426340537 fired transitions, 255 secs || 14349470 markings, 23393174 edges,
lola: 436 tries, 435027369 fired transitions, 260 secs || 14631806 markings, 23852987 edges,
lola: 444 tries, 443084655 fired transitions, 265 secs || 14916060 markings, 24316314 edges,
lola: 451 tries, 450990904 fired transitions, 270 secs || 15204523 markings, 24786804 edges,
lola: 459 tries, 458969515 fired transitions, 275 secs || 15493815 markings, 25258229 edges,
lola: 467 tries, 466617320 fired transitions, 280 secs || 15782240 markings, 25728149 edges,
lola: 475 tries, 474572448 fired transitions, 285 secs || 16066175 markings, 26191297 edges,
lola: 484 tries, 483205106 fired transitions, 290 secs || 16347672 markings, 26649727 edges,
lola: 492 tries, 491670781 fired transitions, 295 secs || 16626926 markings, 27105227 edges,
lola: 500 tries, 499855040 fired transitions, 300 secs || 16908912 markings, 27564642 edges,
lola: 508 tries, 507932936 fired transitions, 305 secs || 17190071 markings, 28023058 edges,
lola: 517 tries, 516219483 fired transitions, 310 secs || 17473944 markings, 28485510 edges,
lola: 525 tries, 524294742 fired transitions, 315 secs || 17756258 markings, 28945686 edges,
lola: 532 tries, 531958147 fired transitions, 320 secs || 18029431 markings, 29391265 edges,
lola: 540 tries, 539878445 fired transitions, 325 secs || 18305507 markings, 29841060 edges,
lola: 549 tries, 548292684 fired transitions, 330 secs || 18590289 markings, 30305106 edges,
lola: 557 tries, 556790858 fired transitions, 335 secs || 18883974 markings, 30783943 edges,
lola: 565 tries, 564803253 fired transitions, 340 secs || 19173012 markings, 31255221 edges,
lola: 573 tries, 572897230 fired transitions, 345 secs || 19454124 markings, 31713099 edges,
lola: 581 tries, 580100345 fired transitions, 350 secs || 19724993 markings, 32154794 edges,
lola: 588 tries, 587271833 fired transitions, 355 secs || 19993058 markings, 32591611 edges,
lola: 595 tries, 594960603 fired transitions, 360 secs || 20262882 markings, 33031593 edges,
lola: 604 tries, 603006693 fired transitions, 365 secs || 20549985 markings, 33499679 edges,
lola: 612 tries, 611142009 fired transitions, 370 secs || 20833063 markings, 33960989 edges,
lola: 619 tries, 618902892 fired transitions, 375 secs || 21114767 markings, 34419907 edges,
lola: 628 tries, 627439155 fired transitions, 380 secs || 21395520 markings, 34878178 edges,
lola: 636 tries, 635455609 fired transitions, 385 secs || 21677052 markings, 35336838 edges,
lola: 644 tries, 643354633 fired transitions, 390 secs || 21957824 markings, 35794608 edges,
lola: 652 tries, 651168437 fired transitions, 395 secs || 22245297 markings, 36262768 edges,
lola: 660 tries, 659939333 fired transitions, 400 secs || 22532868 markings, 36731498 edges,
lola: 668 tries, 667926588 fired transitions, 405 secs || 22820343 markings, 37200163 edges,
lola: 677 tries, 676042361 fired transitions, 410 secs || 23108384 markings, 37669400 edges,
lola: 685 tries, 684706527 fired transitions, 415 secs || 23389330 markings, 38127488 edges,
lola: 693 tries, 692408655 fired transitions, 420 secs || 23671741 markings, 38587846 edges,
lola: 701 tries, 700365530 fired transitions, 425 secs || 23957605 markings, 39053752 edges,
lola: 709 tries, 708883781 fired transitions, 430 secs || 24242335 markings, 39517822 edges,
lola: 718 tries, 717078345 fired transitions, 435 secs || 24528401 markings, 39984091 edges,
lola: 725 tries, 724783713 fired transitions, 440 secs || 24815057 markings, 40451745 edges,
lola: 734 tries, 733058814 fired transitions, 445 secs || 25100806 markings, 40917249 edges,
lola: 741 tries, 740377292 fired transitions, 450 secs || 25384177 markings, 41379082 edges,
lola: 749 tries, 748090744 fired transitions, 455 secs || 25671803 markings, 41847612 edges,
lola: 757 tries, 756020165 fired transitions, 460 secs || 25956100 markings, 42311071 edges,
lola: 765 tries, 764694728 fired transitions, 465 secs || 26232118 markings, 42761127 edges,
lola: 773 tries, 772992120 fired transitions, 470 secs || 26511792 markings, 43217006 edges,
lola: 782 tries, 781112660 fired transitions, 475 secs || 26801212 markings, 43688820 edges,
lola: 790 tries, 789411770 fired transitions, 480 secs || 27090198 markings, 44159608 edges,
lola: 798 tries, 797842104 fired transitions, 485 secs || 27384496 markings, 44639496 edges,
lola: 806 tries, 805756742 fired transitions, 490 secs || 27674220 markings, 45111516 edges,
lola: 813 tries, 812765933 fired transitions, 495 secs || 27937553 markings, 45540548 edges,
lola: 820 tries, 819582033 fired transitions, 500 secs || 28203185 markings, 45973481 edges,
lola: 827 tries, 826705467 fired transitions, 505 secs || 28469794 markings, 46408348 edges,
lola: 836 tries, 835053202 fired transitions, 510 secs || 28753646 markings, 46871147 edges,
lola: 844 tries, 843215280 fired transitions, 515 secs || 29050010 markings, 47354001 edges,
lola: 852 tries, 851402865 fired transitions, 520 secs || 29346833 markings, 47837541 edges,
lola: 859 tries, 858666197 fired transitions, 525 secs || 29623918 markings, 48289596 edges,
lola: 867 tries, 866590334 fired transitions, 530 secs || 29892132 markings, 48726423 edges,
lola: 875 tries, 874665662 fired transitions, 535 secs || 30158384 markings, 49160499 edges,
lola: 883 tries, 882178060 fired transitions, 540 secs || 30432502 markings, 49607231 edges,
lola: 891 tries, 890376775 fired transitions, 545 secs || 30714961 markings, 50067766 edges,
lola: 898 tries, 897761215 fired transitions, 550 secs || 30981817 markings, 50502847 edges,
lola: 906 tries, 905242964 fired transitions, 555 secs || 31247238 markings, 50935440 edges,
lola: 913 tries, 912552758 fired transitions, 560 secs || 31514328 markings, 51370612 edges,
lola: 921 tries, 920379262 fired transitions, 565 secs || 31793299 markings, 51825091 edges,
lola: 928 tries, 927791125 fired transitions, 570 secs || 32060169 markings, 52260571 edges,
lola: 935 tries, 934972657 fired transitions, 575 secs || 32330841 markings, 52701551 edges,
lola: 943 tries, 942883848 fired transitions, 580 secs || 32624509 markings, 53180023 edges,
lola: 952 tries, 951374288 fired transitions, 585 secs || 32917318 markings, 53657513 edges,
lola: 961 tries, 960268155 fired transitions, 590 secs || 33206250 markings, 54128454 edges,
lola: 969 tries, 968486028 fired transitions, 595 secs || 33495259 markings, 54599104 edges,
lola: 977 tries, 976452355 fired transitions, 600 secs || 33790105 markings, 55079971 edges,
lola: 985 tries, 984078120 fired transitions, 605 secs || 34081945 markings, 55555907 edges,
lola: 993 tries, 992613865 fired transitions, 610 secs || 34376372 markings, 56035751 edges,
lola: 1001 tries, 1000544240 fired transitions, 615 secs || 34662965 markings, 56502573 edges,
lola: 1009 tries, 1008693207 fired transitions, 620 secs || 34948926 markings, 56968693 edges,
lola: 1018 tries, 1017011277 fired transitions, 625 secs || 35232656 markings, 57431282 edges,
lola: 1026 tries, 1025074763 fired transitions, 630 secs || 35519109 markings, 57898540 edges,
lola: 1034 tries, 1033374307 fired transitions, 635 secs || 35802167 markings, 58360003 edges,
lola: 1041 tries, 1040893715 fired transitions, 640 secs || 36085218 markings, 58821162 edges,
lola: 1049 tries, 1048929107 fired transitions, 645 secs || 36376509 markings, 59296075 edges,
lola: 1057 tries, 1056902159 fired transitions, 650 secs || 36668928 markings, 59773149 edges,
lola: 1065 tries, 1064977861 fired transitions, 655 secs || 36962004 markings, 60250248 edges,
lola: 1074 tries, 1073249418 fired transitions, 660 secs || 37248426 markings, 60717060 edges,
lola: 1082 tries, 1081563905 fired transitions, 665 secs || 37529055 markings, 61174612 edges,
lola: 1089 tries, 1088956122 fired transitions, 670 secs || 37810871 markings, 61634218 edges,
lola: 1097 tries, 1096644213 fired transitions, 675 secs || 38091497 markings, 62091759 edges,
lola: 1106 tries, 1105124281 fired transitions, 680 secs || 38388966 markings, 62576527 edges,
lola: 1114 tries, 1113594608 fired transitions, 685 secs || 38685088 markings, 63059165 edges,
lola: 1123 tries, 1122296993 fired transitions, 690 secs || 38985906 markings, 63549402 edges,
lola: 1131 tries, 1130982313 fired transitions, 695 secs || 39284603 markings, 64036523 edges,
lola: 1140 tries, 1139538851 fired transitions, 700 secs || 39579556 markings, 64517071 edges,
lola: 1149 tries, 1148917517 fired transitions, 705 secs || 39872002 markings, 64993999 edges,
lola: 1158 tries, 1157524405 fired transitions, 710 secs || 40168054 markings, 65476912 edges,
lola: 1167 tries, 1166190674 fired transitions, 715 secs || 40462396 markings, 65956402 edges,
lola: 1175 tries, 1174185803 fired transitions, 720 secs || 40758356 markings, 66438834 edges,
lola: 1183 tries, 1182811162 fired transitions, 725 secs || 41056143 markings, 66924423 edges,
lola: 1192 tries, 1191284178 fired transitions, 730 secs || 41353786 markings, 67409809 edges,
lola: 1200 tries, 1199409730 fired transitions, 735 secs || 41650011 markings, 67892388 edges,
lola: 1209 tries, 1208203225 fired transitions, 740 secs || 41944912 markings, 68372896 edges,
lola: 1217 tries, 1216789427 fired transitions, 745 secs || 42234930 markings, 68845525 edges,
lola: 1226 tries, 1225228511 fired transitions, 750 secs || 42529641 markings, 69326065 edges,
lola: 1235 tries, 1234186712 fired transitions, 755 secs || 42824665 markings, 69806868 edges,
lola: 1244 tries, 1243228894 fired transitions, 760 secs || 43121493 markings, 70290894 edges,
lola: 1252 tries, 1251656758 fired transitions, 765 secs || 43416613 markings, 70772008 edges,
lola: 1260 tries, 1259989896 fired transitions, 770 secs || 43713397 markings, 71255856 edges,
lola: 1269 tries, 1268609266 fired transitions, 775 secs || 44008400 markings, 71736268 edges,
lola: 1277 tries, 1276912096 fired transitions, 780 secs || 44304647 markings, 72219155 edges,
lola: 1285 tries, 1284720020 fired transitions, 785 secs || 44596502 markings, 72695003 edges,
lola: 1293 tries, 1292986055 fired transitions, 790 secs || 44887308 markings, 73169383 edges,
lola: 1303 tries, 1302043978 fired transitions, 795 secs || 45179754 markings, 73645467 edges,
lola: 1311 tries, 1310043847 fired transitions, 800 secs || 45471468 markings, 74121023 edges,
lola: 1319 tries, 1318452897 fired transitions, 805 secs || 45765187 markings, 74599688 edges,
lola: 1327 tries, 1326136397 fired transitions, 810 secs || 46059122 markings, 75079086 edges,
lola: 1335 tries, 1334127030 fired transitions, 815 secs || 46349104 markings, 75551416 edges,
lola: 1342 tries, 1341895334 fired transitions, 820 secs || 46641541 markings, 76027852 edges,
lola: 1351 tries, 1350036065 fired transitions, 825 secs || 46929854 markings, 76498120 edges,
lola: 1358 tries, 1357520299 fired transitions, 830 secs || 47205057 markings, 76946730 edges,
lola: 1366 tries, 1365043803 fired transitions, 835 secs || 47498616 markings, 77424944 edges,
lola: 1374 tries, 1373231917 fired transitions, 840 secs || 47791567 markings, 77902911 edges,
lola: 1382 tries, 1381361828 fired transitions, 845 secs || 48081819 markings, 78375915 edges,
lola: 1389 tries, 1388442050 fired transitions, 850 secs || 48379659 markings, 78861343 edges,
lola: 1397 tries, 1396856129 fired transitions, 855 secs || 48674628 markings, 79341954 edges,
lola: 1405 tries, 1404454765 fired transitions, 860 secs || 48971205 markings, 79825425 edges,
lola: 1413 tries, 1412671113 fired transitions, 865 secs || 49264535 markings, 80303759 edges,
lola: 1421 tries, 1420250362 fired transitions, 870 secs || 49559555 markings, 80784849 edges,
lola: 1428 tries, 1427771479 fired transitions, 875 secs || 49852286 markings, 81261706 edges,
lola: 1436 tries, 1435952846 fired transitions, 880 secs || 50145749 markings, 81739969 edges,
lola: 1445 tries, 1444026717 fired transitions, 885 secs || 50442000 markings, 82222782 edges,
lola: 1453 tries, 1452939705 fired transitions, 890 secs || 50739132 markings, 82707361 edges,
lola: 1462 tries, 1461747802 fired transitions, 895 secs || 51033596 markings, 83187139 edges,
lola: 1471 tries, 1470063179 fired transitions, 900 secs || 51323139 markings, 83658902 edges,
lola: 1479 tries, 1478126637 fired transitions, 905 secs || 51613045 markings, 84131376 edges,
lola: 1487 tries, 1486075455 fired transitions, 910 secs || 51903544 markings, 84605121 edges,
lola: 1495 tries, 1494653171 fired transitions, 915 secs || 52191742 markings, 85074372 edges,
lola: 1503 tries, 1502804792 fired transitions, 920 secs || 52482752 markings, 85548951 edges,
lola: 1512 tries, 1511178998 fired transitions, 925 secs || 52772190 markings, 86020993 edges,
lola: 1520 tries, 1519288549 fired transitions, 930 secs || 53062333 markings, 86493910 edges,
lola: 1528 tries, 1527791586 fired transitions, 935 secs || 53353365 markings, 86968111 edges,
lola: 1537 tries, 1536845764 fired transitions, 940 secs || 53642027 markings, 87438300 edges,
lola: 1546 tries, 1545258866 fired transitions, 945 secs || 53925926 markings, 87901534 edges,
lola: 1554 tries, 1553651436 fired transitions, 950 secs || 54217290 markings, 88376263 edges,
lola: 1563 tries, 1562254415 fired transitions, 955 secs || 54507872 markings, 88849782 edges,
lola: 1572 tries, 1571478588 fired transitions, 960 secs || 54800880 markings, 89327311 edges,
lola: 1581 tries, 1580392980 fired transitions, 965 secs || 55093866 markings, 89805134 edges,
lola: 1589 tries, 1588119990 fired transitions, 970 secs || 55386457 markings, 90282029 edges,
lola: 1597 tries, 1596580281 fired transitions, 975 secs || 55675987 markings, 90753693 edges,
lola: 1606 tries, 1605219808 fired transitions, 980 secs || 55962131 markings, 91220149 edges,
lola: 1614 tries, 1613669777 fired transitions, 985 secs || 56250632 markings, 91690249 edges,
lola: 1622 tries, 1621586988 fired transitions, 990 secs || 56537686 markings, 92158549 edges,
lola: 1630 tries, 1629843982 fired transitions, 995 secs || 56819370 markings, 92617389 edges,
lola: 1639 tries, 1638624799 fired transitions, 1000 secs || 57109930 markings, 93091055 edges,
lola: 1647 tries, 1646152577 fired transitions, 1005 secs || 57397077 markings, 93559519 edges,
lola: 1655 tries, 1654796224 fired transitions, 1010 secs || 57687836 markings, 94032960 edges,
lola: 1664 tries, 1663538121 fired transitions, 1015 secs || 57978188 markings, 94506251 edges,
lola: 1672 tries, 1671624670 fired transitions, 1020 secs || 58263311 markings, 94970788 edges,
lola: 1681 tries, 1680070416 fired transitions, 1025 secs || 58545835 markings, 95431276 edges,
lola: 1688 tries, 1687869679 fired transitions, 1030 secs || 58808437 markings, 95859776 edges,
lola: 1696 tries, 1695462554 fired transitions, 1035 secs || 59069542 markings, 96285253 edges,
lola: 1704 tries, 1703791295 fired transitions, 1040 secs || 59329807 markings, 96709333 edges,
lola: 1712 tries, 1711479111 fired transitions, 1045 secs || 59593083 markings, 97138244 edges,
lola: 1720 tries, 1719323987 fired transitions, 1050 secs || 59851884 markings, 97559967 edges,
lola: 1727 tries, 1726641303 fired transitions, 1055 secs || 60110042 markings, 97981175 edges,
lola: 1735 tries, 1734599132 fired transitions, 1060 secs || 60371713 markings, 98407477 edges,
lola: 1743 tries, 1742668704 fired transitions, 1065 secs || 60631148 markings, 98830281 edges,
lola: 1750 tries, 1749975534 fired transitions, 1070 secs || 60891271 markings, 99254217 edges,
lola: 1759 tries, 1758703207 fired transitions, 1075 secs || 61175797 markings, 99717971 edges,
lola: 1768 tries, 1767641244 fired transitions, 1080 secs || 61463691 markings, 100187562 edges,
lola: 1777 tries, 1776808559 fired transitions, 1085 secs || 61752114 markings, 100657587 edges,
lola: 1787 tries, 1786134414 fired transitions, 1090 secs || 62040319 markings, 101127110 edges,
lola: 1795 tries, 1794698318 fired transitions, 1095 secs || 62330941 markings, 101601152 edges,
lola: 1804 tries, 1803243931 fired transitions, 1100 secs || 62621462 markings, 102074537 edges,
lola: 1813 tries, 1812323055 fired transitions, 1105 secs || 62908727 markings, 102542718 edges,
lola: 1821 tries, 1820995126 fired transitions, 1110 secs || 63194991 markings, 103009156 edges,
lola: 1831 tries, 1830059796 fired transitions, 1115 secs || 63480573 markings, 103474885 edges,
lola: 1839 tries, 1838494998 fired transitions, 1120 secs || 63768237 markings, 103943812 edges,
lola: 1847 tries, 1846509329 fired transitions, 1125 secs || 64056917 markings, 104414555 edges,
lola: 1856 tries, 1855102604 fired transitions, 1130 secs || 64348923 markings, 104889973 edges,
lola: 1865 tries, 1864034442 fired transitions, 1135 secs || 64635461 markings, 105357017 edges,
lola: 1873 tries, 1872541744 fired transitions, 1140 secs || 64925736 markings, 105830572 edges,
lola: 1881 tries, 1880186218 fired transitions, 1145 secs || 65213721 markings, 106299643 edges,
lola: 1889 tries, 1888682408 fired transitions, 1150 secs || 65503145 markings, 106771112 edges,
lola: 1898 tries, 1897724402 fired transitions, 1155 secs || 65789375 markings, 107238263 edges,
lola: 1907 tries, 1906510769 fired transitions, 1160 secs || 66077312 markings, 107707128 edges,
lola: 1915 tries, 1914592574 fired transitions, 1165 secs || 66368611 markings, 108181796 edges,
lola: 1923 tries, 1922940985 fired transitions, 1170 secs || 66661463 markings, 108659544 edges,
lola: 1932 tries, 1931527930 fired transitions, 1175 secs || 66947402 markings, 109125687 edges,
lola: 1939 tries, 1938920827 fired transitions, 1180 secs || 67208584 markings, 109551193 edges,
lola: 1947 tries, 1946715808 fired transitions, 1185 secs || 67468193 markings, 109974437 edges,
lola: 1955 tries, 1954343140 fired transitions, 1190 secs || 67724406 markings, 110391763 edges,
lola: 1962 tries, 1961476689 fired transitions, 1195 secs || 67971710 markings, 110795145 edges,
lola: 1969 tries, 1968697545 fired transitions, 1200 secs || 68222787 markings, 111204663 edges,
lola: 1977 tries, 1976004417 fired transitions, 1205 secs || 68479134 markings, 111622052 edges,
lola: 1984 tries, 1983946477 fired transitions, 1210 secs || 68742907 markings, 112052202 edges,
lola: 1992 tries, 1991698226 fired transitions, 1215 secs || 69012055 markings, 112490626 edges,
lola: 2001 tries, 2000002887 fired transitions, 1220 secs || 69288885 markings, 112941911 edges,
lola: 2008 tries, 2007964001 fired transitions, 1225 secs || 69573732 markings, 113406294 edges,
lola: 2016 tries, 2015554099 fired transitions, 1230 secs || 69845063 markings, 113848239 edges,
lola: 2024 tries, 2023875656 fired transitions, 1235 secs || 70106738 markings, 114274958 edges,
lola: 2032 tries, 2031306611 fired transitions, 1240 secs || 70367643 markings, 114700008 edges,
lola: 2040 tries, 2039325848 fired transitions, 1245 secs || 70631306 markings, 115129827 edges,
lola: 2048 tries, 2047433573 fired transitions, 1250 secs || 70892386 markings, 115555252 edges,
lola: 2056 tries, 2055044125 fired transitions, 1255 secs || 71155333 markings, 115984211 edges,
lola: 2063 tries, 2062652376 fired transitions, 1260 secs || 71420451 markings, 116416639 edges,
lola: 2071 tries, 2070313191 fired transitions, 1265 secs || 71703476 markings, 116877531 edges,
lola: 2079 tries, 2078829469 fired transitions, 1270 secs || 71997321 markings, 117356835 edges,
lola: 2088 tries, 2087165488 fired transitions, 1275 secs || 72285119 markings, 117825772 edges,
lola: 2096 tries, 2095622040 fired transitions, 1280 secs || 72574143 markings, 118296570 edges,
lola: 2104 tries, 2103383808 fired transitions, 1285 secs || 72857734 markings, 118759423 edges,
lola: 2113 tries, 2112317413 fired transitions, 1290 secs || 73143175 markings, 119224434 edges,
lola: 2121 tries, 2120376730 fired transitions, 1295 secs || 73430101 markings, 119692124 edges,
lola: 2129 tries, 2128595968 fired transitions, 1300 secs || 73721491 markings, 120167147 edges,
lola: 2137 tries, 2136679937 fired transitions, 1305 secs || 74020451 markings, 120654735 edges,
lola: 2146 tries, 2145337679 fired transitions, 1310 secs || 74322076 markings, 121146086 edges,
lola: 2155 tries, 2154008649 fired transitions, 1315 secs || 74620727 markings, 121632961 edges,
lola: 2163 tries, 2162986553 fired transitions, 1320 secs || 74916188 markings, 122114467 edges,
lola: 2172 tries, 2171280010 fired transitions, 1325 secs || 75209822 markings, 122593386 edges,
lola: 2180 tries, 2179545134 fired transitions, 1330 secs || 75497572 markings, 123062191 edges,
lola: 2189 tries, 2188006074 fired transitions, 1335 secs || 75790248 markings, 123539408 edges,
lola: 2197 tries, 2196319391 fired transitions, 1340 secs || 76083362 markings, 124017374 edges,
lola: 2204 tries, 2203539197 fired transitions, 1345 secs || 76355557 markings, 124460972 edges,
lola: 2211 tries, 2210767827 fired transitions, 1350 secs || 76624404 markings, 124899011 edges,
lola: 2219 tries, 2218752624 fired transitions, 1355 secs || 76890504 markings, 125332753 edges,
lola: 2227 tries, 2226874181 fired transitions, 1360 secs || 77166430 markings, 125782583 edges,
lola: 2235 tries, 2234824326 fired transitions, 1365 secs || 77441414 markings, 126231080 edges,
lola: 2243 tries, 2242598205 fired transitions, 1370 secs || 77716370 markings, 126679117 edges,
lola: 2252 tries, 2251154963 fired transitions, 1375 secs || 77994478 markings, 127132401 edges,
lola: 2260 tries, 2259966327 fired transitions, 1380 secs || 78276790 markings, 127592378 edges,
lola: 2268 tries, 2267748603 fired transitions, 1385 secs || 78561848 markings, 128057185 edges,
lola: 2277 tries, 2276296753 fired transitions, 1390 secs || 78854981 markings, 128535107 edges,
lola: 2285 tries, 2284629278 fired transitions, 1395 secs || 79144871 markings, 129007126 edges,
lola: 2294 tries, 2293039913 fired transitions, 1400 secs || 79432694 markings, 129476493 edges,
lola: 2302 tries, 2301575407 fired transitions, 1405 secs || 79721509 markings, 129947488 edges,
lola: 2311 tries, 2310044152 fired transitions, 1410 secs || 80008323 markings, 130414756 edges,
lola: 2319 tries, 2318622628 fired transitions, 1415 secs || 80295539 markings, 130882865 edges,
lola: 2328 tries, 2327224407 fired transitions, 1420 secs || 80589580 markings, 131362198 edges,
lola: 2336 tries, 2335428006 fired transitions, 1425 secs || 80882407 markings, 131839572 edges,
lola: 2344 tries, 2343784661 fired transitions, 1430 secs || 81171382 markings, 132310540 edges,
lola: 2353 tries, 2352128203 fired transitions, 1435 secs || 81462223 markings, 132784578 edges,
lola: 2361 tries, 2360787886 fired transitions, 1440 secs || 81751801 markings, 133256334 edges,
lola: 2370 tries, 2369299250 fired transitions, 1445 secs || 82043722 markings, 133732263 edges,
lola: 2378 tries, 2377664746 fired transitions, 1450 secs || 82333288 markings, 134204276 edges,
lola: 2387 tries, 2386491870 fired transitions, 1455 secs || 82624509 markings, 134679084 edges,
lola: 2395 tries, 2394916554 fired transitions, 1460 secs || 82919254 markings, 135159078 edges,
lola: 2404 tries, 2403469463 fired transitions, 1465 secs || 83210856 markings, 135634356 edges,
lola: 2412 tries, 2411217679 fired transitions, 1470 secs || 83500487 markings, 136106675 edges,
lola: 2420 tries, 2419309030 fired transitions, 1475 secs || 83779301 markings, 136561154 edges,
lola: 2427 tries, 2426724597 fired transitions, 1480 secs || 84044890 markings, 136993705 edges,
lola: 2434 tries, 2433758343 fired transitions, 1485 secs || 84311094 markings, 137427941 edges,
lola: 2442 tries, 2441278907 fired transitions, 1490 secs || 84576805 markings, 137861163 edges,
lola: 2450 tries, 2449567661 fired transitions, 1495 secs || 84875433 markings, 138347705 edges,
lola: 2459 tries, 2458519774 fired transitions, 1500 secs || 85178538 markings, 138842010 edges,
lola: 2468 tries, 2467158033 fired transitions, 1505 secs || 85476420 markings, 139327615 edges,
lola: 2476 tries, 2475682118 fired transitions, 1510 secs || 85777126 markings, 139817553 edges,
lola: 2485 tries, 2484601196 fired transitions, 1515 secs || 86077023 markings, 140306110 edges,
lola: 2493 tries, 2492528006 fired transitions, 1520 secs || 86368195 markings, 140780916 edges,
lola: 2501 tries, 2500177653 fired transitions, 1525 secs || 86636936 markings, 141219097 edges,
lola: 2508 tries, 2507790065 fired transitions, 1530 secs || 86912177 markings, 141667986 edges,
lola: 2515 tries, 2514811386 fired transitions, 1535 secs || 87183195 markings, 142109224 edges,
lola: 2523 tries, 2522558969 fired transitions, 1540 secs || 87453202 markings, 142549523 edges,
lola: 2531 tries, 2530089853 fired transitions, 1545 secs || 87725982 markings, 142994120 edges,
lola: 2538 tries, 2537608965 fired transitions, 1550 secs || 88002564 markings, 143444820 edges,
lola: 2546 tries, 2545741147 fired transitions, 1555 secs || 88296879 markings, 143924734 edges,
lola: 2554 tries, 2553682346 fired transitions, 1560 secs || 88582871 markings, 144390691 edges,
lola: 2562 tries, 2561266154 fired transitions, 1565 secs || 88872804 markings, 144863049 edges,
lola: 2570 tries, 2569775361 fired transitions, 1570 secs || 89166155 markings, 145341586 edges,
lola: 2578 tries, 2577920240 fired transitions, 1575 secs || 89456671 markings, 145814651 edges,
lola: 2586 tries, 2585736084 fired transitions, 1580 secs || 89735534 markings, 146269222 edges,
lola: 2594 tries, 2593976201 fired transitions, 1585 secs || 90002522 markings, 146704640 edges,
lola: 2602 tries, 2601189644 fired transitions, 1590 secs || 90265927 markings, 147134267 edges,
lola: 2609 tries, 2608536226 fired transitions, 1595 secs || 90524428 markings, 147555410 edges,
lola: 2617 tries, 2616150578 fired transitions, 1600 secs || 90788126 markings, 147985114 edges,
lola: 2624 tries, 2623694970 fired transitions, 1605 secs || 91053594 markings, 148417574 edges,
lola: 2632 tries, 2631773206 fired transitions, 1610 secs || 91333264 markings, 148873739 edges,
lola: 2641 tries, 2640018394 fired transitions, 1615 secs || 91616458 markings, 149335386 edges,
lola: 2648 tries, 2647958570 fired transitions, 1620 secs || 91900178 markings, 149797661 edges,
lola: 2657 tries, 2656583469 fired transitions, 1625 secs || 92192202 markings, 150273635 edges,
lola: 2665 tries, 2664340294 fired transitions, 1630 secs || 92487736 markings, 150755551 edges,
lola: 2673 tries, 2672943821 fired transitions, 1635 secs || 92778134 markings, 151228719 edges,
lola: 2682 tries, 2681087778 fired transitions, 1640 secs || 93062041 markings, 151691567 edges,
lola: 2689 tries, 2688263773 fired transitions, 1645 secs || 93318585 markings, 152109481 edges,
lola: 2696 tries, 2695504427 fired transitions, 1650 secs || 93573753 markings, 152525476 edges,
lola: 2704 tries, 2703766055 fired transitions, 1655 secs || 93843323 markings, 152965206 edges,
lola: 2712 tries, 2711604124 fired transitions, 1660 secs || 94115560 markings, 153408566 edges,
lola: 2720 tries, 2719460565 fired transitions, 1665 secs || 94375806 markings, 153832903 edges,
lola: 2727 tries, 2726819429 fired transitions, 1670 secs || 94633735 markings, 154253172 edges,
lola: 2735 tries, 2734383576 fired transitions, 1675 secs || 94897580 markings, 154683590 edges,
lola: 2742 tries, 2741533553 fired transitions, 1680 secs || 95158731 markings, 155109034 edges,
lola: 2750 tries, 2749513819 fired transitions, 1685 secs || 95422487 markings, 155538818 edges,
lola: 2757 tries, 2756846304 fired transitions, 1690 secs || 95683826 markings, 155964824 edges,
lola: 2765 tries, 2764259458 fired transitions, 1695 secs || 95942050 markings, 156385583 edges,
lola: 2772 tries, 2771947560 fired transitions, 1700 secs || 96200602 markings, 156807381 edges,
lola: 2780 tries, 2779763941 fired transitions, 1705 secs || 96457624 markings, 157226161 edges,
lola: 2788 tries, 2787972383 fired transitions, 1710 secs || 96729690 markings, 157669755 edges,
lola: 2796 tries, 2795522476 fired transitions, 1715 secs || 96993383 markings, 158099523 edges,
lola: 2804 tries, 2803169067 fired transitions, 1720 secs || 97258396 markings, 158531383 edges,
lola: 2811 tries, 2810439227 fired transitions, 1725 secs || 97537132 markings, 158985719 edges,
lola: 2819 tries, 2818768245 fired transitions, 1730 secs || 97823377 markings, 159452245 edges,
lola: 2827 tries, 2826874143 fired transitions, 1735 secs || 98103869 markings, 159909326 edges,
lola: 2835 tries, 2834035788 fired transitions, 1740 secs || 98388418 markings, 160373013 edges,
lola: 2843 tries, 2842682756 fired transitions, 1745 secs || 98676515 markings, 160842782 edges,
lola: 2852 tries, 2851098912 fired transitions, 1750 secs || 98964852 markings, 161312857 edges,
lola: 2860 tries, 2859288738 fired transitions, 1755 secs || 99247126 markings, 161772778 edges,
lola: 2867 tries, 2866585076 fired transitions, 1760 secs || 99536669 markings, 162245000 edges,
lola: 2875 tries, 2874926244 fired transitions, 1765 secs || 99827460 markings, 162718882 edges,
lola: 2883 tries, 2882615826 fired transitions, 1770 secs || 100114746 markings, 163187198 edges,
lola: 2891 tries, 2890196643 fired transitions, 1775 secs || 100403958 markings, 163658152 edges,
lola: 2899 tries, 2898090881 fired transitions, 1780 secs || 100693954 markings, 164131225 edges,
lola: 2907 tries, 2906936429 fired transitions, 1785 secs || 100983159 markings, 164602747 edges,
lola: 2915 tries, 2914503636 fired transitions, 1790 secs || 101272580 markings, 165074085 edges,
lola: 2923 tries, 2922179484 fired transitions, 1795 secs || 101544737 markings, 165517814 edges,
lola: 2930 tries, 2929141704 fired transitions, 1800 secs || 101807434 markings, 165945984 edges,
lola: 2937 tries, 2936840120 fired transitions, 1805 secs || 102092880 markings, 166411419 edges,
lola: 2945 tries, 2944634630 fired transitions, 1810 secs || 102365388 markings, 166855353 edges,
lola: 2952 tries, 2951555121 fired transitions, 1815 secs || 102630129 markings, 167286851 edges,
lola: 2959 tries, 2958745248 fired transitions, 1820 secs || 102896488 markings, 167720774 edges,
lola: 2967 tries, 2966100948 fired transitions, 1825 secs || 103173509 markings, 168172811 edges,
lola: 2974 tries, 2973858269 fired transitions, 1830 secs || 103460444 markings, 168640108 edges,
lola: 2983 tries, 2982501833 fired transitions, 1835 secs || 103754930 markings, 169120163 edges,
lola: 2991 tries, 2990517054 fired transitions, 1840 secs || 104041942 markings, 169587981 edges,
lola: 2999 tries, 2998524008 fired transitions, 1845 secs || 104326733 markings, 170052288 edges,
lola: 3007 tries, 3006035629 fired transitions, 1850 secs || 104617714 markings, 170526690 edges,
lola: 3014 tries, 3013866804 fired transitions, 1855 secs || 104905981 markings, 170996238 edges,
lola: 3023 tries, 3022150455 fired transitions, 1860 secs || 105193893 markings, 171465603 edges,
lola: 3031 tries, 3030570151 fired transitions, 1865 secs || 105484379 markings, 171939447 edges,
lola: 3039 tries, 3038853299 fired transitions, 1870 secs || 105773417 markings, 172410300 edges,
lola: 3048 tries, 3047413342 fired transitions, 1875 secs || 106060593 markings, 172878328 edges,
lola: 3057 tries, 3056303284 fired transitions, 1880 secs || 106356047 markings, 173359830 edges,
lola: 3065 tries, 3064619187 fired transitions, 1885 secs || 106633365 markings, 173811987 edges,
lola: 3073 tries, 3072562325 fired transitions, 1890 secs || 106915061 markings, 174271134 edges,
lola: 3082 tries, 3081092941 fired transitions, 1895 secs || 107197280 markings, 174730970 edges,
lola: 3090 tries, 3089045929 fired transitions, 1900 secs || 107490590 markings, 175209266 edges,
lola: 3098 tries, 3097214606 fired transitions, 1905 secs || 107783757 markings, 175687135 edges,
lola: 3106 tries, 3105138899 fired transitions, 1910 secs || 108071809 markings, 176156568 edges,
lola: 3113 tries, 3112966475 fired transitions, 1915 secs || 108355380 markings, 176618690 edges,
lola: 3122 tries, 3121025979 fired transitions, 1920 secs || 108644307 markings, 177089677 edges,
lola: 3130 tries, 3129117775 fired transitions, 1925 secs || 108932682 markings, 177559588 edges,
lola: 3137 tries, 3136910812 fired transitions, 1930 secs || 109225718 markings, 178037199 edges,
lola: 3146 tries, 3145248704 fired transitions, 1935 secs || 109525368 markings, 178525854 edges,
lola: 3153 tries, 3152780047 fired transitions, 1940 secs || 109799157 markings, 178971669 edges,
lola: 3160 tries, 3159624255 fired transitions, 1945 secs || 110053671 markings, 179386751 edges,
lola: 3167 tries, 3166868286 fired transitions, 1950 secs || 110308584 markings, 179802265 edges,
lola: 3174 tries, 3173993126 fired transitions, 1955 secs || 110566796 markings, 180223057 edges,
lola: 3182 tries, 3181430594 fired transitions, 1960 secs || 110827277 markings, 180647730 edges,
lola: 3189 tries, 3188886107 fired transitions, 1965 secs || 111097741 markings, 181088345 edges,
lola: 3197 tries, 3196881653 fired transitions, 1970 secs || 111362903 markings, 181520669 edges,
lola: 3205 tries, 3204610330 fired transitions, 1975 secs || 111626512 markings, 181950370 edges,
lola: 3212 tries, 3211607628 fired transitions, 1980 secs || 111887810 markings, 182375930 edges,
lola: 3219 tries, 3218909647 fired transitions, 1985 secs || 112138180 markings, 182784181 edges,
lola: 3227 tries, 3226381224 fired transitions, 1990 secs || 112401501 markings, 183213368 edges,
lola: 3235 tries, 3234651256 fired transitions, 1995 secs || 112679592 markings, 183666696 edges,
lola: 3242 tries, 3241911356 fired transitions, 2000 secs || 112955562 markings, 184116586 edges,
lola: 3250 tries, 3249745193 fired transitions, 2005 secs || 113230467 markings, 184564755 edges,
lola: 3258 tries, 3257231236 fired transitions, 2010 secs || 113507487 markings, 185016456 edges,
lola: 3265 tries, 3264754666 fired transitions, 2015 secs || 113774399 markings, 185451654 edges,
lola: 3272 tries, 3271845912 fired transitions, 2020 secs || 114039148 markings, 185883015 edges,
lola: 3280 tries, 3279710967 fired transitions, 2025 secs || 114321621 markings, 186343339 edges,
lola: 3288 tries, 3287856704 fired transitions, 2030 secs || 114615274 markings, 186822096 edges,
lola: 3297 tries, 3296125331 fired transitions, 2035 secs || 114901731 markings, 187289570 edges,
lola: 3305 tries, 3304127892 fired transitions, 2040 secs || 115188497 markings, 187756885 edges,
lola: 3312 tries, 3311833022 fired transitions, 2045 secs || 115459413 markings, 188198604 edges,
lola: 3320 tries, 3319199626 fired transitions, 2050 secs || 115728522 markings, 188637288 edges,
lola: 3327 tries, 3326236948 fired transitions, 2055 secs || 115996510 markings, 189074512 edges,
lola: 3335 tries, 3334125850 fired transitions, 2060 secs || 116273040 markings, 189525133 edges,
lola: 3342 tries, 3341850314 fired transitions, 2065 secs || 116562889 markings, 189997096 edges,
lola: 3350 tries, 3349309386 fired transitions, 2070 secs || 116825318 markings, 190425358 edges,
lola: 3358 tries, 3357014070 fired transitions, 2075 secs || 117089002 markings, 190854908 edges,
lola: 3364 tries, 3363785269 fired transitions, 2080 secs || 117354466 markings, 191287802 edges,
lola: 3372 tries, 3371413564 fired transitions, 2085 secs || 117627314 markings, 191732696 edges,
lola: 3380 tries, 3379063314 fired transitions, 2090 secs || 117917121 markings, 192204837 edges,
lola: 3388 tries, 3387779433 fired transitions, 2095 secs || 118208326 markings, 192679572 edges,
lola: 3396 tries, 3395954272 fired transitions, 2100 secs || 118498681 markings, 193152899 edges,
lola: 3404 tries, 3403932896 fired transitions, 2105 secs || 118788281 markings, 193624689 edges,
lola: 3412 tries, 3411686169 fired transitions, 2110 secs || 119075490 markings, 194092816 edges,
lola: 3421 tries, 3420111018 fired transitions, 2115 secs || 119359262 markings, 194555659 edges,
lola: 3429 tries, 3428213463 fired transitions, 2120 secs || 119648162 markings, 195026312 edges,
lola: 3437 tries, 3436684672 fired transitions, 2125 secs || 119939517 markings, 195501178 edges,
lola: 3445 tries, 3444575141 fired transitions, 2130 secs || 120227388 markings, 195970461 edges,
lola: 3454 tries, 3453046606 fired transitions, 2135 secs || 120515746 markings, 196440570 edges,
lola: 3462 tries, 3461054344 fired transitions, 2140 secs || 120803801 markings, 196910063 edges,
lola: 3470 tries, 3469343302 fired transitions, 2145 secs || 121095856 markings, 197385995 edges,
lola: 3478 tries, 3477307877 fired transitions, 2150 secs || 121391318 markings, 197867508 edges,
lola: 3486 tries, 3485731830 fired transitions, 2155 secs || 121682635 markings, 198342337 edges,
lola: 3494 tries, 3493431696 fired transitions, 2160 secs || 121975911 markings, 198820386 edges,
lola: 3502 tries, 3501403528 fired transitions, 2165 secs || 122263272 markings, 199288863 edges,
lola: 3510 tries, 3509140566 fired transitions, 2170 secs || 122553594 markings, 199762145 edges,
lola: 3518 tries, 3517208750 fired transitions, 2175 secs || 122843351 markings, 200234639 edges,
lola: 3526 tries, 3525146746 fired transitions, 2180 secs || 123131503 markings, 200704265 edges,
lola: 3534 tries, 3533144750 fired transitions, 2185 secs || 123420249 markings, 201174548 edges,
lola: 3541 tries, 3540906131 fired transitions, 2190 secs || 123705935 markings, 201640103 edges,
lola: 3549 tries, 3548225607 fired transitions, 2195 secs || 123974105 markings, 202077107 edges,
lola: 3556 tries, 3555502653 fired transitions, 2200 secs || 124242522 markings, 202515196 edges,
lola: 3564 tries, 3563197511 fired transitions, 2205 secs || 124511756 markings, 202953952 edges,
lola: 3571 tries, 3570840859 fired transitions, 2210 secs || 124789653 markings, 203406973 edges,
lola: 3578 tries, 3577847759 fired transitions, 2215 secs || 125055788 markings, 203840375 edges,
lola: 3585 tries, 3584844677 fired transitions, 2220 secs || 125325334 markings, 204279764 edges,
lola: 3593 tries, 3592325679 fired transitions, 2225 secs || 125593131 markings, 204716422 edges,
lola: 3600 tries, 3599282762 fired transitions, 2230 secs || 125862555 markings, 205155409 edges,
lola: 3608 tries, 3607100085 fired transitions, 2235 secs || 126129360 markings, 205590207 edges,
lola: 3615 tries, 3614242444 fired transitions, 2240 secs || 126402786 markings, 206035891 edges,
lola: 3622 tries, 3621702070 fired transitions, 2245 secs || 126684207 markings, 206494777 edges,
lola: 3630 tries, 3629010370 fired transitions, 2250 secs || 126966589 markings, 206954651 edges,
lola: 3638 tries, 3637056904 fired transitions, 2255 secs || 127249853 markings, 207416600 edges,
lola: 3645 tries, 3644514622 fired transitions, 2260 secs || 127531675 markings, 207876129 edges,
lola: 3653 tries, 3652330690 fired transitions, 2265 secs || 127815403 markings, 208338525 edges,
lola: 3660 tries, 3659704702 fired transitions, 2270 secs || 128094529 markings, 208793331 edges,
lola: 3668 tries, 3667512466 fired transitions, 2275 secs || 128371369 markings, 209244480 edges,
lola: 3677 tries, 3676100288 fired transitions, 2280 secs || 128643045 markings, 209687096 edges,
lola: 3684 tries, 3683670946 fired transitions, 2285 secs || 128920097 markings, 210138923 edges,
lola: 3693 tries, 3692174891 fired transitions, 2290 secs || 129197698 markings, 210591474 edges,
lola: 3700 tries, 3699830804 fired transitions, 2295 secs || 129474103 markings, 211042076 edges,
lola: 3708 tries, 3707162918 fired transitions, 2300 secs || 129759208 markings, 211506626 edges,
lola: 3715 tries, 3714809407 fired transitions, 2305 secs || 130038682 markings, 211962301 edges,
lola: 3723 tries, 3722022657 fired transitions, 2310 secs || 130320604 markings, 212421669 edges,
lola: 3729 tries, 3728711022 fired transitions, 2315 secs || 130593031 markings, 212865582 edges,
lola: 3737 tries, 3736502509 fired transitions, 2320 secs || 130864620 markings, 213308295 edges,
lola: 3745 tries, 3744133865 fired transitions, 2325 secs || 131142243 markings, 213761171 edges,
lola: 3753 tries, 3752247259 fired transitions, 2330 secs || 131419988 markings, 214213667 edges,
lola: 3760 tries, 3759588034 fired transitions, 2335 secs || 131699678 markings, 214669626 edges,
lola: 3768 tries, 3767274758 fired transitions, 2340 secs || 131981760 markings, 215129027 edges,
lola: 3775 tries, 3774718172 fired transitions, 2345 secs || 132247000 markings, 215561830 edges,
lola: 3783 tries, 3782176113 fired transitions, 2350 secs || 132509139 markings, 215989041 edges,
lola: 3790 tries, 3789842486 fired transitions, 2355 secs || 132767089 markings, 216409320 edges,
lola: 3798 tries, 3797172109 fired transitions, 2360 secs || 133032744 markings, 216842036 edges,
lola: 3805 tries, 3804849071 fired transitions, 2365 secs || 133292313 markings, 217265240 edges,
lola: 3813 tries, 3812278946 fired transitions, 2370 secs || 133561977 markings, 217705286 edges,
lola: 3821 tries, 3820031077 fired transitions, 2375 secs || 133837209 markings, 218153706 edges,
lola: 3828 tries, 3827226395 fired transitions, 2380 secs || 134097110 markings, 218577122 edges,
lola: 3835 tries, 3834964880 fired transitions, 2385 secs || 134361890 markings, 219008841 edges,
lola: 3844 tries, 3843179109 fired transitions, 2390 secs || 134650329 markings, 219478970 edges,
lola: 3852 tries, 3851454909 fired transitions, 2395 secs || 134943821 markings, 219957426 edges,
lola: 3859 tries, 3858295220 fired transitions, 2400 secs || 135200936 markings, 220376532 edges,
lola: 3866 tries, 3865063897 fired transitions, 2405 secs || 135457991 markings, 220795331 edges,
lola: 3873 tries, 3872466368 fired transitions, 2410 secs || 135717329 markings, 221218018 edges,
lola: 3880 tries, 3879370850 fired transitions, 2415 secs || 135979837 markings, 221646253 edges,
lola: 3887 tries, 3886877171 fired transitions, 2420 secs || 136236136 markings, 222063704 edges,
lola: 3895 tries, 3894664099 fired transitions, 2425 secs || 136508978 markings, 222508587 edges,
lola: 3903 tries, 3902302921 fired transitions, 2430 secs || 136784839 markings, 222958079 edges,
lola: 3910 tries, 3909665998 fired transitions, 2435 secs || 137051321 markings, 223392620 edges,
lola: 3917 tries, 3916701743 fired transitions, 2440 secs || 137320589 markings, 223831476 edges,
lola: 3925 tries, 3924256690 fired transitions, 2445 secs || 137596377 markings, 224280835 edges,
lola: 3932 tries, 3931215854 fired transitions, 2450 secs || 137862850 markings, 224715032 edges,
lola: 3939 tries, 3938585752 fired transitions, 2455 secs || 138127503 markings, 225146309 edges,
lola: 3946 tries, 3945847974 fired transitions, 2460 secs || 138392449 markings, 225578670 edges,
lola: 3954 tries, 3953499840 fired transitions, 2465 secs || 138653531 markings, 226003928 edges,
lola: 3961 tries, 3960584222 fired transitions, 2470 secs || 138922460 markings, 226442301 edges,
lola: 3968 tries, 3967587608 fired transitions, 2475 secs || 139185594 markings, 226871302 edges,
lola: 3975 tries, 3974343816 fired transitions, 2480 secs || 139448176 markings, 227299565 edges,
lola: 3982 tries, 3981529078 fired transitions, 2485 secs || 139707812 markings, 227722418 edges,
lola: 3990 tries, 3989027502 fired transitions, 2490 secs || 139973966 markings, 228156053 edges,
lola: 3997 tries, 3996133283 fired transitions, 2495 secs || 140239437 markings, 228588530 edges,
lola: 4004 tries, 4003391349 fired transitions, 2500 secs || 140507823 markings, 229026339 edges,
lola: 4012 tries, 4011004536 fired transitions, 2505 secs || 140784065 markings, 229476594 edges,
lola: 4019 tries, 4018953225 fired transitions, 2510 secs || 141059652 markings, 229925694 edges,
lola: 4027 tries, 4026479979 fired transitions, 2515 secs || 141332363 markings, 230369983 edges,
lola: 4035 tries, 4034319780 fired transitions, 2520 secs || 141611797 markings, 230825950 edges,
lola: 4042 tries, 4041582620 fired transitions, 2525 secs || 141886091 markings, 231272691 edges,
lola: 4049 tries, 4048882126 fired transitions, 2530 secs || 142153429 markings, 231708347 edges,
lola: 4057 tries, 4056033157 fired transitions, 2535 secs || 142422446 markings, 232146770 edges,
lola: 4064 tries, 4063755852 fired transitions, 2540 secs || 142691215 markings, 232585031 edges,
lola: 4071 tries, 4070992773 fired transitions, 2545 secs || 142945569 markings, 232999602 edges,
lola: 4079 tries, 4078748600 fired transitions, 2550 secs || 143204766 markings, 233422047 edges,
lola: 4087 tries, 4086401361 fired transitions, 2555 secs || 143488513 markings, 233884833 edges,
lola: 4095 tries, 4094189943 fired transitions, 2560 secs || 143778400 markings, 234357116 edges,
lola: 4102 tries, 4101566508 fired transitions, 2565 secs || 144063561 markings, 234821943 edges,
lola: 4110 tries, 4109132426 fired transitions, 2570 secs || 144352220 markings, 235292279 edges,
lola: 4117 tries, 4116730609 fired transitions, 2575 secs || 144631558 markings, 235747303 edges,
lola: 4125 tries, 4124191373 fired transitions, 2580 secs || 144910739 markings, 236202671 edges,
lola: 4132 tries, 4131600254 fired transitions, 2585 secs || 145171503 markings, 236627963 edges,
lola: 4139 tries, 4138476050 fired transitions, 2590 secs || 145429663 markings, 237048622 edges,
lola: 4147 tries, 4146372895 fired transitions, 2595 secs || 145694200 markings, 237479640 edges,
lola: 4154 tries, 4153902339 fired transitions, 2600 secs || 145957807 markings, 237909242 edges,
lola: 4161 tries, 4160827834 fired transitions, 2605 secs || 146214928 markings, 238328694 edges,
lola: 4168 tries, 4167627227 fired transitions, 2610 secs || 146470700 markings, 238745582 edges,
lola: 4176 tries, 4175800993 fired transitions, 2615 secs || 146731578 markings, 239170893 edges,
lola: 4184 tries, 4183193701 fired transitions, 2620 secs || 147000105 markings, 239608355 edges,
lola: 4191 tries, 4190774450 fired transitions, 2625 secs || 147255973 markings, 240025423 edges,
lola: 4198 tries, 4197779303 fired transitions, 2630 secs || 147514623 markings, 240447709 edges,
lola: 4205 tries, 4204885337 fired transitions, 2635 secs || 147767851 markings, 240860139 edges,
lola: 4213 tries, 4212353104 fired transitions, 2640 secs || 148019633 markings, 241270529 edges,
lola: 4220 tries, 4219338967 fired transitions, 2645 secs || 148270271 markings, 241679170 edges,
lola: 4227 tries, 4226849473 fired transitions, 2650 secs || 148519692 markings, 242085682 edges,
lola: 4235 tries, 4234228829 fired transitions, 2655 secs || 148769942 markings, 242493974 edges,
lola: 4242 tries, 4241587026 fired transitions, 2660 secs || 149033003 markings, 242922661 edges,
lola: 4250 tries, 4249177661 fired transitions, 2665 secs || 149312686 markings, 243378540 edges,
lola: 4257 tries, 4256654992 fired transitions, 2670 secs || 149586689 markings, 243825019 edges,
lola: 4265 tries, 4264254048 fired transitions, 2675 secs || 149857135 markings, 244266606 edges,
lola: 4272 tries, 4271480362 fired transitions, 2680 secs || 150133166 markings, 244716326 edges,
lola: 4280 tries, 4279545203 fired transitions, 2685 secs || 150404766 markings, 245159060 edges,
lola: 4288 tries, 4287236667 fired transitions, 2690 secs || 150685931 markings, 245617452 edges,
lola: 4296 tries, 4295295309 fired transitions, 2695 secs || 150979595 markings, 246096614 edges,
lola: 4304 tries, 4303147609 fired transitions, 2700 secs || 151254997 markings, 246545555 edges,
lola: 4312 tries, 4311101143 fired transitions, 2705 secs || 151525680 markings, 246986781 edges,
lola: 4319 tries, 4318818597 fired transitions, 2710 secs || 151795132 markings, 247425858 edges,
lola: 4327 tries, 4326202071 fired transitions, 2715 secs || 152069910 markings, 247873903 edges,
lola: 4334 tries, 4333703681 fired transitions, 2720 secs || 152346364 markings, 248325308 edges,
lola: 4342 tries, 4341267855 fired transitions, 2725 secs || 152607770 markings, 248751058 edges,
lola: 4349 tries, 4348728286 fired transitions, 2730 secs || 152857016 markings, 249157515 edges,
lola: 4356 tries, 4355867353 fired transitions, 2735 secs || 153101570 markings, 249555945 edges,
lola: 4364 tries, 4363432071 fired transitions, 2740 secs || 153351678 markings, 249963849 edges,
lola: 4371 tries, 4370256899 fired transitions, 2745 secs || 153613182 markings, 250390113 edges,
lola: 4378 tries, 4377786318 fired transitions, 2750 secs || 153872066 markings, 250811967 edges,
lola: 4385 tries, 4384630391 fired transitions, 2755 secs || 154127732 markings, 251228626 edges,
lola: 4392 tries, 4391696088 fired transitions, 2760 secs || 154383591 markings, 251645567 edges,
lola: 4399 tries, 4398676440 fired transitions, 2765 secs || 154644785 markings, 252071456 edges,
lola: 4407 tries, 4406437481 fired transitions, 2770 secs || 154910867 markings, 252505141 edges,
lola: 4414 tries, 4413430570 fired transitions, 2775 secs || 155174597 markings, 252935042 edges,
lola: 4421 tries, 4420171168 fired transitions, 2780 secs || 155432071 markings, 253354674 edges,
lola: 4428 tries, 4427774969 fired transitions, 2785 secs || 155687672 markings, 253771570 edges,
lola: 4435 tries, 4434771701 fired transitions, 2790 secs || 155957005 markings, 254210428 edges,
lola: 4442 tries, 4441790558 fired transitions, 2795 secs || 156223535 markings, 254644597 edges,
lola: 4450 tries, 4449420541 fired transitions, 2800 secs || 156487828 markings, 255075406 edges,
lola: 4458 tries, 4457480183 fired transitions, 2805 secs || 156757391 markings, 255515044 edges,
lola: 4466 tries, 4465084780 fired transitions, 2810 secs || 157017587 markings, 255939380 edges,
lola: 4473 tries, 4472855717 fired transitions, 2815 secs || 157276027 markings, 256360336 edges,
lola: 4480 tries, 4479850566 fired transitions, 2820 secs || 157528212 markings, 256771522 edges,
lola: 4488 tries, 4487506828 fired transitions, 2825 secs || 157794268 markings, 257205038 edges,
lola: 4495 tries, 4494361926 fired transitions, 2830 secs || 158063524 markings, 257643869 edges,
lola: 4502 tries, 4501143699 fired transitions, 2835 secs || 158328604 markings, 258075999 edges,
lola: 4509 tries, 4508195244 fired transitions, 2840 secs || 158598028 markings, 258514798 edges,
lola: 4516 tries, 4515734621 fired transitions, 2845 secs || 158861596 markings, 258944420 edges,
lola: 4524 tries, 4523351461 fired transitions, 2850 secs || 159124811 markings, 259373553 edges,
lola: 4532 tries, 4531067247 fired transitions, 2855 secs || 159393498 markings, 259811671 edges,
lola: 4539 tries, 4538474609 fired transitions, 2860 secs || 159665275 markings, 260254318 edges,
lola: 4546 tries, 4545638587 fired transitions, 2865 secs || 159934215 markings, 260692919 edges,
lola: 4553 tries, 4552964670 fired transitions, 2870 secs || 160205344 markings, 261134723 edges,
lola: 4561 tries, 4560360958 fired transitions, 2875 secs || 160475326 markings, 261575055 edges,
lola: 4568 tries, 4567429159 fired transitions, 2880 secs || 160744151 markings, 262013028 edges,
lola: 4575 tries, 4574913582 fired transitions, 2885 secs || 161014573 markings, 262453657 edges,
lola: 4583 tries, 4582359809 fired transitions, 2890 secs || 161284320 markings, 262893349 edges,
lola: 4591 tries, 4590271280 fired transitions, 2895 secs || 161549444 markings, 263325825 edges,
lola: 4599 tries, 4598019795 fired transitions, 2900 secs || 161813874 markings, 263756951 edges,
lola: 4606 tries, 4605819310 fired transitions, 2905 secs || 162078418 markings, 264187970 edges,
lola: 4614 tries, 4613471944 fired transitions, 2910 secs || 162344182 markings, 264621087 edges,
lola: 4621 tries, 4620858675 fired transitions, 2915 secs || 162601968 markings, 265041177 edges,
lola: 4629 tries, 4628496237 fired transitions, 2920 secs || 162874477 markings, 265485596 edges,
lola: 4636 tries, 4635519116 fired transitions, 2925 secs || 163140046 markings, 265918173 edges,
lola: 4644 tries, 4643075766 fired transitions, 2930 secs || 163400768 markings, 266343182 edges,
lola: 4651 tries, 4650120233 fired transitions, 2935 secs || 163668348 markings, 266779035 edges,
lola: 4658 tries, 4657779091 fired transitions, 2940 secs || 163932174 markings, 267209641 edges,
lola: 4665 tries, 4664876645 fired transitions, 2945 secs || 164189103 markings, 267628010 edges,
lola: 4673 tries, 4672128148 fired transitions, 2950 secs || 164448484 markings, 268050791 edges,
lola: 4680 tries, 4679149285 fired transitions, 2955 secs || 164708340 markings, 268474323 edges,
lola: 4687 tries, 4686165918 fired transitions, 2960 secs || 164971516 markings, 268903680 edges,
lola: 4694 tries, 4693495298 fired transitions, 2965 secs || 165229614 markings, 269324288 edges,
lola: 4701 tries, 4700351108 fired transitions, 2970 secs || 165487928 markings, 269745159 edges,
lola: 4707 tries, 4706952633 fired transitions, 2975 secs || 165746522 markings, 270166377 edges,
lola: 4715 tries, 4714676728 fired transitions, 2980 secs || 166013439 markings, 270601472 edges,
lola: 4723 tries, 4722630014 fired transitions, 2985 secs || 166275808 markings, 271029421 edges,
lola: 4730 tries, 4729896826 fired transitions, 2990 secs || 166542994 markings, 271464906 edges,
lola: 4738 tries, 4737134708 fired transitions, 2995 secs || 166808917 markings, 271898235 edges,
lola: 4746 tries, 4745032945 fired transitions, 3000 secs || 167072699 markings, 272328036 edges,
lola: 4753 tries, 4752877968 fired transitions, 3005 secs || 167339464 markings, 272762716 edges,
lola: 4761 tries, 4760560677 fired transitions, 3010 secs || 167605908 markings, 273197326 edges,
lola: 4768 tries, 4767962412 fired transitions, 3015 secs || 167887979 markings, 273656834 edges,
lola: 4776 tries, 4775069965 fired transitions, 3020 secs || 168157132 markings, 274095591 edges,
lola: 4783 tries, 4782688087 fired transitions, 3025 secs || 168425731 markings, 274533113 edges,
lola: 4790 tries, 4789732704 fired transitions, 3030 secs || 168700952 markings, 274982191 edges,
lola: 4797 tries, 4796971420 fired transitions, 3035 secs || 168973865 markings, 275427066 edges,
lola: 4804 tries, 4803956329 fired transitions, 3040 secs || 169233298 markings, 275849989 edges,
lola: 4812 tries, 4811506560 fired transitions, 3045 secs || 169496249 markings, 276278492 edges,
lola: 4819 tries, 4818513768 fired transitions, 3050 secs || 169751620 markings, 276694936 edges,
lola: 4827 tries, 4826039527 fired transitions, 3055 secs || 170017175 markings, 277127541 edges,
lola: 4834 tries, 4833209586 fired transitions, 3060 secs || 170284174 markings, 277562807 edges,
lola: 4841 tries, 4840678876 fired transitions, 3065 secs || 170553184 markings, 278001237 edges,
lola: 4849 tries, 4848013952 fired transitions, 3070 secs || 170822921 markings, 278440971 edges,
lola: 4856 tries, 4855479017 fired transitions, 3075 secs || 171088878 markings, 278874577 edges,
lola: 4863 tries, 4862705896 fired transitions, 3080 secs || 171359318 markings, 279315239 edges,
lola: 4871 tries, 4870174611 fired transitions, 3085 secs || 171628960 markings, 279754780 edges,
lola: 4878 tries, 4877424033 fired transitions, 3090 secs || 171899725 markings, 280196128 edges,
lola: 4885 tries, 4884851827 fired transitions, 3095 secs || 172170620 markings, 280637758 edges,
lola: 4893 tries, 4892034635 fired transitions, 3100 secs || 172441452 markings, 281079069 edges,
lola: 4900 tries, 4899628557 fired transitions, 3105 secs || 172713531 markings, 281522243 edges,
lola: 4907 tries, 4906473363 fired transitions, 3110 secs || 172976100 markings, 281950476 edges,
lola: 4914 tries, 4913266968 fired transitions, 3115 secs || 173238498 markings, 282378485 edges,
lola: 4920 tries, 4919960554 fired transitions, 3120 secs || 173503252 markings, 282809711 edges,
lola: 4928 tries, 4927278556 fired transitions, 3125 secs || 173778038 markings, 283257740 edges,
lola: 4935 tries, 4934770081 fired transitions, 3130 secs || 174058611 markings, 283714882 edges,
lola: 4942 tries, 4941692070 fired transitions, 3135 secs || 174323204 markings, 284146296 edges,
lola: 4949 tries, 4948442220 fired transitions, 3140 secs || 174598268 markings, 284594670 edges,
lola: 4957 tries, 4956341504 fired transitions, 3145 secs || 174878821 markings, 285051643 edges,
lola: 4964 tries, 4963727686 fired transitions, 3150 secs || 175152446 markings, 285497804 edges,
lola: 4972 tries, 4971715220 fired transitions, 3155 secs || 175424263 markings, 285940821 edges,
lola: 4979 tries, 4978968528 fired transitions, 3160 secs || 175693606 markings, 286380095 edges,
lola: 4987 tries, 4986346319 fired transitions, 3165 secs || 175959924 markings, 286813823 edges,
lola: 4994 tries, 4993856794 fired transitions, 3170 secs || 176229625 markings, 287253699 edges,
lola: 5002 tries, 5001798607 fired transitions, 3175 secs || 176506543 markings, 287704652 edges,
lola: 5010 tries, 5009086368 fired transitions, 3180 secs || 176776616 markings, 288145061 edges,
lola: 5017 tries, 5016526502 fired transitions, 3185 secs || 177058508 markings, 288604651 edges,
lola: 5024 tries, 5023792046 fired transitions, 3190 secs || 177341914 markings, 289066144 edges,
lola: 5032 tries, 5031215623 fired transitions, 3195 secs || 177621911 markings, 289522626 edges,
lola: 5039 tries, 5038318039 fired transitions, 3200 secs || 177902315 markings, 289980064 edges,
lola: 5047 tries, 5046690834 fired transitions, 3205 secs || 178181647 markings, 290435234 edges,
lola: 5055 tries, 5054073868 fired transitions, 3210 secs || 178460755 markings, 290890131 edges,
lola: 5063 tries, 5062148280 fired transitions, 3215 secs || 178740961 markings, 291346743 edges,
lola: 5070 tries, 5069746076 fired transitions, 3220 secs || 179020895 markings, 291803190 edges,
lola: 5078 tries, 5077531045 fired transitions, 3225 secs || 179299740 markings, 292257712 edges,
lola: 5085 tries, 5084686236 fired transitions, 3230 secs || 179568877 markings, 292696371 edges,
lola: 5092 tries, 5091876388 fired transitions, 3235 secs || 179841748 markings, 293140973 edges,
lola: 5100 tries, 5099522372 fired transitions, 3240 secs || 180119202 markings, 293593423 edges,
lola: 5107 tries, 5106735404 fired transitions, 3245 secs || 180391970 markings, 294038210 edges,
lola: 5115 tries, 5114539446 fired transitions, 3250 secs || 180664095 markings, 294481235 edges,
lola: 5123 tries, 5122416097 fired transitions, 3255 secs || 180939331 markings, 294930094 edges,
lola: 5130 tries, 5129931966 fired transitions, 3260 secs || 181212869 markings, 295376078 edges,
lola: 5138 tries, 5137308346 fired transitions, 3265 secs || 181485497 markings, 295820261 edges,
lola: 5146 tries, 5145146577 fired transitions, 3270 secs || 181740074 markings, 296235257 edges,
lola: 5154 tries, 5153260288 fired transitions, 3275 secs || 182012610 markings, 296679238 edges,
lola: 5161 tries, 5160719110 fired transitions, 3280 secs || 182279705 markings, 297114411 edges,
lola: 5169 tries, 5168218293 fired transitions, 3285 secs || 182548067 markings, 297552420 edges,
lola: 5176 tries, 5175609254 fired transitions, 3290 secs || 182823021 markings, 298000257 edges,
lola: 5184 tries, 5183541267 fired transitions, 3295 secs || 183100160 markings, 298451940 edges,
lola: 5192 tries, 5191432803 fired transitions, 3300 secs || 183379323 markings, 298906888 edges,
lola: 5199 tries, 5198998781 fired transitions, 3305 secs || 183657635 markings, 299360762 edges,
lola: 5207 tries, 5206646285 fired transitions, 3310 secs || 183937677 markings, 299817511 edges,
lola: 5215 tries, 5214243116 fired transitions, 3315 secs || 184219315 markings, 300276144 edges,
lola: 5222 tries, 5221475881 fired transitions, 3320 secs || 184496791 markings, 300728578 edges,
lola: 5229 tries, 5228925089 fired transitions, 3325 secs || 184773864 markings, 301180515 edges,
lola: 5237 tries, 5236362805 fired transitions, 3330 secs || 185045024 markings, 301622860 edges,
lola: 5244 tries, 5243963478 fired transitions, 3335 secs || 185313760 markings, 302060627 edges,
lola: 5252 tries, 5251156339 fired transitions, 3340 secs || 185583217 markings, 302500092 edges,
lola: 5260 tries, 5259050172 fired transitions, 3345 secs || 185858151 markings, 302947750 edges,
lola: 5267 tries, 5266936665 fired transitions, 3350 secs || 186134363 markings, 303398756 edges,
lola: 5275 tries, 5274652256 fired transitions, 3355 secs || 186414935 markings, 303855899 edges,
lola: 5283 tries, 5282346471 fired transitions, 3360 secs || 186694609 markings, 304311583 edges,
lola: 5290 tries, 5289985954 fired transitions, 3365 secs || 186972136 markings, 304764005 edges,
lola: 5298 tries, 5297816070 fired transitions, 3370 secs || 187250091 markings, 305217430 edges,
lola: 5307 tries, 5306104427 fired transitions, 3375 secs || 187527623 markings, 305669638 edges,
lola: 5314 tries, 5313459397 fired transitions, 3380 secs || 187807537 markings, 306125775 edges,
lola: 5321 tries, 5320944407 fired transitions, 3385 secs || 188089337 markings, 306585259 edges,
lola: 5329 tries, 5328617607 fired transitions, 3390 secs || 188371039 markings, 307044413 edges,
lola: 5337 tries, 5336371690 fired transitions, 3395 secs || 188652100 markings, 307502530 edges,
lola: 5344 tries, 5343785192 fired transitions, 3400 secs || 188933628 markings, 307961329 edges,
lola: 5352 tries, 5351073592 fired transitions, 3405 secs || 189215839 markings, 308421105 edges,
lola: 5359 tries, 5358820284 fired transitions, 3410 secs || 189495543 markings, 308877278 edges,
lola: 5367 tries, 5366408767 fired transitions, 3415 secs || 189776666 markings, 309335678 edges,
lola: 5375 tries, 5374210576 fired transitions, 3420 secs || 190057706 markings, 309793640 edges,
lola: 5383 tries, 5382789034 fired transitions, 3425 secs || 190347209 markings, 310265548 edges,
lola: 5391 tries, 5390696366 fired transitions, 3430 secs || 190631412 markings, 310728777 edges,
lola: 5398 tries, 5397653047 fired transitions, 3435 secs || 190913286 markings, 311188428 edges,
lola: 5405 tries, 5404812311 fired transitions, 3440 secs || 191194703 markings, 311646748 edges,
lola: 5413 tries, 5412596263 fired transitions, 3445 secs || 191474114 markings, 312102177 edges,
lola: 5420 tries, 5419762302 fired transitions, 3450 secs || 191753510 markings, 312557623 edges,
lola: 5428 tries, 5427494456 fired transitions, 3455 secs || 192031247 markings, 313010321 edges,
lola: 5435 tries, 5434892346 fired transitions, 3460 secs || 192312402 markings, 313468460 edges,
lola: 5443 tries, 5442685090 fired transitions, 3465 secs || 192592082 markings, 313924550 edges,
lola: 5451 tries, 5450227521 fired transitions, 3470 secs || 192872461 markings, 314381390 edges,
lola: 5459 tries, 5458075040 fired transitions, 3475 secs || 193154153 markings, 314840761 edges,
lola: 5467 tries, 5466455494 fired transitions, 3480 secs || 193436448 markings, 315300586 edges,
lola: 5474 tries, 5473871494 fired transitions, 3485 secs || 193718104 markings, 315759769 edges,
lola: 5482 tries, 5481265488 fired transitions, 3490 secs || 193999712 markings, 316218803 edges,
lola: 5489 tries, 5488594422 fired transitions, 3495 secs || 194281889 markings, 316678898 edges,
lola: 5497 tries, 5496056146 fired transitions, 3500 secs || 194562198 markings, 317135688 edges,
lola: 5505 tries, 5504130805 fired transitions, 3505 secs || 194841781 markings, 317591319 edges,
lola: 5512 tries, 5511793329 fired transitions, 3510 secs || 195121244 markings, 318046693 edges,
lola: 5520 tries, 5519401740 fired transitions, 3515 secs || 195401515 markings, 318503625 edges,
lola: 5527 tries, 5526839813 fired transitions, 3520 secs || 195683090 markings, 318962484 edges,
lola: 5535 tries, 5534941572 fired transitions, 3525 secs || 195969381 markings, 319429057 edges,
lola: 5544 tries, 5543082605 fired transitions, 3530 secs || 196258681 markings, 319900765 edges,
lola: 5551 tries, 5550929194 fired transitions, 3535 secs || 196542531 markings, 320363151 edges,
lola: 5559 tries, 5558280371 fired transitions, 3540 secs || 196822473 markings, 320819855 edges,
lola: 5567 tries, 5566166965 fired transitions, 3545 secs || 197102650 markings, 321276449 edges,
lola: 5574 tries, 5573746581 fired transitions, 3550 secs || 197324308 markings, 321637759 edges,
lola: 5582 tries, 5581067738 fired transitions, 3555 secs || 197492910 markings, 321912591 edges,
lola: time limit reached - aborting
lola: 5588 tries, 5587683135 fired transitions, 3560 secs || 197621875 markings, 322123074 edges,
Segmentation fault
rslt: finished

BK_STOP 1552689156861

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

grep: GenericPropertiesVerdict.xml: No such file or directory
make: [verify] Error 139 (ignored)
grep: GenericPropertiesVerdict.xml: No such file or directory
=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16 tarjan) jan) 47334 markings/sec, 0 secs 56499 markings/sec, 5 secs 54912 markings/sec, 10 secs 55159 markings/sec, 15 secs 53791 markings/sec, 20 secs 54591 markings/sec, 25 secs 52841 markings/sec, 30 secs 53180 markings/sec, 35 secs 52645 markings/sec, 40 secs 51835 markings/sec, 45 secs 53452 markings/sec, 50 secs 52645 markings/sec, 55 secs 52671 markings/sec, 60 secs 57666 markings/sec, 65 secs 57260 markings/sec, 70 secs 57453 markings/sec, 75 secs 55825 markings/sec, 80 secs 54408 markings/sec, 85 secs 55314 markings/sec, 90 secs 56004 markings/sec, 95 secs 55760 markings/sec, 100 secs 55355 markings/sec, 105 secs 55463 markings/sec, 110 secs 55210 markings/sec, 115 secs 55113 markings/sec, 120 secs 54773 markings/sec, 125 secs 54731 markings/sec, 130 secs 54727 markings/sec, 135 secs 54738 markings/sec, 140 secs 55156 markings/sec, 145 secs 54958 markings/sec, 150 secs 55265 markings/sec, 155 secs 55416 markings/sec, 160 secs 55079 markings/sec, 165 secs 54732 markings/sec, 170 secs 55953 markings/sec, 175 secs 56801 markings/sec, 180 secs 57366 markings/sec, 185 secs 57906 markings/sec, 190 secs 58113 markings/sec, 195 secs 56579 markings/sec, 200 secs 55145 markings/sec, 205 secs 53944 markings/sec, 210 secs 53873 markings/sec, 215 secs 53791 markings/sec, 220 secs 53840 markings/sec, 225 secs 56796 markings/sec, 230 secs 57589 markings/sec, 235 secs 58141 markings/sec, 240 secs 57717 markings/sec, 245 secs 57207 markings/sec, 250 secs 57170 markings/sec, 255 secs 56467 markings/sec, 260 secs 56851 markings/sec, 265 secs 57693 markings/sec, 270 secs 57858 markings/sec, 275 secs 57685 markings/sec, 280 secs 56787 markings/sec, 285 secs 56299 markings/sec, 290 secs 55851 markings/sec, 295 secs 56397 markings/sec, 300 secs 56232 markings/sec, 305 secs 56775 markings/sec, 310 secs 56463 markings/sec, 315 secs 54635 markings/sec, 320 secs 55215 markings/sec, 325 secs 56956 markings/sec, 330 secs 58737 markings/sec, 335 secs 57808 markings/sec, 340 secs 56222 markings/sec, 345 secs 54174 markings/sec, 350 secs 53613 markings/sec, 355 secs 53965 markings/sec, 360 secs 57421 markings/sec, 365 secs 56616 markings/sec, 370 secs 56341 markings/sec, 375 secs 56151 markings/sec, 380 secs 56306 markings/sec, 385 secs 56154 markings/sec, 390 secs 57495 markings/sec, 395 secs 57514 markings/sec, 400 secs 57495 markings/sec, 405 secs 57608 markings/sec, 410 secs 56189 markings/sec, 415 secs 56482 markings/sec, 420 secs 57173 markings/sec, 425 secs 56946 markings/sec, 430 secs 57213 markings/sec, 435 secs 57331 markings/sec, 440 secs 57150 markings/sec, 445 secs 56674 markings/sec, 450 secs 57525 markings/sec, 455 secs 56859 markings/sec, 460 secs 55204 markings/sec, 465 secs 55935 markings/sec, 470 secs 57884 markings/sec, 475 secs 57797 markings/sec, 480 secs 58860 markings/sec, 485 secs 57945 markings/sec, 490 secs 52667 markings/sec, 495 secs 53126 markings/sec, 500 secs 53322 markings/sec, 505 secs 56770 markings/sec, 510 secs 59273 markings/sec, 515 secs 59365 markings/sec, 520 secs 55417 markings/sec, 525 secs 53643 markings/sec, 530 secs 53250 markings/sec, 535 secs 54824 markings/sec, 540 secs 56492 markings/sec, 545 secs 53371 markings/sec, 550 secs 53084 markings/sec, 555 secs 53418 markings/sec, 560 secs 55794 markings/sec, 565 secs 53374 markings/sec, 570 secs 54134 markings/sec, 575 secs 58734 markings/sec, 580 secs 58562 markings/sec, 585 secs 57786 markings/sec, 590 secs 57802 markings/sec, 595 secs 58969 markings/sec, 600 secs 58368 markings/sec, 605 secs 58885 markings/sec, 610 secs 57319 markings/sec, 615 secs 57192 markings/sec, 620 secs 56746 markings/sec, 625 secs 57291 markings/sec, 630 secs 56612 markings/sec, 635 secs 56610 markings/sec, 640 secs 58258 markings/sec, 645 secs 58484 markings/sec, 650 secs 58615 markings/sec, 655 secs 57284 markings/sec, 660 secs 56126 markings/sec, 665 secs 56363 markings/sec, 670 secs 56125 markings/sec, 675 secs 59494 markings/sec, 680 secs 59224 markings/sec, 685 secs 60164 markings/sec, 690 secs 59739 markings/sec, 695 secs 58991 markings/sec, 700 secs 58489 markings/sec, 705 secs 59210 markings/sec, 710 secs 58868 markings/sec, 715 secs 59192 markings/sec, 720 secs 59557 markings/sec, 725 secs 59529 markings/sec, 730 secs 59245 markings/sec, 735 secs 58980 markings/sec, 740 secs 58004 markings/sec, 745 secs 58942 markings/sec, 750 secs 59005 markings/sec, 755 secs 59366 markings/sec, 760 secs 59024 markings/sec, 765 secs 59357 markings/sec, 770 secs 59001 markings/sec, 775 secs 59249 markings/sec, 780 secs 58371 markings/sec, 785 secs 58161 markings/sec, 790 secs 58489 markings/sec, 795 secs 58343 markings/sec, 800 secs 58744 markings/sec, 805 secs 58787 markings/sec, 810 secs 57996 markings/sec, 815 secs 58487 markings/sec, 820 secs 57663 markings/sec, 825 secs 55041 markings/sec, 830 secs 58712 markings/sec, 835 secs 58590 markings/sec, 840 secs 58050 markings/sec, 845 secs 59568 markings/sec, 850 secs 58994 markings/sec, 855 secs 59315 markings/sec, 860 secs 58666 markings/sec, 865 secs 59004 markings/sec, 870 secs 58546 markings/sec, 875 secs 58693 markings/sec, 880 secs 59250 markings/sec, 885 secs 59426 markings/sec, 890 secs 58893 markings/sec, 895 secs 57909 markings/sec, 900 secs 57981 markings/sec, 905 secs 58100 markings/sec, 910 secs 57640 markings/sec, 915 secs 58202 markings/sec, 920 secs 57888 markings/sec, 925 secs 58029 markings/sec, 930 secs 58206 markings/sec, 935 secs 57732 markings/sec, 940 secs 56780 markings/sec, 945 secs 58273 markings/sec, 950 secs 58116 markings/sec, 955 secs 58602 markings/sec, 960 secs 58597 markings/sec, 965 secs 58518 markings/sec, 970 secs 57906 markings/sec, 975 secs 57229 markings/sec, 980 secs 57700 markings/sec, 985 secs 57411 markings/sec, 990 secs 56337 markings/sec, 995 secs 58112 markings/sec, 1000 secs 57429 markings/sec, 1005 secs 58152 markings/sec, 1010 secs 58070 markings/sec, 1015 secs 57025 markings/sec, 1020 secs 56505 markings/sec, 1025 secs 52520 markings/sec, 1030 secs 52221 markings/sec, 1035 secs 52053 markings/sec, 1040 secs 52655 markings/sec, 1045 secs 51760 markings/sec, 1050 secs 51632 markings/sec, 1055 secs 52334 markings/sec, 1060 secs 51887 markings/sec, 1065 secs 52025 markings/sec, 1070 secs 56905 markings/sec, 1075 secs 57579 markings/sec, 1080 secs 57685 markings/sec, 1085 secs 57641 markings/sec, 1090 secs 58124 markings/sec, 1095 secs 58104 markings/sec, 1100 secs 57453 markings/sec, 1105 secs 57253 markings/sec, 1110 secs 57116 markings/sec, 1115 secs 57533 markings/sec, 1120 secs 57736 markings/sec, 1125 secs 58401 markings/sec, 1130 secs 57308 markings/sec, 1135 secs 58055 markings/sec, 1140 secs 57597 markings/sec, 1145 secs 57885 markings/sec, 1150 secs 57246 markings/sec, 1155 secs 57587 markings/sec, 1160 secs 58260 markings/sec, 1165 secs 58570 markings/sec, 1170 secs 57188 markings/sec, 1175 secs 52236 markings/sec, 1180 secs 51922 markings/sec, 1185 secs 51243 markings/sec, 1190 secs 49461 markings/sec, 1195 secs 50215 markings/sec, 1200 secs 51269 markings/sec, 1205 secs 52755 markings/sec, 1210 secs 53830 markings/sec, 1215 secs 55366 markings/sec, 1220 secs 56969 markings/sec, 1225 secs 54266 markings/sec, 1230 secs 52335 markings/sec, 1235 secs 52181 markings/sec, 1240 secs 52733 markings/sec, 1245 secs 52216 markings/sec, 1250 secs 52589 markings/sec, 1255 secs 53024 markings/sec, 1260 secs 56605 markings/sec, 1265 secs 58769 markings/sec, 1270 secs 57560 markings/sec, 1275 secs 57805 markings/sec, 1280 secs 56718 markings/sec, 1285 secs 57088 markings/sec, 1290 secs 57385 markings/sec, 1295 secs 58278 markings/sec, 1300 secs 59792 markings/sec, 1305 secs 60325 markings/sec, 1310 secs 59730 markings/sec, 1315 secs 59092 markings/sec, 1320 secs 58727 markings/sec, 1325 secs 57550 markings/sec, 1330 secs 58535 markings/sec, 1335 secs 58623 markings/sec, 1340 secs 54439 markings/sec, 1345 secs 53769 markings/sec, 1350 secs 53220 markings/sec, 1355 secs 55185 markings/sec, 1360 secs 54997 markings/sec, 1365 secs 54991 markings/sec, 1370 secs 55622 markings/sec, 1375 secs 56462 markings/sec, 1380 secs 57012 markings/sec, 1385 secs 58627 markings/sec, 1390 secs 57978 markings/sec, 1395 secs 57565 markings/sec, 1400 secs 57763 markings/sec, 1405 secs 57363 markings/sec, 1410 secs 57443 markings/sec, 1415 secs 58808 markings/sec, 1420 secs 58565 markings/sec, 1425 secs 57795 markings/sec, 1430 secs 58168 markings/sec, 1435 secs 57916 markings/sec, 1440 secs 58384 markings/sec, 1445 secs 57913 markings/sec, 1450 secs 58244 markings/sec, 1455 secs 58949 markings/sec, 1460 secs 58320 markings/sec, 1465 secs 57926 markings/sec, 1470 secs 55763 markings/sec, 1475 secs 53118 markings/sec, 1480 secs 53241 markings/sec, 1485 secs 53142 markings/sec, 1490 secs 59726 markings/sec, 1495 secs 60621 markings/sec, 1500 secs 59576 markings/sec, 1505 secs 60141 markings/sec, 1510 secs 59979 markings/sec, 1515 secs 58234 markings/sec, 1520 secs 53748 markings/sec, 1525 secs 55048 markings/sec, 1530 secs 54204 markings/sec, 1535 secs 54001 markings/sec, 1540 secs 54556 markings/sec, 1545 secs 55316 markings/sec, 1550 secs 58863 markings/sec, 1555 secs 57198 markings/sec, 1560 secs 57987 markings/sec, 1565 secs 58670 markings/sec, 1570 secs 58103 markings/sec, 1575 secs 55773 markings/sec, 1580 secs 53398 markings/sec, 1585 secs 52681 markings/sec, 1590 secs 51700 markings/sec, 1595 secs 52740 markings/sec, 1600 secs 53094 markings/sec, 1605 secs 55934 markings/sec, 1610 secs 56639 markings/sec, 1615 secs 56744 markings/sec, 1620 secs 58405 markings/sec, 1625 secs 59107 markings/sec, 1630 secs 58080 markings/sec, 1635 secs 56781 markings/sec, 1640 secs 51309 markings/sec, 1645 secs 51034 markings/sec, 1650 secs 53914 markings/sec, 1655 secs 54447 markings/sec, 1660 secs 52049 markings/sec, 1665 secs 51586 markings/sec, 1670 secs 52769 markings/sec, 1675 secs 52230 markings/sec, 1680 secs 52751 markings/sec, 1685 secs 52268 markings/sec, 1690 secs 51645 markings/sec, 1695 secs 51710 markings/sec, 1700 secs 51404 markings/sec, 1705 secs 54413 markings/sec, 1710 secs 52739 markings/sec, 1715 secs 53003 markings/sec, 1720 secs 55747 markings/sec, 1725 secs 57249 markings/sec, 1730 secs 56098 markings/sec, 1735 secs 56910 markings/sec, 1740 secs 57619 markings/sec, 1745 secs 57667 markings/sec, 1750 secs 56455 markings/sec, 1755 secs 57909 markings/sec, 1760 secs 58158 markings/sec, 1765 secs 57457 markings/sec, 1770 secs 57842 markings/sec, 1775 secs 57999 markings/sec, 1780 secs 57841 markings/sec, 1785 secs 57884 markings/sec, 1790 secs 54431 markings/sec, 1795 secs 52539 markings/sec, 1800 secs 57089 markings/sec, 1805 secs 54502 markings/sec, 1810 secs 52948 markings/sec, 1815 secs 53272 markings/sec, 1820 secs 55404 markings/sec, 1825 secs 57387 markings/sec, 1830 secs 58897 markings/sec, 1835 secs 57402 markings/sec, 1840 secs 56958 markings/sec, 1845 secs 58196 markings/sec, 1850 secs 57653 markings/sec, 1855 secs 57582 markings/sec, 1860 secs 58097 markings/sec, 1865 secs 57808 markings/sec, 1870 secs 57435 markings/sec, 1875 secs 59091 markings/sec, 1880 secs 55464 markings/sec, 1885 secs 56339 markings/sec, 1890 secs 56444 markings/sec, 1895 secs 58662 markings/sec, 1900 secs 58633 markings/sec, 1905 secs 57610 markings/sec, 1910 secs 56714 markings/sec, 1915 secs 57785 markings/sec, 1920 secs 57675 markings/sec, 1925 secs 58607 markings/sec, 1930 secs 59930 markings/sec, 1935 secs 54758 markings/sec, 1940 secs 50903 markings/sec, 1945 secs 50983 markings/sec, 1950 secs 51642 markings/sec, 1955 secs 52096 markings/sec, 1960 secs 54093 markings/sec, 1965 secs 53032 markings/sec, 1970 secs 52722 markings/sec, 1975 secs 52260 markings/sec, 1980 secs 50074 markings/sec, 1985 secs 52664 markings/sec, 1990 secs 55618 markings/sec, 1995 secs 55194 markings/sec, 2000 secs 54981 markings/sec, 2005 secs 55404 markings/sec, 2010 secs 53382 markings/sec, 2015 secs 52950 markings/sec, 2020 secs 56495 markings/sec, 2025 secs 58731 markings/sec, 2030 secs 57291 markings/sec, 2035 secs 57353 markings/sec, 2040 secs 54183 markings/sec, 2045 secs 53822 markings/sec, 2050 secs 53598 markings/sec, 2055 secs 55306 markings/sec, 2060 secs 57970 markings/sec, 2065 secs 52486 markings/sec, 2070 secs 52737 markings/sec, 2075 secs 53093 markings/sec, 2080 secs 54570 markings/sec, 2085 secs 57961 markings/sec, 2090 secs 58241 markings/sec, 2095 secs 58071 markings/sec, 2100 secs 57920 markings/sec, 2105 secs 57442 markings/sec, 2110 secs 56754 markings/sec, 2115 secs 57780 markings/sec, 2120 secs 58271 markings/sec, 2125 secs 57574 markings/sec, 2130 secs 57672 markings/sec, 2135 secs 57611 markings/sec, 2140 secs 58411 markings/sec, 2145 secs 59092 markings/sec, 2150 secs 58263 markings/sec, 2155 secs 58655 markings/sec, 2160 secs 57472 markings/sec, 2165 secs 58064 markings/sec, 2170 secs 57951 markings/sec, 2175 secs 57630 markings/sec, 2180 secs 57749 markings/sec, 2185 secs 57137 markings/sec, 2190 secs 53634 markings/sec, 2195 secs 53683 markings/sec, 2200 secs 53847 markings/sec, 2205 secs 55579 markings/sec, 2210 secs 53227 markings/sec, 2215 secs 53909 markings/sec, 2220 secs 53559 markings/sec, 2225 secs 53885 markings/sec, 2230 secs 53361 markings/sec, 2235 secs 54685 markings/sec, 2240 secs 56284 markings/sec, 2245 secs 56476 markings/sec, 2250 secs 56653 markings/sec, 2255 secs 56364 markings/sec, 2260 secs 56746 markings/sec, 2265 secs 55825 markings/sec, 2270 secs 55368 markings/sec, 2275 secs 54335 markings/sec, 2280 secs 55410 markings/sec, 2285 secs 55520 markings/sec, 2290 secs 55281 markings/sec, 2295 secs 57021 markings/sec, 2300 secs 55895 markings/sec, 2305 secs 56384 markings/sec, 2310 secs 54485 markings/sec, 2315 secs 54318 markings/sec, 2320 secs 55525 markings/sec, 2325 secs 55549 markings/sec, 2330 secs 55938 markings/sec, 2335 secs 56416 markings/sec, 2340 secs 53048 markings/sec, 2345 secs 52428 markings/sec, 2350 secs 51590 markings/sec, 2355 secs 53131 markings/sec, 2360 secs 51914 markings/sec, 2365 secs 53933 markings/sec, 2370 secs 55046 markings/sec, 2375 secs 51980 markings/sec, 2380 secs 52956 markings/sec, 2385 secs 57688 markings/sec, 2390 secs 58698 markings/sec, 2395 secs 51423 markings/sec, 2400 secs 51411 markings/sec, 2405 secs 51868 markings/sec, 2410 secs 52502 markings/sec, 2415 secs 51260 markings/sec, 2420 secs 54568 markings/sec, 2425 secs 55172 markings/sec, 2430 secs 53296 markings/sec, 2435 secs 53854 markings/sec, 2440 secs 55158 markings/sec, 2445 secs 53295 markings/sec, 2450 secs 52931 markings/sec, 2455 secs 52989 markings/sec, 2460 secs 52216 markings/sec, 2465 secs 53786 markings/sec, 2470 secs 52627 markings/sec, 2475 secs 52516 markings/sec, 2480 secs 51927 markings/sec, 2485 secs 53231 markings/sec, 2490 secs 53094 markings/sec, 2495 secs 53677 markings/sec, 2500 secs 55248 markings/sec, 2505 secs 55117 markings/sec, 2510 secs 54542 markings/sec, 2515 secs 55887 markings/sec, 2520 secs 54859 markings/sec, 2525 secs 53468 markings/sec, 2530 secs 53803 markings/sec, 2535 secs 53754 markings/sec, 2540 secs 50871 markings/sec, 2545 secs 51839 markings/sec, 2550 secs 56749 markings/sec, 2555 secs 57977 markings/sec, 2560 secs 57032 markings/sec, 2565 secs 57732 markings/sec, 2570 secs 55868 markings/sec, 2575 secs 55836 markings/sec, 2580 secs 52153 markings/sec, 2585 secs 51632 markings/sec, 2590 secs 52907 markings/sec, 2595 secs 52721 markings/sec, 2600 secs 51424 markings/sec, 2605 secs 51154 markings/sec, 2610 secs 52176 markings/sec, 2615 secs 53705 markings/sec, 2620 secs 51174 markings/sec, 2625 secs 51730 markings/sec, 2630 secs 50646 markings/sec, 2635 secs 50356 markings/sec, 2640 secs 50128 markings/sec, 2645 secs 49884 markings/sec, 2650 secs 50050 markings/sec, 2655 secs 52612 markings/sec, 2660 secs 55937 markings/sec, 2665 secs 54801 markings/sec, 2670 secs 54089 markings/sec, 2675 secs 55206 markings/sec, 2680 secs 54320 markings/sec, 2685 secs 56233 markings/sec, 2690 secs 58733 markings/sec, 2695 secs 55080 markings/sec, 2700 secs 54137 markings/sec, 2705 secs 53890 markings/sec, 2710 secs 54956 markings/sec, 2715 secs 55291 markings/sec, 2720 secs 52281 markings/sec, 2725 secs 49849 markings/sec, 2730 secs 48911 markings/sec, 2735 secs 50022 markings/sec, 2740 secs 52301 markings/sec, 2745 secs 51777 markings/sec, 2750 secs 51133 markings/sec, 2755 secs 51172 markings/sec, 2760 secs 52239 markings/sec, 2765 secs 53216 markings/sec, 2770 secs 52746 markings/sec, 2775 secs 51495 markings/sec, 2780 secs 51120 markings/sec, 2785 secs 53867 markings/sec, 2790 secs 53306 markings/sec, 2795 secs 52859 markings/sec, 2800 secs 53913 markings/sec, 2805 secs 52039 markings/sec, 2810 secs 51688 markings/sec, 2815 secs 50437 markings/sec, 2820 secs 53211 markings/sec, 2825 secs 53851 markings/sec, 2830 secs 53016 markings/sec, 2835 secs 53885 markings/sec, 2840 secs 52714 markings/sec, 2845 secs 52643 markings/sec, 2850 secs 53737 markings/sec, 2855 secs 54355 markings/sec, 2860 secs 53788 markings/sec, 2865 secs 54226 markings/sec, 2870 secs 53996 markings/sec, 2875 secs 53765 markings/sec, 2880 secs 54084 markings/sec, 2885 secs 53949 markings/sec, 2890 secs 53025 markings/sec, 2895 secs 52886 markings/sec, 2900 secs 52909 markings/sec, 2905 secs 53153 markings/sec, 2910 secs 51557 markings/sec, 2915 secs 54502 markings/sec, 2920 secs 53114 markings/sec, 2925 secs 52144 markings/sec, 2930 secs 53516 markings/sec, 2935 secs 52765 markings/sec, 2940 secs 51386 markings/sec, 2945 secs 51876 markings/sec, 2950 secs 51971 markings/sec, 2955 secs 52635 markings/sec, 2960 secs 51620 markings/sec, 2965 secs 51663 markings/sec, 2970 secs 51719 markings/sec, 2975 secs 53383 markings/sec, 2980 secs 52474 markings/sec, 2985 secs 53437 markings/sec, 2990 secs 53185 markings/sec, 2995 secs 52756 markings/sec, 3000 secs 53353 markings/sec, 3005 secs 53289 markings/sec, 3010 secs 56414 markings/sec, 3015 secs 53831 markings/sec, 3020 secs 53720 markings/sec, 3025 secs 55044 markings/sec, 3030 secs 54583 markings/sec, 3035 secs 51887 markings/sec, 3040 secs 52590 markings/sec, 3045 secs 51074 markings/sec, 3050 secs 53111 markings/sec, 3055 secs 53400 markings/sec, 3060 secs 53802 markings/sec, 3065 secs 53947 markings/sec, 3070 secs 53191 markings/sec, 3075 secs 54088 markings/sec, 3080 secs 53928 markings/sec, 3085 secs 54153 markings/sec, 3090 secs 54179 markings/sec, 3095 secs 54166 markings/sec, 3100 secs 54416 markings/sec, 3105 secs 52514 markings/sec, 3110 secs 52480 markings/sec, 3115 secs 52951 markings/sec, 3120 secs 54957 markings/sec, 3125 secs 56115 markings/sec, 3130 secs 52919 markings/sec, 3135 secs 55013 markings/sec, 3140 secs 56111 markings/sec, 3145 secs 54725 markings/sec, 3150 secs 54363 markings/sec, 3155 secs 53869 markings/sec, 3160 secs 53264 markings/sec, 3165 secs 53940 markings/sec, 3170 secs 55384 markings/sec, 3175 secs 54015 markings/sec, 3180 secs 56378 markings/sec, 3185 secs 56681 markings/sec, 3190 secs 55999 markings/sec, 3195 secs 56081 markings/sec, 3200 secs 55866 markings/sec, 3205 secs 55822 markings/sec, 3210 secs 56041 markings/sec, 3215 secs 55987 markings/sec, 3220 secs 55769 markings/sec, 3225 secs 53827 markings/sec, 3230 secs 54574 markings/sec, 3235 secs 55491 markings/sec, 3240 secs 54554 markings/sec, 3245 secs 54425 markings/sec, 3250 secs 55047 markings/sec, 3255 secs 54708 markings/sec, 3260 secs 54526 markings/sec, 3265 secs 50915 markings/sec, 3270 secs 54507 markings/sec, 3275 secs 53419 markings/sec, 3280 secs 53672 markings/sec, 3285 secs 54991 markings/sec, 3290 secs 55428 markings/sec, 3295 secs 55833 markings/sec, 3300 secs 55662 markings/sec, 3305 secs 56008 markings/sec, 3310 secs 56328 markings/sec, 3315 secs 55495 markings/sec, 3320 secs 55415 markings/sec, 3325 secs 54232 markings/sec, 3330 secs 53747 markings/sec, 3335 secs 53891 markings/sec, 3340 secs 54987 markings/sec, 3345 secs 55242 markings/sec, 3350 secs 56114 markings/sec, 3355 secs 55935 markings/sec, 3360 secs 55505 markings/sec, 3365 secs 55591 markings/sec, 3370 secs 55506 markings/sec, 3375 secs 55983 markings/sec, 3380 secs 56360 markings/sec, 3385 secs 56340 markings/sec, 3390 secs 56212 markings/sec, 3395 secs 56306 markings/sec, 3400 secs 56442 markings/sec, 3405 secs 55941 markings/sec, 3410 secs 56225 markings/sec, 3415 secs 56208 markings/sec, 3420 secs 57901 markings/sec, 3425 secs 56841 markings/sec, 3430 secs 56375 markings/sec, 3435 secs 56283 markings/sec, 3440 secs 55882 markings/sec, 3445 secs 55879 markings/sec, 3450 secs 55547 markings/sec, 3455 secs 56231 markings/sec, 3460 secs 55936 markings/sec, 3465 secs 56076 markings/sec, 3470 secs 56338 markings/sec, 3475 secs 56459 markings/sec, 3480 secs 56331 markings/sec, 3485 secs 56322 markings/sec, 3490 secs 56435 markings/sec, 3495 secs 56062 markings/sec, 3500 secs 55917 markings/sec, 3505 secs 55893 markings/sec, 3510 secs 56054 markings/sec, 3515 secs 56315 markings/sec, 3520 secs 57258 markings/sec, 3525 secs 57860 markings/sec, 3530 secs 56770 markings/sec, 3535 secs 55988 markings/sec, 3540 secs 56035 markings/sec, 3545 secs 44332 markings/sec, 3550 secs 33720 markings/sec, 3555 secs 25793 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="JoinFreeModules-PT-0100"
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 JoinFreeModules-PT-0100, 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 r082-csrt-155246550300948"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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