MCC'2019 - Execution of r049-oct2-155234405600750

About the Execution of LoLA for DNAwalker-PT-18lozangeBlock

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
4274.750	3594132.00	7324847.00	147.50	[undef]	Cannot compute

Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2019-input.r049-oct2-155234405600750.qcow2',
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is DNAwalker-PT-18lozangeBlock, examination is GlobalProper
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-oct2-155234405600750
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.8M
-rw-r--r-- 1 mcc users 3.6K Feb 10 20:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 10 20:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 6 15:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 6 15:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.
-rw-r--r-- 1 mcc users 114 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 352 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.6K Feb 4 23:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 23:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 4 22:34
-rw-r--r-- 1 mcc users 9.2K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 3 06:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 3 06:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Jan 30 22:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Jan 30 22:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 15 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 1.6M Mar 10 17:31 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME DNAwalker-PT-18lozangeBlock-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1552482894657

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties @ DNAwalker-PT-18lozangeBlock
vrfy: finished
info: timeLeft: -24
rslt: Output for GlobalProperties @ DNAwalker-PT-18lozangeBlock

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=GlobalProperties.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=combined",
"--siphontrap=par",
"--siphondepth=10",
"--findpath=par",
"--retrylimit=0",
"--depthlimit=1000000",
"--symmetry",
"--symmtimelimit=300",
"--threads=2",
"--symmetrydepth=1073741824",
"--timelimit=3570",
"--json=GlobalProperties.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Wed Mar 13 13:14:54 2019
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 78468,
"runtime": 3575.000000,
"signal": "User defined signal 2",
"timelimitreached": true
},
"files":
{
"JSON": "GlobalProperties.json",
"formula": "GlobalProperties.xml",
"net": "model.pnml"
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 1,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "E (F (DEADLOCK))",
"processed_size": 16,
"rewrites": 1,
"skeleton": "E(F(**))"
},
"net":
{
"arcs": 10898,
"conflict_clusters": 65,
"places": 164,
"places_significant": 164,
"singleton_clusters": 0,
"transitions": 3697
},
"task":
{
"findpath":
{
"depthlimit": 1000000,
"retrylimit": null,
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 2
},
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"symmetry":
{
"card": 2.000000,
"composed": 0,
"dead_branches": 0,
"generators": 1,
"interrupted": false,
"real_computed": 1,
"timelimit": 300
},
"threads": 2,
"type": "dfs"
},
"type": "reachability",
"workflow": "findpath||search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 3861/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 5248
lola: finding significant places
lola: 164 places, 3697 transitions, 164 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
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=simplecompresse
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
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: SEARCH (findpath)
lola: findpath: using reachability preserving stubborn set
lola: RUNNING
lola: computing symmetries (--symmetry)
lola: time limit for symmetry computation of 300 seconds given
lola: findpath: starting randomized, memory-less exploration
lola: findpath: searching for paths with maximal depth 1000000
lola: findpath: no retry limit given (--retrylimit)
lola: findpath: transitions are chosen hash-driven
lola: computed 1 generators (1 in search tree, 0 by composition)
lola: representing 2 symmetries
lola: 0 dead branches visited in search tree
lola: 8 tries, 7801094 fired transitions, 0 secs ||
lola: 16 tries, 15656082 fired transitions, 5 secs ||
lola: 24 tries, 23510721 fired transitions, 10 secs ||
lola: 32 tries, 31368796 fired transitions, 15 secs ||
lola: 40 tries, 39222025 fired transitions, 20 secs ||
lola: 48 tries, 47058856 fired transitions, 25 secs ||
lola: 55 tries, 54915586 fired transitions, 30 secs ||
lola: 63 tries, 62841285 fired transitions, 35 secs ||
lola: 71 tries, 70579283 fired transitions, 40 secs ||
lola: 79 tries, 78318274 fired transitions, 45 secs ||
lola: 87 tries, 86072706 fired transitions, 50 secs ||
lola: 94 tries, 93836871 fired transitions, 55 secs ||
lola: 102 tries, 101673924 fired transitions, 60 secs ||
lola: 110 tries, 109547700 fired transitions, 65 secs ||
lola: 118 tries, 117403737 fired transitions, 70 secs ||
lola: 126 tries, 125236811 fired transitions, 75 secs ||
lola: 134 tries, 133063625 fired transitions, 80 secs ||
lola: 141 tries, 140892658 fired transitions, 85 secs ||
lola: 149 tries, 148747227 fired transitions, 90 secs ||
lola: 157 tries, 156602799 fired transitions, 95 secs ||
lola: 165 tries, 164462193 fired transitions, 100 secs ||
lola: 173 tries, 172318552 fired transitions, 105 secs ||
lola: 181 tries, 180169853 fired transitions, 110 secs ||
lola: 188 tries, 187978906 fired transitions, 115 secs ||
lola: 196 tries, 195929317 fired transitions, 120 secs ||
lola: 204 tries, 203935818 fired transitions, 125 secs ||
lola: 212 tries, 211946389 fired transitions, 130 secs ||
lola: 220 tries, 219958018 fired transitions, 135 secs ||
lola: 228 tries, 227966347 fired transitions, 140 secs ||
lola: 236 tries, 235819236 fired transitions, 145 secs ||
lola: 244 tries, 243755822 fired transitions, 150 secs ||
lola: 252 tries, 251758211 fired transitions, 155 secs ||
lola: 260 tries, 259753237 fired transitions, 160 secs ||
lola: 268 tries, 267754051 fired transitions, 165 secs ||
lola: 276 tries, 275735385 fired transitions, 170 secs ||
lola: 284 tries, 283742444 fired transitions, 175 secs ||
lola: 292 tries, 291708684 fired transitions, 180 secs ||
lola: 300 tries, 299695189 fired transitions, 185 secs ||
lola: 308 tries, 307607085 fired transitions, 190 secs ||
lola: 316 tries, 315596707 fired transitions, 195 secs ||
lola: 324 tries, 323578658 fired transitions, 200 secs ||
lola: 332 tries, 331544070 fired transitions, 205 secs ||
lola: 340 tries, 339519129 fired transitions, 210 secs ||
lola: 348 tries, 347447857 fired transitions, 215 secs ||
lola: 356 tries, 355392496 fired transitions, 220 secs ||
lola: 364 tries, 363335274 fired transitions, 225 secs ||
lola: 372 tries, 371205526 fired transitions, 230 secs ||
lola: 380 tries, 379053790 fired transitions, 235 secs ||
lola: 387 tries, 386914359 fired transitions, 240 secs ||
lola: 395 tries, 394768675 fired transitions, 245 secs ||
lola: 403 tries, 402626830 fired transitions, 250 secs ||
lola: 411 tries, 410534006 fired transitions, 255 secs ||
lola: 419 tries, 418466784 fired transitions, 260 secs ||
lola: 427 tries, 426397904 fired transitions, 265 secs ||
lola: 435 tries, 434343171 fired transitions, 270 secs ||
lola: 443 tries, 442285920 fired transitions, 275 secs ||
lola: 451 tries, 450230927 fired transitions, 280 secs ||
lola: 459 tries, 458180741 fired transitions, 285 secs ||
lola: 467 tries, 466115155 fired transitions, 290 secs ||
lola: 475 tries, 474061993 fired transitions, 295 secs ||
lola: 483 tries, 482000071 fired transitions, 300 secs ||
lola: 490 tries, 489958586 fired transitions, 305 secs ||
lola: 498 tries, 497879978 fired transitions, 310 secs ||
lola: 506 tries, 505820544 fired transitions, 315 secs ||
lola: 514 tries, 513768548 fired transitions, 320 secs ||
lola: 522 tries, 521700533 fired transitions, 325 secs ||
lola: 530 tries, 529603524 fired transitions, 330 secs ||
lola: 538 tries, 537564888 fired transitions, 335 secs ||
lola: 546 tries, 545513549 fired transitions, 340 secs ||
lola: 554 tries, 553466841 fired transitions, 345 secs ||
lola: 562 tries, 561429093 fired transitions, 350 secs ||
lola: 570 tries, 569389511 fired transitions, 355 secs ||
lola: 578 tries, 577348946 fired transitions, 360 secs ||
lola: 586 tries, 585307939 fired transitions, 365 secs ||
lola: 594 tries, 593253673 fired transitions, 370 secs ||
lola: 602 tries, 601207439 fired transitions, 375 secs ||
lola: 610 tries, 609156306 fired transitions, 380 secs ||
lola: 618 tries, 617091882 fired transitions, 385 secs ||
lola: 626 tries, 625046797 fired transitions, 390 secs ||
lola: 634 tries, 633000071 fired transitions, 395 secs ||
lola: 641 tries, 640934927 fired transitions, 400 secs ||
lola: 649 tries, 648883905 fired transitions, 405 secs ||
lola: 657 tries, 656839847 fired transitions, 410 secs ||
lola: 665 tries, 664793505 fired transitions, 415 secs ||
lola: 673 tries, 672748864 fired transitions, 420 secs ||
lola: 681 tries, 680703836 fired transitions, 425 secs ||
lola: 689 tries, 688646653 fired transitions, 430 secs ||
lola: 697 tries, 696594537 fired transitions, 435 secs ||
lola: 705 tries, 704530801 fired transitions, 440 secs ||
lola: 713 tries, 712486469 fired transitions, 445 secs ||
lola: 721 tries, 720447193 fired transitions, 450 secs ||
lola: 729 tries, 728404510 fired transitions, 455 secs ||
lola: 737 tries, 736359333 fired transitions, 460 secs ||
lola: 745 tries, 744312472 fired transitions, 465 secs ||
lola: 753 tries, 752267822 fired transitions, 470 secs ||
lola: 761 tries, 760202531 fired transitions, 475 secs ||
lola: 769 tries, 768126283 fired transitions, 480 secs ||
lola: 777 tries, 776075002 fired transitions, 485 secs ||
lola: 785 tries, 784066621 fired transitions, 490 secs ||
lola: 793 tries, 792061760 fired transitions, 495 secs ||
lola: 801 tries, 800048229 fired transitions, 500 secs ||
lola: 809 tries, 808072606 fired transitions, 505 secs ||
lola: 817 tries, 816040721 fired transitions, 510 secs ||
lola: 825 tries, 824024091 fired transitions, 515 secs ||
lola: 833 tries, 832022905 fired transitions, 520 secs ||
lola: 840 tries, 839912033 fired transitions, 525 secs ||
lola: 848 tries, 847840390 fired transitions, 530 secs ||
lola: 856 tries, 855830463 fired transitions, 535 secs ||
lola: 864 tries, 863818538 fired transitions, 540 secs ||
lola: 872 tries, 871813939 fired transitions, 545 secs ||
lola: 880 tries, 879797373 fired transitions, 550 secs ||
lola: 888 tries, 887784973 fired transitions, 555 secs ||
lola: 896 tries, 895774581 fired transitions, 560 secs ||
lola: 904 tries, 903787171 fired transitions, 565 secs ||
lola: 912 tries, 911761447 fired transitions, 570 secs ||
lola: 920 tries, 919668524 fired transitions, 575 secs ||
lola: 928 tries, 927588827 fired transitions, 580 secs ||
lola: 936 tries, 935442319 fired transitions, 585 secs ||
lola: 944 tries, 943334457 fired transitions, 590 secs ||
lola: 952 tries, 951331623 fired transitions, 595 secs ||
lola: 960 tries, 959312243 fired transitions, 600 secs ||
lola: 968 tries, 967290923 fired transitions, 605 secs ||
lola: 976 tries, 975258713 fired transitions, 610 secs ||
lola: 984 tries, 983069103 fired transitions, 615 secs ||
lola: 991 tries, 990851370 fired transitions, 620 secs ||
lola: 999 tries, 998695894 fired transitions, 625 secs ||
lola: 1007 tries, 1006662902 fired transitions, 630 secs ||
lola: 1015 tries, 1014631708 fired transitions, 635 secs ||
lola: 1023 tries, 1022613593 fired transitions, 640 secs ||
lola: 1031 tries, 1030567269 fired transitions, 645 secs ||
lola: 1039 tries, 1038563101 fired transitions, 650 secs ||
lola: 1047 tries, 1046562595 fired transitions, 655 secs ||
lola: 1055 tries, 1054554880 fired transitions, 660 secs ||
lola: 1063 tries, 1062527567 fired transitions, 665 secs ||
lola: 1071 tries, 1070510800 fired transitions, 670 secs ||
lola: 1079 tries, 1078481187 fired transitions, 675 secs ||
lola: 1087 tries, 1086409148 fired transitions, 680 secs ||
lola: 1095 tries, 1094404316 fired transitions, 685 secs ||
lola: 1103 tries, 1102446127 fired transitions, 690 secs ||
lola: 1111 tries, 1110494085 fired transitions, 695 secs ||
lola: 1119 tries, 1118539110 fired transitions, 700 secs ||
lola: 1127 tries, 1126606497 fired transitions, 705 secs ||
lola: 1135 tries, 1134577997 fired transitions, 710 secs ||
lola: 1143 tries, 1142484980 fired transitions, 715 secs ||
lola: 1151 tries, 1150329146 fired transitions, 720 secs ||
lola: 1159 tries, 1158104498 fired transitions, 725 secs ||
lola: 1166 tries, 1165920809 fired transitions, 730 secs ||
lola: 1174 tries, 1173780918 fired transitions, 735 secs ||
lola: 1182 tries, 1181627337 fired transitions, 740 secs ||
lola: 1190 tries, 1189460430 fired transitions, 745 secs ||
lola: 1198 tries, 1197305719 fired transitions, 750 secs ||
lola: 1206 tries, 1205097174 fired transitions, 755 secs ||
lola: 1213 tries, 1212841891 fired transitions, 760 secs ||
lola: 1221 tries, 1220699126 fired transitions, 765 secs ||
lola: 1229 tries, 1228474786 fired transitions, 770 secs ||
lola: 1237 tries, 1236263984 fired transitions, 775 secs ||
lola: 1245 tries, 1244297244 fired transitions, 780 secs ||
lola: 1253 tries, 1252249591 fired transitions, 785 secs ||
lola: 1261 tries, 1260116273 fired transitions, 790 secs ||
lola: 1269 tries, 1268077818 fired transitions, 795 secs ||
lola: 1277 tries, 1276095822 fired transitions, 800 secs ||
lola: 1285 tries, 1284099330 fired transitions, 805 secs ||
lola: 1293 tries, 1292113406 fired transitions, 810 secs ||
lola: 1301 tries, 1300170347 fired transitions, 815 secs ||
lola: 1309 tries, 1308215667 fired transitions, 820 secs ||
lola: 1317 tries, 1316231435 fired transitions, 825 secs ||
lola: 1325 tries, 1324108601 fired transitions, 830 secs ||
lola: 1333 tries, 1332006579 fired transitions, 835 secs ||
lola: 1340 tries, 1339990529 fired transitions, 840 secs ||
lola: 1348 tries, 1347868025 fired transitions, 845 secs ||
lola: 1356 tries, 1355814801 fired transitions, 850 secs ||
lola: 1364 tries, 1363768474 fired transitions, 855 secs ||
lola: 1372 tries, 1371736060 fired transitions, 860 secs ||
lola: 1380 tries, 1379685986 fired transitions, 865 secs ||
lola: 1388 tries, 1387660138 fired transitions, 870 secs ||
lola: 1396 tries, 1395553499 fired transitions, 875 secs ||
lola: 1404 tries, 1403394293 fired transitions, 880 secs ||
lola: 1412 tries, 1411282426 fired transitions, 885 secs ||
lola: 1420 tries, 1419131819 fired transitions, 890 secs ||
lola: 1428 tries, 1427075670 fired transitions, 895 secs ||
lola: 1436 tries, 1435066766 fired transitions, 900 secs ||
lola: 1444 tries, 1443047444 fired transitions, 905 secs ||
lola: 1451 tries, 1450952542 fired transitions, 910 secs ||
lola: 1459 tries, 1458811066 fired transitions, 915 secs ||
lola: 1467 tries, 1466673492 fired transitions, 920 secs ||
lola: 1475 tries, 1474539695 fired transitions, 925 secs ||
lola: 1483 tries, 1482422491 fired transitions, 930 secs ||
lola: 1491 tries, 1490282666 fired transitions, 935 secs ||
lola: 1499 tries, 1498264908 fired transitions, 940 secs ||
lola: 1507 tries, 1506240867 fired transitions, 945 secs ||
lola: 1515 tries, 1514249216 fired transitions, 950 secs ||
lola: 1523 tries, 1522201560 fired transitions, 955 secs ||
lola: 1531 tries, 1530062854 fired transitions, 960 secs ||
lola: 1538 tries, 1537928164 fired transitions, 965 secs ||
lola: 1546 tries, 1545784696 fired transitions, 970 secs ||
lola: 1554 tries, 1553696799 fired transitions, 975 secs ||
lola: 1562 tries, 1561744204 fired transitions, 980 secs ||
lola: 1570 tries, 1569728885 fired transitions, 985 secs ||
lola: 1578 tries, 1577580514 fired transitions, 990 secs ||
lola: 1586 tries, 1585626831 fired transitions, 995 secs ||
lola: 1594 tries, 1593639978 fired transitions, 1000 secs ||
lola: 1602 tries, 1601504598 fired transitions, 1005 secs ||
lola: 1610 tries, 1609361780 fired transitions, 1010 secs ||
lola: 1618 tries, 1617214938 fired transitions, 1015 secs ||
lola: 1626 tries, 1625076167 fired transitions, 1020 secs ||
lola: 1633 tries, 1632943664 fired transitions, 1025 secs ||
lola: 1641 tries, 1640804650 fired transitions, 1030 secs ||
lola: 1649 tries, 1648661006 fired transitions, 1035 secs ||
lola: 1657 tries, 1656523537 fired transitions, 1040 secs ||
lola: 1665 tries, 1664382299 fired transitions, 1045 secs ||
lola: 1673 tries, 1672240432 fired transitions, 1050 secs ||
lola: 1681 tries, 1680102586 fired transitions, 1055 secs ||
lola: 1688 tries, 1687968370 fired transitions, 1060 secs ||
lola: 1696 tries, 1695836879 fired transitions, 1065 secs ||
lola: 1704 tries, 1703701797 fired transitions, 1070 secs ||
lola: 1712 tries, 1711561584 fired transitions, 1075 secs ||
lola: 1720 tries, 1719416391 fired transitions, 1080 secs ||
lola: 1728 tries, 1727256515 fired transitions, 1085 secs ||
lola: 1736 tries, 1735117124 fired transitions, 1090 secs ||
lola: 1743 tries, 1742984097 fired transitions, 1095 secs ||
lola: 1751 tries, 1750845681 fired transitions, 1100 secs ||
lola: 1759 tries, 1758707888 fired transitions, 1105 secs ||
lola: 1767 tries, 1766562201 fired transitions, 1110 secs ||
lola: 1775 tries, 1774426502 fired transitions, 1115 secs ||
lola: 1783 tries, 1782288322 fired transitions, 1120 secs ||
lola: 1791 tries, 1790149536 fired transitions, 1125 secs ||
lola: 1799 tries, 1798009153 fired transitions, 1130 secs ||
lola: 1806 tries, 1805877922 fired transitions, 1135 secs ||
lola: 1814 tries, 1813738283 fired transitions, 1140 secs ||
lola: 1822 tries, 1821598720 fired transitions, 1145 secs ||
lola: 1830 tries, 1829449246 fired transitions, 1150 secs ||
lola: 1838 tries, 1837311027 fired transitions, 1155 secs ||
lola: 1846 tries, 1845155566 fired transitions, 1160 secs ||
lola: 1854 tries, 1853016753 fired transitions, 1165 secs ||
lola: 1861 tries, 1860888709 fired transitions, 1170 secs ||
lola: 1869 tries, 1868750220 fired transitions, 1175 secs ||
lola: 1877 tries, 1876614855 fired transitions, 1180 secs ||
lola: 1885 tries, 1884494981 fired transitions, 1185 secs ||
lola: 1893 tries, 1892484335 fired transitions, 1190 secs ||
lola: 1901 tries, 1900494138 fired transitions, 1195 secs ||
lola: 1909 tries, 1908519273 fired transitions, 1200 secs ||
lola: 1917 tries, 1916570882 fired transitions, 1205 secs ||
lola: 1925 tries, 1924625308 fired transitions, 1210 secs ||
lola: 1933 tries, 1932673230 fired transitions, 1215 secs ||
lola: 1941 tries, 1940636216 fired transitions, 1220 secs ||
lola: 1949 tries, 1948493937 fired transitions, 1225 secs ||
lola: 1957 tries, 1956357342 fired transitions, 1230 secs ||
lola: 1965 tries, 1964265510 fired transitions, 1235 secs ||
lola: 1973 tries, 1972146763 fired transitions, 1240 secs ||
lola: 1981 tries, 1980007764 fired transitions, 1245 secs ||
lola: 1988 tries, 1987878250 fired transitions, 1250 secs ||
lola: 1996 tries, 1995736782 fired transitions, 1255 secs ||
lola: 2004 tries, 2003587955 fired transitions, 1260 secs ||
lola: 2012 tries, 2011490437 fired transitions, 1265 secs ||
lola: 2020 tries, 2019389795 fired transitions, 1270 secs ||
lola: 2028 tries, 2027300282 fired transitions, 1275 secs ||
lola: 2036 tries, 2035158792 fired transitions, 1280 secs ||
lola: 2044 tries, 2043181760 fired transitions, 1285 secs ||
lola: 2052 tries, 2051241053 fired transitions, 1290 secs ||
lola: 2060 tries, 2059224556 fired transitions, 1295 secs ||
lola: 2067 tries, 2066968087 fired transitions, 1300 secs ||
lola: 2075 tries, 2074681311 fired transitions, 1305 secs ||
lola: 2083 tries, 2082348965 fired transitions, 1310 secs ||
lola: 2091 tries, 2090092916 fired transitions, 1315 secs ||
lola: 2098 tries, 2097811852 fired transitions, 1320 secs ||
lola: 2106 tries, 2105500732 fired transitions, 1325 secs ||
lola: 2114 tries, 2113498916 fired transitions, 1330 secs ||
lola: 2122 tries, 2121407447 fired transitions, 1335 secs ||
lola: 2130 tries, 2129384762 fired transitions, 1340 secs ||
lola: 2138 tries, 2137254574 fired transitions, 1345 secs ||
lola: 2146 tries, 2145113258 fired transitions, 1350 secs ||
lola: 2153 tries, 2152983864 fired transitions, 1355 secs ||
lola: 2161 tries, 2160842387 fired transitions, 1360 secs ||
lola: 2169 tries, 2168742550 fired transitions, 1365 secs ||
lola: 2177 tries, 2176728041 fired transitions, 1370 secs ||
lola: 2185 tries, 2184673790 fired transitions, 1375 secs ||
lola: 2193 tries, 2192542778 fired transitions, 1380 secs ||
lola: 2201 tries, 2200491396 fired transitions, 1385 secs ||
lola: 2209 tries, 2208403056 fired transitions, 1390 secs ||
lola: 2217 tries, 2216262053 fired transitions, 1395 secs ||
lola: 2225 tries, 2224122769 fired transitions, 1400 secs ||
lola: 2232 tries, 2231980889 fired transitions, 1405 secs ||
lola: 2240 tries, 2239842977 fired transitions, 1410 secs ||
lola: 2248 tries, 2247707054 fired transitions, 1415 secs ||
lola: 2256 tries, 2255566602 fired transitions, 1420 secs ||
lola: 2264 tries, 2263414226 fired transitions, 1425 secs ||
lola: 2272 tries, 2271278228 fired transitions, 1430 secs ||
lola: 2280 tries, 2279134298 fired transitions, 1435 secs ||
lola: 2288 tries, 2287061910 fired transitions, 1440 secs ||
lola: 2296 tries, 2295032654 fired transitions, 1445 secs ||
lola: 2303 tries, 2302987567 fired transitions, 1450 secs ||
lola: 2311 tries, 2310959610 fired transitions, 1455 secs ||
lola: 2319 tries, 2318833768 fired transitions, 1460 secs ||
lola: 2327 tries, 2326692322 fired transitions, 1465 secs ||
lola: 2335 tries, 2334552399 fired transitions, 1470 secs ||
lola: 2343 tries, 2342427905 fired transitions, 1475 secs ||
lola: 2351 tries, 2350340982 fired transitions, 1480 secs ||
lola: 2359 tries, 2358199746 fired transitions, 1485 secs ||
lola: 2367 tries, 2366060745 fired transitions, 1490 secs ||
lola: 2374 tries, 2373931802 fired transitions, 1495 secs ||
lola: 2382 tries, 2381809084 fired transitions, 1500 secs ||
lola: 2390 tries, 2389658223 fired transitions, 1505 secs ||
lola: 2398 tries, 2397520065 fired transitions, 1510 secs ||
lola: 2406 tries, 2405367113 fired transitions, 1515 secs ||
lola: 2414 tries, 2413231653 fired transitions, 1520 secs ||
lola: 2422 tries, 2421095659 fired transitions, 1525 secs ||
lola: 2429 tries, 2428986965 fired transitions, 1530 secs ||
lola: 2437 tries, 2436852160 fired transitions, 1535 secs ||
lola: 2445 tries, 2444705832 fired transitions, 1540 secs ||
lola: 2453 tries, 2452567902 fired transitions, 1545 secs ||
lola: 2461 tries, 2460431427 fired transitions, 1550 secs ||
lola: 2469 tries, 2468290823 fired transitions, 1555 secs ||
lola: 2477 tries, 2476148338 fired transitions, 1560 secs ||
lola: 2485 tries, 2484000066 fired transitions, 1565 secs ||
lola: 2492 tries, 2491852510 fired transitions, 1570 secs ||
lola: 2500 tries, 2499761545 fired transitions, 1575 secs ||
lola: 2508 tries, 2507748424 fired transitions, 1580 secs ||
lola: 2516 tries, 2515621255 fired transitions, 1585 secs ||
lola: 2524 tries, 2523471609 fired transitions, 1590 secs ||
lola: 2532 tries, 2531336896 fired transitions, 1595 secs ||
lola: 2540 tries, 2539243849 fired transitions, 1600 secs ||
lola: 2548 tries, 2547088816 fired transitions, 1605 secs ||
lola: 2555 tries, 2554943137 fired transitions, 1610 secs ||
lola: 2563 tries, 2562827467 fired transitions, 1615 secs ||
lola: 2571 tries, 2570789717 fired transitions, 1620 secs ||
lola: 2579 tries, 2578690736 fired transitions, 1625 secs ||
lola: 2587 tries, 2586537976 fired transitions, 1630 secs ||
lola: 2595 tries, 2594382342 fired transitions, 1635 secs ||
lola: 2603 tries, 2602227426 fired transitions, 1640 secs ||
lola: 2611 tries, 2610071221 fired transitions, 1645 secs ||
lola: 2618 tries, 2617925554 fired transitions, 1650 secs ||
lola: 2626 tries, 2625763385 fired transitions, 1655 secs ||
lola: 2634 tries, 2633622912 fired transitions, 1660 secs ||
lola: 2642 tries, 2641466857 fired transitions, 1665 secs ||
lola: 2650 tries, 2649321296 fired transitions, 1670 secs ||
lola: 2658 tries, 2657164081 fired transitions, 1675 secs ||
lola: 2666 tries, 2665003159 fired transitions, 1680 secs ||
lola: 2673 tries, 2672857195 fired transitions, 1685 secs ||
lola: 2681 tries, 2680856130 fired transitions, 1690 secs ||
lola: 2689 tries, 2688843654 fired transitions, 1695 secs ||
lola: 2697 tries, 2696839609 fired transitions, 1700 secs ||
lola: 2705 tries, 2704826863 fired transitions, 1705 secs ||
lola: 2713 tries, 2712688290 fired transitions, 1710 secs ||
lola: 2721 tries, 2720495434 fired transitions, 1715 secs ||
lola: 2729 tries, 2728206464 fired transitions, 1720 secs ||
lola: 2736 tries, 2735921007 fired transitions, 1725 secs ||
lola: 2744 tries, 2743586340 fired transitions, 1730 secs ||
lola: 2752 tries, 2751428447 fired transitions, 1735 secs ||
lola: 2760 tries, 2759270764 fired transitions, 1740 secs ||
lola: 2768 tries, 2767008036 fired transitions, 1745 secs ||
lola: 2775 tries, 2774746855 fired transitions, 1750 secs ||
lola: 2783 tries, 2782589463 fired transitions, 1755 secs ||
lola: 2791 tries, 2790573111 fired transitions, 1760 secs ||
lola: 2799 tries, 2798376507 fired transitions, 1765 secs ||
lola: 2806 tries, 2805993661 fired transitions, 1770 secs ||
lola: 2814 tries, 2813814007 fired transitions, 1775 secs ||
lola: 2822 tries, 2821664803 fired transitions, 1780 secs ||
lola: 2830 tries, 2829521771 fired transitions, 1785 secs ||
lola: 2838 tries, 2837372724 fired transitions, 1790 secs ||
lola: 2846 tries, 2845233748 fired transitions, 1795 secs ||
lola: 2854 tries, 2853096151 fired transitions, 1800 secs ||
lola: 2861 tries, 2860945064 fired transitions, 1805 secs ||
lola: 2869 tries, 2868860570 fired transitions, 1810 secs ||
lola: 2877 tries, 2876799599 fired transitions, 1815 secs ||
lola: 2885 tries, 2884709355 fired transitions, 1820 secs ||
lola: 2893 tries, 2892703583 fired transitions, 1825 secs ||
lola: 2901 tries, 2900707332 fired transitions, 1830 secs ||
lola: 2909 tries, 2908712191 fired transitions, 1835 secs ||
lola: 2917 tries, 2916704187 fired transitions, 1840 secs ||
lola: 2925 tries, 2924753397 fired transitions, 1845 secs ||
lola: 2933 tries, 2932777038 fired transitions, 1850 secs ||
lola: 2941 tries, 2940754335 fired transitions, 1855 secs ||
lola: 2949 tries, 2948696223 fired transitions, 1860 secs ||
lola: 2957 tries, 2956556857 fired transitions, 1865 secs ||
lola: 2965 tries, 2964418321 fired transitions, 1870 secs ||
lola: 2973 tries, 2972278972 fired transitions, 1875 secs ||
lola: 2981 tries, 2980137134 fired transitions, 1880 secs ||
lola: 2989 tries, 2988000069 fired transitions, 1885 secs ||
lola: 2996 tries, 2995850226 fired transitions, 1890 secs ||
lola: 3004 tries, 3003690499 fired transitions, 1895 secs ||
lola: 3012 tries, 3011549106 fired transitions, 1900 secs ||
lola: 3020 tries, 3019423695 fired transitions, 1905 secs ||
lola: 3028 tries, 3027429276 fired transitions, 1910 secs ||
lola: 3036 tries, 3035405359 fired transitions, 1915 secs ||
lola: 3044 tries, 3043366827 fired transitions, 1920 secs ||
lola: 3052 tries, 3051329404 fired transitions, 1925 secs ||
lola: 3060 tries, 3059289063 fired transitions, 1930 secs ||
lola: 3068 tries, 3067230236 fired transitions, 1935 secs ||
lola: 3076 tries, 3075178967 fired transitions, 1940 secs ||
lola: 3084 tries, 3083031193 fired transitions, 1945 secs ||
lola: 3091 tries, 3090960316 fired transitions, 1950 secs ||
lola: 3099 tries, 3098895180 fired transitions, 1955 secs ||
lola: 3107 tries, 3106856093 fired transitions, 1960 secs ||
lola: 3115 tries, 3114802349 fired transitions, 1965 secs ||
lola: 3123 tries, 3122593413 fired transitions, 1970 secs ||
lola: 3131 tries, 3130349463 fired transitions, 1975 secs ||
lola: 3139 tries, 3138208736 fired transitions, 1980 secs ||
lola: 3147 tries, 3146081381 fired transitions, 1985 secs ||
lola: 3154 tries, 3153944133 fired transitions, 1990 secs ||
lola: 3162 tries, 3161737916 fired transitions, 1995 secs ||
lola: 3170 tries, 3169594269 fired transitions, 2000 secs ||
lola: 3178 tries, 3177453476 fired transitions, 2005 secs ||
lola: 3186 tries, 3185306826 fired transitions, 2010 secs ||
lola: 3194 tries, 3193128768 fired transitions, 2015 secs ||
lola: 3201 tries, 3200992630 fired transitions, 2020 secs ||
lola: 3209 tries, 3208848438 fired transitions, 2025 secs ||
lola: 3217 tries, 3216706082 fired transitions, 2030 secs ||
lola: 3225 tries, 3224552204 fired transitions, 2035 secs ||
lola: 3233 tries, 3232392828 fired transitions, 2040 secs ||
lola: 3241 tries, 3240242628 fired transitions, 2045 secs ||
lola: 3249 tries, 3248101599 fired transitions, 2050 secs ||
lola: 3256 tries, 3255970832 fired transitions, 2055 secs ||
lola: 3264 tries, 3263811666 fired transitions, 2060 secs ||
lola: 3272 tries, 3271670821 fired transitions, 2065 secs ||
lola: 3280 tries, 3279530844 fired transitions, 2070 secs ||
lola: 3288 tries, 3287390811 fired transitions, 2075 secs ||
lola: 3296 tries, 3295248367 fired transitions, 2080 secs ||
lola: 3304 tries, 3303110265 fired transitions, 2085 secs ||
lola: 3311 tries, 3310987593 fired transitions, 2090 secs ||
lola: 3319 tries, 3318838864 fired transitions, 2095 secs ||
lola: 3327 tries, 3326696964 fired transitions, 2100 secs ||
lola: 3335 tries, 3334608006 fired transitions, 2105 secs ||
lola: 3343 tries, 3342629808 fired transitions, 2110 secs ||
lola: 3351 tries, 3350564719 fired transitions, 2115 secs ||
lola: 3359 tries, 3358419368 fired transitions, 2120 secs ||
lola: 3367 tries, 3366276659 fired transitions, 2125 secs ||
lola: 3375 tries, 3374133233 fired transitions, 2130 secs ||
lola: 3382 tries, 3381982001 fired transitions, 2135 secs ||
lola: 3390 tries, 3389823951 fired transitions, 2140 secs ||
lola: 3398 tries, 3397685123 fired transitions, 2145 secs ||
lola: 3406 tries, 3405543581 fired transitions, 2150 secs ||
lola: 3414 tries, 3413407500 fired transitions, 2155 secs ||
lola: 3422 tries, 3421266340 fired transitions, 2160 secs ||
lola: 3430 tries, 3429132661 fired transitions, 2165 secs ||
lola: 3437 tries, 3436998217 fired transitions, 2170 secs ||
lola: 3445 tries, 3444856173 fired transitions, 2175 secs ||
lola: 3453 tries, 3452752887 fired transitions, 2180 secs ||
lola: 3461 tries, 3460613208 fired transitions, 2185 secs ||
lola: 3469 tries, 3468473956 fired transitions, 2190 secs ||
lola: 3477 tries, 3476317954 fired transitions, 2195 secs ||
lola: 3485 tries, 3484180951 fired transitions, 2200 secs ||
lola: 3493 tries, 3492044231 fired transitions, 2205 secs ||
lola: 3500 tries, 3499900361 fired transitions, 2210 secs ||
lola: 3508 tries, 3507765070 fired transitions, 2215 secs ||
lola: 3516 tries, 3515679625 fired transitions, 2220 secs ||
lola: 3524 tries, 3523544378 fired transitions, 2225 secs ||
lola: 3532 tries, 3531407291 fired transitions, 2230 secs ||
lola: 3540 tries, 3539266168 fired transitions, 2235 secs ||
lola: 3548 tries, 3547130532 fired transitions, 2240 secs ||
lola: 3556 tries, 3555026735 fired transitions, 2245 secs ||
lola: 3564 tries, 3563073768 fired transitions, 2250 secs ||
lola: 3572 tries, 3571092447 fired transitions, 2255 secs ||
lola: 3580 tries, 3579121954 fired transitions, 2260 secs ||
lola: 3587 tries, 3586995950 fired transitions, 2265 secs ||
lola: 3595 tries, 3594731183 fired transitions, 2270 secs ||
lola: 3603 tries, 3602440245 fired transitions, 2275 secs ||
lola: 3611 tries, 3610164663 fired transitions, 2280 secs ||
lola: 3618 tries, 3617927506 fired transitions, 2285 secs ||
lola: 3626 tries, 3625704435 fired transitions, 2290 secs ||
lola: 3634 tries, 3633451652 fired transitions, 2295 secs ||
lola: 3642 tries, 3641215827 fired transitions, 2300 secs ||
lola: 3649 tries, 3648985433 fired transitions, 2305 secs ||
lola: 3657 tries, 3656741571 fired transitions, 2310 secs ||
lola: 3665 tries, 3664626872 fired transitions, 2315 secs ||
lola: 3673 tries, 3672560286 fired transitions, 2320 secs ||
lola: 3681 tries, 3680529917 fired transitions, 2325 secs ||
lola: 3689 tries, 3688467455 fired transitions, 2330 secs ||
lola: 3697 tries, 3696472822 fired transitions, 2335 secs ||
lola: 3705 tries, 3704465436 fired transitions, 2340 secs ||
lola: 3713 tries, 3712485818 fired transitions, 2345 secs ||
lola: 3721 tries, 3720401383 fired transitions, 2350 secs ||
lola: 3729 tries, 3728320026 fired transitions, 2355 secs ||
lola: 3737 tries, 3736346138 fired transitions, 2360 secs ||
lola: 3745 tries, 3744267711 fired transitions, 2365 secs ||
lola: 3753 tries, 3752113706 fired transitions, 2370 secs ||
lola: 3760 tries, 3759971942 fired transitions, 2375 secs ||
lola: 3768 tries, 3767828132 fired transitions, 2380 secs ||
lola: 3776 tries, 3775680459 fired transitions, 2385 secs ||
lola: 3784 tries, 3783539562 fired transitions, 2390 secs ||
lola: 3792 tries, 3791398448 fired transitions, 2395 secs ||
lola: 3800 tries, 3799259142 fired transitions, 2400 secs ||
lola: 3808 tries, 3807120660 fired transitions, 2405 secs ||
lola: 3815 tries, 3814989876 fired transitions, 2410 secs ||
lola: 3823 tries, 3822853802 fired transitions, 2415 secs ||
lola: 3831 tries, 3830705836 fired transitions, 2420 secs ||
lola: 3839 tries, 3838566157 fired transitions, 2425 secs ||
lola: 3847 tries, 3846418378 fired transitions, 2430 secs ||
lola: 3855 tries, 3854271231 fired transitions, 2435 secs ||
lola: 3863 tries, 3862128523 fired transitions, 2440 secs ||
lola: 3871 tries, 3870000065 fired transitions, 2445 secs ||
lola: 3878 tries, 3877863380 fired transitions, 2450 secs ||
lola: 3886 tries, 3885722907 fired transitions, 2455 secs ||
lola: 3894 tries, 3893564918 fired transitions, 2460 secs ||
lola: 3902 tries, 3901422994 fired transitions, 2465 secs ||
lola: 3910 tries, 3909269320 fired transitions, 2470 secs ||
lola: 3918 tries, 3917132018 fired transitions, 2475 secs ||
lola: 3925 tries, 3924973043 fired transitions, 2480 secs ||
lola: 3933 tries, 3932836587 fired transitions, 2485 secs ||
lola: 3941 tries, 3940697666 fired transitions, 2490 secs ||
lola: 3949 tries, 3948557235 fired transitions, 2495 secs ||
lola: 3957 tries, 3956418823 fired transitions, 2500 secs ||
lola: 3965 tries, 3964280314 fired transitions, 2505 secs ||
lola: 3973 tries, 3972143024 fired transitions, 2510 secs ||
lola: 3981 tries, 3980046285 fired transitions, 2515 secs ||
lola: 3988 tries, 3987914508 fired transitions, 2520 secs ||
lola: 3996 tries, 3995770825 fired transitions, 2525 secs ||
lola: 4004 tries, 4003633302 fired transitions, 2530 secs ||
lola: 4012 tries, 4011488250 fired transitions, 2535 secs ||
lola: 4020 tries, 4019351780 fired transitions, 2540 secs ||
lola: 4028 tries, 4027315144 fired transitions, 2545 secs ||
lola: 4036 tries, 4035308368 fired transitions, 2550 secs ||
lola: 4044 tries, 4043310734 fired transitions, 2555 secs ||
lola: 4052 tries, 4051313254 fired transitions, 2560 secs ||
lola: 4060 tries, 4059224379 fired transitions, 2565 secs ||
lola: 4068 tries, 4067087129 fired transitions, 2570 secs ||
lola: 4075 tries, 4074950845 fired transitions, 2575 secs ||
lola: 4083 tries, 4082809711 fired transitions, 2580 secs ||
lola: 4091 tries, 4090668018 fired transitions, 2585 secs ||
lola: 4099 tries, 4098528667 fired transitions, 2590 secs ||
lola: 4107 tries, 4106390036 fired transitions, 2595 secs ||
lola: 4115 tries, 4114250317 fired transitions, 2600 secs ||
lola: 4123 tries, 4122095780 fired transitions, 2605 secs ||
lola: 4130 tries, 4129963523 fired transitions, 2610 secs ||
lola: 4138 tries, 4137825423 fired transitions, 2615 secs ||
lola: 4146 tries, 4145688237 fired transitions, 2620 secs ||
lola: 4154 tries, 4153549886 fired transitions, 2625 secs ||
lola: 4162 tries, 4161409247 fired transitions, 2630 secs ||
lola: 4170 tries, 4169260442 fired transitions, 2635 secs ||
lola: 4178 tries, 4177114489 fired transitions, 2640 secs ||
lola: 4185 tries, 4184982458 fired transitions, 2645 secs ||
lola: 4193 tries, 4192842884 fired transitions, 2650 secs ||
lola: 4201 tries, 4200708768 fired transitions, 2655 secs ||
lola: 4209 tries, 4208568742 fired transitions, 2660 secs ||
lola: 4217 tries, 4216424593 fired transitions, 2665 secs ||
lola: 4225 tries, 4224286809 fired transitions, 2670 secs ||
lola: 4233 tries, 4232146900 fired transitions, 2675 secs ||
lola: 4241 tries, 4240011795 fired transitions, 2680 secs ||
lola: 4248 tries, 4247917350 fired transitions, 2685 secs ||
lola: 4256 tries, 4255875709 fired transitions, 2690 secs ||
lola: 4264 tries, 4263844539 fired transitions, 2695 secs ||
lola: 4272 tries, 4271797193 fired transitions, 2700 secs ||
lola: 4280 tries, 4279722208 fired transitions, 2705 secs ||
lola: 4288 tries, 4287584171 fired transitions, 2710 secs ||
lola: 4296 tries, 4295441613 fired transitions, 2715 secs ||
lola: 4304 tries, 4303301323 fired transitions, 2720 secs ||
lola: 4312 tries, 4311160161 fired transitions, 2725 secs ||
lola: 4320 tries, 4319021446 fired transitions, 2730 secs ||
lola: 4327 tries, 4326887349 fired transitions, 2735 secs ||
lola: 4335 tries, 4334757432 fired transitions, 2740 secs ||
lola: 4343 tries, 4342708555 fired transitions, 2745 secs ||
lola: 4351 tries, 4350653000 fired transitions, 2750 secs ||
lola: 4359 tries, 4358590837 fired transitions, 2755 secs ||
lola: 4367 tries, 4366546530 fired transitions, 2760 secs ||
lola: 4375 tries, 4374497209 fired transitions, 2765 secs ||
lola: 4383 tries, 4382455107 fired transitions, 2770 secs ||
lola: 4391 tries, 4390420824 fired transitions, 2775 secs ||
lola: 4399 tries, 4398383712 fired transitions, 2780 secs ||
lola: 4407 tries, 4406284092 fired transitions, 2785 secs ||
lola: 4415 tries, 4414146217 fired transitions, 2790 secs ||
lola: 4423 tries, 4422053469 fired transitions, 2795 secs ||
lola: 4430 tries, 4429923122 fired transitions, 2800 secs ||
lola: 4438 tries, 4437765750 fired transitions, 2805 secs ||
lola: 4446 tries, 4445630647 fired transitions, 2810 secs ||
lola: 4454 tries, 4453550757 fired transitions, 2815 secs ||
lola: 4462 tries, 4461508571 fired transitions, 2820 secs ||
lola: 4470 tries, 4469473926 fired transitions, 2825 secs ||
lola: 4478 tries, 4477434440 fired transitions, 2830 secs ||
lola: 4486 tries, 4485365931 fired transitions, 2835 secs ||
lola: 4494 tries, 4493320085 fired transitions, 2840 secs ||
lola: 4502 tries, 4501206441 fired transitions, 2845 secs ||
lola: 4510 tries, 4509058179 fired transitions, 2850 secs ||
lola: 4517 tries, 4516918467 fired transitions, 2855 secs ||
lola: 4525 tries, 4524782545 fired transitions, 2860 secs ||
lola: 4533 tries, 4532628770 fired transitions, 2865 secs ||
lola: 4541 tries, 4540491123 fired transitions, 2870 secs ||
lola: 4549 tries, 4548343650 fired transitions, 2875 secs ||
lola: 4557 tries, 4556200275 fired transitions, 2880 secs ||
lola: 4565 tries, 4564060614 fired transitions, 2885 secs ||
lola: 4572 tries, 4571924792 fired transitions, 2890 secs ||
lola: 4580 tries, 4579789049 fired transitions, 2895 secs ||
lola: 4588 tries, 4587652132 fired transitions, 2900 secs ||
lola: 4596 tries, 4595515136 fired transitions, 2905 secs ||
lola: 4604 tries, 4603379908 fired transitions, 2910 secs ||
lola: 4612 tries, 4611241150 fired transitions, 2915 secs ||
lola: 4620 tries, 4619100501 fired transitions, 2920 secs ||
lola: 4627 tries, 4626952304 fired transitions, 2925 secs ||
lola: 4635 tries, 4634803002 fired transitions, 2930 secs ||
lola: 4643 tries, 4642656438 fired transitions, 2935 secs ||
lola: 4651 tries, 4650500064 fired transitions, 2940 secs ||
lola: 4659 tries, 4658301962 fired transitions, 2945 secs ||
lola: 4667 tries, 4666047567 fired transitions, 2950 secs ||
lola: 4674 tries, 4673829226 fired transitions, 2955 secs ||
lola: 4682 tries, 4681605209 fired transitions, 2960 secs ||
lola: 4690 tries, 4689325956 fired transitions, 2965 secs ||
lola: 4698 tries, 4697029867 fired transitions, 2970 secs ||
lola: 4705 tries, 4704773034 fired transitions, 2975 secs ||
lola: 4713 tries, 4712572356 fired transitions, 2980 secs ||
lola: 4721 tries, 4720570500 fired transitions, 2985 secs ||
lola: 4729 tries, 4728560724 fired transitions, 2990 secs ||
lola: 4737 tries, 4736545239 fired transitions, 2995 secs ||
lola: 4745 tries, 4744558220 fired transitions, 3000 secs ||
lola: 4753 tries, 4752521401 fired transitions, 3005 secs ||
lola: 4761 tries, 4760431955 fired transitions, 3010 secs ||
lola: 4769 tries, 4768446424 fired transitions, 3015 secs ||
lola: 4777 tries, 4776439877 fired transitions, 3020 secs ||
lola: 4785 tries, 4784299390 fired transitions, 3025 secs ||
lola: 4793 tries, 4792271032 fired transitions, 3030 secs ||
lola: 4801 tries, 4800266230 fired transitions, 3035 secs ||
lola: 4809 tries, 4808254615 fired transitions, 3040 secs ||
lola: 4817 tries, 4816155501 fired transitions, 3045 secs ||
lola: 4825 tries, 4824020093 fired transitions, 3050 secs ||
lola: 4832 tries, 4831883894 fired transitions, 3055 secs ||
lola: 4840 tries, 4839738029 fired transitions, 3060 secs ||
lola: 4848 tries, 4847582395 fired transitions, 3065 secs ||
lola: 4856 tries, 4855443742 fired transitions, 3070 secs ||
lola: 4864 tries, 4863298397 fired transitions, 3075 secs ||
lola: 4872 tries, 4871140512 fired transitions, 3080 secs ||
lola: 4880 tries, 4879004926 fired transitions, 3085 secs ||
lola: 4887 tries, 4886877266 fired transitions, 3090 secs ||
lola: 4895 tries, 4894762181 fired transitions, 3095 secs ||
lola: 4903 tries, 4902696052 fired transitions, 3100 secs ||
lola: 4911 tries, 4910664913 fired transitions, 3105 secs ||
lola: 4919 tries, 4918621040 fired transitions, 3110 secs ||
lola: 4927 tries, 4926565340 fired transitions, 3115 secs ||
lola: 4935 tries, 4934537818 fired transitions, 3120 secs ||
lola: 4943 tries, 4942500845 fired transitions, 3125 secs ||
lola: 4951 tries, 4950401410 fired transitions, 3130 secs ||
lola: 4959 tries, 4958159717 fired transitions, 3135 secs ||
lola: 4966 tries, 4965939961 fired transitions, 3140 secs ||
lola: 4974 tries, 4973802200 fired transitions, 3145 secs ||
lola: 4982 tries, 4981660301 fired transitions, 3150 secs ||
lola: 4990 tries, 4989516842 fired transitions, 3155 secs ||
lola: 4998 tries, 4997438134 fired transitions, 3160 secs ||
lola: 5006 tries, 5005259816 fired transitions, 3165 secs ||
lola: 5014 tries, 5013087842 fired transitions, 3170 secs ||
lola: 5021 tries, 5020921468 fired transitions, 3175 secs ||
lola: 5029 tries, 5028699740 fired transitions, 3180 secs ||
lola: 5037 tries, 5036463518 fired transitions, 3185 secs ||
lola: 5045 tries, 5044255081 fired transitions, 3190 secs ||
lola: 5053 tries, 5052208044 fired transitions, 3195 secs ||
lola: 5061 tries, 5060104178 fired transitions, 3200 secs ||
lola: 5069 tries, 5068085131 fired transitions, 3205 secs ||
lola: 5077 tries, 5076037860 fired transitions, 3210 secs ||
lola: 5084 tries, 5083906714 fired transitions, 3215 secs ||
lola: 5092 tries, 5091763511 fired transitions, 3220 secs ||
lola: 5100 tries, 5099626922 fired transitions, 3225 secs ||
lola: 5108 tries, 5107467746 fired transitions, 3230 secs ||
lola: 5116 tries, 5115313250 fired transitions, 3235 secs ||
lola: 5124 tries, 5123194941 fired transitions, 3240 secs ||
lola: 5132 tries, 5131132664 fired transitions, 3245 secs ||
lola: 5140 tries, 5139011146 fired transitions, 3250 secs ||
lola: 5147 tries, 5146997974 fired transitions, 3255 secs ||
lola: 5156 tries, 5155025235 fired transitions, 3260 secs ||
lola: 5164 tries, 5163112232 fired transitions, 3265 secs ||
lola: 5172 tries, 5171188883 fired transitions, 3270 secs ||
lola: 5180 tries, 5179235573 fired transitions, 3275 secs ||
lola: 5188 tries, 5187198857 fired transitions, 3280 secs ||
lola: 5196 tries, 5195078401 fired transitions, 3285 secs ||
lola: 5204 tries, 5203074986 fired transitions, 3290 secs ||
lola: 5212 tries, 5211073914 fired transitions, 3295 secs ||
lola: 5220 tries, 5219076790 fired transitions, 3300 secs ||
lola: 5228 tries, 5227087910 fired transitions, 3305 secs ||
lola: 5236 tries, 5235086474 fired transitions, 3310 secs ||
lola: 5244 tries, 5243093719 fired transitions, 3315 secs ||
lola: 5252 tries, 5251050193 fired transitions, 3320 secs ||
lola: 5259 tries, 5258981893 fired transitions, 3325 secs ||
lola: 5267 tries, 5266901980 fired transitions, 3330 secs ||
lola: 5275 tries, 5274836038 fired transitions, 3335 secs ||
lola: 5283 tries, 5282702978 fired transitions, 3340 secs ||
lola: 5291 tries, 5290680944 fired transitions, 3345 secs ||
lola: 5299 tries, 5298547267 fired transitions, 3350 secs ||
lola: 5307 tries, 5306435529 fired transitions, 3355 secs ||
lola: 5315 tries, 5314300357 fired transitions, 3360 secs ||
lola: 5323 tries, 5322160719 fired transitions, 3365 secs ||
lola: 5331 tries, 5330011798 fired transitions, 3370 secs ||
lola: 5338 tries, 5337878133 fired transitions, 3375 secs ||
lola: 5346 tries, 5345735856 fired transitions, 3380 secs ||
lola: 5354 tries, 5353583966 fired transitions, 3385 secs ||
lola: 5362 tries, 5361430732 fired transitions, 3390 secs ||
lola: 5370 tries, 5369293137 fired transitions, 3395 secs ||
lola: 5378 tries, 5377139696 fired transitions, 3400 secs ||
lola: 5386 tries, 5385090583 fired transitions, 3405 secs ||
lola: 5393 tries, 5392842949 fired transitions, 3410 secs ||
lola: 5401 tries, 5400736703 fired transitions, 3415 secs ||
lola: 5409 tries, 5408613089 fired transitions, 3420 secs ||
lola: 5417 tries, 5416603976 fired transitions, 3425 secs ||
lola: 5425 tries, 5424517227 fired transitions, 3430 secs ||
lola: 5433 tries, 5432377554 fired transitions, 3435 secs ||
lola: 5441 tries, 5440331034 fired transitions, 3440 secs ||
lola: 5449 tries, 5448325700 fired transitions, 3445 secs ||
lola: 5457 tries, 5456304057 fired transitions, 3450 secs ||
lola: 5465 tries, 5464279002 fired transitions, 3455 secs ||
lola: 5473 tries, 5472282536 fired transitions, 3460 secs ||
lola: 5481 tries, 5480262752 fired transitions, 3465 secs ||
lola: 5489 tries, 5488250511 fired transitions, 3470 secs ||
lola: 5497 tries, 5496276738 fired transitions, 3475 secs ||
lola: 5505 tries, 5504317324 fired transitions, 3480 secs ||
lola: 5513 tries, 5512380018 fired transitions, 3485 secs ||
lola: 5521 tries, 5520433692 fired transitions, 3490 secs ||
lola: 5529 tries, 5528494408 fired transitions, 3495 secs ||
lola: 5537 tries, 5536548098 fired transitions, 3500 secs ||
lola: 5545 tries, 5544586204 fired transitions, 3505 secs ||
lola: 5553 tries, 5552622050 fired transitions, 3510 secs ||
lola: 5561 tries, 5560621736 fired transitions, 3515 secs ||
lola: 5569 tries, 5568598443 fired transitions, 3520 secs ||
lola: 5577 tries, 5576511886 fired transitions, 3525 secs ||
lola: 5585 tries, 5584418247 fired transitions, 3530 secs ||
lola: 5593 tries, 5592257036 fired transitions, 3535 secs ||
lola: 5601 tries, 5600042331 fired transitions, 3540 secs ||
lola: 5608 tries, 5607820569 fired transitions, 3545 secs ||
lola: 5616 tries, 5615652509 fired transitions, 3550 secs ||
lola: 5624 tries, 5623637625 fired transitions, 3555 secs ||
lola: 5632 tries, 5631620248 fired transitions, 3560 secs ||
lola: time limit reached - aborting
lola: memory consumption: 77928 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
lola: caught signal User defined signal 2 - aborting LoLA
lola: memory consumption: 78468 KB
lola: time consumption: 3575 seconds
lola: print data as JSON (--json)
lola: writing JSON to GlobalProperties.json
lola: closed JSON file GlobalProperties.json
rslt: finished

BK_STOP 1552486488789

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

grep: GenericPropertiesVerdict.xml: No such file or directory
grep: GenericPropertiesVerdict.xml: No such file or directory
fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 ties xml LTLFireability.txt template) @ 3570 seconds (--findpath=par) d) set method with insertion algorithm (--stubborn=tarjan) method with insertion algorithm (--stubborn=tarjan) (--symmtimelimit) (--findpath) (--depthlimit) 65 markings, 65 edges, 13 markings/sec, 0 secs 65 markings, 65 edges, 0 markings/sec, 5 secs 65 markings, 65 edges, 0 markings/sec, 10 secs 65 markings, 65 edges, 0 markings/sec, 15 secs 65 markings, 65 edges, 0 markings/sec, 20 secs 65 markings, 65 edges, 0 markings/sec, 25 secs 65 markings, 65 edges, 0 markings/sec, 30 secs 65 markings, 65 edges, 0 markings/sec, 35 secs 65 markings, 65 edges, 0 markings/sec, 40 secs 65 markings, 65 edges, 0 markings/sec, 45 secs 65 markings, 65 edges, 0 markings/sec, 50 secs 65 markings, 65 edges, 0 markings/sec, 55 secs 65 markings, 65 edges, 0 markings/sec, 60 secs 65 markings, 65 edges, 0 markings/sec, 65 secs 65 markings, 65 edges, 0 markings/sec, 70 secs 65 markings, 65 edges, 0 markings/sec, 75 secs 65 markings, 65 edges, 0 markings/sec, 80 secs 65 markings, 65 edges, 0 markings/sec, 85 secs 65 markings, 65 edges, 0 markings/sec, 90 secs 65 markings, 65 edges, 0 markings/sec, 95 secs 65 markings, 65 edges, 0 markings/sec, 100 secs 65 markings, 65 edges, 0 markings/sec, 105 secs 65 markings, 65 edges, 0 markings/sec, 110 secs 65 markings, 65 edges, 0 markings/sec, 115 secs 65 markings, 65 edges, 0 markings/sec, 120 secs 65 markings, 65 edges, 0 markings/sec, 125 secs 65 markings, 65 edges, 0 markings/sec, 130 secs 65 markings, 65 edges, 0 markings/sec, 135 secs 65 markings, 65 edges, 0 markings/sec, 140 secs 65 markings, 65 edges, 0 markings/sec, 145 secs 65 markings, 65 edges, 0 markings/sec, 150 secs 65 markings, 65 edges, 0 markings/sec, 155 secs 65 markings, 65 edges, 0 markings/sec, 160 secs 65 markings, 65 edges, 0 markings/sec, 165 secs 65 markings, 65 edges, 0 markings/sec, 170 secs 65 markings, 65 edges, 0 markings/sec, 175 secs 65 markings, 65 edges, 0 markings/sec, 180 secs 65 markings, 65 edges, 0 markings/sec, 185 secs 65 markings, 65 edges, 0 markings/sec, 190 secs 65 markings, 65 edges, 0 markings/sec, 195 secs 65 markings, 65 edges, 0 markings/sec, 200 secs 65 markings, 65 edges, 0 markings/sec, 205 secs 65 markings, 65 edges, 0 markings/sec, 210 secs 65 markings, 65 edges, 0 markings/sec, 215 secs 65 markings, 65 edges, 0 markings/sec, 220 secs 65 markings, 65 edges, 0 markings/sec, 225 secs 65 markings, 65 edges, 0 markings/sec, 230 secs 65 markings, 65 edges, 0 markings/sec, 235 secs 65 markings, 65 edges, 0 markings/sec, 240 secs 65 markings, 65 edges, 0 markings/sec, 245 secs 65 markings, 65 edges, 0 markings/sec, 250 secs 65 markings, 65 edges, 0 markings/sec, 255 secs 65 markings, 65 edges, 0 markings/sec, 260 secs 65 markings, 65 edges, 0 markings/sec, 265 secs 65 markings, 65 edges, 0 markings/sec, 270 secs 65 markings, 65 edges, 0 markings/sec, 275 secs 65 markings, 65 edges, 0 markings/sec, 280 secs 65 markings, 65 edges, 0 markings/sec, 285 secs 65 markings, 65 edges, 0 markings/sec, 290 secs 65 markings, 65 edges, 0 markings/sec, 295 secs 65 markings, 65 edges, 0 markings/sec, 300 secs 65 markings, 65 edges, 0 markings/sec, 305 secs 65 markings, 65 edges, 0 markings/sec, 310 secs 65 markings, 65 edges, 0 markings/sec, 315 secs 65 markings, 65 edges, 0 markings/sec, 320 secs 65 markings, 65 edges, 0 markings/sec, 325 secs 65 markings, 65 edges, 0 markings/sec, 330 secs 65 markings, 65 edges, 0 markings/sec, 335 secs 65 markings, 65 edges, 0 markings/sec, 340 secs 65 markings, 65 edges, 0 markings/sec, 345 secs 65 markings, 65 edges, 0 markings/sec, 350 secs 65 markings, 65 edges, 0 markings/sec, 355 secs 65 markings, 65 edges, 0 markings/sec, 360 secs 65 markings, 65 edges, 0 markings/sec, 365 secs 65 markings, 65 edges, 0 markings/sec, 370 secs 65 markings, 65 edges, 0 markings/sec, 375 secs 65 markings, 65 edges, 0 markings/sec, 380 secs 65 markings, 65 edges, 0 markings/sec, 385 secs 65 markings, 65 edges, 0 markings/sec, 390 secs 65 markings, 65 edges, 0 markings/sec, 395 secs 65 markings, 65 edges, 0 markings/sec, 400 secs 65 markings, 65 edges, 0 markings/sec, 405 secs 65 markings, 65 edges, 0 markings/sec, 410 secs 65 markings, 65 edges, 0 markings/sec, 415 secs 65 markings, 65 edges, 0 markings/sec, 420 secs 65 markings, 65 edges, 0 markings/sec, 425 secs 65 markings, 65 edges, 0 markings/sec, 430 secs 65 markings, 65 edges, 0 markings/sec, 435 secs 65 markings, 65 edges, 0 markings/sec, 440 secs 65 markings, 65 edges, 0 markings/sec, 445 secs 65 markings, 65 edges, 0 markings/sec, 450 secs 65 markings, 65 edges, 0 markings/sec, 455 secs 65 markings, 65 edges, 0 markings/sec, 460 secs 65 markings, 65 edges, 0 markings/sec, 465 secs 65 markings, 65 edges, 0 markings/sec, 470 secs 65 markings, 65 edges, 0 markings/sec, 475 secs 65 markings, 65 edges, 0 markings/sec, 480 secs 65 markings, 65 edges, 0 markings/sec, 485 secs 65 markings, 65 edges, 0 markings/sec, 490 secs 65 markings, 65 edges, 0 markings/sec, 495 secs 65 markings, 65 edges, 0 markings/sec, 500 secs 65 markings, 65 edges, 0 markings/sec, 505 secs 65 markings, 65 edges, 0 markings/sec, 510 secs 65 markings, 65 edges, 0 markings/sec, 515 secs 65 markings, 65 edges, 0 markings/sec, 520 secs 65 markings, 65 edges, 0 markings/sec, 525 secs 65 markings, 65 edges, 0 markings/sec, 530 secs 65 markings, 65 edges, 0 markings/sec, 535 secs 65 markings, 65 edges, 0 markings/sec, 540 secs 65 markings, 65 edges, 0 markings/sec, 545 secs 65 markings, 65 edges, 0 markings/sec, 550 secs 65 markings, 65 edges, 0 markings/sec, 555 secs 65 markings, 65 edges, 0 markings/sec, 560 secs 65 markings, 65 edges, 0 markings/sec, 565 secs 65 markings, 65 edges, 0 markings/sec, 570 secs 65 markings, 65 edges, 0 markings/sec, 575 secs 65 markings, 65 edges, 0 markings/sec, 580 secs 65 markings, 65 edges, 0 markings/sec, 585 secs 65 markings, 65 edges, 0 markings/sec, 590 secs 65 markings, 65 edges, 0 markings/sec, 595 secs 65 markings, 65 edges, 0 markings/sec, 600 secs 65 markings, 65 edges, 0 markings/sec, 605 secs 65 markings, 65 edges, 0 markings/sec, 610 secs 65 markings, 65 edges, 0 markings/sec, 615 secs 65 markings, 65 edges, 0 markings/sec, 620 secs 65 markings, 65 edges, 0 markings/sec, 625 secs 65 markings, 65 edges, 0 markings/sec, 630 secs 65 markings, 65 edges, 0 markings/sec, 635 secs 65 markings, 65 edges, 0 markings/sec, 640 secs 65 markings, 65 edges, 0 markings/sec, 645 secs 65 markings, 65 edges, 0 markings/sec, 650 secs 65 markings, 65 edges, 0 markings/sec, 655 secs 65 markings, 65 edges, 0 markings/sec, 660 secs 65 markings, 65 edges, 0 markings/sec, 665 secs 65 markings, 65 edges, 0 markings/sec, 670 secs 65 markings, 65 edges, 0 markings/sec, 675 secs 65 markings, 65 edges, 0 markings/sec, 680 secs 65 markings, 65 edges, 0 markings/sec, 685 secs 65 markings, 65 edges, 0 markings/sec, 690 secs 65 markings, 65 edges, 0 markings/sec, 695 secs 65 markings, 65 edges, 0 markings/sec, 700 secs 65 markings, 65 edges, 0 markings/sec, 705 secs 65 markings, 65 edges, 0 markings/sec, 710 secs 65 markings, 65 edges, 0 markings/sec, 715 secs 65 markings, 65 edges, 0 markings/sec, 720 secs 65 markings, 65 edges, 0 markings/sec, 725 secs 65 markings, 65 edges, 0 markings/sec, 730 secs 65 markings, 65 edges, 0 markings/sec, 735 secs 65 markings, 65 edges, 0 markings/sec, 740 secs 65 markings, 65 edges, 0 markings/sec, 745 secs 65 markings, 65 edges, 0 markings/sec, 750 secs 65 markings, 65 edges, 0 markings/sec, 755 secs 65 markings, 65 edges, 0 markings/sec, 760 secs 65 markings, 65 edges, 0 markings/sec, 765 secs 65 markings, 65 edges, 0 markings/sec, 770 secs 65 markings, 65 edges, 0 markings/sec, 775 secs 65 markings, 65 edges, 0 markings/sec, 780 secs 65 markings, 65 edges, 0 markings/sec, 785 secs 65 markings, 65 edges, 0 markings/sec, 790 secs 65 markings, 65 edges, 0 markings/sec, 795 secs 65 markings, 65 edges, 0 markings/sec, 800 secs 65 markings, 65 edges, 0 markings/sec, 805 secs 65 markings, 65 edges, 0 markings/sec, 810 secs 65 markings, 65 edges, 0 markings/sec, 815 secs 65 markings, 65 edges, 0 markings/sec, 820 secs 65 markings, 65 edges, 0 markings/sec, 825 secs 65 markings, 65 edges, 0 markings/sec, 830 secs 65 markings, 65 edges, 0 markings/sec, 835 secs 65 markings, 65 edges, 0 markings/sec, 840 secs 65 markings, 65 edges, 0 markings/sec, 845 secs 65 markings, 65 edges, 0 markings/sec, 850 secs 65 markings, 65 edges, 0 markings/sec, 855 secs 65 markings, 65 edges, 0 markings/sec, 860 secs 65 markings, 65 edges, 0 markings/sec, 865 secs 65 markings, 65 edges, 0 markings/sec, 870 secs 65 markings, 65 edges, 0 markings/sec, 875 secs 65 markings, 65 edges, 0 markings/sec, 880 secs 65 markings, 65 edges, 0 markings/sec, 885 secs 65 markings, 65 edges, 0 markings/sec, 890 secs 65 markings, 65 edges, 0 markings/sec, 895 secs 65 markings, 65 edges, 0 markings/sec, 900 secs 65 markings, 65 edges, 0 markings/sec, 905 secs 65 markings, 65 edges, 0 markings/sec, 910 secs 65 markings, 65 edges, 0 markings/sec, 915 secs 65 markings, 65 edges, 0 markings/sec, 920 secs 65 markings, 65 edges, 0 markings/sec, 925 secs 65 markings, 65 edges, 0 markings/sec, 930 secs 65 markings, 65 edges, 0 markings/sec, 935 secs 65 markings, 65 edges, 0 markings/sec, 940 secs 65 markings, 65 edges, 0 markings/sec, 945 secs 65 markings, 65 edges, 0 markings/sec, 950 secs 65 markings, 65 edges, 0 markings/sec, 955 secs 65 markings, 65 edges, 0 markings/sec, 960 secs 65 markings, 65 edges, 0 markings/sec, 965 secs 65 markings, 65 edges, 0 markings/sec, 970 secs 65 markings, 65 edges, 0 markings/sec, 975 secs 65 markings, 65 edges, 0 markings/sec, 980 secs 65 markings, 65 edges, 0 markings/sec, 985 secs 65 markings, 65 edges, 0 markings/sec, 990 secs 65 markings, 65 edges, 0 markings/sec, 995 secs 65 markings, 65 edges, 0 markings/sec, 1000 secs 65 markings, 65 edges, 0 markings/sec, 1005 secs 65 markings, 65 edges, 0 markings/sec, 1010 secs 65 markings, 65 edges, 0 markings/sec, 1015 secs 65 markings, 65 edges, 0 markings/sec, 1020 secs 65 markings, 65 edges, 0 markings/sec, 1025 secs 65 markings, 65 edges, 0 markings/sec, 1030 secs 65 markings, 65 edges, 0 markings/sec, 1035 secs 65 markings, 65 edges, 0 markings/sec, 1040 secs 65 markings, 65 edges, 0 markings/sec, 1045 secs 65 markings, 65 edges, 0 markings/sec, 1050 secs 65 markings, 65 edges, 0 markings/sec, 1055 secs 65 markings, 65 edges, 0 markings/sec, 1060 secs 65 markings, 65 edges, 0 markings/sec, 1065 secs 65 markings, 65 edges, 0 markings/sec, 1070 secs 65 markings, 65 edges, 0 markings/sec, 1075 secs 65 markings, 65 edges, 0 markings/sec, 1080 secs 65 markings, 65 edges, 0 markings/sec, 1085 secs 65 markings, 65 edges, 0 markings/sec, 1090 secs 65 markings, 65 edges, 0 markings/sec, 1095 secs 65 markings, 65 edges, 0 markings/sec, 1100 secs 65 markings, 65 edges, 0 markings/sec, 1105 secs 65 markings, 65 edges, 0 markings/sec, 1110 secs 65 markings, 65 edges, 0 markings/sec, 1115 secs 65 markings, 65 edges, 0 markings/sec, 1120 secs 65 markings, 65 edges, 0 markings/sec, 1125 secs 65 markings, 65 edges, 0 markings/sec, 1130 secs 65 markings, 65 edges, 0 markings/sec, 1135 secs 65 markings, 65 edges, 0 markings/sec, 1140 secs 65 markings, 65 edges, 0 markings/sec, 1145 secs 65 markings, 65 edges, 0 markings/sec, 1150 secs 65 markings, 65 edges, 0 markings/sec, 1155 secs 65 markings, 65 edges, 0 markings/sec, 1160 secs 65 markings, 65 edges, 0 markings/sec, 1165 secs 65 markings, 65 edges, 0 markings/sec, 1170 secs 65 markings, 65 edges, 0 markings/sec, 1175 secs 65 markings, 65 edges, 0 markings/sec, 1180 secs 65 markings, 65 edges, 0 markings/sec, 1185 secs 65 markings, 65 edges, 0 markings/sec, 1190 secs 65 markings, 65 edges, 0 markings/sec, 1195 secs 65 markings, 65 edges, 0 markings/sec, 1200 secs 65 markings, 65 edges, 0 markings/sec, 1205 secs 65 markings, 65 edges, 0 markings/sec, 1210 secs 65 markings, 65 edges, 0 markings/sec, 1215 secs 65 markings, 65 edges, 0 markings/sec, 1220 secs 65 markings, 65 edges, 0 markings/sec, 1225 secs 65 markings, 65 edges, 0 markings/sec, 1230 secs 65 markings, 65 edges, 0 markings/sec, 1235 secs 65 markings, 65 edges, 0 markings/sec, 1240 secs 65 markings, 65 edges, 0 markings/sec, 1245 secs 65 markings, 65 edges, 0 markings/sec, 1250 secs 65 markings, 65 edges, 0 markings/sec, 1255 secs 65 markings, 65 edges, 0 markings/sec, 1260 secs 65 markings, 65 edges, 0 markings/sec, 1265 secs 65 markings, 65 edges, 0 markings/sec, 1270 secs 65 markings, 65 edges, 0 markings/sec, 1275 secs 65 markings, 65 edges, 0 markings/sec, 1280 secs 65 markings, 65 edges, 0 markings/sec, 1285 secs 65 markings, 65 edges, 0 markings/sec, 1290 secs 65 markings, 65 edges, 0 markings/sec, 1295 secs 65 markings, 65 edges, 0 markings/sec, 1300 secs 65 markings, 65 edges, 0 markings/sec, 1305 secs 65 markings, 65 edges, 0 markings/sec, 1310 secs 65 markings, 65 edges, 0 markings/sec, 1315 secs 65 markings, 65 edges, 0 markings/sec, 1320 secs 65 markings, 65 edges, 0 markings/sec, 1325 secs 65 markings, 65 edges, 0 markings/sec, 1330 secs 65 markings, 65 edges, 0 markings/sec, 1335 secs 65 markings, 65 edges, 0 markings/sec, 1340 secs 65 markings, 65 edges, 0 markings/sec, 1345 secs 65 markings, 65 edges, 0 markings/sec, 1350 secs 65 markings, 65 edges, 0 markings/sec, 1355 secs 65 markings, 65 edges, 0 markings/sec, 1360 secs 65 markings, 65 edges, 0 markings/sec, 1365 secs 65 markings, 65 edges, 0 markings/sec, 1370 secs 65 markings, 65 edges, 0 markings/sec, 1375 secs 65 markings, 65 edges, 0 markings/sec, 1380 secs 65 markings, 65 edges, 0 markings/sec, 1385 secs 65 markings, 65 edges, 0 markings/sec, 1390 secs 65 markings, 65 edges, 0 markings/sec, 1395 secs 65 markings, 65 edges, 0 markings/sec, 1400 secs 65 markings, 65 edges, 0 markings/sec, 1405 secs 65 markings, 65 edges, 0 markings/sec, 1410 secs 65 markings, 65 edges, 0 markings/sec, 1415 secs 65 markings, 65 edges, 0 markings/sec, 1420 secs 65 markings, 65 edges, 0 markings/sec, 1425 secs 65 markings, 65 edges, 0 markings/sec, 1430 secs 65 markings, 65 edges, 0 markings/sec, 1435 secs 65 markings, 65 edges, 0 markings/sec, 1440 secs 65 markings, 65 edges, 0 markings/sec, 1445 secs 65 markings, 65 edges, 0 markings/sec, 1450 secs 65 markings, 65 edges, 0 markings/sec, 1455 secs 65 markings, 65 edges, 0 markings/sec, 1460 secs 65 markings, 65 edges, 0 markings/sec, 1465 secs 65 markings, 65 edges, 0 markings/sec, 1470 secs 65 markings, 65 edges, 0 markings/sec, 1475 secs 65 markings, 65 edges, 0 markings/sec, 1480 secs 65 markings, 65 edges, 0 markings/sec, 1485 secs 65 markings, 65 edges, 0 markings/sec, 1490 secs 65 markings, 65 edges, 0 markings/sec, 1495 secs 65 markings, 65 edges, 0 markings/sec, 1500 secs 65 markings, 65 edges, 0 markings/sec, 1505 secs 65 markings, 65 edges, 0 markings/sec, 1510 secs 65 markings, 65 edges, 0 markings/sec, 1515 secs 65 markings, 65 edges, 0 markings/sec, 1520 secs 65 markings, 65 edges, 0 markings/sec, 1525 secs 65 markings, 65 edges, 0 markings/sec, 1530 secs 65 markings, 65 edges, 0 markings/sec, 1535 secs 65 markings, 65 edges, 0 markings/sec, 1540 secs 65 markings, 65 edges, 0 markings/sec, 1545 secs 65 markings, 65 edges, 0 markings/sec, 1550 secs 65 markings, 65 edges, 0 markings/sec, 1555 secs 65 markings, 65 edges, 0 markings/sec, 1560 secs 65 markings, 65 edges, 0 markings/sec, 1565 secs 65 markings, 65 edges, 0 markings/sec, 1570 secs 65 markings, 65 edges, 0 markings/sec, 1575 secs 65 markings, 65 edges, 0 markings/sec, 1580 secs 65 markings, 65 edges, 0 markings/sec, 1585 secs 65 markings, 65 edges, 0 markings/sec, 1590 secs 65 markings, 65 edges, 0 markings/sec, 1595 secs 65 markings, 65 edges, 0 markings/sec, 1600 secs 65 markings, 65 edges, 0 markings/sec, 1605 secs 65 markings, 65 edges, 0 markings/sec, 1610 secs 65 markings, 65 edges, 0 markings/sec, 1615 secs 65 markings, 65 edges, 0 markings/sec, 1620 secs 65 markings, 65 edges, 0 markings/sec, 1625 secs 65 markings, 65 edges, 0 markings/sec, 1630 secs 65 markings, 65 edges, 0 markings/sec, 1635 secs 65 markings, 65 edges, 0 markings/sec, 1640 secs 65 markings, 65 edges, 0 markings/sec, 1645 secs 65 markings, 65 edges, 0 markings/sec, 1650 secs 65 markings, 65 edges, 0 markings/sec, 1655 secs 65 markings, 65 edges, 0 markings/sec, 1660 secs 65 markings, 65 edges, 0 markings/sec, 1665 secs 65 markings, 65 edges, 0 markings/sec, 1670 secs 65 markings, 65 edges, 0 markings/sec, 1675 secs 65 markings, 65 edges, 0 markings/sec, 1680 secs 65 markings, 65 edges, 0 markings/sec, 1685 secs 65 markings, 65 edges, 0 markings/sec, 1690 secs 65 markings, 65 edges, 0 markings/sec, 1695 secs 65 markings, 65 edges, 0 markings/sec, 1700 secs 65 markings, 65 edges, 0 markings/sec, 1705 secs 65 markings, 65 edges, 0 markings/sec, 1710 secs 65 markings, 65 edges, 0 markings/sec, 1715 secs 65 markings, 65 edges, 0 markings/sec, 1720 secs 65 markings, 65 edges, 0 markings/sec, 1725 secs 65 markings, 65 edges, 0 markings/sec, 1730 secs 65 markings, 65 edges, 0 markings/sec, 1735 secs 65 markings, 65 edges, 0 markings/sec, 1740 secs 65 markings, 65 edges, 0 markings/sec, 1745 secs 65 markings, 65 edges, 0 markings/sec, 1750 secs 65 markings, 65 edges, 0 markings/sec, 1755 secs 65 markings, 65 edges, 0 markings/sec, 1760 secs 65 markings, 65 edges, 0 markings/sec, 1765 secs 65 markings, 65 edges, 0 markings/sec, 1770 secs 65 markings, 65 edges, 0 markings/sec, 1775 secs 65 markings, 65 edges, 0 markings/sec, 1780 secs 65 markings, 65 edges, 0 markings/sec, 1785 secs 65 markings, 65 edges, 0 markings/sec, 1790 secs 65 markings, 65 edges, 0 markings/sec, 1795 secs 65 markings, 65 edges, 0 markings/sec, 1800 secs 65 markings, 65 edges, 0 markings/sec, 1805 secs 65 markings, 65 edges, 0 markings/sec, 1810 secs 65 markings, 65 edges, 0 markings/sec, 1815 secs 65 markings, 65 edges, 0 markings/sec, 1820 secs 65 markings, 65 edges, 0 markings/sec, 1825 secs 65 markings, 65 edges, 0 markings/sec, 1830 secs 65 markings, 65 edges, 0 markings/sec, 1835 secs 65 markings, 65 edges, 0 markings/sec, 1840 secs 65 markings, 65 edges, 0 markings/sec, 1845 secs 65 markings, 65 edges, 0 markings/sec, 1850 secs 65 markings, 65 edges, 0 markings/sec, 1855 secs 65 markings, 65 edges, 0 markings/sec, 1860 secs 65 markings, 65 edges, 0 markings/sec, 1865 secs 65 markings, 65 edges, 0 markings/sec, 1870 secs 65 markings, 65 edges, 0 markings/sec, 1875 secs 65 markings, 65 edges, 0 markings/sec, 1880 secs 65 markings, 65 edges, 0 markings/sec, 1885 secs 65 markings, 65 edges, 0 markings/sec, 1890 secs 65 markings, 65 edges, 0 markings/sec, 1895 secs 65 markings, 65 edges, 0 markings/sec, 1900 secs 65 markings, 65 edges, 0 markings/sec, 1905 secs 65 markings, 65 edges, 0 markings/sec, 1910 secs 65 markings, 65 edges, 0 markings/sec, 1915 secs 65 markings, 65 edges, 0 markings/sec, 1920 secs 65 markings, 65 edges, 0 markings/sec, 1925 secs 65 markings, 65 edges, 0 markings/sec, 1930 secs 65 markings, 65 edges, 0 markings/sec, 1935 secs 65 markings, 65 edges, 0 markings/sec, 1940 secs 65 markings, 65 edges, 0 markings/sec, 1945 secs 65 markings, 65 edges, 0 markings/sec, 1950 secs 65 markings, 65 edges, 0 markings/sec, 1955 secs 65 markings, 65 edges, 0 markings/sec, 1960 secs 65 markings, 65 edges, 0 markings/sec, 1965 secs 65 markings, 65 edges, 0 markings/sec, 1970 secs 65 markings, 65 edges, 0 markings/sec, 1975 secs 65 markings, 65 edges, 0 markings/sec, 1980 secs 65 markings, 65 edges, 0 markings/sec, 1985 secs 65 markings, 65 edges, 0 markings/sec, 1990 secs 65 markings, 65 edges, 0 markings/sec, 1995 secs 65 markings, 65 edges, 0 markings/sec, 2000 secs 65 markings, 65 edges, 0 markings/sec, 2005 secs 65 markings, 65 edges, 0 markings/sec, 2010 secs 65 markings, 65 edges, 0 markings/sec, 2015 secs 65 markings, 65 edges, 0 markings/sec, 2020 secs 65 markings, 65 edges, 0 markings/sec, 2025 secs 65 markings, 65 edges, 0 markings/sec, 2030 secs 65 markings, 65 edges, 0 markings/sec, 2035 secs 65 markings, 65 edges, 0 markings/sec, 2040 secs 65 markings, 65 edges, 0 markings/sec, 2045 secs 65 markings, 65 edges, 0 markings/sec, 2050 secs 65 markings, 65 edges, 0 markings/sec, 2055 secs 65 markings, 65 edges, 0 markings/sec, 2060 secs 65 markings, 65 edges, 0 markings/sec, 2065 secs 65 markings, 65 edges, 0 markings/sec, 2070 secs 65 markings, 65 edges, 0 markings/sec, 2075 secs 65 markings, 65 edges, 0 markings/sec, 2080 secs 65 markings, 65 edges, 0 markings/sec, 2085 secs 65 markings, 65 edges, 0 markings/sec, 2090 secs 65 markings, 65 edges, 0 markings/sec, 2095 secs 65 markings, 65 edges, 0 markings/sec, 2100 secs 65 markings, 65 edges, 0 markings/sec, 2105 secs 65 markings, 65 edges, 0 markings/sec, 2110 secs 65 markings, 65 edges, 0 markings/sec, 2115 secs 65 markings, 65 edges, 0 markings/sec, 2120 secs 65 markings, 65 edges, 0 markings/sec, 2125 secs 65 markings, 65 edges, 0 markings/sec, 2130 secs 65 markings, 65 edges, 0 markings/sec, 2135 secs 65 markings, 65 edges, 0 markings/sec, 2140 secs 65 markings, 65 edges, 0 markings/sec, 2145 secs 65 markings, 65 edges, 0 markings/sec, 2150 secs 65 markings, 65 edges, 0 markings/sec, 2155 secs 65 markings, 65 edges, 0 markings/sec, 2160 secs 65 markings, 65 edges, 0 markings/sec, 2165 secs 65 markings, 65 edges, 0 markings/sec, 2170 secs 65 markings, 65 edges, 0 markings/sec, 2175 secs 65 markings, 65 edges, 0 markings/sec, 2180 secs 65 markings, 65 edges, 0 markings/sec, 2185 secs 65 markings, 65 edges, 0 markings/sec, 2190 secs 65 markings, 65 edges, 0 markings/sec, 2195 secs 65 markings, 65 edges, 0 markings/sec, 2200 secs 65 markings, 65 edges, 0 markings/sec, 2205 secs 65 markings, 65 edges, 0 markings/sec, 2210 secs 65 markings, 65 edges, 0 markings/sec, 2215 secs 65 markings, 65 edges, 0 markings/sec, 2220 secs 65 markings, 65 edges, 0 markings/sec, 2225 secs 65 markings, 65 edges, 0 markings/sec, 2230 secs 65 markings, 65 edges, 0 markings/sec, 2235 secs 65 markings, 65 edges, 0 markings/sec, 2240 secs 65 markings, 65 edges, 0 markings/sec, 2245 secs 65 markings, 65 edges, 0 markings/sec, 2250 secs 65 markings, 65 edges, 0 markings/sec, 2255 secs 65 markings, 65 edges, 0 markings/sec, 2260 secs 65 markings, 65 edges, 0 markings/sec, 2265 secs 65 markings, 65 edges, 0 markings/sec, 2270 secs 65 markings, 65 edges, 0 markings/sec, 2275 secs 65 markings, 65 edges, 0 markings/sec, 2280 secs 65 markings, 65 edges, 0 markings/sec, 2285 secs 65 markings, 65 edges, 0 markings/sec, 2290 secs 65 markings, 65 edges, 0 markings/sec, 2295 secs 65 markings, 65 edges, 0 markings/sec, 2300 secs 65 markings, 65 edges, 0 markings/sec, 2305 secs 65 markings, 65 edges, 0 markings/sec, 2310 secs 65 markings, 65 edges, 0 markings/sec, 2315 secs 65 markings, 65 edges, 0 markings/sec, 2320 secs 65 markings, 65 edges, 0 markings/sec, 2325 secs 65 markings, 65 edges, 0 markings/sec, 2330 secs 65 markings, 65 edges, 0 markings/sec, 2335 secs 65 markings, 65 edges, 0 markings/sec, 2340 secs 65 markings, 65 edges, 0 markings/sec, 2345 secs 65 markings, 65 edges, 0 markings/sec, 2350 secs 65 markings, 65 edges, 0 markings/sec, 2355 secs 65 markings, 65 edges, 0 markings/sec, 2360 secs 65 markings, 65 edges, 0 markings/sec, 2365 secs 65 markings, 65 edges, 0 markings/sec, 2370 secs 65 markings, 65 edges, 0 markings/sec, 2375 secs 65 markings, 65 edges, 0 markings/sec, 2380 secs 65 markings, 65 edges, 0 markings/sec, 2385 secs 65 markings, 65 edges, 0 markings/sec, 2390 secs 65 markings, 65 edges, 0 markings/sec, 2395 secs 65 markings, 65 edges, 0 markings/sec, 2400 secs 65 markings, 65 edges, 0 markings/sec, 2405 secs 65 markings, 65 edges, 0 markings/sec, 2410 secs 65 markings, 65 edges, 0 markings/sec, 2415 secs 65 markings, 65 edges, 0 markings/sec, 2420 secs 65 markings, 65 edges, 0 markings/sec, 2425 secs 65 markings, 65 edges, 0 markings/sec, 2430 secs 65 markings, 65 edges, 0 markings/sec, 2435 secs 65 markings, 65 edges, 0 markings/sec, 2440 secs 65 markings, 65 edges, 0 markings/sec, 2445 secs 65 markings, 65 edges, 0 markings/sec, 2450 secs 65 markings, 65 edges, 0 markings/sec, 2455 secs 65 markings, 65 edges, 0 markings/sec, 2460 secs 65 markings, 65 edges, 0 markings/sec, 2465 secs 65 markings, 65 edges, 0 markings/sec, 2470 secs 65 markings, 65 edges, 0 markings/sec, 2475 secs 65 markings, 65 edges, 0 markings/sec, 2480 secs 65 markings, 65 edges, 0 markings/sec, 2485 secs 65 markings, 65 edges, 0 markings/sec, 2490 secs 65 markings, 65 edges, 0 markings/sec, 2495 secs 65 markings, 65 edges, 0 markings/sec, 2500 secs 65 markings, 65 edges, 0 markings/sec, 2505 secs 65 markings, 65 edges, 0 markings/sec, 2510 secs 65 markings, 65 edges, 0 markings/sec, 2515 secs 65 markings, 65 edges, 0 markings/sec, 2520 secs 65 markings, 65 edges, 0 markings/sec, 2525 secs 65 markings, 65 edges, 0 markings/sec, 2530 secs 65 markings, 65 edges, 0 markings/sec, 2535 secs 65 markings, 65 edges, 0 markings/sec, 2540 secs 65 markings, 65 edges, 0 markings/sec, 2545 secs 65 markings, 65 edges, 0 markings/sec, 2550 secs 65 markings, 65 edges, 0 markings/sec, 2555 secs 65 markings, 65 edges, 0 markings/sec, 2560 secs 65 markings, 65 edges, 0 markings/sec, 2565 secs 65 markings, 65 edges, 0 markings/sec, 2570 secs 65 markings, 65 edges, 0 markings/sec, 2575 secs 65 markings, 65 edges, 0 markings/sec, 2580 secs 65 markings, 65 edges, 0 markings/sec, 2585 secs 65 markings, 65 edges, 0 markings/sec, 2590 secs 65 markings, 65 edges, 0 markings/sec, 2595 secs 65 markings, 65 edges, 0 markings/sec, 2600 secs 65 markings, 65 edges, 0 markings/sec, 2605 secs 65 markings, 65 edges, 0 markings/sec, 2610 secs 65 markings, 65 edges, 0 markings/sec, 2615 secs 65 markings, 65 edges, 0 markings/sec, 2620 secs 65 markings, 65 edges, 0 markings/sec, 2625 secs 65 markings, 65 edges, 0 markings/sec, 2630 secs 65 markings, 65 edges, 0 markings/sec, 2635 secs 65 markings, 65 edges, 0 markings/sec, 2640 secs 65 markings, 65 edges, 0 markings/sec, 2645 secs 65 markings, 65 edges, 0 markings/sec, 2650 secs 65 markings, 65 edges, 0 markings/sec, 2655 secs 65 markings, 65 edges, 0 markings/sec, 2660 secs 65 markings, 65 edges, 0 markings/sec, 2665 secs 65 markings, 65 edges, 0 markings/sec, 2670 secs 65 markings, 65 edges, 0 markings/sec, 2675 secs 65 markings, 65 edges, 0 markings/sec, 2680 secs 65 markings, 65 edges, 0 markings/sec, 2685 secs 65 markings, 65 edges, 0 markings/sec, 2690 secs 65 markings, 65 edges, 0 markings/sec, 2695 secs 65 markings, 65 edges, 0 markings/sec, 2700 secs 65 markings, 65 edges, 0 markings/sec, 2705 secs 65 markings, 65 edges, 0 markings/sec, 2710 secs 65 markings, 65 edges, 0 markings/sec, 2715 secs 65 markings, 65 edges, 0 markings/sec, 2720 secs 65 markings, 65 edges, 0 markings/sec, 2725 secs 65 markings, 65 edges, 0 markings/sec, 2730 secs 65 markings, 65 edges, 0 markings/sec, 2735 secs 65 markings, 65 edges, 0 markings/sec, 2740 secs 65 markings, 65 edges, 0 markings/sec, 2745 secs 65 markings, 65 edges, 0 markings/sec, 2750 secs 65 markings, 65 edges, 0 markings/sec, 2755 secs 65 markings, 65 edges, 0 markings/sec, 2760 secs 65 markings, 65 edges, 0 markings/sec, 2765 secs 65 markings, 65 edges, 0 markings/sec, 2770 secs 65 markings, 65 edges, 0 markings/sec, 2775 secs 65 markings, 65 edges, 0 markings/sec, 2780 secs 65 markings, 65 edges, 0 markings/sec, 2785 secs 65 markings, 65 edges, 0 markings/sec, 2790 secs 65 markings, 65 edges, 0 markings/sec, 2795 secs 65 markings, 65 edges, 0 markings/sec, 2800 secs 65 markings, 65 edges, 0 markings/sec, 2805 secs 65 markings, 65 edges, 0 markings/sec, 2810 secs 65 markings, 65 edges, 0 markings/sec, 2815 secs 65 markings, 65 edges, 0 markings/sec, 2820 secs 65 markings, 65 edges, 0 markings/sec, 2825 secs 65 markings, 65 edges, 0 markings/sec, 2830 secs 65 markings, 65 edges, 0 markings/sec, 2835 secs 65 markings, 65 edges, 0 markings/sec, 2840 secs 65 markings, 65 edges, 0 markings/sec, 2845 secs 65 markings, 65 edges, 0 markings/sec, 2850 secs 65 markings, 65 edges, 0 markings/sec, 2855 secs 65 markings, 65 edges, 0 markings/sec, 2860 secs 65 markings, 65 edges, 0 markings/sec, 2865 secs 65 markings, 65 edges, 0 markings/sec, 2870 secs 65 markings, 65 edges, 0 markings/sec, 2875 secs 65 markings, 65 edges, 0 markings/sec, 2880 secs 65 markings, 65 edges, 0 markings/sec, 2885 secs 65 markings, 65 edges, 0 markings/sec, 2890 secs 65 markings, 65 edges, 0 markings/sec, 2895 secs 65 markings, 65 edges, 0 markings/sec, 2900 secs 65 markings, 65 edges, 0 markings/sec, 2905 secs 65 markings, 65 edges, 0 markings/sec, 2910 secs 65 markings, 65 edges, 0 markings/sec, 2915 secs 65 markings, 65 edges, 0 markings/sec, 2920 secs 65 markings, 65 edges, 0 markings/sec, 2925 secs 65 markings, 65 edges, 0 markings/sec, 2930 secs 65 markings, 65 edges, 0 markings/sec, 2935 secs 65 markings, 65 edges, 0 markings/sec, 2940 secs 65 markings, 65 edges, 0 markings/sec, 2945 secs 65 markings, 65 edges, 0 markings/sec, 2950 secs 65 markings, 65 edges, 0 markings/sec, 2955 secs 65 markings, 65 edges, 0 markings/sec, 2960 secs 65 markings, 65 edges, 0 markings/sec, 2965 secs 65 markings, 65 edges, 0 markings/sec, 2970 secs 65 markings, 65 edges, 0 markings/sec, 2975 secs 65 markings, 65 edges, 0 markings/sec, 2980 secs 65 markings, 65 edges, 0 markings/sec, 2985 secs 65 markings, 65 edges, 0 markings/sec, 2990 secs 65 markings, 65 edges, 0 markings/sec, 2995 secs 65 markings, 65 edges, 0 markings/sec, 3000 secs 65 markings, 65 edges, 0 markings/sec, 3005 secs 65 markings, 65 edges, 0 markings/sec, 3010 secs 65 markings, 65 edges, 0 markings/sec, 3015 secs 65 markings, 65 edges, 0 markings/sec, 3020 secs 65 markings, 65 edges, 0 markings/sec, 3025 secs 65 markings, 65 edges, 0 markings/sec, 3030 secs 65 markings, 65 edges, 0 markings/sec, 3035 secs 65 markings, 65 edges, 0 markings/sec, 3040 secs 65 markings, 65 edges, 0 markings/sec, 3045 secs 65 markings, 65 edges, 0 markings/sec, 3050 secs 65 markings, 65 edges, 0 markings/sec, 3055 secs 65 markings, 65 edges, 0 markings/sec, 3060 secs 65 markings, 65 edges, 0 markings/sec, 3065 secs 65 markings, 65 edges, 0 markings/sec, 3070 secs 65 markings, 65 edges, 0 markings/sec, 3075 secs 65 markings, 65 edges, 0 markings/sec, 3080 secs 65 markings, 65 edges, 0 markings/sec, 3085 secs 65 markings, 65 edges, 0 markings/sec, 3090 secs 65 markings, 65 edges, 0 markings/sec, 3095 secs 65 markings, 65 edges, 0 markings/sec, 3100 secs 65 markings, 65 edges, 0 markings/sec, 3105 secs 65 markings, 65 edges, 0 markings/sec, 3110 secs 65 markings, 65 edges, 0 markings/sec, 3115 secs 65 markings, 65 edges, 0 markings/sec, 3120 secs 65 markings, 65 edges, 0 markings/sec, 3125 secs 65 markings, 65 edges, 0 markings/sec, 3130 secs 65 markings, 65 edges, 0 markings/sec, 3135 secs 65 markings, 65 edges, 0 markings/sec, 3140 secs 65 markings, 65 edges, 0 markings/sec, 3145 secs 65 markings, 65 edges, 0 markings/sec, 3150 secs 65 markings, 65 edges, 0 markings/sec, 3155 secs 65 markings, 65 edges, 0 markings/sec, 3160 secs 65 markings, 65 edges, 0 markings/sec, 3165 secs 65 markings, 65 edges, 0 markings/sec, 3170 secs 65 markings, 65 edges, 0 markings/sec, 3175 secs 65 markings, 65 edges, 0 markings/sec, 3180 secs 65 markings, 65 edges, 0 markings/sec, 3185 secs 65 markings, 65 edges, 0 markings/sec, 3190 secs 65 markings, 65 edges, 0 markings/sec, 3195 secs 65 markings, 65 edges, 0 markings/sec, 3200 secs 65 markings, 65 edges, 0 markings/sec, 3205 secs 65 markings, 65 edges, 0 markings/sec, 3210 secs 65 markings, 65 edges, 0 markings/sec, 3215 secs 65 markings, 65 edges, 0 markings/sec, 3220 secs 65 markings, 65 edges, 0 markings/sec, 3225 secs 65 markings, 65 edges, 0 markings/sec, 3230 secs 65 markings, 65 edges, 0 markings/sec, 3235 secs 65 markings, 65 edges, 0 markings/sec, 3240 secs 65 markings, 65 edges, 0 markings/sec, 3245 secs 65 markings, 65 edges, 0 markings/sec, 3250 secs 65 markings, 65 edges, 0 markings/sec, 3255 secs 65 markings, 65 edges, 0 markings/sec, 3260 secs 65 markings, 65 edges, 0 markings/sec, 3265 secs 65 markings, 65 edges, 0 markings/sec, 3270 secs 65 markings, 65 edges, 0 markings/sec, 3275 secs 65 markings, 65 edges, 0 markings/sec, 3280 secs 65 markings, 65 edges, 0 markings/sec, 3285 secs 65 markings, 65 edges, 0 markings/sec, 3290 secs 65 markings, 65 edges, 0 markings/sec, 3295 secs 65 markings, 65 edges, 0 markings/sec, 3300 secs 65 markings, 65 edges, 0 markings/sec, 3305 secs 65 markings, 65 edges, 0 markings/sec, 3310 secs 65 markings, 65 edges, 0 markings/sec, 3315 secs 65 markings, 65 edges, 0 markings/sec, 3320 secs 65 markings, 65 edges, 0 markings/sec, 3325 secs 65 markings, 65 edges, 0 markings/sec, 3330 secs 65 markings, 65 edges, 0 markings/sec, 3335 secs 65 markings, 65 edges, 0 markings/sec, 3340 secs 65 markings, 65 edges, 0 markings/sec, 3345 secs 65 markings, 65 edges, 0 markings/sec, 3350 secs 65 markings, 65 edges, 0 markings/sec, 3355 secs 65 markings, 65 edges, 0 markings/sec, 3360 secs 65 markings, 65 edges, 0 markings/sec, 3365 secs 65 markings, 65 edges, 0 markings/sec, 3370 secs 65 markings, 65 edges, 0 markings/sec, 3375 secs 65 markings, 65 edges, 0 markings/sec, 3380 secs 65 markings, 65 edges, 0 markings/sec, 3385 secs 65 markings, 65 edges, 0 markings/sec, 3390 secs 65 markings, 65 edges, 0 markings/sec, 3395 secs 65 markings, 65 edges, 0 markings/sec, 3400 secs 65 markings, 65 edges, 0 markings/sec, 3405 secs 65 markings, 65 edges, 0 markings/sec, 3410 secs 65 markings, 65 edges, 0 markings/sec, 3415 secs 65 markings, 65 edges, 0 markings/sec, 3420 secs 65 markings, 65 edges, 0 markings/sec, 3425 secs 65 markings, 65 edges, 0 markings/sec, 3430 secs 65 markings, 65 edges, 0 markings/sec, 3435 secs 65 markings, 65 edges, 0 markings/sec, 3440 secs 65 markings, 65 edges, 0 markings/sec, 3445 secs 65 markings, 65 edges, 0 markings/sec, 3450 secs 65 markings, 65 edges, 0 markings/sec, 3455 secs 65 markings, 65 edges, 0 markings/sec, 3460 secs 65 markings, 65 edges, 0 markings/sec, 3465 secs 65 markings, 65 edges, 0 markings/sec, 3470 secs 65 markings, 65 edges, 0 markings/sec, 3475 secs 65 markings, 65 edges, 0 markings/sec, 3480 secs 65 markings, 65 edges, 0 markings/sec, 3485 secs 65 markings, 65 edges, 0 markings/sec, 3490 secs 65 markings, 65 edges, 0 markings/sec, 3495 secs 65 markings, 65 edges, 0 markings/sec, 3500 secs 65 markings, 65 edges, 0 markings/sec, 3505 secs 65 markings, 65 edges, 0 markings/sec, 3510 secs 65 markings, 65 edges, 0 markings/sec, 3515 secs 65 markings, 65 edges, 0 markings/sec, 3520 secs 65 markings, 65 edges, 0 markings/sec, 3525 secs 65 markings, 65 edges, 0 markings/sec, 3530 secs 65 markings, 65 edges, 0 markings/sec, 3535 secs 65 markings, 65 edges, 0 markings/sec, 3540 secs 65 markings, 65 edges, 0 markings/sec, 3545 secs 65 markings, 65 edges, 0 markings/sec, 3550 secs 65 markings, 65 edges, 0 markings/sec, 3555 secs 65 markings, 65 edges, 0 markings/sec, 3560 secs

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DNAwalker-PT-18lozangeBlock"
export BK_EXAMINATION="GlobalProperties"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is DNAwalker-PT-18lozangeBlock, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r049-oct2-155234405600750"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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